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

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]

Henry Kyburg

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

P. Smith : On Subsystems of PA2

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

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.

Michael Rathjen on Ordinal Analysis of Proofs

Here is useful survey by Michael Rathjen : The art of ordinal analysis.
[via Logic Matters]

Colin McGinn has a blog

colinmcginnblog.com.

CSLI Publications online free

A Stanford digitalized library.
[h.t. LogBlog]

Advances in Modal Logic : call for paper

AiML-2008 ♥ ADVANCES in MODAL LOGIC ♥ http://aiml08.loria.fr
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.

Francesco Berto

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

Abstract:
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.

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?

The dancer

Left or Right ?







[via Probably Possible]

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

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.

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.

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

SEP : Logic of Conditionals

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

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

Denis Bonnay

Denis Bonnay has a new homepage !

Convention

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

CLMPS 2007

The Speaking Schedule for the 13th International Congress of Logic, methodology and philosohy of science is available( to be updated and confirmed) : http://www.clmps2007.org/schedule.htm

[H.T. M.Vorms]

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.

The Reasoner 1 (3)

The Reasoner, n°3.

The Review of Symbolic Logic

The Review of Symbolic Logic

[ via LogBlog ]

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.

Generalized Quantifiers

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

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

Ora Matushansky

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

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 ]

Philosophy and history of mathematics

18 et 19 Juin au REHSEIS aura lieu un colloque international: "Philosophy of mathematics as an interpretative enterprise: how much history of mathematics should the philosophy of mathematics be able to account for?"

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.

Alexandre Costa-Leite

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

PALMYR 5

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 : www.thereasoner.org.

Arché Graduate Conference

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

3D-XplorMath

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

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.

SEP : DRT

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)

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.

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

OPC2

The second on-line philosophy conference is going on.

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"

abstract:
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. »
Programme.

Nuel Belnap : Notes on the Art of Logic

Nuel Belnap : Notes on the art of Logic (unpublished manuscript, .pdf, 310p.)
[updated 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.

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.
http://alpha-leonis.lids.mit.edu/chomsky/

[via leRISC]

Gillman Payette

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

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

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"

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

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

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.

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.

Fictionalism

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

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.

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]

Workshop : Ontological Commitment

Vendredi 23 mars 2007 à l'IHPST (13, rue du Four, 75006)
ATELIER "ONTOLOGICAL COMMITMENT"
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

Prix Jean Nicod 2007 : Stephen Stich

Stephen Stich reçoit le Prix Jean Nicod 2007 et donnera trois conférences à Paris à cette occasion.

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 .

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"

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.

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

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

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.

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 !

Best philosophy blog titles

A tentative short list. Nice quips, glamour and philosophy.(and occasional comments).
Certain Doubts ⁄ Think Tonk ⁄ John & Belle have a Blog ⁄ Long Words Bother Me ⁄ Fragments of Consciousness (the fate of diaries) ⁄ Mixing Memory (total recall) ⁄ Plurality of words ⁄ Consequently.org ⁄ Nothing of Consequence (Restall duality) ⁄ What Is It Like to be a Blog ⁄ This 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 Parts ⁄ LogBlog (efficient) ⁄ AlphaPsy ⁄ Logic Matters ⁄ That logic blog

Probably Possible

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

[via Plurality of words]

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.

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

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

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]

Philosophers

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

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)

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.

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

Nothing of consequence

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

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

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]

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

R. Stainton

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

LateX : Title pages

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

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