Logische Syntax der Sprache (Q2616495)

Unter der logischen Syntax einer Sprache versteht Verf. die von ihm mit außerordentlichem Erfolge ausgebaute, teilweise völlig neu geschaffene formale Theorie derselben. Dabei heißt eine Theorie formal, wenn in ihr auf die Bedeutung der Zeichen kein Bezug genommen wird, sondern nur auf ihre Art und Anordnung. Die logische Syntax einer Sprache, allgemein eines Kalküles, handelt also von den Strukturen möglicher Reihenanordnungen beliebiger Elemente, und zwar ist die reine Syntax Kombinatorik endlicher diskreter Reihenstrukturen beliebiger Art, während die deskriptive Syntax -- sie verhält sich zur reinen wie die physikalische Geometrie zur mathematischen -- die syntaktischen Eigenschaften und Beziehungen empirisch vorliegender Ausdrücke erforscht. Verf. vertritt die Thesen (ohne daß sie übrigens in seinen Untersuchungen benutzt würden), daß Wissenschaftslogik (logische Methodologie) nichts anderes ist als Syntax der Wissenschaftssprache und daß das, was in der Philosophie an wissenschaftlichen Untersuchungen enthalten und eines fruchtbaren Ausbaues fähig ist, zur logischen Syntax gehöre: An die Stelle der Schulphilosophie habe logische Syntax zu treten. An zwei bestimmten symbolischen Sprachen, die als Objektsprachen dienen, werden zunächst die syntaktischen Untersuchungen durchgeführt. Die erste dieser Sprachen umfaßt auf mathematischem Gebiete die elementare Arithmetik der natürlichen Zahlen in einem Umfang, der ungefähr intuitionischer Auffassung entspricht. Die zweite Sprache, die die erste als Teilsprache enthält, umfaßt auch die sogenannte klassische Arithmetik der reellen Zahlen, die Analysis und die Mengenlehre. Beide Sprachen gestatten aber auch empirische Sätze über irgend ein Gegenstandsgebiet zu bilden, und Verf. legt Gewicht auf die syntaktische Behandlung synthetischer (außerlogischer und außermathematischer) Sätze. Da es angesichts der überaus zahlreichen, völlig neuen Begriffsbildungen, die Verf. zu seinen Untersuchungen benötigt, unmöglich ist, auf kurzem Raume über sie zu referieren, folge das Inhaltsverzeichnis: Einleitung: Was ist logische Syntax? - Sprachen als Kalküle. I. Die definite Sprache (I). - A. Formbestimmungen für Sprache (I). B. Umformungsbestimmungen für Sprache (I). C. Bemerkungen zur definiten Sprachform. II. Formaler Aufbau der Syntax der Sprache (I). III. Die indefinite Sprache (II). - A. Formbestimmungen für Sprache (II). B. Umformungsbestimmungen für Sprache (II). C. Weitere Untersuchungen zur Sprache (II). IV. Allgemeine Syntax. - A. Objektsprache und Syntaxsprache. B. Syntax beliebiger Sprachen, a) Allgemeines, b) Variable, c) Arithmetik; Widerspruchsfreiheit, d) Übersetzung und Deutung, e) Extensionalität. V. Philosophie und Syntax. A. Über die Form der Sätze der Wissenschaftslogik. B. Wissenschaftslogik als Syntax. Niemand, der sich mit der modernen Grundlagenforschung eingehender beschäftigen will, kann an diesem in mancher Hinsicht geradezu epochemachenden Werke vorübergehen.