120

Mannigfaltigkeit der Aussagenverbin-
dungen 14f.
Mengenlehre 88.

Normalform, konjunktive des Aussagen- |

kalküls 13. |
—, ausgezeichnete konjunktive 16. |
—, disjunktive des Aussagenkalküls 13. 3
—-im Funktionenkalkül 63. |

Obere.Grenze, Satz von der 106, 111.
Ordnung einer Menge 92.

Paradoxien, logische 92.
Partikuläre Urteile 37, 46. |

 

Peano, G. 2.
PE CSM |
Prädikatenkalkül 34.

Prädikativer Funktionsaussdruck 107.
Principia mathematica s. Rwussell.
Produkt, logisches 6.

Reduzierbarkeit, Axiom der 106{f.

Reelle Zahlen, Begründung der Theorie ‘
der 105, 109£f.

Reflexivität 82.

Russell, BA2,.8, 231 0815 413

Schema für ‚,alle‘ und ‚‚es gibt‘ 54.

Schlußfiguren 37.

Schlußschema 23, 54.

Schönfinkel, M. 81.

Schröder, E. 2, 15.

Seinszeichen 46, 83.

Namen- und Sachverzeichnis.

Sheffer 9.

Skolem, Th. 80.
Stufenkalkül 98{ff.
Summe, logische 6.
Symbolische Logik 1.
Symmetrie 82.

Traditionelle Logik 37, 43.
Transitivität 82.
Typentheorie 99.

Umformung von Aussagenverbindun-
gen 9.
Unabhängigkeit von Axiomen 31.

Variable, logische 45, 51, 54.
—, gebundene und freie 46.
Vereinfachung von Aussagenverbindun-
gen 16.
Vertauschungsregel für die Klammer-
zeichen 47, 63.
Vollständigkeit der Axiome
im Aussagenkalkül 31,
im Funktionenkalkül 66{f.

Whitehead, A. N.2, 23, 98£., 113.
Widerspruchsfreiheit, Problem der 29,

65. .
Wirkungsbereich eines Klammerzei-
chens 52.

Wohlordnung 92.

Zahlbegriff, logische Behandlung des 86.
Zahlenreihe, Grundeigenschaften der 48.

Druck der Spamerschen Buchdruckerei in Leipzig.