Week 7, 25 February 2014 (16:30-18:00 Watson 310)

Speaker: Kentaro Fujimoto (Bristol)
Some uses and applications of truth theory in logic

In this talk, I will try to give a (partial) overview of axiomatic truth theory, from my particular perspective, in connection to some problems in the foundation of mathematics and its use and application in some areas of mathematical logic.

About the seminar

The Midlands Logic Seminar was founded in 2011 and aims to cover all areas of mathematical logic, as well as related areas of theoretical computer science, and philosophy of mathematics.

Logistics

All meetings for Term 2, 2013-14 will be Tuesday from 17:00-19:00 in room 310 of Watson Building (School of Mathematics) on the campus of the University of Birmingham.
  • campus map
  • google maps
    To get to campus, take the train from Birmingham New Street to the University stop (7 minutes).

    Organizers

    Dr Richard Kaye
    School of Mathematics
    University of Birmingham

    http://web.mat.bham.ac.uk/R.W.Kaye/

    Dr Walter Dean
    Department of Philosophy
    University of Warwick

    http://go.warwick.ac.uk/whdean