Atelier international de logique / International logic workshop
Paris, 13-14 Mai 2014
Université Paris-Sorbonne

Programme

13 Mai 2014 – Matin (Salle J636)

10.00-10.10: Ouverture du Colloque

Session: New prospects on Charles S. Peirce’s logic (organisée par Jean-Marie Chevalier)
10.10-10.40: Jean-Marie Chevalier, Opening: Peirce in France
10.40-11.20: Ahti-Veikko Pietarinen, ‘Logic of the future’: fact and fiction on Peirce’s existential graphs
11.20-12.00: Gwennaël Bricteux, Existential graphs: a reconsideration of the grammar

13 Mai 2014 – Après-midi (Salle des Actes)

14.00-14.40: Francesco Bellucci, Peirce on logical analysis
14.40-15.20: Jérôme Vogel, The semiotic of information in the young Peirce
15.20-16.10: Table ronde : Peirce Today, avec la participation de Shannon Dea, Simone Morgagni &
Pierre-Luc Dostie Proulx.
Fin de la session: New prospects on Charles S. Peirce’s logic

16.10-16.40: Pause
16.40-17.20: Pierre Mounier-Kuhn, Comment l’informatique a rencontré la logique : histoire d’une
convergence progressive
17.20-18.00: Baptiste Mélès, Une hiérarchie de sémantiques : le concept de machine dans la pratique de la
programmation

 

14 Mai 2014 – Matin (Salle des Actes)

08.40-10.10: Table ronde : Le symbolisme en logique, avec la participation de Jean-Yves Béziau,
Marie-José Durand-Richard & Anne-Françoise Schmid.
10.10-10.40: Pause
10.40-11.20: Jean-Pierre Desclès & Anca Pascu, Logique combinatoire – approche de la signification
11.20-12.00 : Pierre Wagner, Sémantique tarskienne et sémantique carnapienne

14 Mai 2014 – Après-midi (Salle J636)

14.00-14.40: Ekaterina Kubyshkina, La logique de l’agent rationnel en application au paradoxe de Fitch
14.40-15.20: Bruno Poizat, La négation dans les langues naturelles et en logique mathématique
15.20-16.00: Mikael Cozic, Probabilistic unawareness
16.00-16.30 : Pause
16.30-17.10: Isaac Manuel Gustavo, De la logique universelle à la logique relative: la conception frégéenne de
la logique (1879–1892)
17.10-17.50: Brice Halimi, Universalité et nécessité de la logique

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *

220 Aruba FTP Server

Questo sito usa Akismet per ridurre lo spam. Scopri come i tuoi dati vengono elaborati.