Logic in Konstanz

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

Organisers

Carolin Antos, Salma Kuhlmann

Participating Departments:

Here you can subscribe to the logic mailing list to receive information about the colloquium sessions and other activities of the group.

Logic courses

You find the logic section of the university course catalogue HERE . Please do not forget to list your logic-related courses in this section. If you cannot enter your courses yourself, please ask your departmental secretary to do so. The idea is to make all logic related courses of the different departments visible to interested students. Please point out to your students that such an interdisciplinary logic section exists.

Logik Kolloquium

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

The Colloquium is kindly supported by the Dr. August and Annelies Karst Stiftung.

Upcoming Talks:

Past Talks:

Winter Semester 2019/20

  • 14.11.19: Julian Schlöder (ILLC, Amsterdam), "Inferential Expressivism as a Theory of Meaning". Abstract.

    Summer Semester 2019

  • 15.07.19: Prof. Menachem Kojman (Dept. of Mathematics, Ben Gurion Uniersity, Israel), "Cardinal arithmetic and infinite combinatorics". Abstract.
  • 24.06.19: Lorenzo Galeotti (Institute for Logic, University of Amsterdam), "Order types of models of syntactic fragments of Peano Arithmetic". Abstract.
  • 20.05.19: Prof. Karl-Georg Niebergall (Dept. of Philosophy, HU Berlin), "Unvergleichbare Erweiterungen von ZF". Abstract.
  • 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