PHI 2850: Introductory Symbolic Logic. Cr. 3.  (Cross-listed with LIN 185)

The logic of propositions; the general logic of predicates and relations.
 

PHI 2860: Honors Introductory Symbolic Logic. Cr. 3.  (Cross-listed with LIN 186)

See PHI 1850 for description.


PHI 5050: Advanced Symbolic Logic. Cr. 4.
(Cross-listed with LIN 5050)

Prereq: Junior, senior, or graduate student standing. Formal, extensive treatment of first-order predicate logic with emphasis on the notions of a formal logical language and truth in a model; the logic of identity definite descriptions; brief introductions to set theory and the metatheory of propositional and first-order logic; some additional advanced topics to be selected by instructor.


PHI 5200: Modal Logic. Cr. 4.
(Cross-listed with LIN 5200)

Prereq: PHI 1850 or 1860 or consent of instructor. The logic of necessity, possibility, and other modal notions as they occur in epistemic and deontic contexts. Propositional and quantified modal logic.


PHI 5350: Logical Systems I. Cr. 4.
(Cross-listed with MAT 5350)

Prereq: PHI 1850 or 1860 or 5050 or MAT 5600 or MAT 5420 or consent of instructor; for graduate students in Philosophy, satisfaction of the Elementary Logic Requirement.  Metaresults concerning formal systems of sentential and first-order logics; soundness, completeness; independence of axioms; introduction to recursive functions; discussion of Gödel's incompleteness theorem and Church's Theorem.


PHI 5390: Logical Systems II. Cr. 4
. (Cross-listed with MAT 5390)

Prereq: PHI 5350 or MAT 3530 or consent of instructor. Detailed proofs of Gödel's incompleteness results, Tarski's Theorem, and Church's Theorem; formal axiomatic treatment of set theory and selected applications.


PHI 5750: Philosophy of Logic. Cr. 4.

Prereq: PHI 1850 or 1860 and one other philosophy course at the 2000-level or above, or consent of instructor. Topics concerning such issues as the nature of logic, the relation between logic and ontology, and the relation between logic and mathematics. Topics to be announced in Schedule of Classes.


PHI 7870: Seminar in Logic. Cr. 4 (Max. 8).

Prereq: PHI 1850 or 1860 and one other course philosophy course at the 5000-level or consent of instructor.

 


 ↑ back to top