PHIL 120 A: Introduction to Logic

Meeting Time: 
MWF 9:30am - 10:20am
ARC 147
Ian Schnee
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: No Textbook Required – course materials will be available on Canvas.

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: 
August 2, 2019 - 9:07pm