Mardi 9 mai à 17h, à l'IHPST, M. Solomon Feferman, Professeur à l'Université de Stanford, donnera une conférence intitulée "The 'logic' question".
Par ailleurs une conférence du Professeur Feferman est prévue au Collège de France (amphithéâtre G. Budé), sur la proposition des professeurs Anne Fagot-Largeault et Jacques Bouveresse, le jeudi 11 mai à 17h sur le sujet suivant : "Gödel's theorem, minds and machines"
Paolo Mancosu, Richard Zach and Calixto Badesa (2004) : The Development of Mathematical Logic from Russell to Tarski: 1900–1935
The Knowledge, Games and Beliefs Group (with eminent members such as M. Fitting, R. Parikh or S.Artemov) has a web site with a publication page.
La page de preprints/rapports internes du département de Philosophie de l'université de Florence contient des papiers de Cantini et Minari.
The reference site for Medieval logic and philosophy is P.V. Spade's. Materials include translations as well as general introductory and survey papers.
(Noticed in Spade's CV : Ph.D. in Philosophy, University of Toronto, 1972. Specialization in Mediaeval Philosophy. Dissertation: "The Mediaeval Liar: A Study of John Buridan's Position on the Paradox, with a Catalogue of the Insolubilia-Literature of the Middle Ages." Director: Hans G. Herzberger.)
Catégorie:
Intext
La première grande "conférence philosophique en ligne" a commencé dimanche dernier et se poursuit durant quatre semaines. La première salve d'interventions est d'ores et déjà en ligne. Informations et interventions sont disponibles sur le site dédié.
Lundi 24 avril, Philform a reçu Brice Halimi (Paris VIII) pour un exposé intitulé: Validité, nécessité, modalité.
Le livre de Tim W. Maudlin est disponible en ligne : Truth and paradox : solving the riddles (via the web page for the 2003 NYU Research seminar on language and mind)
[via LogBlog]
Torkel Franzen est décédé il y a 3 jours, le 19 avril, à l'âge de 56 ans.
Catégorie:
In Memoriam
[via semantics resources :] De Lloyd Humberstone (ci-contre), disponible en ligne, une version non definitive et incomplète de The Connectives ( env. 1200 p., .pdf, 5.6 Mo).
La prochaine séance de Philform aura lieu ce lundi 17 avril, de 14h a 16h. Paul Egré et Denis Bonnay proposeront "A non-standard Semantics for Inexact Knowledge with Introspection".
[via Varia] The School of Philosophy at Leeds is host to the Centre for Metaphysics and Mind. Online papers by Ross Cameron, Joseph Melia, Bryan Frances, on Ontology, modality, philosophy of mathematics here.
La page Logic est en cours d'amélioration. Si vous avez des suggestions, laissez un message ( theoremeblog AT gmail DOT com ).
Lundi 10 avril, de 14h à 16h, Brian Hill (IHPST) présentera à Philform un exposé intitulé : "Logique et psychologie : le cas de la révision de croyances" (détail ici).
[Via LogBlog] Notices of the American Mathematical Society, numéro special :
A Tribute to Kurt Gödel
April 2006 marks the centennial of the birth of Kurt Gödel. The Notices marks this occasion with a collection of articles about Gödel, his work, and its impact on mathematics.
Content : A Tribute in Photographs ⁄ The Incompleteness Theorem
par Martin Davis ⁄ How Gödel Transformed Set Theory par Juliet Floyd and Akihiro Kanamori ⁄ Pictures at an Exhibition par Karl Sigmund ⁄ The Impact of the Incompleteness Theorem on Mathematics par Solomon Feferman ⁄ The Popular Impact of Gödel's Incompleteness Theorem par Torkel Franzén ⁄ In Quest of Kurt Gödel: Reflections of a Biographer par John W. Dawson Jr.⁄ Incompleteness--A Book Review by Juliette Kennedy ⁄ 2006 Events Celebrating the Gödel Centenary.
Jeudi 6 avril 2006, de 10h a 12h, Philform reçoit Hans van Ditmarsch(University of Otago, New Zealand) pour un exposé intitulé "Introduction a la logique des annonces publiques" (plus d'informations ici).
"Comme chaque année l'Institut de Logique de l'Université de Cracovie (U.J.)
organise un colloque consacré à l'histoire, mais pas seulement, de la
logique. Voici le lien (en anglais):
http://www.iphils.uj.edu.pl/conf/log/1komkhl52_e.htm
Cordialement"
Michal Glabiszewski
Lundi 3 avril de 14h à 16h Isabelle Drouet présentera à Philform un exposé intitulé "Réflexions sur la notion de réseau bayésien causal". Plus de détails ici.
|
|
|
|