|
Jul 05, 2024
|
|
|
|
PHIL 4170 - Philosophy of Logic Provides a survey of issues in the philosophy of logic. Topics include formal theories of truth, logical and semantical paradoxes, modal logic, conditionals, interpretations of quantifiers, and philosophical implications of Godel’s incompleteness theorems.
Requisites: CS 3000 or PHIL 3200 Credit Hours: 3 Repeat/Retake Information: May be retaken two times excluding withdrawals, but only last course taken counts. Lecture/Lab Hours: 3.0 seminar Grades: Eligible Grades: A-F,WP,WF,WN,FN,AU,I Learning Outcomes: - It is expected that the course will contribute to the enhancement of students’ reading, critical thinking, and mathematical reasoning skills and acquaint them with a variety of standard and nonstandard logical systems.
- Including first-order logic, modal logic, second-order logic, intuitionistic logic, and relevance logic.
Add to Portfolio (opens a new window)
|
|