uvod Flashcards
tko je otac formalne logike, kad je živio i koje je njegovo najpoznatije djelo
Aristotel
384. - 222. pr. Kr.
˝Organon˝
3 najvažnija filozofa, logičara…
Sokrat
Platon
Aristotel
grč. logos
zakon
˝To je logično!
pretspostavka da se razum u svom djelovanju drži nekih pravila - logičkih pravila
definicija logike
logika je filozofska disciplina o oblicima valjane misli i metodama spoznaje
kakve vrste logike postoje, opisati svaku
NEFORMALNA LOGIKA (tradicionalna)
-Proučava zaključke u prirodnom jeziku
-Koristi se prirodnim jezikom
-Naglasak je na sadržaj
FORMALNA LOGIKA (matematička logika ili simbolička logika)
-Koristi poseban simbolički jezik (sličan jeziku matematike)
-Izučava logičke probleme