logică

Ce este Logic:

Logica este un substantiv feminin originar din termenul grecesc logic, legat de logos, rațiune, cuvânt sau vorbire, ceea ce înseamnă știința raționamentului .

Într-un sens figurativ, cuvântul logic este legat corect de un mod specific de raționament . De exemplu: Acest lucru nu va funcționa niciodată! Planul tău nu are nicio logică!

Problemele sau jocurile logice sunt activități în care un individ trebuie să utilizeze raționamentul logic pentru a rezolva problema.

Aristotelian Logic

Potrivit lui Aristotel, logica are ca obiect de studiu gândul, precum și legile și regulile care îl controlează, astfel încât acest gând este corect. Pentru filozoful grec, elementele constitutive ale logicii sunt concepția, judecata și raționamentul . Legile logicii corespund legăturilor și relațiilor care există între aceste elemente.

Unii succesori ai lui Aristotel au fost responsabili de temelia logicii medievale, care a durat până în secolul al XIII-lea. Gânditorii medievali, cum ar fi Galenus, Porphyry și Alexandru de Aphrodysia, au clasificat logica ca știință a judecării corecte, ceea ce face posibilă găsirea unor raționamente corecte și valabile din punct de vedere formal.

Programare logică

Logica de programare este limba utilizată pentru a crea un program de calculator. Logica programării este esențială pentru dezvoltarea de programe și sisteme informatice, deoarece definește legătura logică pentru această dezvoltare. Pașii pentru această dezvoltare sunt cunoscuți ca un algoritm care constă într-o secvență logică a instrucțiunilor pentru funcția care trebuie executată.

Argument logic

Logica argumentării ne permite să verificăm validitatea sau dacă o afirmație este adevărată sau nu. Nu se face cu concepte relative sau subiective. Sunt propuneri tangibile a căror validitate poate fi verificată. În acest caz, logica își propune să evalueze forma propozițiilor și nu conținutul. Syllogismele (compuse din două premise și o concluzie) sunt un exemplu de logică a argumentării. De exemplu:

Fuba este un câine.

Toți câinii sunt mamifere.

Prin urmare, Fuba este un mamifer.

Matematică logică

Logica matematică (sau logica formală) studiază logica în funcție de structura sau forma sa. Logica matematică constă dintr-un sistem deductiv de declarații care vizează crearea unui set de legi și reguli pentru determinarea valabilității raționamentului. Astfel, un raționament este considerat valabil dacă este posibil să se ajungă la o adevărată concluzie din premisele adevărate.

Logica matematică este de asemenea folosită pentru a construi raționamentul valid prin alte raționamente. Motivul poate fi deductiv (concluzia este neapărat obținută din adevărul premiselor) și inductiv (probabilistic).

O logică formală poate fi împărțită în două grupe: logica propozițională și logica predicatelor.

Leibniz este văzut de mulți ca mintea care a inițiat conceptul de logică formală sau matematică, care abordează problemele centrale ale matematicii. Cu toate acestea, numai după 1890, cu Peano, a început întrebarea privind coerența axiomelor. Unele principii importante ale logicii formale se găsesc în Analiza matematică a logicii de către George Boole (autor al logicii sau algebrei booleene).

Logica propozițională

Logica propozițională este o arie de logică care examinează raționamentul în funcție de relațiile dintre propoziții (propoziții), unitățile minime de discurs, care pot fi adevărate sau false.