Logic in Konstanz

Auf dieser Seite finden sich Informationen zu den Aktivitäten der interdisziplinären Logik-Gruppe der Universität Konstanz.

Beteiligte Fachbereiche:

Hier können Sie sich für die Logik-Mailingliste eintragen, um regelmäßig über die Seminarvorträge und andere Aktivitäten der Gruppe informiert zu werden

Kolloquium

Das logische Kolloquium findet derzeit ca. viermal im Semester statt, und zwar jeweils am Donnerstag von 17.00-18.30 in Raum G307. Einladungen zu den Vorträgen werden über die Mailingliste verschickt und die Termine hier bekannt gegeben.

Kommende Vorträge:

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 Dieser Vortrag findet aufgrund des Feiertags am 05.05.2016 am Mittwoch ab 18.15 und abweichend in Raum G420 statt.
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

Bisherige Vorträge:

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 eine Liste der verfügbaren Abstracts.

Lehrveranstaltungen

Im laufenden Semester (SS 2016):

Axiomatische Mengenlehre 1 (Dr. Carl) Vorlesung mit Übung
Modelltheorie (Prof. Dr. Prestel) Vorlesung
Advanced Model Checking (Prof. Dr. Leue) Vorlesung mit Übung
Simply a Game: Model Checking and Games (Prof. Dr. Leue) Seminar
Edmund Husserl: "Logische Untersuchungen" (Dr. Lailach-Hennrich) Proseminar
Formale Logik II: Gödel Unvollständigkeit (Dr. Raidl) Proseminar
Klassische Texte des logischen Empirismus (Dr. Wagner) Proseminar
Konditionale (Dr. Raidl, Dr. Olsen) Proseminar
Maschinelle Übersetzung (Sebastian Lory) Seminar
Semantics I (Andreas Walker) Seminar (Englisch)
Semantik I (Dr. Manfred Kupffer) Seminar (Deutsch)

Weitere Informationen zu den Veranstaltungen und die Möglichkeit zur Anmeldung finden Sie hier.

Vergangene Lehrveranstaltungen:

Wintersemester 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) Vorlesung

Sommersemester 2015

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

Wintersemester 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

Diese Seite und die Mailingliste werden zur Zeit verwaltet von Merlin Carl (merlin.carl@uni-konstanz.de).

Letzte Änderung: 14. 08. 2015

Universität Konstanz