Saturday, October 28, 2006

A new PhD thesis on deflationism :
Deflationism: A Use-Theoretic Analysis of the Truth-Predicate, by Arvid Båve, Stockholm University
Abstract and fulltext download at : Publications from Stockholm University

[merci à Cédric pour le lien]

Friday, October 27, 2006

Joint Session in Paris : Calculability and constructivity

Organized by Jacques Dubucs, the Joint Session of the two Divisions of the International Union for History and Philosophy of Science is fothcoming in Paris, November 17-18, at the Ecole Normale Supérieure. The thema of the conference is:

Calculability and Constructivity: Historical and Philosophical Aspects.

[⇒HomeProgramParticipants ]

Added to the homepages, a link to Leon Horsten's page (with online papers).

Monday, October 23, 2006

Rohit Parikh

Jeudi prochain, à 15h30 (notez l'horaire et la date inhabituelles), Philform reçoit Rohit Parikh. (Informations et abstract ici)

Sunday, October 22, 2006

Carlo Proietti

La prochaine séance du séminaire Philform aura lieu lundi 23 octobre de 14 h 00 à 16 h 00 dans la grande salle de l'ihpst.
Carlo Proietti nous parlera du paradoxe de Fitch.(abstract).

Monday, October 16, 2006

The University of Michigan Historical Mathematics Collection

The University of Michigan Historical Mathematics Collection : bibliothèque numérisée ouverte. On y trouve (entre autres !) les Principia Mathematica (B. Russell & A.N. Whitehead).

Logic books (online)

Ajoutés à la page "logique" :
J. v. Benthem : A manual of intensional logic (.pdf, 147p., Attention: 37Mo ). Disponible depuis cette page.
A.S. Troelstra : Lectures on Linear logic (.pdf, 215p., Attention : 47Mo)

Sunday, October 15, 2006

Tous les articles de la revue Logic and logical philosophy (Torun) sont accessibles en ligne (free access).

The online books page

Have a look at The Online Books Page. (Some logic books).

Friday, October 13, 2006

Semantic Structure and Ontological Structure

Le séminaire
Semantic Structure and Ontological Structure
Tropes and their Role in the Semantics of Natural Language

organisé par F. Moltmann, débute mardi prochain (le 17octobre 2006 de 16h à 18h).

David Makinson

Le séminaire Philform reprend son cours, et pour commencer l'année ce lundi 16 octobre 2006, de 14h à 16h, David Makinson (King's College) présentera une conférence intitulée : "Logic and probability: an uneasy partnership" (joint work with James Hawthorne). [abstract ici]

Philosophy Dissertations

To make read philosophical dissertations, J. Dever is making them available via a dissertations database (thesis are in .pdf format).
[via Leiter reports]

Tuesday, October 03, 2006

Davidson interviewed by Lepore

Life, time, philosophy : here.

Computation and Logic in the Real World

Un colloque a ne pas manquer!

Conference themes and location: Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way to the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier.

CiE 2007 will address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.

Monday, October 02, 2006

Laurence Jonathan Cohen, philosopher, born May 7 1923; died September 26 2006. Obituary in The Gardian.
[via Leiter reports]