Charles Explorer logo

Logical Propaedeutics

Class at Faculty of Arts |


The course provides an introduction into logic as a philosophical discipline. The basic logical notions (such as syntax, semantics, logical truth, entailment, proof, identity, existence) and some elementary notions of set theory will be explained.

We will study basic features of standard logical systems with a particular focus on classical propositional logic and Aristotelian syllogistics.