PHIL 120 B: Introduction to Logic

Meeting Time: 
MWF 2:30pm - 3:50pm
SAV 155

Additional Details:

This course is an introduction to the use of a formal system to represent and evaluate deductive arguments, designed to spur the development of the student’s analytic and systematic problem solving skills.  The course will cover the syntax (grammar) and semantics (meaning) of both first order propositional and predicate logic, through formal proof construction and modeling techniques.  Topics covered in this course will be:  Translation of propositions from the natural language into the formal language, proof theory, truth tables for propositional logic, models for predicate logic, soundness, completeness, and identity."  No prerequisites, suitable for non-majors.

TEXT: Logic, Paul Tomassi.

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: 
June 20, 2021 - 10:30pm