Logic in Konstanz

On this page, you can find information concerning the activities of the interdisciplinary logic group of the University of Konstanz.

Organisers

Participating Departments:

• Department of Computer Science
• Department of Law
• Department of Linguistics
• Department of Mathematics and Statistics
• Department of Philosophy

Logic courses

Logik Kolloquium

The Logik Kolloquium takes place about four times per term on Monday, 15:15–16:45, usually in room F426.
The talks are communicated via the mailing list and announced here.

Upcoming Talks:

• 20.05.19: Prof. Karl-Georg Niebergall (Dept. of Philosophy, HU Berlin), t.b.a.
• 10.06.19: Public Holiday
• 24.06.19: Lorenzo Galeotti (Institute for Logic, University of Amsterdam), t.b.a.
• 15.07.19: Prof. Menachem Kojman (Dept. of Mathematics, Ben Gurion Uniersity, Israel), t.b.a.

Past Talks:

Summer Semester 2019

• 15.04.19: Deborah Kant (Dept. of Philosophy, Uni Konstanz), "Set-theoretic independence approached by an interview study", Abstract.

Winter Semester 2018/19

• 04.02.19: Marianna Antonutti Marfori (Department of Philosophy, MCMP, LMU München), "On the Significance of Mathematical Hierarchies". Abstract.
• 14.01.19: Michael Kohlhase (Department of Computer Science, FAU Erlangen-Nürnberg), "Theory Graphs and Meta-Logical/Grammatical Frameworks: MMT as a Logic/Language/World-Workbench". Slides, Abstract.
• 17.12.18: Salma Kuhlmann (Department of Mathematics, Uni Konstanz), "Non-Standard Models of Peano Arithmetic and Real algebra". Abstract.
• 19.11.18: Ede Zimmermann (Department of Linguistics, Goethe-Uni Frankfurt), "Anaphoric Operators and Expressivity in Intensional Languages". Abstract.

Summer Semester 2018

• 19.07.18: Albert Visser (Department of Philosophy and Religious Studies, Utrecht University), "Self-Referential Gödel Numberings".
• 21.06.18: Tatjana Petrov (Department of Computer and Information Science, University of Konstanz), "BioLogics — Logics for Modelling Gene Regulation".
• 24.05.18: David Rey (LOGOS, University of Barcelona), "Towards an Intensional Account of Tenses".
• 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?".

Winter Semester 2017/18

• 01.02.18: Eva Csipak (University of Konstanz, Department of Linguistics), "Conditionalizing Referential Uses of Definite Descriptions".
• 18.01.18: Victoria Gitman (CUNY, Graduate Center), "The Emerging Zoo of Second-Order Set Theories".
• 07.12.17: Ben Eva (University of Konstanz, Department of Philosophy), "Revising, Updating and Learning".
• 09.11.17: Luca Tranchini (University of Tübingen, Department of Computer Science), "Proof, Meaning and Paradox: Some Remarks".

Summer Semester 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".
• 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".

Winter Semester 2016/17

• 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".

Summer Semester 2016

• 14.07.2016: Dr. Eric Raidl (Department of Philosophy, University of Konstanz), "Credence revisions and conditional logic". Abstract
• 16.06.2016: Dr. Dominik Klein (Department of Cultural Studies, University of Bayreuth), "Knowledge, Belief, Normality, and Introspection". Abstract
• 12.05.2016: Daniel Kuby (Department of Philosophy, University of Konstanz and University of Vienna) and Dr. Carolin Antos (Kurt Gödel Research Center for Mathematical Logic, Faculty of Mathematics, University of Vienna): "Forcing in modern Set Theory - a conceptual change?". Abstract
• 04.05.2016: Prof. Dr. John Woods (University of British Columbia): "Globalization makes inconsistency unrecognizable". Abstract

Winter Semester 2015/16

• 21.04.2016: Dr. Katharina Felka (Department of Philosophy, University of Zürich): "On easy arguments for numbers". Abstract
• 14.01.2016: Dennis Müller (KWARC (Knowledge Adaptation and Reasoning for Content) group, School for Science and Engineering, Jacobs University Bremen): "Towards a universal foundation-independent library of formal knowledge". Abstract
• 07.01.2016: Julian Schlöder (Institute for Logic, Language and Computation, University of Amsterdam): "Weak Rejection". Abstract
• 12.11.2015: Dr. Frank Zenker (Department of Philosophy, Konstanz and Lund University, Schweden): "What do we mean by `fallacy'?". Abstract

Summer Semester 2015

• 16.07.2015: Dr. Brian Leahy (Department of Linguistics, Konstanz): "Actually, if"
• 18.06.2015: Prof. Dr. Stefan Leue (Department of Computer & Information Science, Konstanz): "Logical Methods in the Design of Critical Systems".
• 21.05.2015: Dr. Brendan Balcerak-Jackson (Zukunftskolleg/Department of Philosophy, Konstanz): "Reconceiving Interpretational Validity".

Winter Semester 2014/15

• 05.02.2015: Dr. Sven Lauer (Zukunftskolleg/Department of Linguistics, Konstanz): "Conditionalized modal sentences: Modus ponens and strengthening of the antecendent".
• 22.01.2015: Prof. Dr. Thomas Müller (Department of Philosophy, Konstanz): "Case-intensional first order logic: A logic for talking about things and what is possible for them".
• 06.11.2014: Dr. Merlin Carl (Department of Mathematics and Statistics, Konstanz): "Naproche - Logic and Linguistics of Natural Mathematical Language".

This page is currently administered by Michele Serra

University of Konstanz