PHIL 120 A: Introduction To Logic

Meeting Time: 
MWF 10:30am - 11:20am
GWN 301
Ian Schnee

Additional Details:

What makes an argument good?  How do you show that someone has reasoned invalidly?  In this course we study arguments and reasoning with the tools and techniques of formal deductive logic.  We will learn the syntax and semantics of propositional and first-order logic, and we will use them to explicate the intuitive notion of a valid argument.  We then apply our formal logical techniques to answer questions in a variety of areas.  Is there only one size of infinity, or can one infinity be bigger than another?  Can there be a set of all sets?  How does a computer work?  How could water running through hoses implement a computer?

TEXT: Language, Proof and Logic, David Barker-Plummer, Jon Barwise and John Etchemendy.

Catalog Description: 
Elementary symbolic logic. The development, application, and theoretical properties of an artificial symbolic language designed to provide a clear representation of the logical structure of deductive arguments. Offered: AWSpS.
GE Requirements: 
Individuals and Societies (I&S)
Natural World (NW)
Quantitative and Symbolic Reasoning (QSR)
Last updated: 
January 10, 2018 - 9:15pm