PHIL5201
PHIL 5201 - Symbolic Logic I (4 Cr.)
Philosophy Department (10982)
TCLA - College of Liberal Arts
PHIL 5201 - Symbolic Logic I (4 Cr.)
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
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