This course is cross listed with LING 420 (CRNs: 3799).Please register for the course you want to appear on your transcript. You can also submit a Crosslist Request Form at any time.
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 |
|
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 |
10 |
0 |
10 |
|
