Logik und Sprachtheorie

Oberseminar Logik und Sprachtheorie

Das Oberseminar findet in der Regel donnerstags um 18 Uhr c.t. in Raum A104, Sand 1 statt.

Interessierte können sich per Email an Michael Arndt in den Einladungsverteiler eintragen lassen.

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