Abstract Objects in Semantics and Philosophy of Mathematics
Abstract Objects in Semantics and Philosophy of Mathematics, IHPST, Paris, 28 Février-1 Mars, 2008
:: logique & philosophie ::
Abstract Objects in Semantics and Philosophy of Mathematics, IHPST, Paris, 28 Février-1 Mars, 2008
par henri galinon à 10:26 AM Catégorie: conferences
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.
par Brian Hill à 7:01 PM Catégorie: conferences
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)... )
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
par henri galinon à 1:53 PM Catégorie: conferences
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
par henri galinon à 4:31 PM Catégorie: conferences, logic