Logik und Sprachtheorie

Oberseminar Logik und Sprachtheorie

For recent and future talks, presentations and events in the area of logic see the programme of the  Carl Friedrich von Weizsäcker Zentrum. 

Sommersemester 2021

  • 14.5. Elio La Rosa (Munich): Syntactic Cut elimination for Epsilon Calculus
  • 17.6. Bruno Da Ré and Damián Szmuc (Buenos Aires): Three-valued formulations of classical logic and their sequent calculi counterparts
  • 24.6. Diego Tajer (Buenos Aires/Munich): A simple solution to the collapse argument for logical pluralism

Wintersemster 2020/21

  • 3.11. David Pym (London): Towards proof-theoretic semantics for reductive logic
  • 18.2. David Binder (Tübingen): Polarity, Symmetry and Evaluation Order
  • 25.2. Lucas Rosenblatt (Buenos Aires): A problem for the Prawitz-Tennant conception of paradoxicality

Sommersemester 2020

  • 09.07. Luca Tranchini (Tübingen): Higher-level inferences in the Strong-Kleene setting: A proof-theoretic approach
  • 16.07. Luiz Carlos Pereira (Rio de Janeiro): Ex-falso and Disjunctive Syllogism
  • 23.07. Federico Matías Pailos (Buenos Aires/Tübingen): Metainferential Logics

Wintersemester 2019/20

  • 21.10. Elio La Rosa (München): Informal Provability and its Logics
  • 28.11. Paolo Maffezzioli (Barcerlona): Cut elimination for modal logics without implicit contractions
  • 28.11. Alexandra Zinke (Tübingen): Still in Harmony? On  Demarcation Criteria for Logical Terms
  • 03.12. Sebastian Speitel (UC San Diego): Definition, Determination, and Logical Constants
  • 23.01. Abílio Rodrigues (Universidade Federal de Minas Gerais): Paraconsistency, Evidence, and Truth
  • 10.02. Farhan Nasir (Tübingen): Weak and Strong Normalization for Public Announcement Logic

  • 20.02. Ernst Zimmermann (Tübingen): Natural Deduction without Permutative Reductions

Sommersemester 2019

  • 07.05. Kai Tanter (Melbourne): Atomic Inferences and Two Traditions in Inferentialism
  • 21.05. Hitoshi Omori (RUB Bochum): Modalities and PTS in view of non-deterministic semantics
  • 04.06. Stephen Read (St. Andrews): The Rule of Contradictory Pairs, Insolubles and Validity
  • 18.06. Peter Schuster (Verona): Glivenko-Style Conservation from an Axioms-as-Rules Perspective
  • 25.06. Clément Lion (Lille): A dialogical construction of a verification-object for Kripke's schema
  • 16.07. Ernst Zimmermann (Tübingen): Definability by Sequents
  • 23.07. Paolo Pistone (Tübingen): Finite Polynomial Functors and the Second Order Translation of Generalized Connectives

Wintersemester 2018/19

Sommersemester 2018

  • 17.04. Gabriele Pulcini (Lissabon): From complementary logic to proof-theoretic semantics
  • 24.04. Hermógenes Oliveira (Tübingen): Completeness for a proof-theoretic semantics based on elimination rules
  • 08.05. Simon Worbis: Admissible Rules in IPC. On a result by Grigori E. Mints
  • 19.06. Martin Fischer (München): Systems for modal predicates and Löb's theorem
  • 03.07. Pierre Wagner (Paris): Normativity, pluralism, and logical commitment
  • 10.07. Sara Ayhan (Bochum): Proof-theoretic semantics and paradoxes: Distinguishing non-standard phenomena in sequent calculus

Wintersemester 2017/18

  • 17.10. Paolo Pistone (Roma 3): Proof-nets, permutations and the meaning of second order quantification
  • 24.-25.10. Workshop Logik, Sprachtheorie und Erkenntnistheorie
    • Thomas Piecha (Tübingen): Intuitionistic logic is not complete for standard proof-theoretic semantics
    • Luca Tranchini (Tübingen): Yet another computational interpretation of classical logic
    • Paolo Maffezioli (Bochum): Intuitionistic​ ​extensional​ ​mereology
    • Grigory​ ​Olkhovikov (Bochum): Justification​ ​stit​ ​logics:​ ​a​ ​survey​ ​of​ ​results
    • Michael Arndt (Tübingen): Tomographs for Substructural Display Logic
    • Sergey​ ​Drobyshevich (Bochum): A​ ​Hilbert-style​ ​calculus​ ​that​ ​takes​ ​falsification​ seriously
    • Joao Marcos (Bochum): The mystery of duality unraveled: dualizing rules, operators, and logics
    • Daniel​ ​Skurt (Bochum): More modal semantics without possible worlds
  • 15.11. David Binder (Tübingen): Type-theoretic Foundations of Mathematics
  • 05.12. Ernst Zimmermann: Elimination by Composition in Natural Deduction
  • 12.12. Carlo Nicolai (Utrecht): Substructural approaches to paradox and the logic of semantic groundedness
  • 16.01. Bartosz Więckowski (Frankfurt): Subatomic negation
  • 30.01. Michael Arndt (Tübingen): Tomographs for substructural display logic
  • 06.02. Daniele Chiffi (Tallin): Logical Inference in the Diagrammatic System of Assertive Graphs

Wintersemester 2016/17

  • 29.11. Magdalena Sannwald: Wahrheitswert und Wertverlauf in Freges "Grundgesetzen der Arithmetik"
  • 06.12. Reinhard Kahle (Lissabon): Hilberts 24. Problem
  • 07.12. Reinhard Kahle (Lissabon): Hilberts umfassendes Programm
  • 02.-03.03. Consequence and Paradox Between Truth and Proof

Sommersemester 2016

  • 10.05 Salvatore Florio (Kansas): Metalogic and the Overgeneration Argument
  • 24.05. Tiago de Castro Alves (Tübingen): On the formulation of the identity problem
  • 28.06. Ernst Zimmermann: Challenging Verificationism and Pragmatism
  • 05.07. Miloš Adžić (Belgrad): Gödel on the intensional logic of concepts
  • 12.07. René Gazzari (Tübingen): Pure Proofs
  • 19.07. Arnd Kulow (Herrenberg), Logic and Law Meeting
  • 11.08. Kosta Došen (Belgrad): Isomorphism in Intensional Logic

Wintersemester 2015/16

  • 27.-29.11. General Proof Theory
  • 25.11. Kosta Došen (Belgrad): Problems and results in general proof theory
  • 15.12. David Binder (Tübingen): Negation in Popper's theory of deductive inference
  • 19.01. Hermógenes Oliveira (Tübingen): On Dummett's Pragmatist Proof-Theoretic Validity
  • 26.01. Lew Gordeew: On Proof Compressions in Sequent Calculi and Natural Deductions

Sommersemester 2015

  • 07.05. Elia Zardini (Lissabon): Against the world
  • 09.06. Hermógenes Oliveira (Tübingen): On Dummett's Verificationist Proof-Theoretic Validity
  • 07.07. David Binder (Tübingen): Takeuti's Conjecture: Hauptsatz for Higher Order Logic
  • 14.07. Vlasta Sikimic (Belgrad): Structurally enriched sequent systems
  • 23.07. Paolo Pistone (Rom): Parametric polymorphism and completeness

Wintersemester 2014/2015

  • 02.12. Ivo Pezlar (Brno): Problems and solutions in the framework of procedural semantics
  • 16.12. Tiago de Castro Alves (Tübingen): Against the interpretation of Kant's notion of existence as a second order concept
  • 27.01. Ernst Zimmermann: Negation in Classical Lambek Calculus
  • 09.02. Ansten Mørch Klev (Prag): Type predications

Sommersemester 2014

  • 28.04. Ernst Zimmermann: Finite satisfiability complete tableaux
  • 07.07. Antonio Piccolomini d'Aragona (Roma): Dag Prawitz's theory of grounds: Inferences and logical consequence
  • 14.07. René Gazzari (Tübingen): Diskurse
  • 23.-24.08. Conference on Hypothetical Reasoning

Wintersemester 2013/2014

  • 21.10. Kai Wehmeier (Irvine): The Modal Rubicon
  • 29.10. Thomas Seiller (Savoie): Geometry of Interaction
  • 11.11. Ole Hjortland (München): Proof Theoretic Harmony in the Substructural Era
  • 06.12. Edward Hermann Haeusler (Rio de Janeiro): On computational complexity of propositional logics and the sub-formula principle
  • 06.12. Luiz Carlos Pereira (Rio de Janeiro): On the proof thory of classical logic
  • 13.01. Vito Michele Abrusci (Roma): Antinomy of the liar: an analysis inspired by linear logic and transcendental syntax
  • 20.01. Vincent Degauquier (Louvain-la-Neuve): A Uniform Proof-Search Method for Partial and Paraconsistent Four-Valued Logics
  • 21.-23.02. Workshop on Functions, Proofs, Constructions

Sommersemester 2013

  • 23.04. Grigory Olkhovikov (Ekaterinburg): Intuitionistic predicate logic of constant domains does not have Beth property
  • 28.05. David Makinson (London): Intelim Rules for Classical Connectives: Questions of Existence and Uniqueness
  • 04.06. Ivo Pezlar (Brno): Towards a More General Concept of Inference
  • 25.06. René Gazzari (Tübingen): Der Kalkül des natürlichen Rechnens
  • 02.07. Pablo Cobreros (Navarra): S'valuationism and their logics

Wintersemester 2012/2013

  • 12.11. Francesco Paoli (Cagliari): Semantic Minimalism for Logical Constants
  • 21.11. Jon Litland (Oslo): Proof-Theoretic Semantics Based on Elimination Rules
  • 27.11. Vincent Degauquier (Louvain-la-Neuve): Cut-Redundancy, Partiality and Paraconsistency
  • 18.12. Patrizio Contu (Zürich): Über Evaluationsordnung in formalen Theorien
  • 15.01. Ernst Zimmermann: Kripke Rahmen für Algebren
  • 22.01. Peter Schroeder-Heister (Tübingen): On Flattening Elimination Rules
  • 08.-10.03. Second Conference on Proof-Theoretic Semantics

Sommersemester 2012

  • 16.-17.04. Workshop on Hypothetical Reasoning
    • Alberto Naibo & Mattia Petrolo (Paris): Towards a verificationist account of classical propositional logic
    • Luca Tranchini (Tübingen): How to Tarski Dummett-Prawitz's validity
    • Thomas Piecha (Tübingen): Atomic systems and constructive semantics
    • Jean-Baptiste Joinet (Paris): Motivated hypothesis: On the Colson & Michel approach of hypothetical reasoning
    • Jean Fichot (Paris): Proofs and counterexamples
    • Peter Schroeder-Heister (Tübingen): Towards a calculus of squares – The proof-theoretic significance of the square of opposition
    • Rainer Lüdecke (Tübingen): A game semantics for normal logic programs
    • Ernst Zimmermann: Two extensions of natural deduction
    • Michael Arndt (Tübingen): Directionality in logical calculi
    • Rene Gazzari (Lissabon): The application of Lindenbaum's Theorem
  • 10.07. Reinhard Kahle (Lissabon): Notwendigkeit

Sommersemester 2011

  • 19.04. Johannes Dellert: Modellgenerierung für die algorithmische Semantik
  • 20.04. René Gazzari: Die Lösung des Miller'schen Problems
  • 10.05. Paweł Urzyczyn (Warschau): Proof search in some propositional logics
  • 07.06. Harald Maurer: Integrative (Synchronization) Mechanisms of Cognition
  • 28.06. Laura Tesconi (Pisa): A Framework of Explicit Composition
  • 13.09. Ernst Zimmermann: Decomposition of Reductions

Wintersemester 2010/2011

  • 12.10. David Miller (Warwick): Dual Intuitionistic Logic and Its Dual
  • 26.10. Luca Tranchini (Tübingen): Truth from a proof-theoretic perspective
  • 23.11. Tor Sandqvist (Stockholm): Atomic Bases and Classical Logic
  • 11.01. Peter Milne (Stirling): Thinking about Negation
  • 17.01. Alberto Naibo und Mattia Petrolo (Paris): Logical Constants from a Computational Point of View: Towards an Untyped Setting
  • 25.01. Laura Tesconi (Pisa): A Labelled Sequent Calculus Isomorphic with Natural Deduction
  • 08.02. Peter Dybjer (Göteborg): Program testing and constructive validity
  • 25.-27.02. Workshop on Proof and Dialogues (ProDi)

Sommersemester 2010

  • 20.04. Toni Mager: Visualisierung logischer Sequenzen mittels Graphen
  • 27.04. Peter Schroeder-Heister (Tübingen): Implications-as-rules versus implications-as-links: An alternative to the left introduction rule for implication in Gentzen's sequent calculus
  • 18.05. Erik C. W. Krabbe (Groningen): Hamblin's and Lorenzen's Systems of Dialogue: Comparison and Integration
  • 01.06. René Gazzari: Lindenbaumsätze für deduktive Systeme
  • 08.06. Rainer Lüdecke (Tübingen): Jedes auf Formeln basierende Logikprogramm hat ein kleinstes unendlich-wertiges Modell
  • 15.06. Antje Rumberg: Ableitbarkeit und Abfolge bei Bernard Bolzano vor dem Hintergrund des modelltheoretischen und beweistheoretischen Folgerungsbegriffs
  • 16.06. Robert van Rooij (Amsterdam): Extending syllogistics, and providing an intensional semantics
  • 01.07. Nissim Francez (Haifa): Proof-Theoretic Reconstruction of Communication in Natural Language: Speaker-Meaning vs. Hearer-Meaning
  • 06.07. Christopher Menzel (Texas A&M): Strict Actualism and the Logic of the Possible

Sommersemester 2009

  • 21.04. Thomas Piecha (Tübingen): Inversion of Logical Rules by Definitional Reflection
  • 12.05. Heinrich Herre (Leipzig): Formal Ontology - A New Interdisciplinary Research Field
  • 16.06. Kai Wehmeier (Irvine/Nancy): Subjunctivity and Cross-World Predication
  • 21.07. Laurent Keiff (Lille): Dialogues and GTS games. Some remarks about the meaning of logical constants

Wintersemester 2008/2009

  • 21.10. Peter Schroeder-Heister (Tübingen): Definitional Reflection and Basic Logic
  • 28.10. Peter Schroeder-Heister (Tübingen): The categorical and the hypothetical: A critique of certain fundamental assumptions of standard semantics
  • 11.11. Ernst Zimmermann: A Variety of Natural Deduction
  • 13.01. Helge Rückert (Universität Mannheim): Die Dialogische Logik als semantischer Ansatz
  • 17.02. Luiz Carlos Pereira (Rio de Janeiro): Constructive fragments of classical logic
  • 31.03. Gabriele Usberti (Università degli Studi di Siena): The notion of c-justification for atomic statements

Sommersemester 2008

  • 28.05. Ernst Zimmermann: Combinatorial Proofs of Confluence and Strong Normalisation in Natural Deduction
  • 02.06. Jean-Yves Béziau (Université de Neuchâtel): Structures of Truth Values
  • 15.07. Ernst Zimmermann: Lambek Calculus in Natural Deduction
  • 21.07. Wagner de Campos Sanz (UFG, Goiânia): Peirce Rule, Subformula Principle and Separabilty of Logical Constants
  • 31.07. Norihiro Kamide (Waseda Institute for Advanced Study, Tokyo): Generalizing paraconsistent negations

Wintersemester 2007/2008

  • 23.10. Luca Tranchini (Siena): The meaning of negation: a proposal
  • 29.11. Aarne Ranta (Chalmers TH, Göteborg): Dialogue Systems and Type Theory
  • 13.03. Wagner de Campos Sanz (UFG, Goiânia): Falsity Preservation

Wintersemester 2006/2007

  • 20.-21.01. Workshop on Logic
    • Enrico Moriconi (Pisa): On the Inversion Principle
    • Peter Schroeder-Heister (Tübingen): Inversion Principles and Definitional Reflection
    • Michael Arndt (Tübingen): A Hypergraph Interpretation of Gentzen's Logistic Calculus
    • Thomas Piecha (Tübingen): Some Remarks on the Physical Interpretation of Church's Thesis
    • Luiz Carlos Pereira (Rio de Janeiro): Multiple Conclusion Intuitionistic Systems
    • Edward Hermann Haeusler (Rio de Janeiro): On Some Relations between Fragments of Classical, Intuitionistic and Minimal Logic
    • Laura Tesconi (Pisa): A Strong Normalization Theorem for Natural Deduction with General Elimination Rules
    • Ernst Zimmermann (Tübingen): A Combinatorial Proof of Strong Normalization in Natural Deduction and Simple Type Theory
  • 23.01. Reinhard Kahle (Universität Coimbra, Portugal): Rekursionstheoretische Charakterisierungen von Komplexitätsklassen und NC^k

Sommersemester 2006

  • 30.05. Christian Jacques Rentería (PUC Rio de Janeiro): A Natural Deduction System for Propositional Linear Temporal Logic
  • 28.06. Ernst Zimmermann: Normalisation of Arithmetic

Wintersemester 2005/2006

  • 18.10. Roy Dyckhoff (St Andrews): Decision methods for linearly ordered Heyting algebras
  • 16.11. Ernst Zimmermann: Generalisations of Kripke Structures
  • 07.12. Christian Jacques Rentería (PUC Rio de Janeiro): Labeled Natural Deduction for Quantifiers
  • 14.12. Birgit Henningsen: Entropie als Komplexitätsmaß für Beweise
  • 25.01. Rainer Lüdecke: Übersetzung von logischen Sequenzen in GML-Graphen
  • 25.01. Stefan Elser: Übersetzung von logischen Sequenzen in LaTeX-Graphen
  • 22.02. Ernst Zimmermann: Substructural Logics in Natural Deduction

Sommersemester 2005

  • 01.06. Ernst Zimmermann: A Basic Predicate Logic
  • 06.07. Davi Romero de Vasconcelos (PUC Rio de Janeiro): Reasoning about Games via Temporal Logic
  • 13.07. Michael Arndt (Tübingen): Logical Tomography
  • 21.07. Tobias Heindel: Rewriting in a Lattice and its Generalizations
  • 28.07. Bartosz Więckowski: Quantified Modal Logic: Denotational vs. Substitutional

Wintersemester 2004/2005

  • 10.11. Marcelo da Silva Corrêa: A Logical and a Categorical Characterization for a Partial Non-commutative Combining Operation
  • 19.11. Roy Dyckhoff (St Andrews): Focused Proof Systems in Intuitionistic Logic
  • 21.01. Luiz Carlos Pereira (PUC Rio de Janeiro): Bad Reductions and the Identity Problem
  • 24.01. Edward Hermann Haeusler (PUC Rio de Janeiro): A Game-based proof of the PSPACE-completeness of Intuitionistic Propositional Logic
  • 18.02. Ernst Zimmermann: Ordinals for Combinatorial Proofs of Termination in Natural Deduction

Sommersemester 2004

  • 04.05. Ernst Zimmermann: Logik und Verbände
  • 06.07. Ernst Zimmermann: Ordinale Arithmetik und Verallgemeinerte Sigma-0 Vollständigkeit
  • 20.07. Lew Gordeew: Kombinatorische Reduktion des P-NP Problems

Wintersemester 2003/2004

  • 12.11. Michael Arndt (Tübingen): Informationsgefüge - Eine Theorie subjektiven begrifflichen Inhaltes
  • 16.01. Pavel Materna (Brno): Transparent Intensional Logic: Fundamentals
  • 16.01. Marie Duží (Ostrava): Attitudes: Hyperintensional vs. intensional contexts
  • 26.01. Ernst Zimmermann: Natürliches Schliessen mit Singulären Annahmen
  • 04.02. Tobias Heindel: Extending the Lambda Calculus towards a Process Calculus

Sommersemester 2003

  • 07.05. Michael Arndt (Tübingen): Intensions as Processes
  • 21.05. Michael Arndt (Tübingen): Language as Process
  • 28.05. Ernst Zimmermann: Intuitionistic Modal Propositional Logic
  • 03.06. Edward Hermann Haeusler (Rio de Janeiro): Theory of Computation and Formal Methods in the Dept of Informatics of PUC-RIO
  • 11.06. Edward Hermann Haeusler (Rio de Janeiro): Theory of Computation and Formal Methods in the Dept of Informatics of PUC-RIO
  • 24.06. Tobias Heindel: From Reduction Sequences to Function Processes
  • 02.07. Jörg Hudelmaier: Randomisierte binäre Suchbäume
  • 08.07. Edward Hermann Haeusler (Rio de Janeiro): Using Topos Theory for Providing Semantics of Anticipatory Operators
  • 16.07. Tobias Heindel: From Reduction Sequences to Function Processes
  • 28.07. Ernst Zimmermann: Strong Normalisation by Means of Natural Deduction

Wintersemester 2000/2001

Sommersemester 2000

Wintersemester 1999/2000

Sommersemester 1999

Wintersemester 1998/99

Sommersemester 1998

  • 16.06. Rodrigo Readi-Nasser (Kaiserslautern): Logisches Programmieren und Prawitz' Normalform
  • 31.07. Monika Seisenberger (München): Higmans Lemma

Wintersemester 1997/98