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