Wednesday, December 19, 2007

Getting published : advices by P. Smith

Those two articles by Peter Smith (Cambridge University, former editor of Analysis) are very useful : Getting Published and
Developing a writing style

Thursday, November 22, 2007

The On-Line Encyclopedia of Integer Sequences

1,2,3,6,11,23,47,106,235 reminds you of something, but can't say what exactly ?
Wish to hear the sound of a Fibonacchi sequence ?
The On-Line Encyclopedia of Integer Sequences may help you and do much more.

[h.t. Nicolas le Thierry d'Ennequin]

Friday, November 16, 2007

Henry Kyburg

Professor of Philosophy and Computer Science (Rochester University) Henry E. Kyburg dies. Obituary.

Saturday, November 10, 2007

P. Smith : On Subsystems of PA2

An user-friendly introduction to subsystems of PA2. Peter Smith : On Some Subsystems of Second-Order Arithmetic

Friday, November 09, 2007

An introduction to finite model theory

J. Vaananen "A short course on finite model theory"

Context-dependence, Perspective and Relativity in Language and Thought

Conference, 9th to the 11th of November, 2007. Information, program etc., here.

Wednesday, November 07, 2007

Monday, November 05, 2007

Thursday, November 01, 2007

Advances in Modal Logic : call for paper

9-12 September 2008, LORIA, Nancy, France
invites submission of short or long papers on various aspects of modal logic, its applications, its history, philosophy etc.

DEADLINE: 31 March 2008

Paradoxes and contemporary logic

Paradoxes and contemporary logic is a new SEP entry, written by A. Cantini.
The is also a new entry on Philosophy of mathematics by L. Horsten, one on Frege-Hilbert Controversy by P. Blanchette and one on Bolzano's logic by J. Sebestik.

Monday, October 29, 2007

Francesco Berto

Lundi 29 octobre, à 17h30 dans la grande salle de l'IHPST, le séminaire Philmath reçoit Francesco Berto (IHPST-CNRS-ENS):

Some of the strangest outcomes of paraconsistency have to do with inconsistent arithmetic and impossible numbers. Traditional-minded logicians usually get puzzled when one mentions the astonishing applications of paraconsistency in formal arithmetic. However, at the cost of some incredulous stares (which usually begin when one mentions the fact that paraconsistent arithmetics include contradictory numbers, and especially numbers which are identical to their immediate successor), one gets a world in which even well-established limitative results of ordinary metamathematics, such as Gödel’s Theorems, begin to fluctuate. In this talk I summarize some of the main results around, which are as unfamiliar to the general audience as they are innovative and interesting. The presentation is focused on *relevant* arithmetics, i.e., on formal systems for arithmetic whose underlying logic is some relevantlogic. After giving bits of relevant proof theory, I switch to a model-theoretic approach (which I find philosophically much more stimulating). I introduce a useful *collapsing filter*, which turns the so-called standard model of arithmetic into interesting inconsistent models by shrinking in an appropriate way its cardinality.

Friday, October 19, 2007

V. Hendricks

Philform reçoit Vincent Hendricks (Roskilde University, Denmark) le lundi 22 octobre de 14h à 16h dans la grande salle de l'IHPST.

Limiting Skepticism

Abstract/ Modal operator epistemology is a formal epistemological paradigm obtained by mixng modal, tense and epistemic logic with rudimentary elements from formal learning theory. The paradigm was developed in The Convergence of Scientific Knowledge (Springer: 2001) and used there and elsewhere to study the validity of limiting convergent knowledge(Mainstream and Formal Epistemology (Cambridge UniversityPress, 2006)).Studying knowledge is also studying skepticism. Skepticism is usually considered to being a short-run strategy. Using modal operator epistemology this paper scrutinizes what happens to skepticism in the long run: Can skepticism outstrip knowledge in the limit?

Tuesday, October 16, 2007

Wednesday, October 10, 2007

Atelier sur la causalité à l'IHPST

IHPST, lundi 15 octobre 2007, Grande Salle
Organisé par Mikaël Cozic (IHPST/GREGHEC) et Philippe Mongin (GREGHEC/IHPST)

Programme :
14h30-15h30 : D. Hausman (University of Wisconsin, Madison), “Explaining by Citing Causes ”
15h30-16h30 : I. Drouet (IHPST), “Utiliser les réseaux bayésiens pour inférer des causes”
16h30-17h30 : Ph. Huneman (IHPST), titre à venir

Tuesday, October 09, 2007

Fundamenta Mathematicae

Archives of the famous journal Fundamenta Mathematicae are available online free.

[via LogBlog]

Joe Salerno

Joe Salerno has given a talk at Philform seminar yesterday, on "Counterpossible Conditionals"

ABSTRACT: Subjunctive conditionals with impossible antecedents (or counterpossibles) are standardly treated as vacuously true---the classical lore being that if an impossibility were to obtain, then anything would be the case. We'll discuss and develop a non-vacuous reading for (some) counterpossibles. The account provides resources for capturing some illusive philosophical notions---including the intuitive difference between essence and necessity, and an intuitive account of epistemic possibility.

Saturday, September 29, 2007

Cedric Paternotte

Cedric Paternotte soutient sa thèse ce samedi 29 septembre 2007, en Sorbonne, Salle Durosselle.
Titre de la thèse : « Coopération et actions collectives ».
Directeur de thèse :
M. Jacques Dubucs : Directeur de Recherche à l’IHPST (CNRS/Paris1/ENS), Directeur de l’IHPST.
Jury :
Marc Fleurbaey (Directeur de Recherche au Centre de Recherche Sens, Ethique, Société (CERSES)), Pierre Livet (Professeur à l’Université de Provence Aix-Marseille I), Thierry Martin (Professeur à l’Université de Franche-Comté), Raimo Tuomela (Professeur à l’Université de Helsinki), Bernard Walliser (Professeur à l’Ecole Nationale des Ponts et Chaussées, Directeur d’Etudes à l’Ecole des Hautes Etudes en Sciences Sociales).

Résumé : Pour que l'on puisse dire que des individus ont coopéré, quels doivent être leurs états mentaux et leurs relations, quelles actions doivent-ils accomplir ? Et comment expliquer qu'ils choisissent de coopérer au prix de certains risques ? Ces deux questions de définition et d'explication, bien qu'au centre des théories de la coopération humaine, sont traditionnellement traitées de façon indépendante. Ce travail se propose de concilier ces deux aspects par l'étude d'une forme cruciale de coopération minimale dans un cadre unifié mobilisant notamment des outils de théorie des jeux. L'analyse détaillée des concepts fondamentaux liés à la coopération (objectifs collectifs et connaissance commune), alliée à l'élaboration d'une explication rationnelle et cognitivement réaliste du comportement coopératif dans des contextes stratégiques statique et dynamique (à partir des notions-clés d'identification et de perception de groupe), mènent ainsi à une définition cohérente éclairant la nature de ce phénomène.

Abstract :
To be able to say that people have cooperated, what do their mental states and relations need to be, what actions must they accomplish ? And how can the fact that they choose to cooperate in risky situations be explained ?
Although these two questions about definition and explanation form the core of the theories of human cooperation, they are usually answered independantly. This dissertation aims at reconciling these two aspects by studying a crucial form of minimal cooperation in a unified framework including game theoretic tools. The detailed analysis of fundamental concepts
underlying cooperation (collective goals and common knowledge), combined with the crafting of a rational and realistic explanation of cooperative behavior in static and dynamic strategic
contexts (based on the key notions of group identification and group perception), thus lead to a coherent definition that shed light on the nature of cooperation.

La soutenance sera suivie d’un pot.

Friday, September 21, 2007

Eric Martin

Le séminaire Philform reprend (lieu et horaire habituels). Lundi 24 septembre de 14h à 16h Eric Martin (Department of Artificial Intelligence School of Computer Science and Engineering University of New South Wales)parlera présentera un exposé intitulé : "Logique déductive et logique inductive, une généralisation".

Wednesday, September 19, 2007

SEP : Logic of Conditionals

The SEP has a new entry on The logic of conditionals, written by Horacio Arlo-Costa.

Sunday, September 16, 2007

Theorem(e) 's new feature : The Reader

Theorem(e) now uses Google's Reader (have a look at the side bar) to share relevant news from the philosophy blogs all over the web...

Tuesday, September 11, 2007

Friday, September 07, 2007


The Stanford Encyclopedia has a new entry on Convention by M. Rescorla.

Wednesday, July 18, 2007

CLMPS 2007

The Speaking Schedule for the 13th International Congress of Logic, methodology and philosohy of science is available( to be updated and confirmed) :

[H.T. M.Vorms]

Thursday, July 05, 2007

ERIH lists

The European Science Foundation has established an initial list of journals (in the field of philosophy for what is relevant here), classifying them in three categories A, B, C explained here.

Friday, June 29, 2007

The Reasoner 1 (3)

The Reasoner, n°3.

Thursday, June 28, 2007

Sunday, June 24, 2007

2nd Oxford-Paris Workshop in Philosophy of Language

The 2nd Oxford-Paris Workshop in Philosophy of Language will take place on Saturday, 23rd June - Sunday, 24th June, 2007 in the Ryle Room, Faculty of Philosophy, 10, Merton Street, Oxford.
Le programme est en ligne sur le tout nouveau site semantics.

Wednesday, June 20, 2007

Generalized Quantifiers

50 years of Generalized Quantifiers
will take place next week in Banach Center in Warsaw.

Friday, June 15, 2007

Paul Smolensky

Conference de Paul Smolensky (Cognitive Science Department, Johns Hopkins University): "Generative Grammar + Connectionism = Optimality Theory"
Mardi 19 juin 2007 11.00 - 12.30h , UFR Biomédicale des Saints Pères 45 rue des Sts Pères, 75006 Paris, Salle de réunion du LPP, H432, 4e étage (abstract).

Wednesday, June 13, 2007

Ora Matushansky

The webpage for the joint seminar on reference at the IHPST is here, hosted by Ora Matushansky.

Tuesday, June 12, 2007

Richard Rorty

"Richard Rorty, a professor emeritus of comparative literature at Stanford and public intellectual who is perhaps best known for revitalizing the philosophical school of American pragmatism, died Friday, June 8, at his home on the university campus. He was 75." (Stanford News)

[via Varia ]

Tuesday, June 05, 2007

Jaakko Hintikka

Jeudi 7 juin, à l'Institut Finlandais (rue des écoles, 75005), se tient autour de l'ouvrage de Hintikka "Principes des mathématiques revisités" et à l'occasion de la parution de sa traduction française, un atelier de travail auquel participeront : M. Rebuschi, J. Hintikka, G. Sandu, D. Bonnay, P. de Rouilhan, S. Bozon. Détails dans l'agenda ou ici.

Sunday, June 03, 2007

Alexandre Costa-Leite

Lundi 4 juin, 14h-16h, Philform reçoit Alexandre Costa-Leite : Combining knowledge and contingency.

Thursday, May 31, 2007


Vendredi 1 juin et samedi 2 juin se tiendra PALMYR 5 : Dynamic Perspectives on Meaning au 45 rue d'Ulm.

The Reasoner

The Reasoner 1 (2) is out :

Sunday, May 27, 2007

Arché Graduate Conference

Will be held on November 2-4 2007. Call for papers. Deadline : August 15 2007.


A free cross-plateform java software for visualizing mathematical curves, surfaces etc., with interactives features : 3D-XplorMath.

Saturday, May 26, 2007

Workshop : Presuppositions and implicatures

La rencontre MIT-DEC organisée par Paul Egré et Danny Fox sur le thème "Presuppositions and implicatures" aura lieu les 30 et 31 mai prochains. Tous les détails ici.

Tuesday, May 22, 2007


The Stanford Encyclopedia has a new entry on Discourse Representation Theory by Bart Geurts.

Delia Graff

jeu. 24 mai 16:00 -18:00, Philform reçoit Delia Graff : " Adjectives and Contingent Identities" [abstract]
(IHPST, 13 rue du Four, 75006 Paris)

Sunday, May 20, 2007

Workshop : Major challenges in cognitive science

Workshop : "Major challenges in cognitive science". Program.
Mardi 22 mai 2007, organisé par le Départementd'étude cognitives. Lieu : 29 rue d'Ulm (75005), Salle Jules Ferry, sous-sol.

Thursday, May 17, 2007

Atelier sémantique, E. Lepore D. Patterson

Un petit atelier est organisé dans la grande salle de l’IHPST le samedi 19 mai de 10h à 13h. Douglas Patterson (Prof., Kansas State University, USA) fera une conférence sur le thème suivant : “Semantic Processing, Knowledge and Understanding”, en interaction avec Ernie Lepore (Prof., Rutgers, The State University Center for Cognitive Science, New Jersey, USA).

Monday, May 14, 2007


The second on-line philosophy conference is going on.

Thursday, May 10, 2007

Herman Cappelen against assertion

Vendredi 11 mai 2007 de 11h à 13 h à la Maison de la Recherche, 28 rue Serpente, Paris 6ème, en salle D040 (rez-de-chaussée), le séminaire Jean Nicod reçoit :
Herman Cappelen (ARCHE/St. Andrews & University of Oslo) :
"Against Assertion"

Timothy Williamson, John Hawthorne and Jason Stanley argue that knowledge is the norm for assertion. According to others, the norm is truth, rational credibility, or belief. Others again argue that there is no unique norm that governs assertion: what counts as an acceptable assertion varies between contexts. In contrast to all these views I argue that assertion is an explanatorily empty category. All we need is sayings + contextually variable norms. Sayings are explained using Austin's notion of a locutionary act. The last part of the talk discusses the implications for epistemology and the theory of meaning.

Atelier : Janina Hosiasson – Lindenbaum

Dans le cadre du projet franco-polonais ÉLV-AKT, un atelier est organisé sous la responsabilité de Wioletta Miskiewicz (IHPST) samedi 12 Mai 2007 de 9h 30 à 13h30 dans la grande salle de l’IHPST sur le thème suivant :
« La théorie des probabilités est-elle une logique généralisée ? Autour de l’œuvre de Janina Hosiasson – Lindenbaum. »

Nuel Belnap : Notes on the Art of Logic

Nuel Belnap : Notes on the art of Logic (unpublished manuscript, .pdf, 310p.)
[updated 2007]

Tuesday, May 08, 2007

Mai à Paris : Stich, Lepore, Block...

Le mois de mai s'annonce chargé. D'où ce petit agenda pour récapituler tout ça :
Tout d'abord STEPHEN STICH qui recevra le prix Jean Nicod et donnera à cette occasion une série de conférences (Jean Nicod Lectures). Thème général : Moral Theory Meets Cognitive Science: How the Cognitive Science Can Transform Traditional Debates. Séances le 11, le 15 et le 16 mai à l'ENS.
Ned Block est également à Paris et donne une série de conférence à l'école normale (Détail des conférences ici). Séances le 3, le 10, le 18 et le 25 mai.
Enfin Ernest Lepore (Université de Rutgers USA) parlera sur la métaphore :"Metaphor and other Figurative Uses of Language (and Thought)", le 11, le 18, le 25 et le 31 mai...
Tous les détails sont disponibles sur le site de l'ENS ou par le lien "Agenda" ci-dessus (créez un compte "Google agenda" si vous n'en avez pas).

Benedikt Loewe

Mercredi 9 mai de 14h à 16h, Philform reçoit Benedikt Loewe : "Empirical Philosophy of Mathematics".

Abstract: Traditional philosophy of mathematics (as traditional philosophy of language) often bases statements about the community of mathematicians (native speakers) on personal introspection or anecdotal evidence. A naturalistic philosophy of mathematics that takes actual mathematical practice seriously will have to base at least some of its basic concepts on empirical truths about the practice of mathematicians. In this talk, we describe the general enterprise of "empirical philosophy of mathematics" and will see two case studies, one on knowledge attributions in mathematics, and a second one on attitudes towards various fragments of the axiom of choice.

Thursday, May 03, 2007

Noam Chomsky

Noam Chomsky "The Logical Structure of Linguistic Theory" (919 pages, .pdf, 416 Mo)(dont plusieurs chapitres ont été exclus lors de sa publication) est disponible en ligne.

[via leRISC]

Sunday, April 29, 2007

Gillman Payette

Lundi 30 Avril de 14h à 16h, Philform reçoit Gillman Payette (Dalhousie University, Halifax) : "Schotch-Jennings forcing and structural properties of logics".

Wednesday, April 25, 2007

Richard Bradley

Le Professeur Richard BRADLEY (LSE, Département de Philosophie), spécialiste de la théorie des conditionnels, sera l'invité du séminaire PHILFORM à l'IHPST le vendredi 27 avril 2007, de 14h à 16h, et donnera une conférence sur le thème:
"Reconciling Adams' Thesis with Truth-Conditional Semantics?"

Abstract: I argue that the various triviality results for Adams' Thesis - the hypothesis that the probability of a conditional equals the conditional probability of its consequent given its antecedent - fail to disprove it. On the contrary, since it is possible to construct a triviality result for any 'orthodox' theory of conditionals satisfying a much weaker 'Preservation' condition, we should consider abandoning elements of the orthodoxy. I consider a number of possibilities and especially the route taken by McGee, who allows the semantic contents of conditionals to be determined (in part) by agents' subjective probabilities.

[La séance aura lieu en liaison avec le cours donné à l'ENS par M. Cozic et P. Egré sur les conditionnels, et se tiendra dans la grande salle de l'IHPST de 14h à 16h.]

Sunday, April 22, 2007

Scott Soames (2)

Rappel : Philform reçoit Scott Soames lundi 23 avril à l'IHPST (14h-16h) : " Actually: The Epistemology and Metaphysics of Actuality and Possibility, plus the semantics and pragmatics of our talk about them"

Thursday, April 19, 2007

L'article de Mirimanoff sur les paradoxes ensemblistes paru en 1917 dans L'enseignement mathématique est dsiponible ici : Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles

Tuesday, April 17, 2007

Scott Soames

Scott Soames parlera à l' IHPST (13, rue du Four 75006. Métro Mabillon) :
Mercredi 18 avril, 11h-13h : Descriptivism vs. Millianism about Names and Natural Kind Terms
Jeudi 19 avril, 11h-13h : The Relevance of the Semantics / Pragmatics Interface to the Dispute
et lundi 23 avril, 14h-16h : Actually: The Epistemology and Metaphysics of Actuality and Possibility, plus the semantics and pragmatics of our talk about them

Friday, April 13, 2007

Forum des sciences cognitives 2007

Aujourd'hui, vendredi 13 avril 2007, se tient le Forum des sciences cognitives 2007 (9h-18h). L' IHPST y sera bien entendu présent, avec le Département d'études cognitives (DEC) de l' Ecole Normale Supérieure.
Lieu : Salon André Honnorat - Maison Internationale Cité universitaire international ; 17 boulevard Jourdan, Paris 14ème. Programme.

Wednesday, April 11, 2007

Dictionnaire de sémantique

Une quarantaine d'articles sont en ligne sur le Dictionnaire des notions de sémantique utilisées en linguistique formelle, initié et supervisé par le GDR .:Sémantique et Modélisation:. sous la direction de Danièle Godard, Laurent Roussarie et Francis Corblin.

Sunday, April 01, 2007


The SEP has an entry on Fictionalism (written par Matti Eklund)

Yael Sharvit

Lundi 2 avril de 14h à 16h dans la grande salle de l'IHPST, le séminaire Philform reçoit Yael Sharvit (University of Connecticut, linguistic departement). L'exposé est intitulé : "Presuppositions and quantificational variability".

Tuesday, March 27, 2007

Manuel Garcia Carpintero

Demain, mercredi 28 mars 2007, de 11h à 13h, M.G. Carpintero fera à l' IHPST une présentation sur les 'empty terms'. Voir abstract ci-contre.

Sunday, March 25, 2007

Paul Cohen

Paul Cohen has died. He was 72.

See the FOM post for further information. See also the post on Terence Tao's blog for further information on Paul Cohen's work.

[via FOM]

Wednesday, March 21, 2007

Workshop : Ontological Commitment

Vendredi 23 mars 2007 à l'IHPST (13, rue du Four, 75006)
Programme :
Chair: Nicholas Asher (University of Texas / IRIT)
10.00-11.30: Jacques Dubucs / Friederike Moltmann (IHPST): Criteria of Ontological Commitment 11.30-11.45: Coffee 11.45-13.00: Zoltan Szabo (Yale University): Ontological Disagreement
13.00-14.30: lunch
Chair: Mark van Atten (IHPST)
14-30.15.45: Gabriel Uzquiano (University of Oxford): Absolute Generality and Realism 15.45-16.00: Coffee 16.00-17.15: Philipp Keller (University of Geneva): Getting a Grip: Ontological Commitment, Truthmaking, and Aboutness 17.15-17.30: Coffee 17.30- 18.45: Crispin Wright (St Andrews/NYU): Higher-Order Quantification without Ontological Commitment: Steps toward Neutralism

Saturday, March 17, 2007

The Reasoner

"Submitted articles should concern some exciting new research on reasoning, or an interesting new argument (concerning anything), or a new perspective on a topic or historical figure connected with reasoning. Submissions should be 100-1000 words, should be comprehensible and of interest to those in other disciplines, and should be positive in outlook. Any mathematical symbols should be formatted using LaTeX. "
"Submissions should be sent to [ TheReasoner AT kent DOT ac DOT uk]. The deadline for text is 15th of each month, to appear in the subsequent edition to be released on the 1st of the following month".
--->The Reasoner .

Saturday, March 10, 2007

Sonja Smets

La prochaine séance de Philform aura lieu lundi 12 mars de 14h à 16h à l'IHPST (salle spéciale). L'invité est Sonja Smets (Vrije Universiteit, Bruxelles) qui exposera ses travaux sur: "Quantum Dynamic Propositional Logic"

Friday, February 23, 2007

LateX for Logicians : update

Peter Smith has updated his very useful LateX for Logicians pages.

Blogs de philosophie en Français

Merci à Philotropes, qui fait un tour du paysage dans ce billet.

Wednesday, February 21, 2007

REFERENCE : Syntactic, semantic, and philosophical issues

Mercredi, 21 février 2007, 11h-13h, à l'IHPST, 1ère session du séminaire :

REFERENCE : Syntactic, semantic, and philosophical issues

This seminar will consist in a number of overview and special sessions given by Ora Matushansky and Friederike Moltmann as well as presentations by invited speakers from France and abroad.
[Dans le cadre de la Chaire d'Excellence "Semantic structure and ontological structure" ]

Tuesday, February 20, 2007

The Vicious Circle Society

The Swiss Association of Phd Students and Young Researchers in Logic and Philosophy of Science holds a perverse Vicious Circle Society.
Contact : Alessandro Facchini.
» Next event : Sep. 2007

Monday, February 19, 2007

HTML symbols

Need HTML help to write important things like :

Γ, A, A ⇒ Δ
--------------- (W)
Γ, A ⇒ Δ

or like :

Vr(λ) ↔ ¬Vr(λ)

on your blog/website ? Some people (myself included !) have found helpful to have a look there or drag the keyboard to the toolbar.

Sunday, February 18, 2007

The Pirates of Penzance

Dans un texte célèbre de Quine, "The ways of Paradox", il est question d'un certain Frederic, personnage principal d'un opéra-comique intitulé The Pirates of Penzance [1870, Gilbert&Sullivan], dont le malheur est d'être né un 29 février. (Semblable infortune fut également celle du Sapeur Camembert, comme l'a rappelé à l'occasion P. de Rouilhan dans son Russell et le cercle des Paradoxes).
La pièce fut un succès populaire, mais elle semble peu connue en France. Donc pour les curieux voici deux liens : le livret, et la musique [les liens vers les mp3 sont en bas de la page]. Amusez-vous bien !

Thursday, February 15, 2007

Best philosophy blog titles

A tentative short list. Nice quips, glamour and philosophy.(and occasional comments).
Certain DoubtsThink TonkJohn & Belle have a BlogLong Words Bother MeFragments of Consciousness (the fate of diaries) ⁄ Mixing Memory (total recall) ⁄ Plurality of wordsConsequently.orgNothing of Consequence (Restall duality) ⁄ What Is It Like to be a BlogThis is Not the Name of This Blog (a false title) ⁄ This is the Name of This Blog (and all is said...) ⁄ Bloggin the Question (the burden of the blog) ⁄ Desert Landscapes(Arizona dream) ⁄ Obscure and Confused Ideas (philosoher's diagnosis then and now) ⁄ Undetached Rabbit PartsLogBlog (efficient) ⁄ AlphaPsyLogic MattersThat logic blog

Wednesday, February 14, 2007

Probably Possible

A new blog, held by a bunch of ANU students :
Probably possible. Probability, Possibility and rationality

[via Plurality of words]

Tuesday, February 13, 2007

Kurt Godel

The Kurt Gödel entry of the Stanford Encyclopedia of Philosophy, writen by Juliette Kennedy, has just been published. At first glance, a much interesting entry with a comprehensive overview of Gödel's logical and philsophical work.

Thursday, February 08, 2007

F. Lepage

François Lepage est à Paris, et il sera l'invité du séminaire Philform à l'IHPST lundi 12 février de 16h à 18h (notez l'horaire). Il nous parlera de logique partielle (abstract ici).

Wednesday, February 07, 2007

Logica Universalis

The first issue of Logica Universalis is online with free access (at least at the time I'm writing this)

From the preface by J.Y. Béziau :
"Universal logic corresponds to the spirit of this new period. It is an attempt to study and develop some fundamental concepts and tools to navigate within the jungle of all existing logics, build new ones and to have a better understanding of what logic is."[...]
"In this journal will be published papers not dealing with a particular system of logic, but studying general concepts, tools, and techniques for the study of logics, such as consequence operators, sequent systems, logical matrices, tableaux, Kripke structures, institutions. Papers dealing with the study of classes of logics are also welcome as well as those examining the scope of validity and domain of application of fundamental theorems such as cut-elimination, compactness, completeness. We encourage furthermore some philosophical and historical papers dealing with the comparative study of logic in different cultures, the very nature of logic and its basic concepts such as truth, proof, definition, identity, negation, implication,modality, quantification."

Friday, February 02, 2007

Fodor, by Pyke

Jerry Fodor, New York City, 20 March 2003
"To the best of my recollection, I became a philosopher because my parents wanted me to become a lawyer. It seems to me, in retrospect, that there was much to be said for their suggestion. On the other hand, many philosophers are quite good company; the arguments they use are generally better than the ones that lawyers use; l and we do get to go to as many faculty meetings as we like at no extra charge. "

[Photo : Jerry Fodor, by Steve Pyke]

Thursday, February 01, 2007


Try here or there.
(photographs by Steve Pyke ).

Hartry Field, New York City , 24 March 2003
"A nice thing about philosophy of the sort I do is that it can never be used to justify wars or oppress the disadvantaged or anything like that.
This follows from a more general principle."

[Photo : Hartry Field, by Steve Pyke]

Amélie Gheerbrant

Amélie Gheerbrant (PhD student) quitte l'IHPST et rejoint ILLC (Amsterdam), en compagnie notamment de deux autres français Cédric Dégremont (Lille), et Elise Bonzon (Toulouse). Annonce officielle ici.

A. Rayo has won the Big Number Duel

See the report here.
[via Semantics etc.]

Monday, January 29, 2007

Antony Eagle

Those who teach first-course logic may have a look at Antony Eagle's introductory logic textbook : Elements of deductive logic (electronic version here) (.pdf, 164 p.)
Consider also, for other purposes, his useful paper on probability and propension : Twenty-one arguments against Propensity analyses of probability(.pdf, 49 p., 2004)

Sunday, January 28, 2007

Davide Grossi

Lundi 29 janvier 2007, de 15h30 à 17h30 (notez l'horaire), Philform reçoit Davide Grossi (Utrecht) sur le thème suivant: On the Logic of constitutive Norms.

Saturday, January 27, 2007

Philosophy streaming

Plurality of words has recently pointed to the following nice page :
Online video of philosophical lectures (Kaplan, Churchland, Chomsky, Dennett, McDowell, Kripke, Putnam ...)

Friday, January 26, 2007

Nothing of consequence

Ole Hjortland have posted some comments on Field's "metalogic and modality" on his blog Nothing of consequence.

Thursday, January 25, 2007


Here is the homepage for the student session of ESSLLI, to be held in Dublin, 6-17 august 2007. Call for papers. Deadline : February 11, 2007.

Monday, January 22, 2007

Blog : F. Loth

Le blog de F. Loth, Métaphysique, ontologie esprit, a maintenant une trentaine de posts. Une bonne introduction en français aux problèmes contemporains de philosophie de l'esprit.

[via Varia]

Sunday, January 21, 2007

F. Belardinelli

Le séminaire Philform reçoit F. Belardinelli lundi 22 janvier 2007 (IHPST, 14h-16H, grande salle) : "Quantified modal logic and the ontology of physical objects" (abstract).

Wednesday, January 17, 2007

R. Stainton

La philosophie des plus petites questions, par R. Stainton, via Philotropes.

Sunday, January 14, 2007

LateX : Title pages

Here are LateX codes and examples for various titlepages (included dissertation-like), by Peter Wilson.
[via Semantics etc.]

Thursday, January 11, 2007

B. Hill

Brian Hill has a new homepage.

D. Kaplan, live.

David Kaplan, The meaning of "ouch" and "oops"
A streaming webcast of David Kaplan giving his talk about 'ouch' and 'oops' at Berkeley in 2004 (85min).
[via Semantics etc.]