Formal Methods Seminars

This is a weekly seminar that runs throughout the year during term-time.  The aim of the seminar is for those of us who use formal or logical or mathematical methods in our research to teach introductory sessions on those methods to anyone who would like to come along and learn about them.  The sessions will presuppose little background knowledge.

The seminar will run Tuesdays 3-4pm in the Philosophy Common Room, 9 Woodland Road.

In the first term, we'll cover logical methods in philosophy. In the second term, we'll cover mathematical methods in epistemology, philosophy of science, theory of action, and political philosophy (i.e. probability, information theory, decision theory, game theory, and voting theory). The topics for the third term have not yet been confirmed. Contact Richard Pettigrew with any suggestions.

Everyone is welcome to come for any or all of the weeks!

 

Schedule

9th October - Gödel's completeness theorem for first-order logic (Kate Hodesdon)

16th October - NO SEMINAR

23rd October - Gödel's incompleteness theorems (Staffan Angere)

30th October - Compactness and Löwenheim-Skolem theorems for first-order logic (Benedict Eastaugh)

6th November - Modal logic (Richard Pettigrew)

13th November - Modal Logic (Richard Pettigrew)

20th November - Nonclassical Logic (Richard Pettigrew)

27th November - Theories of Truth (Toby Meadows)

4th December - Computability theory (Toby Meadows)

11th December - Computability theory (Toby Meadows)