PHIL 120 B: Introduction To Logic

Summer Term: 
B-term
Meeting Time: 
MTWThF 1:10pm - 3:20pm
Location: 
DEM 112
SLN: 
13029
Instructor:
Olin Robus

Syllabus Description:

This course will serve as an introduction to the formal deductive systems of both propositional and predicate logic, focusing on their syntactic and semantic structures. Topics will include proofs, validity, truth tables, and translations. Course grades will be based on weekly homework and quizzes. There is no prerequisite.

Phil 120 Syllabus.pdf

Additional Details:

This course will serve as an introduction to the formal deductive systems of both propositional and predicate logic, focusing on their syntactic and semantic structures. Topics will include proofs, validity, truth tables, and translations. Course grades will be based on weekly homework and quizzes. There is no prerequisite.

TEXT: Schaum’s Outlines Logic, John Nolt, Dennis Rohatyn, and Achille Varzi.

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)
Credits: 
5
Status: 
Active
Last updated: 
October 5, 2016 - 9:07pm