Logika

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.

[1] Tadeusz Kotarbiński, Wykłady z dziejów logiki, wyd. 2, Państwowe Wydawnictwo Naukowe, Warszawa 1985.

[2] history of logic, [w:] Encyclopædia Britannica [dostęp 2018-01-27] (ang.).

[3] Louis F. Groarke: Aristotle: Logic. Internet Encyclopedia of Philosophy. [dostęp 2018-06-27]. (ang.).

[WM-4] Witold Marciszewski (red.): Logika formalna: Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki, PWN, Warszawa 1987.

[1]

[2]

[3]

[4]