Modeling hypothetical reasoning: validity, inference, and paradoxes

Responsable (s)
FICHOT Jean
PETROLO Mattia
JOINET Jean-Baptiste - professeur de logique faculté de philosophie de l'Université Jean Moulin - Lyon 3
Informations pratiques
Thursday 19 February 2015 - 09:00 to 18:00
Friday 20 February 2015 - 09:00 to 18:00
IHPST - Salle de conférence
Informations complémentaires
Associated project(s): 
HYPOTHESES Le raisonnement hypothétique dans la théorie de la démonstration - HYPO 2

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