Home > Uncategorized > Conference by Jean-Baptiste Joinet at McGill

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
McGill University

Leacock Building
Room 927


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.

  1. No comments yet.
  1. No trackbacks yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: