Logische Syntax

Zusammenfassung

Die Untersuchungen in der Semantik sind dadurch gekennzeichnet, daß keine Beschränkung auf die Analyse der sprachlichen Ausdrücke als solcher und ihrer Relationen zueinander erfolgt, sondern dasjenige mitberücksichtigt wird, worüber in den Sätzen der Objektsprache gesprochen wird. Ob nun die Methode der Bezeichnungsrelation oder die Methode der Extensionen und Intensionen gewählt wird, immer wird hier der Bereich jener Gegenstände mit in Betracht gezogen, auf den sich die Ausdrücke der Objektsprache beziehen. Alle spezifisch semantischen Prädikate wie „bezeichnet“, „L-bezeichnet“, „erfüllt“, „wahr“ usw. bringen direkt oder indirekt (letzteres z. B. im Fall des Prädikates „wahr“) die Beziehungen zwischen sprachlichen Ausdrücken und ihren Bedeutungen zur Geltung.

Die Behandlung der Logischen Syntax soll weniger eingehend sein als diejenige der Semantik, insbesondere wird hier auf eine Ableitung von Theoremen verzichtet. Für diese Beschränkung waren zwei Gründe maßgebend; erstens werden die beiden wichtigsten syntaktischen Begriffe der Ableitung und des Beweises beim Aufbau logistischer Systeme stets genauer expliziert, und zweitens ist die logische Syntax von Cabnap in seinem deutschsprachigen Werk „Logische Syntax der Sprache“ ausführlich behandelt worden (wobei allerdings zu berücksichtigen ist, daß Caknap heute verschiedene dortige Darstellungen nicht mehr aufrechterhält).