Le texte de cette page a été corrigé et est conforme au fac-similé.
CONTENUS DU VOLUME I
page
PRÉFACE
v
INTRODUCTION
1
Chapitre I. Explications Préliminaires des Idées et des Notations
4
Chapitre II. La Théorie des Types Logiques
39
Chapitre III. Symboles Incomplets
69
PARTIE I. LOGIQUE MATHÉMATIQUE.
Résumé de la partie I
91
Section A. La Théorie de la Déduction
94
*1. Idées et propositions primitives
95
*2. Conséquences immédiates des propositions primitives
102
*3. Le produit logique de deux propositions
114
*4. Équivalence et règles formelles
120
*5. Diverses propositions
128
Section B. Théorie des Variables Apparentes
132
*9. Extension de la théorie de la déduction à partir de propositions de types inférieures vers les types supérieures
132
*10. Théorie des propositions contenant une variable apparente
143
*11. Théorie des deux variables apparentes
157
*12. La hiérarchie des types et l’axiome de réductibilité
168
*13. Identité
176
*14. Descriptions
181
Section C. Classes et Relations
196
*20. Théorie générale des classes
196
*21. Théorie générale des relations
211
*22. Calcul des classes
217
*23. Calcul des relations
226
*24. La classe universelle, la classe nulle[1] et l’existence des classes
229
*25. La relation universelle, la relation nulle et l’existence des relations
241
- ↑ null-class, tel que traduit par exemple dans Whitehead et Schröder, sur l’algèbre de la logique