Back Logika Afrikaans Logik ALS ስነ አምክንዮ Amharic Lochica AN तर्कशास्त्र ANP منطق Arabic منطق ARZ তৰ্কশাস্ত্ৰ Assamese Lóxica AST Məntiq Azerbaijani
Logika (gr. λόγος, logos – rozum, słowo, myśl) – nauka formalna o jasnym i ścisłym formułowaniu myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Historycznie była uznawana za dział filozofii bliski retoryce[1], jednak narodziny rachunku zdań w XIX wieku zapoczątkowały logikę matematyczną.
W tradycji zachodniej prekursorem systematycznej logiki był Arystoteles[2][3]. Współczesna logika, wykorzystując metodę formalną, znacznie rozszerzyła pole badań, włączając w to badania nad matematyką (metamatematyka), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science)[4].
- ↑ Tadeusz Kotarbiński, Wykłady z dziejów logiki, wyd. 2, Państwowe Wydawnictwo Naukowe, Warszawa 1985.
- ↑ history of logic, [w:] Encyclopædia Britannica [dostęp 2018-01-27] (ang.).
- ↑ Louis F. Groarke: Aristotle: Logic. Internet Encyclopedia of Philosophy. [dostęp 2018-06-27]. (ang.).
- ↑ Witold Marciszewski (red.): Logika formalna: Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki, PWN, Warszawa 1987.