PHIL 120 C: Introduction to Logic

Summer Term: 
Full-term
Meeting Time: 
MTWThF 10:50am - 11:50am
Location: 
MOR 234
SLN: 
13043
Instructor:
Christopher Schimke
Christopher Schimke

Additional Details:

This course is an introduction to formal techniques for evaluating deductive arguments. Topics will include proofs, validity, translation between formal and natural languages, and models. No prerequisites.

 

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.0
Status: 
Active
Last updated: 
October 17, 2018 - 9:09pm