Thursday, February 28, 2008

Thursday, February 21, 2008

Logic of change, change of logic

Just out: call for papers for the Prague International Colloquium Logic of change, change of logic. The colloquium is dedicated to formal approaches to attitude change. The aim is to bring together the different strands of research on the topic - whether they be logical or probabilistic, whether they deal with change of beliefs or desires or preferences etc. - with an eye to better understanding the philosophical and methodological challenges that change poses, and to getting a clear idea of where the field should be going.

Thursday, February 14, 2008

M. Makkai

M. Makkai has a set of lecture notes on set theory and model theory that may be useful to teachers and students ( to be added soon to the logic toolbox of theorem(e)... )

Wednesday, February 13, 2008

ABSTRACT OBJECTS IN SEMANTICS AND THE PHILOSOPHY OF MATHEMATICS

Thursday, February 28 (salle R), Friday, February 29 (Amphi Rataud) and
Saturday, March 1 (Amphi Rataud), 2008 :

ABSTRACT OBJECTS IN SEMANTICS AND THE PHILOSOPHY OF MATHEMATICS

Taking place at the École Normale Supérieure, 45 rue d'Ulm, Paris

Thursday, February 07, 2008

M.Detlefsen & D.Prawitz

W. Goldfarb

Le lundi 18 février 2008, le séminaire Philmath de l'IHPST reçoit le professeur Warren Goldfarb sur le thème :

ON DUMMETT'S 'PROOF-THEORETIC JUSTIFICATIONS OF LOGICAL LAWS'


IHPST, Grande Salle, 17h30-19h30