Centre d’Archives en Philosophie, Histoire et Édition des Sciences
Année 2011

Colloque «Vérité et preuves» soutenu par le GHPS

David Denéchaud

Les 21 octobre 2011 (à l’université Paris 7 – Denis Diderot) et 22 octobre 2011 (à l’université Paris 1, Panthéon-Sorbonne)

Comité d’organisation : Giulio Guerrieri (Paris 7, mathématiques et informatique, équipe Preuves-Programmes-Systèmes et Roma Tre, département de philosophie), Alberto Naibo (Paris 1, philosophie de la logique, équipe Philosophies contemporaines), Mattia Petrolo (Paris 7, Philosophie de la logique, SPHERE), Thomas Seiller (Marseille 2, logique mathématique, Equipe Logique de la programmation)

Ce colloque est la rencontre finale du Réseau « Vérité et preuves » (responsable scientifique : Jean-Baptiste Joinet, Cirphles), réseau doctoral interdisciplinaire de recherche associant des écoles doctorales relevant de quatre disciplines (mathématiques, philosophie, informatique, et histoire des sciences) autour d’un couple de concepts central de la logique :  « vérité/prouvabilité ».

Ce colloque a reçu le soutien de l’Ecole Doctorale 540 (École transdisciplinaire Lettres-Sciences, ENS, Paris) via  le Groupe Histoire, Philosophie, Sciences (GHPS, composante du Cirphles).

Programme :

Vendredi 21 Octobre, Université Paris 7 – Denis Diderot
SALLE KLIMT (366A), 3ième étage, bâtiment Condorcet

  • 09h45-10h00: Jean-Baptiste Joinet (Université Paris 1), Presentation of the project « Vérité et Preuves ».
  • 10h00-11h00: Volker Peckhaus (Universität Paderborn), The Pragmatism of Hilbert’s Program.

  • 11h00-11h15: Break.
  • 11h15-12h15: Giorgio Venturi (PhD student, Université Paris 7 / Scuola Normale di Pisa), The Concept of Axiom between Hilbert and Set Theory.
  • 12h30-14h30: Lunch Break.
  • 14h30-15h30: Vito Michele Abrusci (Università Roma Tre), Main Contributions of Linear Logic to General Developments of Logic, Philosophy and Computer Science.
  • 15h30-16h30: Thomas Seiller (PhD student, Université d’Aix-Marseille / Université de Savoie), Graphs of Interaction.
  • 16h30-16h45: Break.
  • 16h45-17h15: Jean-Baptiste Midez (PhD student, Université d’Aix-Marseille), Operads and the Resource Lambda-Calculus.
  • 19h30: Conference Social Dinner.

Samedi 22 Octobre, Université Paris 1 – Panthéon-Sorbonne

SALLE HALBWACHS, escalier C, 1er étage

  • 09h30-10h30: Mario Piazza (Università di Chieti-Pescara), Deflationism, Incompleteness and Omega-rule.

  • 10h30-10h45: Break.
  • 10h45-11h45: Méven Cadet (PhD student, Université Paris 1), Models and Modalities: what Logical System(s)?

  • 11h45-12h15: Manuel Gustavo Isaac (PhD Student, Université Paris 7), Syntax and semantic before their time.

  • 12h15-14h00: Lunch Break.
  • 14h00-15h00: Alexandre Miquel (ENS de Lyon), Krivine’s Theory of Classical Realizability: a Genuine Alternative to the Brouwer-Heyting-Kolmogorov Interpretation of Proofs.

  • 15h00-16h00: Sylvain Cabanacq (PhD student, Université Paris 7), Identity of Proofs, Equivalence of Derivations.

  • 16h00-16h15: Break.
  • 16h15-16h45: Alberto Naibo (PhD student, Université Paris 1), Mattia Petrolo (PhD student, Université Paris 7 / Università Roma Tre), Towards a Verificationist Theory for Classical Logic.
  • 16h45-17h15: Round Table.