Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

The Logic Seminar 2018

The logic seminar takes place on alternate Thursdays between 13:15 and 15:00 at Olof Wijksgatan 6 in room T 307 (unless otherwise stated).

The archive of older seminars (starting 2005) is divided into two web pages: 2005-2013 Logic Seminars and 2014-2018

Autumn 2018 Logic Seminar Schedule

27 Sept: Volker Halbach (Oxford). Room T340!
Classical and determinate truth (joint work with Kentaro Fujimoto)
Abstract. We present an axiomatic theory of truth over PA formulated in the language of arithmetic with two new unary predicate symbols D and T. The axioms for truth state that truth commutes with connectives and quantifiers for the entire language. Moreover we have an axiom schema stating the T-sentences for all determinate sentences. Determinacy is expressed by the symbol D, which is also axiomatized. The axioms allow for serious interaction between truth and determinacy.

We argue that this system satisfies several requirements that make the theory very useful. In particular, we argue that it can alleviate some worries Kreisel had about the model-theoretic definition of logical consequence.

A proof-theoretic analysis of system shows that it is slightly stronger than the Kripke-Feferman theory of truth or ramified analysis up to ε0.

11 Oct: Room: T340!

25 Oct: Sven-Ove Hansson (KTH)

8 Nov: Jakub Szymanik (Amsterdam)

22 Nov: Andrea Vezzosi (Chalmers)

6 Dec: 

20 Dec: 

Mailing list

There is a mailing list used for spreading information about the logic seminar. Please use the above link to subscribe to it.

 

Page Manager: Monica Havström|Last update: 9/18/2018
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?