Tuesday, September 27, 2005

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

Thursday, September 22, 2005

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

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

Wednesday, September 21, 2005

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

Monday, September 19, 2005

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.

Friday, September 16, 2005

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

Thursday, September 15, 2005

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.

Wednesday, September 14, 2005

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.

Monday, September 12, 2005

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

Wednesday, September 07, 2005

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

Latex pour les logiciens

LateX layouts, templates etc:


LateX softwares:

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

LateX Links :
LateX online textbook :

Tuesday, September 06, 2005

BSL et Latex

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

Monday, September 05, 2005

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