MATTHEW H. SLATER
  • Home
  • Teaching
    • Current and Future Courses >
      • PHIL 103: Logic
    • Previous Courses >
      • RESC 098: Revolutions in Scientific Understanding
      • PHIL 100: Philosophy in Film
      • PHIL 100: Belief & Reality
      • UNIV 200: Climate Change
      • PHIL 201: Symbolic Logic
      • PHIL 220: Philosophy of Science
      • PHIL 222: Analytic Philosophy
      • PHIL 224: Epistemology
      • PHIL 268: Science in the Public Eye
      • PHIL 272: Philosophy of Biology
      • PHIL 311: Socializing Epistemology
    • Student Resources >
      • Writing Resources
      • Presentation Advice
      • Recommendations
    • Calendar
  • Research
    • Books >
      • Are Species Real?
      • The Nature of Biological Kinds
    • Published & Forthcoming
    • Current Projects
    • The Production of Public Understanding of Science
  • Personal
  • Photography
  • Blog

PHIL 201:
Symbolic Logic

Spring 2021
MWF 4:30–5:20 PM

​Online Instruction
In introductory logic courses (like PHIL 103), one learns how to drive a car — a nice, easy-handling, eminently useful sedan with an automatic transmission. In PHIL 201, you'll first learn how to drive something a bit more exciting — a sports car, manual transmission. Then we'll open up the hood and take apart the engine to see how these things work. 

Metaphors aside, this course will survey a variety of approaches to formal/symbolic logic with an emphasis on natural deduction in propositional and first-order predicate logic and then consider various logical results about these logical systems (meta-logic). We will round out the semester, as time permits, by considering some philosophical questions about logic as well as extensions of our logical frameworks (such as modal logic or many-valued logics).


Pre-Requisite: PHIL 103 (or permission)

Required Text: 
Picture
​We will be using a text / software package developed at Stanford University called Language, Proof, and Logic that will allow you to check and complete homework assignments online. It is important that you obtain a new package and not merely a used copy of the book. You can purchase either an online only-package (a PDF of the book plus the software) or a physical package (with a physical copy of the book plus the software) here. You need only purchase Language, Proof, and Logic; the other texts / packages listed there are not needed.
Powered by Create your own unique website with customizable templates.
  • Home
  • Teaching
    • Current and Future Courses >
      • PHIL 103: Logic
    • Previous Courses >
      • RESC 098: Revolutions in Scientific Understanding
      • PHIL 100: Philosophy in Film
      • PHIL 100: Belief & Reality
      • UNIV 200: Climate Change
      • PHIL 201: Symbolic Logic
      • PHIL 220: Philosophy of Science
      • PHIL 222: Analytic Philosophy
      • PHIL 224: Epistemology
      • PHIL 268: Science in the Public Eye
      • PHIL 272: Philosophy of Biology
      • PHIL 311: Socializing Epistemology
    • Student Resources >
      • Writing Resources
      • Presentation Advice
      • Recommendations
    • Calendar
  • Research
    • Books >
      • Are Species Real?
      • The Nature of Biological Kinds
    • Published & Forthcoming
    • Current Projects
    • The Production of Public Understanding of Science
  • Personal
  • Photography
  • Blog