Formal and informal logic for philosophical reasoning. Covers propositional logic (connectives, truth tables, tautologies), predicate logic (quantifiers, validity), syllogistic logic (Aristotle's original forms), natural deduction (introduction/elimination…
Langue du texte source : anglais