[Athena] HYPOTHESES Conference, 19-20 Février 2015, Paris

[Virginie Bellot <Virginie.Bellot AT univ-paris1.fr>]

Chères et chers collègues,

nous avons le plaisir de vous inviter à la conférence « Modeling  
hypothetical reasoning »
qui aura lieu le 19 et 20 Février 2015 à Paris.

Veuillez trouver ci-dessous le descriptif de la conférence, ainsi que  
la liste des
orateurs invités.


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. 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)
Luca Tranchini (Univ. Tübingen)
Giovanni Sambin (Univ.  Padova)
Wagner Sanz (Univ. Federal de Goiás)

Titles and abstracts can be found on the website of the conference:
http://www.ihpst.cnrs.fr/activites/colloques/colloque-hypo-2


*Conference venue*

Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)
Salle de conférences
13, rue du Four
75006 Paris
http://www.ihpst.cnrs.fr/


*Organizers*

Jean Fichot (jean.fichot AT univ-paris1.fr)
Jean-Baptiste Joinet (jean-baptiste.joinet AT univ-lyon3.fr)
Mattia Petrolo (mattia.petrolo AT univ-paris1.fr)


--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.