PHIL 120 A: Introduction To Logic

Summer Term: 
Meeting Time: 
MTWThF 1:10pm - 3:20pm
SAV 264
Ian Schnee

Syllabus Description:

PHIL 120: Introduction to Logic

Summer 2017

In class: Tues., 1:10–3:20 p.m. in SAV 264

(and exam dates: the midterm exam is Fri., June 30, and final exam is the last day of schedule class, Weds., July 19)

Course Description: What makes an argument good?  How do you show that someone has reasoned invalidly?  In this course we will study arguments and reasoning both informally as well as with the tools and techniques of formal deductive logic.  We will learn the syntax and semantics of propositional and first-order logic (polyadic with identity and functions), and we will use them to explicate the intuitive notion of a valid argument.  We then apply our formal logical techniques to a variety of domains, such as the domain of sets (abstract collections of objects).  Topics include syntax, semantics, pragmatics, consistency, proof, logical consequence, logical equivalence, logical truth, analyticity, logical form, sets, set theory, infinity, paradoxes, truth functionality, binary numbers, logic gates, truth tables, quantification, relations, functions, interpretations, models, soundness, and completeness.  We will also discuss connections between formal logic and computability theory, philosophy of language, cognitive science, foundations of mathematics, and metalogic (theorems about logical systems themselves). 

NOTE: This is a hybrid class!  That means that much of the course content will be delivered online (via our Canvas site), and we will not always meet in person at our scheduled time.  Our only scheduled in-person class times are (i) each Tuesday, from 1:10-3:20 in SAV 264 and (ii) the exam days.  The midterm exam will be in class on Friday, June 30, and the final exam will be in class on our last day, Wednesday, July 19.  (NOTE: these details are tentative--see official syllabus for confirmation.)

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: 
November 14, 2017 - 9:24pm