Traité de logique : essai de logistique opératoire ()

Index général a

Les noms d’auteurs sont composés en petites capitales. Les chiffres en caractères italiques renvoient aux passages principaux qui les concernent.

Les termes en caractères gras répondent à une définition numérotée dans le texte. Quant aux autres termes, les chiffres en caractères gras marquent un renvoi à leur définition.

A Bi-univoque (Multiplication), 122,

123, 169.

Absorption, 121. Bivalente (logique), 36, 358, 391.

Abstraction, 119, 173, 342. — (relation), 138.

Abstrait (ensemble), 193. Bochenski (I. M.), 363, 368.

Ackermann (W.), 18, 294 sq. Boll (M.), 127, 132, 201, 221, 308. Additifs (groupements), 109, 113, Bolzano, 18.

141, 148. Boole-Bernstein (Groupe de), 92,

Addition inclusive, 82. 208, 315 sq.

— sériale, 141. Borne, 95.

— des relations symétriques, 151. Bourbaki (N.), 127, 129, 189, 191, Affirmation complète, 229, 243. 201, 387.

Affirmation de p ou de q, 237, 263-4. Brentano, 17, 266. Aliotransitivité, 136. Brouwer (E. J. L.), 388 sq.

Altérité, 106, 150, 182. Burali-Forti, 18.

Anneau, 320.

Antécédent, 56, 130. C

Appartenance, 83.

Associativité, 92. Cantor (G.), 17.

Asymétrique (Relation), 134, 141. Carnap (R.), 17. Atomique (Proposition), 44. Cercle de Vienne, 2, 9.

Axiomatique, 291. Champ, 56, 130.

Axiomes (logiques), 294. Church (A.), 17.

Axiome unique (de Nicod), 223, Chwistek (L.), 18. 306-314. Classes, 49, 53, 66, 80.

Classification, 85.

B Co-distribution, 178.

Co-domaine, 56, 130.

Bernays (P.), 18. Co-inclusion, 177.

Bernstein (B. A.), 315. Commutativité, 299.

Binaires (Liaisons), 224, 242, 342. Complémentaire (Classe), 84, 98, Bi-univoque (Correspondance), 169, 109.

175,176, 198. Complémentarité, 303.

Compréhension, 59, 66, 69. Extensive (Quantité), 72.

Conjonction, 233, 251. Extralogique (Contenu), 42.

Connexe (Relation), 138.

Conséquent, 56, 130. „

Contiguïté, 98. r

Contradiction (voir Non-contra- „ .. .no

diction) Fonction, 198.

Corps 316 Fonction propositionnelle, 49, 50,

Corrélative (Opération), 269, 276-8. ς8414□

θ⅛*⅛ 117’ F≡,(C.), 17 266,’295, 302.

— (Relation ou correspondance),

159. G

Couturat (L.), 17, 205.

Goblot (Ed.), 24, 25, 367, 372 sq., r, 381 sq.

uGoedel (K.), 20, 223.

Déductives .(Opérations), 21 (et K.^3⅛q.

De^ucLs-Février (P.), 398, ¾e- 91’ 206∙ 285’6- 315’ 347’

402 35’∙

rv Y ; /r ? ∨  on n Groupement, 91, 96-103 103-108,

D197°22™iqUe ’ 87’9^ 206, 291, 3281 33°, 351> 383∙

Différence, 135, 180.

— (ordonnée et non-ordonnée), 135. H

Disjointes (Classes), 73, 84, 87.

Disjonction exclusive (voir Exclu- Hamilton, 61. sion réciproque). Hétérogènes (Suites), 100.

— non exclusive, 231, 244. Heyting (A.), 393, 397 sq.

Distinct, 193. Hilbert (D.), 18, 243, 294 sq.,

Domaine, 56, 130. 362, 367, 402.

Double réversibilité (Loi de la), 274. Homogènes (Suites), 100.

Dualité (Règle de), 245.

LJ

E Identique (Opération), 92.

École d’Amsterdam, 2, 9. Identique générale, 97-8.

Élémentaire (Proposition), 43-4. Identiques spéciales, 98.

Emboîtement, 97, 296-7. Implication, 233, 253, 334.

Enchaînements (Multiplicatifs), 174. — inverse, 234, 259.

Ensemble, 188, 189. — formelle et matérielle, 40, 254.

Énumération, 146. Inclusion, 83, 143.

Épistémologie, 4. Incompatibilité, 232, 248.

Équidistribution, 178. Intensive (Quantité), 72, 75, 97.

Équipotence, 199. — (Classe), 72.

Équivalence (Opération), 235, 261, — (Relation), 134.

,317. Interpropositionnelle (Opération),

Equivalence (Relation), 69,81,150, 35, 36, 219.

175, 180. Intersection, 117, 301.

— additive, 177. Intervalle (Relation d’), 135, 182-

— multiplicative, 175. 185.

— négative, 150. Intransitive (Relation), 136.

Exclusion réciproque, 236, 262, 316. Intrapropositionnelle (Opération), Extension, 59, 66, 144. 35, 37.

,  ∨ INDEX GÉNÉRAL 417

Inverse (Opération), 92, 97, 268. Ordre, 300.

Irréflexive (Relation), 138. Paoda, 17.

Irréversible (Opération apparem- Peano, 17.

ment), 394. Peirce, 17.

Itération, 112. Poincaré (H.), 18, 67, 381, 383 sq.

Jevons (W. S.), 17. Polyvalente (Logique), 398.

Join, 95. Prédicat, 59.

Proposition, 35, 36, 219.

L Psychologie, 11.

\ Puissance, 199.

Lalande (A.), 8.

Lattice, 94, 325, h328. q

Lesnievski, 18.

Lieawrd (L.),1 ’L18’ guar≡t

Lukasiewicz, 18, 398 sq. Quantification (Prédicat), 61-2.

— (Propositions), 362.

M Quelconque (Correspondance biuni-

voque), 198.

Majorant, 95.

Marbe, 17.

Mathématiques, 17. ’ R

— (Opération et raisonnement),

76, 375, 401. Réciprocité, 132, 304.

Matrice, 127-8^ Réciproques (Opérations), 269, 279-

Maurolico, 18. 284.

Meet 95. Réflexive (Relation), 138.

Minorant, 95. Relation, 49, 57, 126.

Multiplicatifs (Groupements), 108, Récurrence, 379, 383.

117, 122, 158, 169. Résorption, 100, 331.

Multiplication, 117. Réversibilité, 274, 303 (voir aussi

Multivalente (Relation), 138. double réversibilité).

Russel (B.), 17, 19, 25, 40, 44, 47, 49 sq, 60, 130, 158, 203 sq, 221,

N 266, 294 sq, 308, 362, 383, 402.

Négation complète, 230, 244.

— conjointe, 232. 248. 8

— de p ou de 237, 238,263, 264. „ ι . ,λλ „

— (logique sans), 394. Secondaires (Classes), 104, 107-9.

Nicod (J.), 228, 306 sq. — (Relations), 145.

Nombre, 188, 198, 206. Scheffer (H. M.), 243, 249, 264.

Non-contradiction, 354, 355, 401. Schroeder (P.), 17, 243.

Non-implication, 234, 258. Sériale (Addition), 141.

— inverse, 235, 260. Sériation, 141.

Normales (Formes), 243, 245, 265. Serrus (Ch.), 1, 38, 240, 266, 308,

Nulle (Classe), 73, 97. .372-

Numérique (Quantité), 72. Similitude, 179-180.

Singulière (Classe), 73, 82, Sociologie, 11.

O-P Soustraction logique, 84.

j Structure, 38, 42.

Opération, 58. Structurée (Classe), 70.

Ordonné (Ensemble), 130. — (faiblement), 69.

— (partiellement), 91, 94. — (semi), 70.

Substitution (simple), 80-81, 305. Tiers-exclu, 388.

— complémentaire (vicariance), Transfini (Nombre), 215.

114. Transitivité, 136, 352-3.

Syllogisme, 358, 367, 379. Trilemme, 231, 244.

Symétrique (Relation), 134, 148. Trivalente (Logique), 391. — (Relation), 138.

T v-w-z

Tarski (A.), 18, 319, 398 sq.

Tautification, 100, 331. Vicariance, 113, 145.

Tautologie, 100, 331. Wavre (R.), 391.

Tautologique (Équation), 100. Whitehead (A. N.), 17, 294 sq.

Tautologique (Proposition), 229, Wittgenstein (L), 30, 39, 40, 44, 243. 47, 221.

Ternaires (Liaisons), 238, 348. Zermelo (E.), 196.