La page Logic est en cours d'amélioration. Si vous avez des suggestions, laissez un message ( theoremeblog AT gmail DOT com ).

Brian Hill

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).

K. Gödel

[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.

Hans van Ditmarsch

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).

Colloque à Cracovie

"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

Isabelle Drouet

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.

Analytiques in situ

Via Philotropes, un blog de Julien Dutant (et je signale aussi en passant, du même auteur, le site (en développement) Epistémologie pour l'équipe "Rationalités Contemporaines" de Paris-IV), nous apprenons la jeune existence du club très fermé des lagonautes, voué au culte du Langage et de l'Ontologie selon le rite ancien et accepté de l'Analyse, et dont les membres se comptent, pour le moment, ainsi : Yves Bouchard, François Loth, Pascal Ludwig, Frederic Nef. Longue vie.

The Center for logic and philosophy of science (see yesterday's post) has a specialization in "adaptative logics" and, it's worth pointing out, maintains a nice introductory page to the subject here, including many references to papers available via the "writings" section of website.

Centre for Logic and Philosophy of Science (Gand)

Kristof De Clercq ("Logic in communication" - voir son site très bien fait), m'a signalé un lien vers le Centre for Logic and Philosophy of Science à l' Université de Gand (Belgique).
Il y a une liste avec les Homepages des membres du Centre et une liste Writings avec des publications online.

History of Fitch's paradox and A. Church

Whose paradox is "Fitch's paradox" ? see Certain doubts (here) ...
(and see here (SEP entry) for a statement of the paradox.)

Anti-(Anti-luminosity argument)

Available via Jean Nicod Archive, this paper by Denis Bonnay and Paul Egré should be of interest to those concerned with Williamson's anti-luminosity argument: "A non-standard Semantics for Inexact Knowledge with Introspection".
I pick out from the abstract : "We show how the semantics helps to solve Williamson's luminosity paradox, and argue that it corresponds to an integrated model of perceptual and introspective knowledge that is psychologically more plausible than the one defended by Williamson. A generalized version of the semantics is formulated, in which modalities are iteration-sensitive up to degree n and insensitive beyond n."

Le 1 avril se tiendront les premières conférences Pierre Duhem, organisées par la Société de philosophie des sciences.
Philippe de Rouilhan inaugurera le cycle à 10h avec une conférence intitulée "La théorie des modèles et l'architecture des mathématiques" (le document de travail est disponible en ligne). Puis Paul Gauchet parlera à 14h de "La formalisation du savoir-faire" (document en ligne).

W. Sellars

L'excellent site Problems for Wilfrid Sellars contient une mine d'informations et d'études sur W. Sellars et son oeuvre, nombre de ses textes (articles et livres, y compris "Empirism and the philosophy of mind" et "Le concept d'emergence"), certaines correspondances de l'auteur (avec Castaneda, avec G.Harman (inédite), avec Ruth Marcus et d'autres), etc.

Use-theories of meaning and foundational issues in semantics

A debate on this subject, initiated by Jason Stanley and now involving Mark Lance, Ned Block, Richard Heck and others, is going on at Leiters report(web site). Here is the link.

Augustin Rayo

Philform accueille Augustin Rayo (MIT), Vendredi 10 mars, de 10h à 12h. :
"Commitment in Mathematics and Higher-order logic" (Détails ici).

Gabriel Sandu

Lundi 6 mars, de 16h-18h, Philform reçoit Gabriel Sandu (IHPST) qui exposera sur le thème: "Two dimensional modal semantics".(.)

Deflationary conceptions of truth on the web

The following authors have papers related to this topic on the web :
Nic Damnjanovic
Hartry Field (recent articles on truth and paradoxes)
Douglas Patterson (deflationism, meaning and truth-conditions, convention-T ...)
Michael Glanzberg (deflationism and paradoxes)
Scott Soames ("Understanding deflationism")
Christopher Gauker (semantics for deflationists...)
Richard Heck ("Truth and Disquotation")
Panu Raatikainen (various critics mostly grounded on logical features of deflationist's theories)
Jeffrey Ketland (the "reflection" or "conservativity" argument against deflationism)
Neil Tennant (Deflationism and Gödel phenomena...)
G. Sandu et T.Hyttinen ("Deflationism and truth")
Peter Milne (un article sur la vérité chez Tarski)
Greg Restall ("Minimalists about Truth can (and should) be Epistemicists, and it helps if they are revision theorists too")
JC Beall (Truth and paradox : a philosophical sketch)
Kevin Sharp ("fragmentary theories of truth", paradoxes and revenge problems...)

Added june 2006 :
Huw Price (for exemple : Three norms of assertibility, or how the MOA became extinct)
Gila Sher ("In search of a substantive theory of truth", and some papers on Tarski's theory)
There is also a discussion paper by A. Virdi on the discussion papers page et the LSE.

Added october 2006 :
Deflationism: A Use-Theoretic Analysis of the Truth-Predicate, by Arvid Båve, Stockholm University
Abstract and fulltext download at : Publications from Stockholm University

Peter Strawson est décédé lundi dernier, 13 février 2006, à l'âge de 86 ans. Voir l'article du Times .

Arché (St Andrews) publie son blog

The Arche weblog vient d'ouvrir. Etant donnée la qualité des intervenants dans le projet Arché, on peut s'attendre à des discussions d'un grand intérêt.

2D

David Chalmers, 2-dimensionnaliste prosélyte, accuse son accusateur infatiguable ( les livres qu'il a consacré à la cause ne sont pas minces), Scott Soames, de (crypto?)-2-dimensionalisme ! Le détail de l'outrage (texte intégral) via l'adresse suivante : http://fragments.consc.net/djc/2006/02/scott_soames_tw.html.
(Note : Pour plus ample information, les pièces du dossier sont largement disponibles via les sites des deux auteurs).