Loogika

Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest.
Sõna "loogika" pärineb vanakreeka omadussõnast λογική ("logikē"), mis on sõna λογικός ("logikos"; 'kõnega seonduv; mõtlemisega seonduv') naissoovorm. Seda sõna kasutati kas eraldi nimisõnana või fraasis λογικὴ τέχνη ("logikē technē") 'mõtlemiskunsti' tähenduses. Sõna on tuletatud sõnast λόγος ("logos", muu hulgas 'sõna, mõiste, käsitlus, mõistus').. Sõna on laenatud muu hulgas keskaja ladina sõna "logica" ('loogika') vahendusel.
Formaalloogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid enamasti ütle, millised väited on tõesed. Seetõttu öeldakse, et formaalloogikal puudub sisu: ta ei ütle midagi selle kohta, missugune maailm tegelikult on. Formaalne loogika ütleb, mida saab järeldada lähtudes üksnes väiteid väljendavate lausete vormist.
Sümbolloogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kunstlikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. 20. sajandi algul püüdsid Gottlob Frege, Bertrand Russell ja teised filosoofid näidata, et matemaatikat saab taandada sümbolloogikale. See küll ei õnnestunud, kuid vastavad loogikauuringud on muutnud tänapäeva formaalse loogika üpris matemaatikasarnaseks.
"Loogika" kõnekeeles ja kõige üldisem arusaam loogikast.
Kuigi sõna "loogika" on kõnekeelde tulnud filosoofia ja teaduse oskuskeelest, on loogika olemuse avamisel mõtet toetuda ka selle sõna kasutamisviisidele tavakeeles ja intuitiivsetele üldistatud arusaamadele, milleni need kasutamisviisid kipuvad viima. Olgu nimetatud mõned: 
Neid arusaamu omakorda üldistades võiks öelda, et loogika all mõistetakse korda ehk kooskõlalisust kas asjades või mõtlemises. Niisuguse korra kasu seisneb selles, et ta võimaldab tunnetamise vaeva vähendada: mõtlemine oskab asju endid imiteerida.
Veel üldisemalt võiks loogikat mõista nii: loogika on see, mis meie eest mõtleb.
Võib rääkida kahte eri tüüpi loogilisusekriteeriumist. Esiteks võib loogilisus olla omane arutlemise viisile ning tähendada lõppkokkuvõttes arutlemise õigsust, mida saab kindlaks teha ainult kui kooskõlalisust mingite reeglitega. Teiseks võib loogilisus olla omane arutlemise tulemusele, ja loogilisus selles mõttes (tegemist ei ole sõna "loogilisus" standardse kasutusega, kuid see kasutus ei ole põhimõtteliselt vale) võib tähendada tõesust (mis ühe levinud arusaama järgi on vastavus faktidele ehk reaalsusele) või usutavust, tõepärasust või muud sarnast (tõde ei ole meile üldjuhul kindlalt teada ning tõesust saab kindlaks teha ainult kui vastavust mingile kirjeldusele). Võib juhtuda, et kuigi arutlemine on õige, on tulemus väär. Ja võib ka juhtuda, et kuigi arutlemine on vale, on tulemus tõene. Kui lähtuda sellest, et loogilisusel on kaks aspekti – nii-öelda reeglipärasus ja tõepärasus –, siis me peaksime valima reeglid nii, et nad ei rikuks tõepära, ja valima oma uskumused nii, et reeglipärased arutlused neid ei saaks kummutada. Kui arutlusreeglid on valitud suvaliselt, siis ei ole arutluste tulemustel tähendust: arutlused jäävad mänguks. Kui uskumused on meelevaldsed, siis ei ole arutlemisel mõtet, sest usutakse ikka seda, mida tahetakse.
Formaalse loogika määratlus.
Loogika tegeleb propositsioonidevaheliste suhetega, uurides, mis teeb ühe propositsiooni või (lõpliku) propositsioonide kogumi heaks põhjendiks mingile propositsioonile.
Õigustus (ehk põhjendus) seisneb mingile propositsioonile (uskumusele) põhjendite esitamises. Iga põhjend on propositsioon. Lõplikku propositsioonide kogumit võib vaadelda propositsioonina, mille kohaselt kõik kogumisse kuuluvad propositsioonid on tõesed (propositsioonina, mis väidab kõiki kogumisse kuuluvaid propositsioone). 
Loogika jätab üldjuhul kõrvale küsimuse sellest, kas põhjendid ise on tõesed või põhjendatud (õigustatud). Epistemoloogia huvitub üldjuhul ka sellest küsimusest.
Põhjendi headus tuleneb üksnes tema suhtest õigustatava uskumusega ega ole seotud põhjendi enda usutavusega. Seega tähendab põhjendi headus õigupoolest õigustuse headust.
Loogika on normatiivne distsipliin, mis ütleb, millisel juhul on põhjendid head. Seejuures ta küll lähtub sellest, millisel juhul terve mõistus põhjendeid heaks peab, kuid võib ka ette kirjutada norme, mis on terve mõistusega vastuolus.
Loogika kui mõtlemise mudel.
Loogikat võib pidada ka mõtlemise mudeliks, nimelt arutlemise mudeliks keeles.