Intermediate Logic.
Faculty of ArtsPhilosophy
Description
A second course in Logic. NB. The course will be technical in nature, and some mathematical aptitude is essential. The emphasis is on the expressive properties of standard logical systems, including implications for the philosophy of mathematics. We will study the Completeness of First-Order Logic, then the 'limitative' theorems of Tarski and Gödel.
Course outline
Checking availability…
Preview the 5 closest equivalencies already indexed in our system
No matches found for this course.