Logică este un substantiv feminin din termenul grecesc siglă, inrudit cu logos, motiv, cuvânt sau vorbire, ceea ce înseamnă știința raționamentului.
În sens figurat, cuvântul logică este legat de a mod specific de raționament, pe bună dreptate. De exemplu: Acest lucru nu va funcționa niciodată! Planul tău nu are logică!
Tu probleme sau jocuri de logică sunt activități în care un individ trebuie să folosească un raționament logic pentru a rezolva problema.
Logica aristotelică
Potrivit lui Aristotel, logica are ca obiect de studiu gând, precum și legile și regulile care îl controlează, pentru ca acel gând să fie corect. Pentru filosoful grec, elementele constitutive ale logicii sunt concept, hotărâre și raţionament. Legile logicii corespund conexiunilor și relațiilor care există între aceste elemente.
Unii succesori ai lui Aristotel au fost responsabili pentru fundamentele logicii medievale, care au durat până în secolul al XIII-lea. Gânditorii medievali precum Galen, Porfirie și Alexandru din Afrodisia au clasificat logica drept știința judecării corecte, ceea ce face posibilă atingerea unui raționament corect și formal valid.
Logica de programare
Logica de programare este limbajul folosit pentru a crea un program de calculator. Logica de programare este esențială pentru dezvoltarea de programe și sisteme de calculator, deoarece definește lanțul logic pentru acea dezvoltare. Pașii pentru această dezvoltare sunt cunoscuți sub numele de algoritm, care constă dintr-o secvență logică de instrucțiuni pentru funcția care trebuie executată.
Logica argumentării
Logica argumentării permite verificarea validității sau dacă o afirmație este adevărată sau nu. Nu este realizat cu concepte relative sau subiective. Sunt propoziții tangibile a căror validitate poate fi verificată. În acest caz, logica își propune să evalueze forma propozițiilor și nu conținutul. Silogismele (compuse din două premise și o concluzie) sunt un exemplu de logică de argumentare. De exemplu:
Făina de porumb este un câine.
Toți câinii sunt mamifere.
Prin urmare, făina de porumb este un mamifer.
Logica matematică
Logica matematică (sau logica formală) studiază logica în funcție de structura sau forma sa. Logica matematică constă dintr-un sistemul deductiv a afirmațiilor care au ca scop crearea unui grup de legi și reguli pentru a determina validitatea raționamentelor. Astfel, un raționament este considerat valid dacă este posibil să se ajungă la o concluzie adevărată din premise adevărate.
Logica matematică este, de asemenea, utilizată pentru a construi raționamente valabile prin alte raționamente. Raționamentele pot fi deductiv (concluzia se obține în mod obligatoriu din adevărul premiselor) și inductiv (probabilistic).
Logica formală poate fi împărțită în două grupuri: logică propozițională și logică predicată.
Leibniz este văzut de mulți ca mintea care a inițiat conceptul de logică formală sau matematică, care abordează problemele de bază ale matematicii. Cu toate acestea, abia după 1890, cu Peano, a început punerea în discuție a consistenței axiomelor. Unele principii importante ale logicii formale se găsesc în Analiza matematică a logicii de George Boole (autorul logicii sau algebrei lui Boole).
Logica propozițională
Logica propozițională este o zonă a logicii care examinează raționamentul în funcție de relațiile dintre clauze (propoziții), unitățile minime ale discursului, care pot fi adevărate sau false.