Registration for this term is over. Changes or corrections to registration now by petition only. Students should contact their academic advisor.
Course is closed. Approval of the instructor is now required for registration.
Prerequisites/Notes:
PHIL 150 or consent of instructor
Catalog Description :
An investigation of topics selected from among the following: consistency and completeness theorems for both sentential and predicate logic, Gödel’s Incompleteness Theorem, logical paradoxes (Russell’s Paradox, the Liar Paradox, and Newcomb’s Paradox), and modal-tense logic and its formal semantics
Topic for Spring 2025: Metalogic, Non-Classical Logics, and Modal Logics
PREREQUISITES: PHIL 150 or consent of instructor
This course is an introduction to the metalogic of sentential and quantified logic, including their axiomatizations as well as soundness and completeness proofs for them, and to the proof techniques required for those proofs, like mathematical induction. We will also become acquainted with some extensions of and alternatives to sentential and quantified logic, including certain non-classical logics, modal logics, and logics for counterfactual conditionals. Course may be repeated when topic is different.
Attributes: Cross-Listed Course, GER Humanities Div, 400-599 Advanced Course
Term |
Spring Term 2025 |
Instructors |
Scott Dixon |
Course |
PHIL 420 |
Grade Mode |
Standard |
Title |
TOP: METALOGIC, NON-CLASSICAL |
Final Exam |
Wednesday, Jun 11, 2025 08:00 a.m. - 10:30 a.m. |
CRN |
3798 |
Status |
Active |
Class Time |
12:40 PM-02:25 PM TR MAIN 402 |
Start-End Date |
Mar 31, 2025-Jun 11, 2025 |
Campus |
Appleton Main Campus |
Units |
6 |
Cross Listed as |
LING 420 |
Course materials |
View Book Information |
| |
Maximum |
Number registered |
Total Registered in Crosslisted Group |
Number on waitlist |
Seats available |
Enrollment: |
20 |
5 |
7 |
0 |
13 |
|
