Introduction & Syllabus
Modern Symbolic Logic
Instructor: Niko Scharer
September 11, 2012
Tues & Thursday ES1050
Office Hours : Thur. 10-12 JHB 505
15% weekly assignments (online) – normally due Tuesday before class
40% 2 Midterms – at exam centre
45% Final Exam
What is Modern Symbolic Logic?
Logic is the fundamental laws of thought.
Deductive Logic (Sherlocke Holmes)
- Truth preserving
symbols represent words
symbols allow you to look at the core of the aruument so that you are not
distracted by the philosophical content.
o Allows for pattern recognition
- Aristotle – syllogistic logic
- Chrsippus – propositional logic that anticipates modern logic
- Leibniz – Possible father of symbolic logic
- Frege – Father of contemporary logic
o Laid foundati