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

The Logic Seminar 2019

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

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

Spring 2019 Logic Seminar Schedule

24 January (Room 112, Dicksonsgatan 4)
Speaker: Graham E. Leigh
Title: Iterating self-applicable truth

7 February (Room T340): Informal meeting

21 February: (Room 112, Dicksonsgatan 4)

7 March (**T219**)
Speaker: Peter Pagin (Stockholm)
Title: Indexicality and time
Abstarct: In this talk, I shall briefly present the Switcher Semantics framework and the related idea of general compositionality. I shall then move on to David Kaplan's arguments that we need to postulate temporal propositions, true/false at world-time pairs, as the meanings-in-context of some natural language sentences, more precisely sentences with temporal context dependence. Kaplan's arguments concern the rejection of vacuous temporal operations and the compositionality of content, that is, meaning-in-context.
I shall present the arguments, some of the reactions to them in the literature (if there is time), and the Switcher Semantics solution. I will finally consider the question whether validity in Kaplan's Logic of Demonstratives is preserved in the switcher semantics for these sentences.

21 March (T340)
Speaker: Devdatt Dubhashi (Chalmers)
Title: Independence Results in Machine Learning
Abstract: The celebrated results in the foundations of Mathematics by Goedel and Cohen showed that statements such as the Axiom of Choice (AC) and the Continuum Hypothesis (CH) were independent of standard (ZF) Set Theory. Recent results have shown that surprisingly such results also bedevil machine learning. Although machine learning is identified in the popular imagination as a practical engineering field, there is in fact a well developed underlying statistical theory which also guides practical applications. Some basic statements on learnability in this framework turn out to be independent of set theory just as AC and CH are. We will give an introductory survey of independence results in general and on these recent results in machine learning in particular.

4 April (T340)

18 April (T340)
Speaker: Paul Gorbow (FLoV)
Title: TBA

2 May: (**T346**).

16 May: no seminar (departmental conference).

30 May: no seminar (public holiday).

13 June (T340)

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: 3/12/2019

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?