Brice Halimi

Lundi 24 avril, Philform a reçu Brice Halimi (Paris VIII) pour un exposé intitulé: Validité, nécessité, modalité.

Tim Maudlin : Truth and paradox

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)

Torkel Franzen

[via LogBlog]

Torkel Franzen est décédé il y a 3 jours, le 19 avril, à l'âge de 56 ans.

L. Humberstone : The Connectives

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

Paul Égré et Denis Bonnay

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

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.