PhilForm, pour Philosophie Formelle,
se tient à l'IHPST,(13, rue du Four, Paris 75006, France),
en général le lundi de 14h à 16h.
Théorème rend compte de l'actualité du séminaire,
et maintient sur sa page principale l'historique des interventions
depuis le debut de l'année universitaire 2005/2006.
Pour plus de renseignements voir ici.

Reprise : Lundi 9 octobre 2006.
Pour l'année en cours, voir ici

13⁄04⁄2006 :
Francesca Poggiolesi (IHPST - Firenze) : A new sequent calculus for modal logic

12⁄06⁄2006 :
Alan Berger (Brandeis university) : The Quinean Quandary: Can Logic be Naturalized?

24⁄04⁄2006 :
Brice Halimi (Paris VIII) : Validité, nécessité et modalité

17⁄04⁄2006 :
P. Égré et D. Bonnay : A non-standard Semantics for Inexact Knowleddge with Introspection

10⁄04⁄2006 :
Brian Hill : Logique et psychologie : le cas de la révision de croyances

1⁄04⁄2006 :
Isabelle Drouet : Réflexions sur la notion de réseau bayésien causal

6⁄04⁄2006 :
Hans van Ditmarsch : Introduction a la logique des annonces publiques

10⁄03⁄2006 :
Augustin Rayo : Commitment in Mathematics and Higher-order logic

6⁄03⁄2006 :
Gabriel Sandu : Two-dimensional modal semantics

30⁄01⁄2006 :
Cédric Paternotte : Pour une formalisation cognitivement réaliste de la connaissance commune

23⁄01⁄2006 :
Christian List : Strategy-proof judgment aggregation

10⁄01⁄2006 :
Thomas Hofweber : Logicism without logic

6⁄12⁄2005 :
Greg Restall : Proofnets for S5: sequents and natural deduction for modal logic ?

5⁄12⁄2005 :
Greg Restall : Invention is the mother of necessity

29⁄11⁄2005 :
Hannes Leitgeb : New life for Carnap's Aufbau ?

28⁄11⁄2005 :
Hannes Leitgeb : Towards a logic of type free modality and truth

21⁄11⁄2005 :
Andrei Rodin : Functorial semantics

24⁄10⁄2005 :
Yiannis Moschovakis : Meanings as idealized algorithms OR English as a programming language

17⁄10⁄2005 :
Serge Bozon: La logique intensionnelle de Moschovakis

10⁄10⁄2005 :
Nathan Klinedinst : 'Modals, Plurals, and Conjunctive Disjunction'

19⁄09⁄2005 :
Pavel Materna : Logical Form