History of ancient logic
BMAFILD401, BBNFIL401, BMALOTD105, BMILOTD105E, BBV020, BMVD020
2014 Spring semester Tue 14:00  15:30 i/226 First class: 16th February
Prerequisites: Basic knowledge in modern logic and the history of ancient philosophy. Topics:
1. The first occurrences of systematic reasoning in Greek philosophy and mathematics. Sources: Fragments of Parmenides and Zenon, Euclid's Elements
2. Plato. The methods of mathematics and their relation to philosophy. The theory of ideas as logical semantics. Sources: Phaedo, Republic, Theaetetus, Sophist
3.
Aristotle. Theory of substance from a logical point of view. Modality
in ontology and in logic.Paradoxes. Aristotle and mathematics. Sources:: Categories,Hermeneutics, Prior Analytics, Metaphysics.
4. Stoic logic. Natural deduction system in propositional logic. Stoic semantics. Source: KH. Hülser, Fragmente zur Dialektik der Stoiker vol. III,
IV. (Stuttgart, 1987)
5. Aristotelianism in the late antiquity. Attempts to propositional logic, methodological problems. Sources: Galen, Institutio Logica, Alexander of Aphrodisias,
In Aristotelis Analyticam Prioram ... Some secondary literature: I. M. Bochenski, Formale Logik W. & M. Kneale, The Development of Logic Szabó Á., Beginnings of Greek Mathematics G. Vlastos, Platonic Studies J. Łukasiewicz, Aristotle's Syllogistic B. Mates, Stoic Logic GabbayWoods (eds.), Handbook of the History of Logic vol. 1.
