REPHA - (CFP)

Je signale la naissance de la Revue Etudiante de Philosophie Analytique, une revue francophone de philosophie avec comité de lecture. Le site de la revue, est déjà en place à l'adresse suivante : www.repha.fr/. La revue encourage les contributions d'étudiants. Premier numéro prévu vers mars 2009.
L'appel à contribution est ici.

Flow chart

[Xkcd via Nothing of Consequence]

Science in Flux '08

The Colloquium "Science in Flux ’08", organized by P.Wagner will be held Friday 12 December and Saturday 13 December. Venue : IHPST, 13 rue du Four 75006 Paris.
The theme will be "Formal Approaches to Belief Change and Inquiry, and the Philosophy of Science"
Program :
Friday 12 DECEMBER 2008
9h00
PIERRE WAGNER (IHPST, Paris)
Keynote address
9h15-10h15
BENGT HANSSON (Lund): Explanatory Equilibrium
10h25-11h25
FRANCK ZENKER (Lund): The Formalization of Revolutionary Theory Change
11h45-12h45
SEBASTIAN ENQVIST (Lund): An Architectonic for Scientific Theory Change
14h30-15h30
ISAAC LEVI (Columbia/New York): Doxastic States
15h40-16h40
ERIK OLSSON (Lund): Interrogative Belief Change: Contraction and Ties
17h00–18h00
HANS ROTT (Regensburg): Defending the Ramsey Test for the Interpretation of Conditionals: A Constructive Approach
Saturday 13 DECEMBER 2008
9h15-10h15
EMMANUEL GENOT (Lille): Belief Revision and the Interrogative Approach to Inquiry
10h25-11h25
GERHARD SHURTZ (Duesserldorf): Abduction and Belief Revision In Science
11h45-12h45
HERVÉ ZWIRN (IHPST, Paris): Abductive Logic In A Belief Revision Framework
14h30-15h30
JAAKKO HINTIKKA (Boston): Who is Afraid of Thomas Bayes?
15h40–16h40
GABRIEL SANDU (IHPST, Paris):Probabilistic Reading of Quantifiers

Philosophy and Foundations of Mathematics : Epistemological and Ontological Aspects

The conference Philosophy and Foundations of Mathematics :Epistemological and Ontological Aspects, dedicated to
Per Martin-Löf on the occasion of his retirement, will be held in Uppsala, May 5-8, 2009.
Webpage.

Conférences Duhem : J. Elster et I. Ekeland

Les troisièmes Conférences Duhem (Société de Philosophie des Sciences) auront lieu le vendredi 28 novembre 2008 de 13h30 à 18h30 à l’Ecole normale supérieure(45, rue d’Ulm,75005 Paris) en salle Dussane.

Programme :

13h30- Accueil par M. Canto-Sperber, dir. de l'ENS, et D. Andler, président de la SPS.

14h- Jon ELSTER (Collège de France) : "L'indétermination de la théorie du choix rationnel"
Discutants : Mikaël Cozic (IHPST, GREGHEC), Nicolas Houy (Ecole polytechnique)

16h30- Ivar EKELAND (University of British Columbia) : "Mathématiques et économie, fécondité et limites d'une formalisation"

Discutants : Jean-Philippe Bouchaud (CEA/Saclay), Jean-Paul Delahaye (LIFL, Lille)

PhD's in Logic

Here

Konrad Zdanowski

Lundi 17 novembre de 14h00 à 16h00 dans la grande salle de l'IHPST, Philform accueille Konrad Zdanowski (Polish Academy of Sciences / Université Paris 7) :
"On the second order intuitionistic propositional logic without a universal quantifier".

Télécharger l'article ici.

Michael von Boguslawski

Prochaine séance du séminaire Philform :
lundi 03 novembre de 14h00 à 16h00 dans la grande salle de l'IHPST
Michael von Boguslawski (université d'Helsinki): "Ketonen's logical discovery".

Abstract :
In this talk I will describe Oiva Ketonen's work on logic, in particular his discovery of a sequent calculus with invertible rules. Additionally I will give a brief overview of how logic arrived in Finland. Ketonen being the only student of Gerhard Gentzen - the father of sequent calculus - some recent research on the latter will also be presented.

Allen Mann

Prochaine séance du séminaire Philform :
lundi 27 octobre, grande salle de l'IHPST, 14h-16h.
Allen Mann : IF logic and Kleene algebras

Abstract:
It is well known that the Principle of Bivalance fails in IF logic--there are sentences that are neither true nor false. We will use the techniques of algebraic logic to show that the Principle of Trivalence holds--every sentence has one of exactly three possible truth-values. We will further show that IF logic can be viewed an a first-order extension of Kleene's strong three-valued logic.

Institut für Mathematische Logik und Grundlagenforschung

Ansten Klev informs me that the institute for foundational research in
Münster has some logic texts on their website: here.
In english :

W. Pohlers : Computability theory of hyperarithmetical sets
W. Pohlers : Infinitary proof theory
W. Pohlers & T. Grass : A introduction to mathematical logic

B. Weatherson : Decision Theory book

Here

Michael Freund

Lundi 13 octobre de 14h à 16h dans la grande salle de l'IHPST, le séminaire Philform reçoit Michael Freund (Paris IV):
'Une théorie de la catégorisation pour les concepts constructibles'.


Résumé: Les concepts constructibles sont ceux que l'on peut définir à l'aide de concepts plus simples dans un processus similaire à celui de l'apprentissage. Pour cette classe de concepts, les notions de base de la théorie de la categorisation et de la théorie du prototype peuvent être simplement modélisées par des relations qualitatives. On obtient ainsi un formalisme qui permet de mieux cerner les problèmes classiques liés à l'appartenance, la typicité relative et la ressemblance. En particulier, le modèle proposé est cohérent avec l'opération de compositionalité, et rend fidèlement compte de phénomènes expérimentaux peu ou mal expliqués par les théories antérieures. La réinterprétation, enfin, de la notions de trait essentiel et de trait typique en termes de relation d'inférence conduit à traitement intéressant dans le cadre de la logique non monotone des notions d'induction catégorielle.

"Logic tutorials" page of Theorem(e)

Our "logic tutorials" page needs to be updated, and I hope I'll be able to do that soon. Meanwhile, you can also check out the "Intext" category which also contains links to online logic courses... Done. The new URL is : http://sites.google.com/site/theoremeorg/.

[Thanks to Richard Zach and Peter Smith for advertising on their blogs.]

Nuel Belnap : The Art and Science of Logic

Nuel Belnap now has two logic texbook drafts on his webpage :

Notes on the Art of Logic (.pdf, 310 p.)
Notes on the Science of Logic (.pdf, 237p.)

Journal rankings

More on journal rankings: the case of Australasia.

Philosophy Journals

To read before submission, an old post of the Leiter Reports containing valuable information on response times, feedback quality etc. of a bunch of proeminent philosophy journals : Philosophy Journals: Which Ones are Responsible, Which Ones Not?.

M. Detlefsen

Mic Detlefsen's ENS lectures "In Search of Formalism" :

Fri. Oct 10, Salle Cavaillès. 16:00--18:00
Fri. Oct 17, Salle Cavaillès. 16:00--18:00
Fri. Oct 24, Salle Cavaillès. 16:00--18:00
Fri. Oct 31, Salle des Actes. 16:00--18:00

Ecole Normale Supérieure, 45 rue d'Ulm 75005 Paris.

PALMYR 7 - Demandez le programme

Le site internet de PALMYR a été mis à jour. Vous pouvez également consulter le programme en .pdf ici.


Merci à Abel Poucet pour l'affiche. Voyez ici pour des informations concernant l'illustration.

Large Hadron Rap

Cours de physique + communication scientifique au CERN :



[H.T. LogBlog]

Henri Cartan

"Le mathématicien français Henri Cartan est décédé le 13 août à l'âge de 104 ans, a-t-on appris lundi auprès du ministère de la Recherche.
Médaille d'or en 1976 du Centre national de la Recherche scientifique (CNRS) et récompensé en 1980 par le prix international Wolf de mathématiques, Henri Cartan était un spécialiste des fonctions analytiques de plusieurs variables complexes, ainsi que de la théorie du potentiel, de la topologie algébrique et de l'algèbre homologique."
(afp)

[via theuth]