Course Title:
Symbolic Logic
Course Description:
Focuses on the syntax and semantics of propositional logic and first-order quantification theory. Considers relations between these systems and natural language. Covers analysis of the notion of derivation within a system, the notion of logical consequence, and practice in analyzing logical structure in natural language sentences.
Fall Offering:
Lab/Coreq 1:
Spring Offering:
Lab/Coreq 2:
Summer Offering:
Lab/Coreq Remarks:
Summer 1 Offering:
Prerequisite 1:
Summer 2 Offering:
Prerequisite 2:
Cross-Listed Course 1:
LIN U215
Prerequisite 3:
Cross-Listed Course 2:
Prerequisite 4:
Cross-Listed Course 3:
Prerequisite 5:
Cross-Listed Course 4:
Prerequisite Remarks:
Cross-Listed Course 5:
Repeatable:
N
Additional Information:
Approved course: Arts & Sciences Core-Humanities Context
Approved course: NU Core-Mathematical/Analytical Level 1
