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.

Colloquium

The logical colloquium takes place about four times per term on Thursday, 17.00-18.30 in room G307. Invitations to the talks are communicated via the mailing list and announced here.

Upcoming Talks:

21.04.2016: Dr. Katharina Felka (Department of Philosophy, University of Zürich): „On easy arguments for numbers“ Abstract
04.05.2016: Prof. Dr. John Woods (University of British Columbia): "Globalization makes inconsistency unrecognizable" Abstract Because of a public holiday on the 05.05.2016, this talk will take place on Wednesday, 18.15-19.30 and in room G420.
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
16.06.2016: Dr. Dominik Klein (Department of Cultural Studies, University of Bayreuth): „Knowledge, Belief, Normality, and Introspection“ Abstract
14.07.2016: Dr. Eric Raidl (Department of Philosophy, University of Konstanz): "Credence revisions and conditional logic" Abstract

Past Talks:

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

Hier is a list of the available abstracts.

Teaching

Logic-related courses in the current semester (SS 2016):

Axiomatische Mengenlehre 1 (Dr. Carl) Lecture course with exercises
Modelltheorie (Prof. Dr. Prestel) Lecture course
Advanced Model Checking (Prof. Dr. Leue) Lecture course with exercises
Simply a Game: Model Checking and Games (Prof. Dr. Leue) Seminar
Edmund Husserl: "Logical Investigations" (Dr. Lailach-Hennrich) Proseminar
Formal Logic II: Gödel Incompleteness (Dr. Raidl) Proseminar
Classical Texts of Logical Empirism (Dr. Wagner) Proseminar
Conditionals (Dr. Raidl, Dr. Olsen) Proseminar
Machine Translation (Sebastian Lory) Seminar
Semantics I (Andreas Walker) Seminar (In English)
Semantics I (Dr. Manfred Kupffer) Seminar (In German)

If you need further information on or want to register for one of the courses, you can do this here..

Past Courses:

Winter Term 2015/2016

PHI-10235 Formale Logik *Formal Logic* (Dr. Raidl) Proseminar
PHI-12770 Logisch-Semantische Propädeutik *Elementary Logic* (PD Dr. Rosenthal) Proseminar
Rangtheorie und Erkenntnistheorie *Ranking Theory and (formal) Epistemology* (Dr. Raidl) Proseminar
MAT-12510 Topics in Model Theory (Dr. Eleftheriou) Lecture Course

Summer Term 2015

INF-13200-20151 Advanced Model Checking (Prof. Dr. Leue) Lecture course with exercises
LIN-17240-20151 Advanced Topics in Semantics (Prof. Dr. Romero) Seminar
MAT-10095-20151 Mathematische Logik (Dr. Carl) Lecture course with exercises
MAT-10460-20151 Berechenbarkeit, Turingmaschinen (PD Dr. Schmid) Lecture course
MAT-12510-20151 Modelltheorie (Prof. Dr. Prestel) Lecture course
PHI-17120-20151 Introduction to the Philosophy of Mathematics (Dr. Balcerak Jackson) Hauptseminar/Proseminar

Winter Term 2014/2015

MAT-12210-20142 Imre Lakatos' "Beweise und Widerlegungen" *Imre Lakatos' "Proofs and Refutations"* (Dr. Carl) Proseminar/EPG2-Seminar
PHI-10235-20142 Formale Logik *Formal Logic* (Dr. Zinke) Proseminar
PHI-12770-20142 Logisch-Semantische Propädeutik *Elementary Logic* (PD Dr. Rosenthal) Proseminar

This page and the mailing list are currently administered by Merlin Carl (merlin.carl@uni-konstanz.de).

Letzte Änderung: 14. 08. 2015

University of Konstanz