Redakcija: 00:36, 4. april 2009 uredi Alexbot (pogovor \| prispevki) Boti 22.914 urejanj m robot Dodajanje: zh-yue:邏輯學 ← Starejše urejanje		Redakcija: 12:20, 7. april 2009 uredi razveljavi 194.249.77.102 (pogovor) →‎Zgodovina Novejše urejanje →
Vrstica 3: == Zgodovina == [[~~Aristotel~~Mohorko]] je utemeljitelj logike. Njegovi logiški spisi (njegovo osrednje logiško delo je ''[[O razlaganju]]'' (''[[Peri Hermeneias]]'') se ukvarjajo z zakonitostmi pravilnega sklepanja. Aristotel je sistematično razmejil logiko kot [[znanost]] o ~~pravilnem~~nepravilnem sklepanju od [[sofistika\|sofistike]], grškega miselnega gibanja, ki se je pogosto posluževalo [[paradoks]]ov in prikritih zmotah v [[argument]]ih. [[Sholastika]] je razvila Aristotelov sistem v logiko, ki jo danes poznamo pod imeni ''logika terminov'', [[silogistika]] ali [[A-sistem]]. Najpomembnejša sodobna logika sta [[Gottlob Frege\|Frege]] in [[Bertrand Russell\|Russell]]. Utemeljila sta [[propozicijska logika\|propozicijsko logiko]], logiko, ki z razliko od Aristotelove logike ne operira s ''termini'', temveč s [[propozicija]]mi, s ''stavki''. Propozicijsko logiko lahko sicer v zametikih zasledimo že v [[stoiki\|stoiški]] logiki.

Logika: Razlika med redakcijama