Logic in Konstanz

Logic in Konstanz

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

Participating Departments:

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

Logik Kolloquium

Organisers

Carolin Antos, Salma Kuhlmann

The Logik Kolloquium takes place about four times per semester on Monday, 15:15–16:45 in Room F426, unless specified otherwise.
Further information or changes will be communicated through the mailing list.

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

Upcoming Talks and events

(in reversed chronological order)

Summer Semester 2024

  • 15.07.24: Diego Frassinelli (Konstanz), The Language of Math: A Corpus Linguistics Perspective. Abstract.
  • 24.06.24: Wolfgang Bertram (Université de Lorraine), "What are the surreal numbers, and what should they be?". Abstract.
  • 21.06.24: Emanuele D’Osualdo (Konstanz), Bluebell: a modal logic to reason about probabilistic programs. Abstract.
  • Winter Semester 2023/24

  • 11.12.23: Joris Graff (Utrecht), "Numeric default logic for modelling patterns of moral reasoning". Abstract.
  • 18.12.23 Lasse Vogel (Konstanz), "Shelah's classification program: NIP non-archimedean fields". Abstract.
  • 22.01.24 Martin Fischer (MCMP München), "An incoherence theory of truth or how to vindicate KF". Abstract.
  • 05.02.24 Manfred Kupffer (Konstanz), "Some Theories of Trees". Abstract.
  • Summer Semester 2023

  • 21.07.23: Victoria Gitman (CUNY, Mathematics), "A gentle introduction to class forcing". Abstract.
  • 12.06.23: Noelia Martinez Doallo (Konstanz, Law; Zukunftskolleg), "Critical Perspectives on Human Rights Semantics". Abstract.
  • 22.05.23: Philip Welch (Bristol; Zukunftskolleg, Mathematics/Philosophy), "Free sets". Abstract.
  • 24.04.23: Levin Hornischer (LMU München, Munich Center for Mathematical Philosophy), " Semantics for Sub-symbolic Computation". Abstract.
  • Winter Semester 2022/23

  • 16.01.23: Konstantin Genin (Tübingen, Cluster of Excellence "Machine Learning"), "On Falsifiable Statistical Hypotheses". Abstract.
  • 19.12.22: Laura Wirth (Konstanz, Mathematics) , "The Interplay of Languages, Automata and Monadic Second-Order Logic". Abstract.
  • 14.11.22: Neil Barton (Oslo, Philosophy) . Abstract.
  • Summer Semester 2022

  • 04.07.22: Farmer Schlutzenberg (Münster, Mathematics), "Large cardinals and the Axiom of Choice". Abstract.
  • 30.05.22: Inger Bakken Pedersen (Vienna, Philosophy), "Coherentist Structuralism". Abstract.
  • 16.05.22: Salvador Mascarenhas (ENS Paris, Linguistics), "Question-answer dynamics in probabilistic and deductive reasoning". Abstract.
  • 25.04.22: Tobias Sutter (Konstanz, Computer Science), "From Machine learning to topological linear system identification". Abstract.
  • 26-28.09.22: Colloquium Logicum - Conference for the 60th anniversary of the foundation of the DVMLG.
  • Winter Semester 2021/22

  • 17.01.22: Luca San Mauro (Rome) and Giorgio Venturi (Konstanz), "Illocutionary acts in mathematics". Abstract.
  • 13.12.21: Hadil Karawani (Konstanz), "Modal Logic and Modal Language: strength, duality and social meaning - a perspective from experimental semantics, database analysis, and cross-linguistic typology". Abstract.
  • 15.11.21: Philip Welch (Universität Bristol), "Quasi-induction". Abstract.
  • Summer Semester 2021

  • 19.07.21: Joel Hamkins (Oxford), "Naturality in mathematics and the hierarchy of consistency strength". Abstract.
  • 21.06.21: Sam Roberts (Konstanz), "Sets as structures". Abstract.
  • 17.05.21: Beau Mount (Konstanz), "On the Second-Order Squeezing Argument". Abstract.
  • Winter Semester 2020/21

  • 01.02.21: Daniel Kuby (Konstanz), "The linguistic nature of programming (a work-in-progress research proposal)". Abstract.
  • 07.12.20: Markus Bläser (Saarland), "Irreversibility of tensors of minimal border rank and barriers for fast matrix multiplication". Abstract.
  • Winter Semester 2019/20

  • 20.01.20: Hazel Brickhill (Dept. of Mathematics, University of Konstanz), "An introduction to Non-Archimedean Probability". Abstract.
  • 09.12.19: Manfred Droste (Institute of Computer Science, University of Leipzig), "Weighted automata and quantitative logics". Abstract.
  • 02.12.19: Mary Leng (Dept. of Philosophy, University of York), "In Defence of Explanatory Symmetry: The Case of the Flagpole and the Shadow". Abstract.
  • 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 Lasse Vogel

    University of Konstanz


    Letzte Änderung: