Bonnes fêtes à tous !

Workshop IHPST - IJN

Le 14 janvier 2006, l'IHPST et l'Institut Jean Nicod organisent un workshop sur le thème : Intensionnal Verbs and Nonreferential Terms. Le programme ici.

Greg Restall

Philform a reçu Greg Restall au début de la semaine, pour deux séances intitulées respectivement "Invention is the mother of necessity" et "Proofnets for S5: sequents and natural deduction for modal logic". Pour plus de détails, voir ici et là.

Arché - Metaphysics, epistemology and modality - Call for paper

Conference: The Metaphysics and Epistemology of Modality
June 7-9 2006
The deadline for submission is April 5, 2006.

More Calls for papers

Il est bon de jeter de temps en temps un œil sur le blog Philosophy conferences and call for papers.

ESSLI 2006 Student Session

ESSLLI 2006 STUDENT SESSION
July 31 – August 11, Malaga, Spain
Deadline for submission: February 1st, 2006.

NOUVEAU LIEN, dans la rubrique "papers directories" (colonne de droite) : Logic Group Preprint Series (merci à Mark van Atten pour la suggestion!).

Hannes Leitgeb

Lundi 28 et mardi 29 novembre 2005, Philform (IHPST) accueille Hannes Leitgeb.
-lundi 28 novembre, 14h-16h, Hannes Leitgeb (University of Bristol),
"Towards a logic of type free modality and truth" (abstract)
-mardi 29 novembre, 14h-16h, Hannes Leitgeb (University of Bristol),
"New Life for Carnap's Aufbau"(abstract)

Live-blogging autour d'un workshop de philosophie de l'esprit sur le thème Révélation et humilité : "Chalmers introduced a division (exclusive but not exhaustive) of concepts into revelatory and humbling. Intuitively, revelatory concepts give you direct access to the intrinsic nature of the property they pick out, whereas humbling concepts do not. You could in principle have concepts of both kinds picking out the same property. Thus, someone (not Chalmers) might say that the concept of water is a humbling concept that picks out the same property that the revelatory concept of HOH picks out. The more rigorous analysis of these terms offered by Chalmers is this: a concept is revelatory just in case it picks out the same property in all possible world considered as actual; it is humbling if it doesn’t." Voir le les détails du workshop sur Desert Landscapes (The unofficial group blog of the University of Arizona philosophy department).(infos via le blog de D. Chalmers).

Andrei Rodin

Ce lundi 21 novembre 2005, Philform accueille Andre Rodin (Ens Ulm), pour un exposé intitulé "Functorial Semantics" (abstract).

(Edition, vient de paraître)
Edité par Vincent Hendricks et John Symons, Formal philosophy : 21 philosophes et logiciens répondent à un ensemble de questions concernant l'origine et les motivations de leur travail, leur perspective philosophique, le regard qu'ils portent sur l'état actuel et futur de la philosophie etc. (merci à LogBlog )

Nouveau lien. Memory de logiciens et philosophes(par Nicolas Le Thierry d'Ennequin), idéal pour votre délassement et/ou l'éducation de vos enfants... (pour toute question, laissez un message sur ce blog).

biblio. Reverse mathematics

Sur sa page personnelle Steven Simpson annonce la parution d'un volume collectif ("[September 20, 2005] Reverse Mathematics 2001 has finally appeared. It is Volume 21 in the ASL's book series Lecture Notes in Logic, X + 401 pages. You may order on-line from A. K. Peters, Ltd.") et la réédition prochaine de son classique de 1998, épuisé depuis un moment déjà ("On June 30, 2005 I submitted Subsystems of Second Order Arithmetic, Second Edition, to the Association for Symbolic Logic, for publication in their book series Perspectives in Logic. It was accepted on August 9, 2005.").
[Pour une présentation de la perspective philosophique et une introduction aux principaux résultats des "Reverse Mathematics" voir Partial Realizations of Hilbert's Program (une conférence de Simpson parue dans le JSL en 1988) et SOSOA Chapitre1 (par Simpson également, donc). Pour une discussion plus large de ces résultats et du sens à donner au programme de Hilbert (d'un auteur "extérieur" aux R.M.), voir par exemple le papier de Panu Raatikainen , Hilbert's Program Revisited[2003] (Synthese 137).]

14th Annual Harvard-MIT Graduate Student Philosophy Conference

"CALL FOR PAPERS
The 14th Annual Harvard-MIT Graduate Student Philosophy Conference - March 4-5, 2006- Keynote Speaker: Peter Godfrey-Smith
We seek submissions from graduate students in any area of philosophy. Submissions should be no longer than 14 double-spaced pages and should be accompanied by a short abstract of 200 words maximum. No identifying information should appear in the body of the paper or the abstract. Instead, on each item, please include a cover sheet with submitter's
name, address, e-mail, telephone number, name of his or her institution, and title of paper.
DEADLINE: Submissions must be received by Monday, December 12th, 2005
We can only accept one submission per applicant, so please make sure that the version of the paper you send is the one you would like considered.
Please send an electronic version of both paper and abstract (in separate files) as Word attachment or .pdf file to: gradphil AT fas.harvard DOT edu"

Sur la page indiquée par Henri sous le titre "More calls for papers", on a accès à cet appel, et il apparaît qu'il faut envoyer une version papier par la poste en plus de la version électronique.

1st Philosophy Graduate Conference at the Central European University -Budapest

Deadline : 15 novembre 2005. Toutes les informations ici.

Palmyr

La rencontre des jeunes chercheurs PALMYR, c'est aujourd'hui à l'IHPST (programme).

George Bealer : An inconsistency in direct reference theory

Scott Soames a mis un certain nombre d'articles en ligne sur sa nouvelle page personnelle.

a brief history of truth
On trouve un bon compte-rendu des problèmes et discussions philosophiques qui ont fleuri jusqu'à récemment autour des conceptions "déflationnistes" de la vérité dans A Brief History of Truth, par Nic Damnjanovic (voir aussi The Development of Deflationism, du même auteur).

(philform)
Toujours dans la perspective de la venue de Y. Moschovakis à Philform lundi prochain (voir messages précédents), on trouvera un exposé peu technique et fidèle à la ligne de Moschovakis[1994] dans l'article de R. Muskens intitulé Sense and the Computation of Reference, à paraître dans Linguistics and Philosophy. (merci à G. Sandu pour la référence).

(philform)
Pour faire suite à l'exposé de Serge Bozon à Philform le 17/10, voici un lien vers un des articles auxquels ce dernier a fait référence : John Longley, Notions of computability at higher types ( Part I (historical survey - complete draft), Part II(systematic study of notions of computable functional - about half-written), and Part III (realizability and notions of computable operation - very rough skeleton draft only) ).Note : l'exposé faisait référence à la première partie seulement de ce travail (110p, format .ps).

Y. Moschovakis

Les deux prochaines séances du séminaire Philform (IHPST) seront consacrées aux travaux de Yiannis Moschovakis visant a définir un concept d'intension en termes d'algorithmes.
-ce lundi 17 octobre, de 14h a 16h, Serge Bozon (IHPST) organisera une séance
introductive.
-lundi 24 octobre, de 14h a 16h, Yiannis Moschovakis (UCLA, Université
d'Athenes), donnera une conférence intitulée:
'Meanings as idealized algorithms OR English as a programming language' (abstract)
Bien cordialement,
Denis Bonnay, pour les organisateurs

Nouveau lien, dans la rubrique "cours avancés" : M. Zakharyaschev, F. Wolter and A. Chagrov : Advanced Modal Logic (pour la seconde édition du Handbook of Philosophical Logic, 2001).

L'enregistement vidéo de la conférence "Quelques problèmes d’interprétation de la définition sémantique de la vérité" donnée (en anglais) par Jan Wolenski (univ. Jagellon de Cracovie), Paolo Mancosu (univ. de Berkeley / IHPST) et Philippe de Rouilhan (CNRS/IHPST) à l'e.n.s. le 27 novembre 2004 (organisée par Wioletta Miskiewicz (CNRS/ENS) et Jan Wolenski) est disponible ici. D'autres conférences délivrées dans le cadre du cycle "Le rayonnement de la philosophie polonaise au XXe siècle-L‘héritage philosophique de Kazimierz Twardowski" sont également enregistrées et disponibles.

On-line Conference : Call for papers

On-line philosophy conference blog : appel à contribution. Deadline : 15 janvier 2006. (détails ici).
"[...] the 1st Annual On-line Philosophy Conference (OPC), which is tentatively to begin on Friday, April 7th (2006). The first installment of OPC will be hosted on the newly created On-line Philosophy Conference Blog and will include invited papers by some of today's top junior and senior philosophers [...]"

Le site pour la diffusion des savoirs de l'e.n.s. propose de nombreux enregistrements sonores et vidéos de conférences philosophiques (en français et en anglais). Ajoutées il y a peu : une Introduction à la logique mathématique par Paul Egré et une Introduction à la forme logique par Philippe Schlenker.

Philform : 10 oct. 2005

Lundi 10 oct. à 14h, Philform (IHPST) accueille Nathan Klinedinst (UCLA) (site personnel) pour un exposé intitulé : 'Modals, Plurals, and Conjunctive Disjunction' (abstract).

Preprints in Analytic Philosophy (Louvain)

Nouveau lien. "The Preprints in Analytic Philosophy series is an initiative of the Centre for Logic at the University of Leuven's Institute of Philosophy. It offers members and affiliates of the Centre the opportunity to distribute their work for review in advance of wider publication. Papers from a variety of research disciplines are accepted (such as, but not restricted to, history and philosophy of science, ethics, philosophical logic, philosophy of mathematics, philosophy of language, aesthetics, etc.) provided they bear significant relevance to the analytic tradition."
Relevé : Volker Halbach & Leon Horsten (July 2005). Axiomatizing Kripke's Theory of Truth.

Colloquium on CARNAP and the Logical Syntax of Language

 Organisé par Pierre Wagner, s'est achevé aujourd'hui à l'IHPST. Programme des deux journées : Andre Carus (Chicago): Carnap’s Dream: Wittgenstein’s Prison. ⁄ Steve Awodey (Carnegie Mellon): Carnap’s Dream: the Boundless Ocean.⁄ Fabrice Pataut (CNRS, IHPST): Carnap, Quine and Analyticity. ⁄ Thomas Uebel (Manchester): Logical Syntax of Language in the Context of the Vienna Circle. ⁄ Richard Creath (Arizona State): Carnap’s Philosophical Project at the Time of the Logical Syntax of Language. ⁄ Pierre Wagner (Université Paris 1, IHPST): Carnap’s Critique of Philosophy.⁄ Jacques Bouveresse (Collège de France, IHPST): Logical Syntax, Quasi-syntax and Philosophy.⁄ Jacques Dubucs (CNRS, IHPST): Mathematics as Syntax of Language: Gödel’s Critique of Carnap. ⁄ Thomas Ricketts (Northwestern): The Framework for Tolerance. ⁄ Michael Friedman (Stanford): Tolerance, Intuition, and Empiricism ⁄ Philippe de Rouilhan (CNRS, IHPST): Carnap and Tarski on Logical Consequence. ⁄ Denis bonnay (IHPST) :Carnap’s Definition of Logical Constants ⁄ Warren Goldfarb (Harvard):Logical Syntax and the Philosophy of Mathematics.

The Buckingham Inquirer

Carnet web très complet, The Buckingham Inquirer permet entre autre une "revue de presse" des principaux blogs philosophiques anglo-saxons (News aggregator).

Varia - zulio.org

Le carnet Varia contient de nombreux liens d'intérêt pour les philosophes. Notée, une référence vers un cours d'introduction à la logique par V. McGee :
MITOPENCOURSEWARE.

Mise à jour du fichier bibliographie.bib (3) : 2235 réf.(Ici).

Sommaire général des principales revues philosophiques de langue anglaise...

Par l'association taïwanaise de philosophie : Ici.

Alonzo Church : "The Ontological Status of Women and Abstract Entities"

Michael Zeleny, éditeur des "collected works" de A. Church, a diffusé récemment la conclusion de "The Ontological Status of Women and Abstract Entities", une conférence prononcée par Church à Harvard en 1958. (Le texte complet de la conférence est encore à paraître. Plus d'infos sur FOM).

Le programme du cours de logique de G.Sandu "Extensions de la logique du premier ordre" (Master2) se trouve dans la nouvelle brochure du master de philosophie de Paris-I (p.44 Télécharger), ainsi bien sûr que la présentation des autres séminaires d'enseignement pour cette année. (Noter que le master de "philosophie des sciences" est renommé "LOPHISS", comprendre «Logique, Philosophie, Histoire et Sociologie des Sciences»).

Pavel Materna

Pavel Materna (Masaryk University in Brno) vient de présenter son travail sur TIL ("Transparent Intensional Logic" ) à PhilForm. L'occasion d'aller voir sa page personnelle, qui contient plusieurs articles sur les questions apparentées à celles traitées aujourd'hui (sémantique néo-frégéenne, analyse et forme logique des énoncés, attitudes propositionnelles etc. ). Rappel : sur TIL, voir aussi ici, notamment pour quelques articles introductifs.

bibliographie.bib

La base de donnée/fichier bibliographie.bib a gagné quelques références et subi quelques corrections.

Peter Ludlow online

Peter Ludlow n'est pas repertorié sur la page "online papers" de B. Weatherson, voici sa page personnelle, où se trouve un certain nombre d'articles : http://www-personal.umich.edu/~ludlow/.

Déjà, la blancheur de la neige.

"[On n'a donc pas besoin de raisonnement ni de preuves pour démontrer que la volupté est à rechercher, et que la douleur est à craindre]. Cela se sent, comme on sent que le feu est chaud, que la neige est blanche, et que le miel est doux ; et il est inutile d'appuyer par des raisonnements ce qui se fait sentir suffisamment de soi-même. [Car il y a différence, dit Épicure, entre ce qu'on ne peut prouver qu'à force de raisons, et ce qui ne demande qu'un simple avertissement.]" Ciceron, De finibus, chap. IX.

Extrait du Philosophical Lexicon de D.Dennett : kripkography, n. The opposite of cryptography: the art of translating a meaningless message (about, e.g., de re necessity) into expressions that an uninitiated observer would take to be straightforwardly meaningful (e.g., "Look, it's not so hard. All he's saying is that since the term is a rigid designator, it refers to the same thing in all possible worlds"). "He used to claim he just 'couldn't understand' essentialism, but now, thanks to kripkography, he just sits there nodding and smiling."- hempel, adj. (only in the idiom hempel-minded) Said of one who insists on recasting the problem in the first order logic. - dummett, v. Contraction of "thumb through it"; as in "I'm afraid the only index this book has is almost the same as the table of contents, so you'll just have to dummett."- hilary, n. (from hilary term) A very brief but significant period in the intellectual career of a distinguished philosopher. "Oh, that's what I thought three or four hilaries ago."etc.
Voir aussi es célèbres "preuves que p", dont trois séries se trouvent ici.

BibDesk 1.1.6

Une nouvelle version debugée. Disponible sur cette page.

Foundations of mathematics

Le site d'Alexander Sakharov "Foundation of mathematics" réunit un certain nombre de textes introductifs à différentes branches et problèmes classiques de la logique et des fondements des mathématiques (Programme de Hilbert, théories des ensembles, axiomatisation, paradoxes, logique classique, intuitionniste, d'ordre superieur, modale, déduction naturelle, calcul des séquents, théorie des modèles, calculabilité, théorie des catégories...)

Cours de Logique modale, sémantique formelle...

Tout ceci et d'autres choses encore (une théorie formelle de la vérité, par exemple), sur la page de Gary Hardegree. Je n'ai pas encore regardé dans le détail, mais tout le materiel semble extrêmement bienvenu.
(Pour télécharger directement la totalité du cours de logique modale c'est ici, et pour le cours de semantique formelle, c'est là).

Latex pour les logiciens

LateX layouts, templates etc:

A la ASL(Association for Symbolic Logic)
A laSpringer Verlag (note : for books, the class provided now is "svmono". For the old (?) "CLmono" class click here).
A la Cambridge University Press
There is also the sophisticated memoir class.
And the Simple Thesis class from Melbourne.

LateX softwares:

For LateX slides : try Beamer.
For Mac users, to manage bibliographies and BibteX files, Bibdesk is very good.

LateX Links :

Latex pour logiciens
CTAN

LateX online textbook :

The not so short introduction to LateX
M. Baudoin : Apprends LateX (en français)

BSL et Latex

La mise en page du Bulletin of Symbolic Logic, c'est ici.

Un fichier bibtex

Vous trouverez ici un fichier .bib contenant environ 2000 références bibliographiques (sur des thèmes de philosophie du langage, de la logique, des mathématiques etc.), utile si vous utilisez latex et/ou, mieux, une base de données bibtex (par exemple BibDesk pour Mac OSX, pour lequel il faut semble-t-il préférer la version 1.1.3 aux deux dernières, 1.1.4 et 1.1.5, qui m'ont causé quelques soucis d'instabilité. Sous Windows, voyez BibDB ou peut-être aussi BibEdit, plus ou moins équivalents de BibDesk. En tout état de cause, voire ici).

Ouverture

Vous trouverez ci-contre un certain nombre de liens vers des pages contenant des articles de philosophie ou des liens vers des pages contenant des liens vers des pages contenant des articles de philosophie...