Zone d'identification
Cote
FR UMR7117 JL-JL-DGh-01
Titre
Boîte 05
Date(s)
- 1930 - 1995 (Production)
Niveau de description
Dossier
Étendue matérielle et support
1 boîte
Zone du contexte
Nom du producteur
Dépôt
Histoire archivistique
Source immédiate d'acquisition ou de transfert
Zone du contenu et de la structure
Portée et contenu
- cahier bleu roi ‘vélin d’Angoulême’ : texte manuscrit d’une conférence de JL sur la calculabilité par une machine de Türing, ou comme il le précise ‘la calculabilité effective générale’ (14 pages), suivi d’un développement très détaillé sur Türing, puis Kripke ; le cahier est entièrement rempli, et y sont insérées des pages sur Putnam.
- chemise orange : Chap VIII, Perspectives aristotéliciennes en théorie du langage’, numéroté de 8.1 à 8.27, plus notes et figures
- grande chemise grise ‘originaux’ : deux articles de JL : ‘Apologie de la logique’, et ‘Sur l’universalité de la logique’. Un autre article de JL sur Brouwer, ‘L’intuition intellectuelle et les fondements intuitionnistes’ dans la pile qui suit, avec aussi ‘Brève note sur l’intuitionnisme de Brouwer’. Copie d’un article d’Encyclop ‘Réalisme’.
- grosse pile d’originaux de comptes rendus, avec parfois indication du journal où le CR est paru :
par ordre de la pile*
Dewey, Logique, tr fr,
Monk sur Wittgenstein, quatre exemplaires,
Philo de la logique et du langage, dans / 'Age de la science,
Rivenc, Universalisme logique,
Bouveresse, L’homme probable,
Parrochia, Raison systématique,
Folina sur Poincaré (deux ex),
Dummett sur Philo de la logique, et Philo analytique,
Gôdel édité par Shanker,
Lock sur Wittgenstein,
Russell sur la philo mathématique, trad Rivenc,
Bouveresse, Force de la règle, et Pays des possibles,
Shanker sur Wittgenstein,
Kerr sur Wittgenstein,
Martin sur Duhem,
Duhem, German science, tr fr
Granger, La vérification,
vanFraassen, Laws and Symmetry,
Schrôdinger sur les présocratiques et un gros commentaire de Bitbol (plusieurs versions),
Renouvier, Dilemmes de la métaphysique, réédité,
Boutroux, Contingence,
Dosse, Structuralisme,
van Stigt sur Brouwer,
Panza et Pont sur Gonseth,
Chihara, Constructibility and mathematical existence,
Parrochia, Mathématiques et existence,
van Fraassen, Laws and Symmetry (trois exemplaires),
Engel, La norme du vrai,
Thom, Prédire n’est pas expliquer,
Hacking, Concevoir et expérimenter, (deux exemplaires),
Aristote, Physique,
Brisson et al, Inventer l’univers,
Needham, Dialogue des civilisations Chine-Occident,
Boudon, L’art de se persuader,
Torretti, Creative understanding,
Haugeland, L’esprit dans la machine,
Putnam, Représentation t réalité, tr fr Engel,
Penrose, The Emperor’s new mind,
Feyerabend, Adieu la raison, tr fr Seuil,