19-20 Feb 2015
Paris, France
Modeling hypothetical reasoning: validity, inference, and paradoxes 19-20 February, 2015, IHPST - Paris 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. Tbingen) 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. Tbingen) Paolo Pistone (Univ. Rome 3/Aix-Marseille) Stephen Read (Univ. St Andrews) Luca Tranchini (Univ. Tbingen) Giovanni Sambin (Univ. Padova) Wagner Sanz (Univ. Federal de Gois) Titles and abstracts can be found on the website of the conference: http://ls.informatik.uni-tuebingen.de/hypotheses/modhyp.html *Conference venue* Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) Salle de confrences 13, rue du Four 75006 Paris http://www.ihpst.cnrs.fr/ *Organizers* Jean Fichot (jean.fichot@univ-paris1.fr) Jean-Baptiste Joinet (jean-baptiste.joinet@univ-lyon3.fr) Mattia Petrolo (mattia.petrolo@univ-paris1.fr)