Academics Navigation
Academics
Courses
| Campus | Haverford |
| Semester | Fall 2025 |
| Registration ID | PHILH309A001 |
| Course Title | Topics in Logic and Language |
| Credit | 1.00 |
| Department | Philosophy |
| Instructor | Tran-Hoang,Paul |
| Times and Days | MW 02:30pm-03:55pm
|
| Room Location | |
| Additional Course Info | Class Number: 2599 What are the limits of what we can prove with logic? What are limits of what we can describe with language? Is infinity describable? Metalogic is the mathematical study of formal systems (also known as logical systems). Instead of proving things within a given formal system, metalogic aims to prove things about formal systems. Here, a formal system is understood to consist of a formal language, a collection of inference rules, and often a semantics which is said to provide that language with meaning. One of the goals of metalogic is to explore what we can conclude about formal systems--their scope, limits, dependencies, and interrelationships. We will explore questions such as:; If a collection of sentences is consistent, does there exist something that those sentences describe?; Is it possible to fully characterize a given structure using a collection of sentences?; Is there a mechanical method which would decide, of a given sentence of logic, whether it has a proof? , A: Meaning, Interpretation (Texts) (Hav: , A) |
| Miscellaneous Links |