Toño Ramirez Deductive Logic (PHIL07)

Welcome!

Different introductory logic courses are taught in different ways.
Knowing a little about how what a particular version of "Deductive Logic" involves can help you to decide if it's the sort of thing
you're looking for. This page provides information about how I run my PHIL07 course, as well as announcements and materials relevant to
students currently taking it.

While philosophy as a broad discipline is concerned with a wide variety of topics, this course will restrict its focus to examining formal techniques for evaluating
deductive arguments. Students who successfully complete the course will develop a working familiarity with a natural deduction system of propositional and predicate logic,
truth-tables, and formal proofs.

Please feel free to have a look at the course syllabus, which is
available via the navigation bar on the left of this page. It gives a
more detailed description of the course requirements, as well as of the
reading schedule we follow. I'd be happy to answer any further
questions you might have about the course--just drop me an email.