Stanford University, Spring 2011
PHIL50 Introduction to Logic
Professor: Valeria de Paiva (PhD Cantab)
Lectures: MW 10:00-10:50 Room 206 EDUC
BOOK: Language, Proof and Logic,
John Barwise, John Etchemendy
University of Chicago Press
WARNING! Do not buy a used copy of the text! The copy of the software that comes with the book can only be registered once. If you cannot register the software, you cannot submit solutions to homework exercises of take-home exam problems or have the correctness of your solutions automatically checked for you prior to submitting them.
HOMEWORK/QUIZZES: Each week, there will be either a homework assignment due or a quiz. In addition, there will be a midterm exam and a final exam. Each exam will consist of an (open-book, open-notes) take-home part and a (closed-book, closed-notes) in-class part.
TOPICS TO BE COVERED:
1. Why logic? Computational thinking for philosophers? (1 lecture):
2. Propositional Logics (approx 10 lectures):
• The syntax and semantics of propositional logics
• The logical connectives.
• Building truth tables to test formal validity, both "by hand" and using Boole.
. The distinction between implication and implicature
. "Fitch" and formal proofs.
3. First-Order Logics (approx 10 lectures):
• The syntax and semantics of first-order logics
• Expressing yourself in first-order logics
• Building structures to demonstrate formal invalidity, by hand and using Tarski's World
• Constructing formal deductions to demonstrate formal validity, by hand and using Fitch
4. Modal Propositional Logics (3 lectures):
• Deontic, epistemic, temporal, dynamic, and general modal propositional logics
5. Wrap-up (1 lecture):
• Special emphasis on the question of how much support a formal derivation of a proposition provides for believing it to be true