Affichage de 844 résultats

1993 cours à Genève,
banque CIC (indiqué par AFL mais pas trouvé ; peut faire référence à des feuilles du CIC sur lesquelles JL écrit d'autres choses)

article tiré à part + article polycopié d'Alain Boutot
article en allemand de Jean-Marie ZEMB
papier furieux de Ramunni
sujets d'examen 1988 et juin 1990
petite lettre de RThom
Encyclop universelle
lettre de Berkeley
articles de Claude Bruter
Gabay
séminaire ENS
amicale Supélec
Russo à Largeault,
Pitteri article
brouillon du papier sur Meyerson,
logiques multivaluées,
logique (double)
Aca Nice section 72
dépt
tapuscrit-brouillon de La logique
brouillon Logique (et idem une seconde fois)
brouillon Weyl
double : morceau de Hasard, probabilités, induction = raisonnement inductif
leçon inaugurale de JM Zemb

Courtès
Bouttevin
UP4 Toulouse
Philo de la logique + Intuitionnisme et théorie de la démonstration + Dreben, Kreisel, Skolem, Quine, Hintikka,
Dana Scott, Gôdel
Brouwer
Hilbert - Zenon & Cantor
et autres articles
articles encore : Haar, etc
B. Dreben, sur la complétude de la théorie de la quantification
article de George W. Gaffney

• lettre de JL (désabusé sur l'université) à M. Zemb
• pochette rose pâle : Le programme intuionniste
• pochette verte : Infini et continu
• pochette jaune : sur l'intuitionisme
• pochette beige : Intuition et intuitionisme
• Le second acte de l'intuitionisme et les principes de l'Analyse
• Feuilles disparates avec exercices de logique
• Intuition et intuitionisme (double avec notes et petits remaniements)
• pochette rose : Annexe I. (Brouwer : theorie des ensembles intuitioniste)
• plusieurs chapitres (en double ou triple) de l'Intuition et l'intuitionisme
• texte "Constructivisme" qui ne semble pas rattache à l'ouvrage sur l'intuitionisme

• dossier jaune marqué « rogatons » : comptes rendus (originaux)

• dossier rouge avec à l’intérieur un reste de chemise marquée ‘2 rue des Feuillants’, puis séparées par des feuilles des traductions d’un ensemble de textes sous le titre général « Analyse du langage et logique » (et plus anciennement « Logique philosophique, textes ») ; le travail est fait avec précision, et minutie, y compris les recommandations à l’éditeur. La première page indiquait « à mes maîtres R. Martin et J. Vuillemin », mais cela a été biffé. Il s’agit d’un livre prêt à publier, et qui (selon AFL) n’a jamais été publié. Copie de la table des matières jointe.

• gros classeur tacheté : livre Intuitionisme et théorie de la démonstration, au stade des épreuves.

• 1994 Hermann Weyl, Le continu et autres écrits, notes introductives et traduction par JL, Vrin, 1994
• 1980 JL, Quine, Questions de mots, question de faits.
  TIRES A PART :
  0 ‘Probabilités et déterminisme’, p 951 à 958, sans date ni lieu (38 exemplaires) [une carte jointe : « avec les compliments de l’Institut de sciences mathématiques et économiques appliquées, Institut Henri Poincaré, 11 rue Pierre et Marie Curie, 75005 Paris]
  0 ‘Quelques remarques à propos des notions de l’espace’, p 331 à 356, à la mémoire de Henri Joly, sans date ni lieu (un exemplaire).
  1986 ‘La philosophie de la nature à l’âge classique’, Revue philosophique, 1986 (1) (7 exemplaires)
  1986 ‘Les philosophes présocratiques et la science grecque’, Revue de l’enseignement philosophique, 1986 (6) (cinq exemplaires)
  1989 ‘Cinq questions à propos de l’épistémologie’, Revue philosophique, 1989 (3) (deux exemplaires)
  1990 ‘Formalisme et intuitionnisme en philosophie des mathématiques’, Revue philosophique, 1990 (3) (8 exemplaires)
  1992 ‘Brève note sur l’intuitionnisme de Brouwer’, Revue philosophique, 1992 (3) (27 exemplaires)
  1992 ‘Emile Meyerson, philosophe oublié’, Revue philosophique, 1992 (3) (18 exemplaires)
  1992 ‘Intuition et intuitionisme’, Archives de philosophie, 1992, oct-déc (10 exemplaires)
  1993 ‘L’intuitionisme des mathématiciens avant Brouwer’, Archives de philosophie, 1993, janv-mars (10 exemplaires)
  1994 ‘Apologie de la logique’, in : Passion des formes, Dynamique qualitative, sémiophysique et intelligibilité’, édité par Michèle Porte, ENS éditions, Fontenay-St Cloud, 1994 (8 exemplaires).
  1994 ‘Quine, le continuisme et la fm de l’épistémologie néo-positiviste’, Revue philosophique, 1994 (3) (28 exemplaires)
  1994 ‘Sur l’universalité de la logique’, Archives de philosophie, 1994, avr-jun (3 exemplaires)
  1995 ‘La logique hier, les logiques aujourd’hui’, Archives de philosophie, 1995, janv-mars (19 exemplaires)
  1997 ‘Peut-on parler de logiques régionales ?’, Archives de philosophie, 1997, janv-mars (23 exemplaires)

Schéma du livre à paraître aux PUF :

• Préface sur la vie de JL par AFL
• Introduction aux textes de JL publiés.
• Table des matières

Fascicules encollés :

• Eléments de philosophie générale, 1988

• Intuitionisme et théorie de la démonstation, I

• La matière et l'espace des philosophes, des présocratiques à Aristote, 1987

• Principes classiques d’interprétation de la nature, mars 1987

• quelques pages de JP sur Shopenhauer

• correspondances : lettres de René Thom et de :

Allais Maurice,
Benmakhlouf Ali,
Birault Henri,
Bois Henri,
Bouveresse Jacques,
Bruter Claude,
Buscaglia Marino,
Courtès Francis,
Degos Jean-Denis,
Dieudonné JA,
Engel Pascal,
Escat Gérard,
Felden Marceau,
Gil Fernando,
Lassègue Jean,
Lurçat François,
Magnard Pierre,
Nicolau Edmond,
Nordon Didier,
Poirier René,
Rosset Clément,
Schützenberger Marco,
Stove David,
Talamon Cécile,
van Dalen,

• deux polycops ‘cours de la Sorbonne’ (CDU) : M. Choquet, Espaces topologiques et espaces métriques, et J. Braconnier, Fonctions d’une variable complexe, 1.
• livret beige Séminaire de philosophie et mathématiques de l’ENS, 45 r d’Ulm, séance du 4 mai 1987, conférence de Labib Haddad sur ‘Condorcet et les ultrafiltres’.
• classeur carton jaune-orange : photocopies d’articles :
  Baire René, ‘Sur la représentation des fonctions discontinues’,
  Beth E.W., ‘Semantic construction of intionistic logic’,
  de Iongh J.J, ‘Restricted forms of intuitionistic mathematics’,
  Destouches-Février Paulette, ‘Monde sensible et monde atomique’,
  Heyting A., ‘Intuitionism in mathematics’,
  Heyting A., ‘Remarques sur le constructivisme’,
  I.R., ‘Logique mathématiques’
  Lurçat François, ‘Space and time : a priviledged ground for misunderstandings between physics and philosophy’,
  Myhill John, ‘Notes towards an axiomatization of intuitionistic analysis,
  Ruthenberg Klaus, ‘Is there a philosophy of chemistry ?’,