Course
CRS-0802-02-003Intermediate Logic
intermediateactive
Examines modal logic, computability, and incompleteness.
Intermediate Logic
intermediateactive
Also known as: Logic II
| Course name | Intermediate Logic |
|---|---|
| Course code | CRS-0802-02-003 |
| Canonical ID | urn:taxonomy:cip-aligned:course:0802-02-003 |
| Level | intermediate |
| Status | active |
| Subject | Logic (SUB-0802-02) |
| Discipline | Philosophy (DIS-0802) |
| Category | Humanities and Languages (CAT-08) |
Examines modal logic, computability, and incompleteness.
Credit hours
| Min | 3 |
|---|---|
| Max | 3 |
| Type | semester |
Contact hours
| Lecture | 3 |
|---|---|
| Lab | 0 |
| Studio | 0 |
| Clinical | 0 |
| Practicum | 0 |
Learning outcomes
- Apply modal logic.
- Analyze computability.
- Analyze incompleteness.