The Logik Kolloquium takes place about four times per semester on Monday, 15:15–16:45 in Room F426.
Further information or changes will be communicated through the mailing list.
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.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".
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