Conference by Jean-Baptiste Joinet at McGill
The Montreal Inter-University Workshop on the History and Philosophy of Mathematics presents:
Toward protological foundations for logic
by Jean-Baptiste Joinet,
Department of Philosophy,
Université Paris 1 (Panthéon-Sorbonne)
Thursday, October 27, 2011, 5:30–7:00 pm
I will try to present and characterize the kind of answer to the traditional question “Which foundations for logic?” that emerges from the work of the contemporary French school of proof-theory of Jean-Yves Girard and Jean-Louis Krivine. In particular, I will stress the architectonic role of negation (duality) as a taming agent of the wild, protological world of computational interactions, from which the logical rules (types constructions) emerge. If times allows, I will finally discuss the impact of these ideas on the perspective of a physical foundation for logic.
For more information, please contact:
Gregory Lavers (Concordia), Mathieu Marion (UQÀM), Jean-Pierre Marquis (UdM), Dirk Schlimm (McGill).
Funded in part by:
Chaire de recherche du Canada en philosophie de la logique et des mathématiques, and FQRSC.