PHIL5201

Download as PDF

PHIL 5201 - Symbolic Logic I (4 Cr.)

Philosophy Department (10982) TCLA - College of Liberal Arts

Course description

Study of syntax and semantics of sentential and first-order logic. Symbolization of natural-language sentences and arguments. Development of deductive systems for first-order logic. Metatheoretic proofs and methods, including proof by mathematical induction and proof of consistency and completeness.

prereq: 1001 or instr consent

Minimum credits

4

Maximum credits

4

Is this course repeatable?

No

Grading basis

OPT - Student Option

Discussion

Lecture

Requirements

001186

Fulfills the writing intensive requirement?

No

Typically offered term(s)

Every Fall & Spring