Workshop on Hypothetical Reasoning

Date: 16-17 April 2012
Location: Universität Tübingen, Wilhelm-Schickard-Institut, Sand 6, Room F116


Monday, 16 April 2012, 10.30-17.30:

  • 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


Tuesday, 17 April 2012, 9.00-13.30:

  • 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


Contact: Thomas Piecha