You are here
Modeling hypothetical reasoning: validity, inference, and paradoxes
This is the final meeting of the ANR-DFG funded project HYPOTHESES, Hypothetical Reasoning – Its Proof-Theoretic Analysis. Its aim is to investigate the modeling of hypothetical reasoning via Gentzen’s calculi (both Natural Deduction and Sequent Calculus) and other calculi recently developed in this tradition (e.g. nested sequents and proof-nets). The main focus will be on validity inference, and paradoxes, three crucial notions in evaluating the philosophical significance of such systems when applied to the analysis of hypothetical reasoning.
Speakers include:
- Vito Michele Abrusci (Univ. Rome 3)
- Michael Arndt (Univ. Tübingen)
- Thierry Coquand (Univ. Gothenburg)
- Jean Fichot (IHPST Univ. Paris 1)
- Jean-Baptiste Joinet (Univ. Lyon 3)
- Hidenori Kurokawa (Univ. Kobe)
- Luiz Carlos Pereira (PUC Rio)
- Mattia Petrolo (IHPST Univ. Paris 1)
- Thomas Piecha (Univ. Tübingen)
- Paolo Pistone (Univ. Rome 3/Aix-Marseille)
- Stephen Read (Univ. St Andrews)
- Giovanni Sambin (Univ. Padova)
- Luca Tranchini (Univ. Tübingen)
- Wagner de Campos Sanz (Univ. Federal de Goiás)
Program
Thursday, 19 February 2015
9h30 - 10h30 | Stephen Read: Inferentialism and the Logic of Identity |
10h30 - 11h00 | Coffee break |
11h00 - 11h45 | Luiz Carlos Pereira: Assumptions and the cut-rule in Natural Deduction |
11h45 - 12h30 | Thomas Piecha: Completeness in proof-theoretic semantics |
12h30 - 14h30 | Lunch |
14h30 - 15h30 | Thierry Coquand: Paradoxes in type theory |
15h30 - 16h15 | Jean Fichot: Conservativity and Analycity |
16h15 - 16h45 | Coffee break |
16h45 - 17h30 | Luca Tranchini: Harmony, rule equivalence and type isomorphism |
17h30 - 18h15 | Mattia Petrolo & Paolo Pistone: Untyped validity: from interaction to rules |
Friday, 20 February 2015
9h30-10h30 | Giovanni Sambin: A justification of intuitionistic logic by the principle of reflection |
10h30-11h00 | Coffee break |
11h00-11h45 | Hidenori Kurokawa: The principle of reflection via nested sequents |
11h45-12h30 | Wagner de Campos Sanz: Hypo: a constructivist semantics |
12h30-14h30 | Lunch |
14h30-15h15 | Jean-Baptiste Joinet: Individuals, characters and their sociality |
15h15-15h45 | Coffee break |
15h45-16h30 | Vito Michele Abrusci: Validity, inference, paradoxes: insights coming from linear logic |
16h30-17h15 | Michael Arndt: Paul Hertz and his foundation of proof theory |
Abstracts can be found on the website of the conference:
http://ls.informatik.uni-tuebingen.de/hypotheses/modhyp.html