Logic in Konstanz

Welcome to the website of the interdisciplinary logic group of the University of Konstanz!

Participating departments are the Department of Computer and Information Science, the Department of Law, the Department of Linguistics, the Department of Mathematics and Statistics, and the Department of Philosophy.

Logic Mailing List

Here you can subscribe to the logic mailing list to receive information about the Logic Colloquium and further activities of the group.

Logic Section in ZEuS

Here you can find a list of logic related courses in the current semester.

If you have any questions, please contact antje DOT rumberg AT uni-konstanz DOT de.

Logic Colloquium — SoSe 2018

The colloquium takes place on Thursday, 17:00–18:30 in room G307.

26.04.18
Martin Rechenauer (MCMP, LMU Munich / Department of Philosophy, University of Konstanz)
Harsanyi’s Aggregation Theorem: What does it say and how is it to be interpreted?

24.05.18
David Rey (LOGOS, University of Barcelona)
Towards an Intensional Account of Tenses

21.06.18
Tatjana Petrov (Department of Computer and Information Science, University of Konstanz)
BioLogics — Logics for Modelling Gene Regulation

19.07.18
Albert Visser (Department of Philosophy and Religious Studies, Utrecht University)
Self-Referential Gödel Numberings

Past Talks

WiSe 2017/18


09.11.17
Luca Tranchini (University of Tübingen, Department of Computer Science)
Proof, Meaning and Paradox: Some Remarks

07.12.17
Ben Eva (University of Konstanz, Department of Philosophy)
Revising, Updating and Learning

18.01.18
Victoria Gitman (CUNY, Graduate Center)
The Emerging Zoo of Second-Order Set Theories

01.02.18
Eva Csipak (University of Konstanz, Department of Linguistics)
Conditionalizing Referential Uses of Definite Descriptions

SoSe 2017


06.07.17
Sebastian Krapp (University of Konstanz, Department of Mathematics and Statistics)
Tarski's Exponential Function Problem

01.06.17
Manfred Kupffer (University of Konstanz, Department of Linguistics)
Suppose

27.04.17
Kristina Liefke (LMU Munich, MCMP)
Single-Type Semantics: Foundations and Applications

WiSe 2016/17


26.01.17
Georgiana Caltais (University of Konstanz, Department of Computer and Information Science)
(Co-)Algebraic Approaches to the Modelling and Verification of Reactive Systems

08.12.16
Antje Rumberg (University of Konstanz, Department of Philosophy)
Transition Semantics for Branching Time


27.10.16
Neil Barton (University of Vienna, Kurt Gödel Research Center)
Mathematics as the Science of (Different Kinds of) Structures

SoSe 2016


14.07.16
Eric Raidl (University of Konstanz, Department of Philosophy)
Credence Revisions and Conditional Logic

16.06.16
Dominik Klein (University of Bayreuth, Department of Cultural Studies)
Knowledge, Belief, Normality, and Introspection

12.05.16
Daniel Kuby (University of Vienna, Department of Philosophy) and Dr. Carolin Antos (University of Vienna, Kurt Gödel Research Center)
Forcing in Modern Set Theory: A Conceptual Change

21.04.16
Katharina Felka (University of Zurich, Department of Philosophy)
On Easy Arguments for Numbers

WiSe 2015/16


14.01.16
Dennis Müller (Jacobs University Bremen, School for Science and Engineering)
Towards a Universal Foundation-Independent Library of Formal Knowledge

07.01.16
Julian Schlöder (University of Amsterdam, ILLC)
Weak Rejection

12.11.15
Frank Zenker (University of Konstanz, Department of Philosophy)
What Do We Mean by ‘Fallacy’?

SoSe 2015


16.07.15
Brian Leahy (University of Konstanz, Department of Linguistics)
Actually, if

18.06.15
Stefan Leue (University of Konstanz, Department of Computer and Information Science)
Logical Methods in the Design of Critical Systems

21.05.15
Brendan Balcerak-Jackson (University of Konstanz, Department of Philosophy)
Reconceiving Interpretational Validity

WiSe 2014/15


05.02.15
Sven Lauer (University of Konstanz, Department of Linguistics)
Conditionalized Modal Sentences: Modus Ponens and Strengthening of the Antecedent

22.01.15
Thomas Müller (University of Konstanz, Department of Philosophy)
Case-Intensional First Order Logic: A Logic for Talking about Things and What Is Possible for Them


06.11.14
Merlin Carl (University of Konstanz, Department of Mathematics and Statistics)
Naproche: Logics and Liguistics of Natural Mathematical Language