PHIL 120 C: Introduction To Logic

Summer Term: 
Full-term
Meeting Time: 
MTWThF 10:50am - 11:50am
Location: 
MOR 220
SLN: 
13030
Instructor:
A picture of Jon relaxing at a BBQ
Jon Rosenberg

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:
Modern Logic: A Text in Elementary Symbolic Logic, Graeme Forbes.

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: 
March 10, 2017 - 9:05pm