Symbolic Logic

Martin A. Rice, Symbolic Logic, Spring 2011

Course Description

This advanced undergraduate course develops skills in formal and informal reasoning in predicate-quantifier logic and covers formal semantics for sentential logic, informal semantics for predicate-quantifier logic, and elementary syntactic metatheory. Prerequisite: MATH 0001 or 0031.

Required Texts:

-Lemmon, Beginning Logic, Hackett.
-Schumm, A Teaching Companion to Lemmon's Logic, Hackett.

Syllabus: 
AttachmentSize
PDF icon Rice 1501 PHIL - Symbolic Logic.pdf10.04 KB

Martin A. Rice, Symbolic Logic, Fall 2013

Course Description

This advanced undergraduate course develops skills in formal and informal reasoning in predicate-quantifier logic and covers formal semantics for sentential logic, informal semantics for predicate-quantifier logic, and elementary syntactic metatheory. Prerequisite: MATH 0001 or 0031.

Required Texts:

Lemmon, Beginning Logic, Hackett.
Schumm, A Teaching Companion to Lemmon's Logic, Hackett.

Syllabus: 
Additional File: 
AttachmentSize
PDF icon Rice - PHIL - General Syllubus.pdf14.47 KB
Subscribe to RSS - Symbolic Logic