Loogika on kreeka terminist naissoost nimisõna logo, mis on seotud logod, põhjust, sõna või kõne, mis tähendab arutlusteadus.
Ülekantud tähenduses on sõna loogika seotud a-ga konkreetne arutlusviis, õigustatult. Näiteks: See ei toimi kunagi! Teie plaanil pole loogikat!
Sina probleeme või loogikamänge on tegevused, kus üksikisik peab kasutama a loogiline arutluskäik probleemi lahendamiseks.
Aristoteleslik loogika
Aristotelese sõnul on loogika uurimisobjektiks mõtles, samuti seadusi ja reegleid, mis seda kontrollivad, nii et selline mõtlemine on õige. Kreeka filosoofi jaoks on loogika koostisosad kontseptsioon, kohtuotsus ja arutluskäik. Loogikaseadused vastavad nende elementide vahelistele seostele ja suhetele.
Mõned Aristotelese järeltulijad vastutasid keskaegse loogika aluste eest, mis kestis kuni 13. sajandini. Keskaja mõtlejad, nagu Galen, Porphyry ja Aphrodisia Aleksander, liigitasid loogika õigeks hindamise teaduseks, mis võimaldab jõuda korrektse ja formaalselt põhjendatud arutluskäiguni.
Programmeerimisloogika
Programmeerimisloogika on keel, mida arvutiprogrammi loomiseks kasutatakse. Programmeerimisloogika on arvutiprogrammide ja -süsteemide arendamiseks hädavajalik, kuna see määratleb selle arengu loogilise ahela. Selle arenduse samme nimetatakse algoritmiks, mis koosneb käivitatava funktsiooni loogilistest järjestustest.
Argumenteerimisloogika
Argumentatsiooniloogika võimaldab kontrollida kehtivust või seda, kas lause on tõene või mitte. See ei ole tehtud suhteliste ega subjektiivsete mõistetega. Need on käegakatsutavad väited, mille kehtivust saab kontrollida. Sel juhul on loogika eesmärk hinnata ettepanekute vormi, mitte sisu. Süllogismid (koosnevad kahest eeldusest ja järeldusest) on argumentatsiooniloogika näide. Näiteks:
Maisijahu on koer.
Kõik koerad on imetajad.
Seetõttu on maisijahu imetaja.
Matemaatiline loogika
Matemaatiline loogika (või formaalne loogika) uurib loogikat vastavalt selle struktuurile või vormile. Matemaatiline loogika koosneb a deduktiivne süsteem avaldustest, mille eesmärk on luua seaduste ja reeglite kogum põhjenduste kehtivuse määramiseks. Seega loetakse põhjendus kehtivaks, kui tõestest eeldustest on võimalik tõesele järeldusele jõuda.
Matemaatilist loogikat kasutatakse ka muude arutluste kaudu kehtiva arutluse loomiseks. Põhjendused võivad olla deduktiivne (järeldus saadakse kohustuslikult ruumide tõest) ja induktiivne (tõenäosus).
Ametliku loogika võib jagada kahte rühma: propositsiooniloogika ja predikaatloogika.
Leibnizi näevad paljud mõistena, kes algatas formaalse loogika või matemaatika kontseptsiooni, mis käsitleb matemaatika põhiküsimusi. Aksioomide järjepidevuse küsimine algas aga alles pärast 1890. aastat koos Peanoga. Mõned formaalse loogika olulised põhimõtted leiate George Boole (Boole loogika või algebra autor) loogika matemaatilisest analüüsist.
propositsiooniloogika
Lauseloogika on loogikavaldkond, mis uurib arutlusi vastavalt lausete (väidete) suhetele, minimaalsetele diskursuseühikutele, mis võivad olla tõesed või valed.