Aristotel - Frege: teorija suda i zaključka
Doktorski kolegij. Aristotelova teorija iskaza (suda) u De interpretatione i Prvoj analitici. Logički kvadrat i proširenja (logički šesterokut i osmerokut). Teorija kategoričnih zaključaka u Prvoj analitici. Aristotelova i tradicionalne teorije zaključka. Suvremena formalizacija. Pitanje praznoga predmetnoga i subjektnoga područja. Teorija poopćenih količitelja. Fregeovo shvaćanje suda: argument-funkcija umjesto subjekt-predikat, sud kao oznaka istine. Opća teorija logičkih oprjeka. Logičke oprjeke i nijek, nekonsistentnost, parakonsistentnost i parakompletnost.
Teacher: Srećko Kovač