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