PHL245H1 Lecture Notes - List Of Logic Symbols, Propositional Calculus, Syllogism
This preview shows half of the first page. to view the full 2 pages of the document.
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 foundations for logic that we are doing
o Thought logic were the laws of thought
- Russel – Principia Mathematica
o Source of system we will be using.
You're Reading a Preview
Unlock to view full version