Prof Miklos Redei LAK.4.03 and Mr Wesley Wrigley KGS.2.06

The course is taught by Dr. W. Wrigley.

This course is available on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics and BSc in Politics and Philosophy. This course is available as an outside option to students on other programmes where regulations permit and to General Course students.

This course is available on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics and BSc in Politics and Philosophy. This course is available with permission as an outside option to students on other programmes where regulations permit and to General Course students.

Students must have completed Introduction to Logic (PH111).

Students should have taken PH111 and obtained a grade of at least 65. Students who have not taken PH111 should instead have taken MA102 or MA103

The course begins with taking a look at the big picture: the main problems and milestones of modern logic. Then, after a quick review of classical propositional and first-order predicate logic, the course delves into the central meta-theorems about classical logic (such as the soundness and completeness theorems). This will lead the way to an outline of the famous limitative results that have philosophical ramifications: Godel's  incompleteness theorems and Tarski's undefinability theorem. The course ends with exploring extensions of and alternatives to classical logic, namely modal logics,  logics of counterfactual conditionals and intuitionistic logic.

15 hours of lectures and 10 hours of classes in the WT.

10 x 1.5 hours of lectures and 10 x 1 hours of classes in the WT. 

Students will be expected to produce 2 problem sets and 1 essay in the WT.

Students are required to hand in solutions for problem sets and to write an essay (word limit: 1500 words) on a topic that is selected from a list or proposed by the student with approval of the instructor.

Sider, Theodore: Logic for Philosophy (Oxford University Press, 2010).

Cameron, Peter J. 1999. Sets, Logic and Categories. Springer undergraduate mathematics series. London, Berlin, Heidelberg: Springer.

Specific sections of these texts that are relevant to weekly topics will be indicated in the detailed course description and in the Moodle page of the course.

Curry, H.B. 1963. Foundations of Mathematical Logic. New York: McGraw-

Hill.

P. Smith. Godel without (too many) tears. 2016. available online.

Exam (100%, duration: 2 hours) in the spring exam period.

A written 2 hour sit examination at the end of the academic year. The exam questions are chosen from a list of questions that are made available at the beginning of the academic year ("seen exam").