Aus Carnaps "Logischer Syntax der Sprache": Unterschied zwischen den Versionen

Aus Philo Wiki
Wechseln zu:Navigation, Suche
Zeile 11: Zeile 11:
 
=== Verhältnis zu Wittgenstein ===
 
=== Verhältnis zu Wittgenstein ===
  
  It is the purpose of this article to clarify this controversial issue. T nature and implications of the acceptance of a language referring to a stract entities will first be discussed in general; it will be shown that using such a language does not imply embracing a Platonic ontology but is per fectly compatible with empiricism and strictly scientific thinking. The>q the special question of the role of abstract entities in semantics will be di cussed. It is hoped that the clarification of the issue will be useful to thoa! who would like to accept abstract entities in their work in mathematic physics, semantics, or any other field; it may help them to overcomi nominalistic scruples.
 
2. Linguistic Frameworks
 
  Are there properties, classes, numbers, propositions? In order to under stand more clearly the nature of these and related problems, it is above al necessary to recognize a fundamental distinction between two kinds c questions concerning the existence or reality of entities. If someone wishe to speak in his language about a new kind of entities, he has to introduce system of new ways of speaking, subject to new rules; we shall call t
 
procedure the construction of a linguistic framework for the new entities i question. And now we must distinguish two kinds of questions of exist ence: first, questions of the existence of certain entities of the new kini within the framework; we call them internal questions; and second, quest tions concerning the existence or reality of the system of entities as a whop called external questions. Internal questions and possible answers to the are formulated with the help of the new forms of expressions. The answer may be found either by purely logical methods or by empirical method depending upon whether the framework is a logical or a factual one. A external question is of a problematic character which is in need of close examination.
 
  The world of things. Let us consider as an example the simplest kind 4 entities dealt with in the everyday language: the spatio-temporally or
 
    = The terms "sentence" and "statement" are here used synonymously for declarative (i dicative, propositional) sentences.
 
  
 +
    Wittgenstein hat den nahen Zusammenhang aufgedeckt, der zwischen Wissenschaftslogik (W. sagt „Philosophie”) und Syntax besteht. Er hat besonders den formalen Charakter der Logik klar-gestellt und betont: Syntaxbestimmungen und Beweise haben auf die Bedeutung der Zeichen nicht Bezug zu nehmen ([Tractatus] 52, 66, 164). Ferner hat W. gezeigt, daß die sog. Sätze der Metaphysik und der Ethik Scheinsätze sind. Die Aufgabe der Philosophie ist nach ihm „Sprachkritik” (a. a. 0., S. 62), „logische Klärung der Gedanken” (8. 78), der Sätze und Begriffe der Wissenschaft (Naturwissenschaft), also (in unserer Bezeichnungsweise) Wissenschaftslogik. Die Auffassung W.s ist vom Wiener Kreis vertreten und weiter entwickelt worden. Auch für die Überlegungen dieses Kapitels verdanke ich W. wichtige Anregungen. Wenn ich recht sehe, stimmt die hier vertretene Auffassung in den Grundlagen mit der von W. überein, geht aber in einigen wesentlichen Punkten über ihn hinaus. Diese Auffassung wird im folgenden zuweilen gerade gegen die von W. abgegrenzt; das geschieht nur zur größeren Deutlichkeit; man übersehe dabei nicht die Übereinstimmung in wichtigen Grundfragen.
 +
  \--Es sind besonders zwei Punkte, in denen die hier vertretene Auffassung von der Wittgensteins abweicht, und zwar von seinen negativen Thesen. Die erste von diesen besagt (a. a. 0., S. 78): „Der Satz kann die logische Form nicht darstellen, sie spiegelt sich in ihm. Was sich in der Sprache spiegelt, kann sie nicht darstellen. Was sich in der Sprache ausdrückt, können wir nicht durch sie ausdrücken. ... Wenn zwei Sätze einander widersprechen, so zeigt dies ihre Struktur; ebenso, wenn einer aus dem andern folgt usw. Was gezeigt werden kann, kann nicht gesagt werden. ... Es wäre ebenso unsinnig, dem Satz eine formale Eigenschaft zuzusprechen, als sie ihm abzusprechen.” Mit anderen Worten: Es gibt keine Sätze über Satzformen; es gibt keine aussprechbare Syntax. Im Gegensatz hierzu hat unser Aufbau der Syntax gezeigt, daß sie korrekt formulierbar ist, daß es syntaktische Sätze gibt. Man kann genau so gut
  
2. LINGUISTIC FRAMEWORKS 207
+
Wissenschaftslogik ist Syntax der Wissenschaftssprache. 209
dered system of observable things and events. Once we have accepted the thing language with its framework for things, we can raise and answer internal questions, e.g., "Is there a white piece of paper on my desk?", "Did King Arthur actually live?", "Are unicorns and centaurs real or merely imaginary?", and the like. These questions are to be answered by empirical investigations. Results of observations are evaluated according to certain rules as confirming or disconfirming evidence for possible answers. (This evaluation is usually carried out, of course, as a matter of habit rather than a deliberate, rational procedure. But it is possible, in a rational reconstruction, to lay down explicit rules for the evaluation. This is one of the main tasks of a pure, as distinguished from a psychological, epistemology.) The concept of reality occurring in these internal questions is an empirical, scientific, non-metaphysical concept. To recognize some-thing as a real thing or event means to succeed in incorporating it into the system of things at a particular space-time position so that it fits together with the other things recognized as real, according to the rules of the framework.
+
 
  From these questions we must distinguish the external question of the reality of the thing world itself. In contrast to the former questions, this question is raised neither by the man in the street nor by scientists, but only by philosophers. Realists give an affirmative answer, subjective idealists a negative one, and the controversy goes on for centuries without ever being solved. And it cannot be solved because it is framed in a wrong way. To be real in the scientific sense means to be an element of the system; hence this concept cannot be meaningfully applied to the system itself. Those who raise the question of the reality of the thing world itself have perhaps in mind not a theoretical question as their formulation seems to suggest, but rather a practical question, a matter of a practical decision concerning the structure of our language. We have to make the choice whether or not to accept and use the forms of expression in the framework in question.
+
Sätze über die Formen von Sprachausdrücken, also auch von Sätzen bilden, wie Sätze über die geometrischen Formen geometrischer Gebilde; nämlich erstens die analytischen Sätze der reinen Syntax, die auf die Formen und Formbeziehungen von Sprachausdrücken bezogen werden können (analog den analytischen Sätzen der arithmetischen Geometrie, die auf Formbeziehungen der abstrakt-geometrischen Gebilde bezogen werden können); zweitens die synthetischen, empirischen, physikalischen Sätze der deskriptiven Syntax, die von den Formen der Sprachausdrücke als physikalischer Gebilde handeln (analog den synthetischen, empirischen Sätzen der physikalischen Geometrie, vgl. § 25). Die Syntax ist somit in derselben Weise exakt formulierbar wie die Geometrie. j
  In the case of this particular example, there is usually no deliberate choice because we all have accepted the thing language early in our lives as a matter of course. Nevertheless, we may regard it as a matter of decision in this sense: we are free to choose to continue using the thing language or not; in the latter case we could restrict ourselves to a language of sense-data and other "phenomenal" entities, or construct an alternative to the customary thing language with another structure, or, finally, we could refrain from speaking. If someone decides to accept the thing language, there is no objection against saying that he has accepted the world
+
    Wittgensteins zweite negative These besagt, daß die Wissenschaftslogik („Philosophie") nicht formulierbar sei. (Diese These fällt für W. nicht mit der ersten zusammen, da er Wissenschaftslogik und Syntax nicht gleichsetzt, s. u.) „Die Philosophie ist keine Lehre, sondern eine Tätigkeit. Ein philosophisches Werk besteht wesentlich aus Erläuterungen. Das Resultat der Philosophie sind nicht „philosophische Sätze”, sondern das Klarwerden von Sätzen” (S.76). Folgerichtig wendet W. diese Auffassung auch auf seine eigene Abhandlung an; ihr Schluß lautet: „Meine Sätze erläutern dadurch, daß sie der, welcher mich versteht, am Ende als unsinnig erkennt,
 +
1 wenn er durch sie — auf ihnen — über sie hinausgestiegen ist. (Er I muß sozusagen die Leiter wegwerfen, nachdem er auf ihr hinauf-gestiegen ist.) Er muß diese Sätze überwinden, dann sieht er die Welt richtig. Wovon man nicht sprechen kann, darüber muß man schweigen.” (S. 188.) Hiernach enthalten die Untersuchungen der Wissenschaftslogik keine Sätze, sondern nur mehr oder minder vage Erläuterungen, die der Leser nachträglich als Scheinsätze erkennen und dann verwerfen muß. Eine solche Interpretation der wissenschaftslogischen Untersuchungen ist sicherlich unbefriedigend. [Schon Ramsey hat sich dagegen gewendet, daß W. die Philosophie für Unsinn erklärt, aber für bedeutsamen Unsinn [Foundations] 263. Dann hat besonders Neurath [Soziol. Phys.] 395f., [Psychol.] 29 jene Auffassung entschieden abgelehnt.] Wenn im folgenden gezeigt wird, daß Wissenschaftslogik Syntax ist, so ist damit auch gezeigt, daß Wissenschaftslogik formulierbar ist, und zwar nicht in unsinnigen und trotzdem praktisch unentbehrlichen Scheinsätzen, sondern in vollkommen korrekten Sätzen. Der genannte Meinungsunterschied ist nicht nur theoretischer Natur, sondern er ist von erheblichem Einfluß auf die praktische Ausgestaltung der Untersuchungen auf philosophischem Gebiet. W. sieht zwischen den Sätzen der spekulativen Metaphysiker und den Sätzen seiner eigenen und anderer wissenschaftslogischer Untersuchungen nur den Unterschied, daß die wissenschaftslogischen Sätze (die sog. philosophischen Erläuterungen) trotz ihrer theoretischen Unsinnigkeit eine praktisch wichtige psychologische Einwirkung auf den wissenschaftlichen Forscher ausüben,
 +
Carnap, Logische Syntax. 14
 +
 
 +
die eigentlich metaphysischen Sätze aber nicht, oder wenigstens nicht in derselben Weise; also einen nur graduellen Unterschied, der zudem sehr vage ist. Daß W. nicht an die Möglichkeit exakter Formulierung der wissenschaftslogischen Sätze glaubt, hat dann zur Folge, daß er auch an die Formulierung seiner eigenen Überlegungen keine Anforderung an Wissenschaftlichkeit stellt, daß er keine scharfe Grenzlinie zwischen wissenschaftslogischen und metaphysischen Formulierungen zieht. In den folgenden Überlegungen werden wir die Übersetzbarkeit in die formale Redeweise, also in syntaktische Sätze, als Kriterium kennenlernen, das die echten wissenschaftslogischen Sätze von den andern philosophischen Sätzen — man mag sie metaphysische nennen — trennt. W. hat in manchen seiner Formulierungen diese Grenze deutlich überschritten; das ist eine psychologisch verständliche Folge seines Glaubens an die beiden negativen Thesen.
 +
    Trotz des genannten Unterschiedes stimme ich mit W. darin überein, daß es keine besonderen Sätze der Wissenschaftslogik (oder Philosophie) gibt. Die Sätze der Wissenschaftslogik werden als syntaktische Sätze über die Wissenschaftssprache formuliert; aber dadurch wird kein neues Gebiet neben dem der Wissenschaft aufgetan. Denn die Sätze der Syntax sind ja teils Sätze der Arithmetik, teils Sätze der Physik, die nur deshalb syntaktische Sätze genannt werden, weil sie auf sprachliche Gebilde bzw. auf deren formale Struktur bezogen werden. Reine und deskriptive Syntax ist nichts anderes als Mathematik und Physik der Sprache.
 +
    Von den Bestimmungen der logischen Syntax sagt Wittgenstein (s. o.), daß sie ohne Bezugnahme auf Sinn und Bedeutung formuliert werden müssen. Nach unserer Auffassung gilt dasselbe auch für die Sätze der Wissenschaftslogik. Wie es scheint, meint W., daß diese Sätze (die sog. philosophischen Erläuterungen) über das Formale hinausgehen und sich auf den Sinn der Sätze und Begriffe beziehen sollen. Schlick deutet W.s Auffassung in dieser Weise ([Wende] 8: die Philosophie „ist nämlich diejenige Tätigkeit, durch welche der Sinn der Aussagen festgestellt oder aufgedeckt wird”; es handelt sich „darum, was die Aussagen eigentlich meinen. Inhalt, Seele und Geist der Wissenschaft stecken natürlich in dem, was mit ihren Sätzen letzten Endes gemeint ist; die philosophische Tätigkeit der Sinngebung ist daher das Alpha und Omega aller wissenschaftlichen Erkenntnis").
 +
74. Pseudo-Objektsätze.
 +
r
 +
Wir haben (in ungenauer Weise) Objektsätze und logische
 +
Sätze unterschieden. Wir wollen jetzt (zunächst ebenfalls in ungenauer Weise) statt dessen die beiden Gebiete der Objektsätze und der syntaktischen Sätze einander gegenüberstellen, wobei also von den logischen Sätzen nur die auf Form bezogenen berücksichtigt und dem zweiten Gebiet zugewiesen werden. Es
 +
 
 +
gibt nun ein Z w i s c h eng e b i e t zwischen diesen beiden Gebieten. Zu ihm wollen wir die Sätze rechnen, die so formuliert sind, als ob sie sich (auch oder ausschließlich) auf Objekte bezögen, während sie sich in Wirklichkeit auf syntaktische Formen beziehen, und zwar auf die Formen der Bezeichnungen der Objekte, auf die sie sich scheinbar beziehen. Diese Sätze sind also ihrem Inhalt nach syntaktische Sätze, aber verkleidet als Objektsätze; wir wollen sie Pseudo-Objektsätze nennen. Wenn wir versuchen, die soeben in ungenauer, inhaltlicher Weise angedeutete Unterscheidung formal zu erfassen, so werden wir bemerken, daß diese Pseudo-Objektsätze nichts anderes sind als die quasi- syntaktischen Sätze der inhaltlichen Redeweise (in dem früher formal definierten Sinn, vgl. § 64).
 +
    In dieses Zwischengebiet gehören viele Fragen und Sätze der sogenannten philosophischen Grundlagenforschung. Wir wollen ein einfaches Beispiel betrachten. Bei einer philosophischen Erörterung über Zahlbegriffe will man etwa darauf hinweisen, daß zwischen Zahlen und (körperlichen) Dingen ein wesentlicher Unterschied besteht; damit will man vor Schein-fragen etwa nach Ort, nach Gewicht od. dgl. von Zahlen warnen._; Einen solchen Hinweis formuliert man vielleicht durch einen Satz etwa folgender Art : „Fünf ist kein Ding, sondern eine Zahl” (251). Scheinbar wird in diesem Satz eine Eigenschaft der Fünf ausgesagt, wie in dem Satz „Fünf ist keine gerade, sondern eine ungerade Zahl” (252). In Wirklichkeit jedoch bezieht sich 251 nicht auf die Fünf, sondern auf das Wort ,fünf ; das zeigt die mit 251 gehaltgleiche Formulierung 252: „ ,Fünf` ist kein Dingwort, sondern ein Zahlwort.” Während 252 ein echter Objektsatz ist, ist 251 ein Pseudo-Objektsatz; 21 ist ein quasi-syntaktischer Satz (der inhaltlichen Redeweise), 252 ist der zugeordnete syntaktische Satz (formale Redeweise).
 +
    Wir haben vorhin diejenigen logischen Sätze beiseite gelassen, die etwas über Sinn, Inhalt, Bedeutung von Sätzen oder Sprachausdrücken irgendeines Gebietes aussagen. Auch diese Sätze sind P s e u d o- Objekt sä t z e. Betrachten wir als Beispiel den folgenden Satz 251: „Der gestrige Vortrag handelte von Babylon.” 251 scheint etwas über Babylon auszusagen, da der Name ,Babylon` in 251 vorkommt. In Wirklichkeit aber sagt 251 nichts über die Stadt Babylon aus, sondern nur etwas über den
 +
   
 +
212 Philosophie und Syntax.
 +
 
 +
gestrigen Vortrag und über das Wort ,Babylon'. Das erkennt man leicht durch folgende inhaltliche Überlegung : für unser Wissen von der Beschaffenheit der Stadt Babylon ist die Frage, ob 21 wahr oder falsch ist, belanglos. Daß 251 nur ein Pseudo-Objektsatz ist, ersieht man ferner aus dem Umstand, daß 251 übersetzbar ist in folgenden (deskriptiv-)syntaktischen Satz: „In dem gestrigen Vortrag kam das Wort ,Babylon' oder ein mit ,Babylon' synonymer Ausdruck vor” (252).
 +
Wir unterscheiden also drei Arten von Sätzen:
 +
    Das durch ungenaue inhaltliche Andeutungen abgegrenzte Zwischengebiet der Pseudo-Objektsätze kann auch exakt, und zwar formal abgegrenzt werden. Die Pseudo-Objektsätze sind nämlich quasi-syntaktische Sätze, und zwar solche der inhaltlichen Redeweise. [Die autonyme Redeweise können wir hier außer Betracht lassen, da praktisch kaum die Gefahr besteht, daß man einen Satz dieser Redeweise für einen Objektsatz hält.] Das Kriterium der inhaltlichen Redeweise nimmt eine einfachere Form an, wenn es sich um eine Objektsprache S1 handelt, die die auf S1 bezogene Syntax S2 als Teilsprache enthält. S1 sei etwa die deutsche Sprache als Gesamtsprache der Wissenschaft; die Syntaxsprache S2, in der die Syntax von S1 formuliert werden soll, ist dann eine Teilsprache von S1. Dadurch kommt zum Ausdruck, daß wir die Syntax nicht als ein Sondergebiet außerhalb der übrigen Wissenschaft ansehen, sondern als Teilgebiet der Gesamtwissenschaft, die ein einheitliches System bildet (Neurath: ,Einheitswissenschaft') mit einer einheitlichen Sprache S. Daß
 +
 
 +
Pseudo-Objektsätze. 213
 +
eine Sprache ihre eigene Syntax widerspruchsfrei enthalten kann, haben wir früher gezeigt. Auch wenn die Syntaxsprache Sa Teilsprache von S1 ist, ist es natürlich möglich und notwendig, zwischen einem Satz 251 von S1 (der auch zu S2 gehören kann) und einem auf 251 bezogenen syntaktischen Satz 252, der zu S2 und daher auch zu S1 gehört, zu unterscheiden. Wir wollen das Kriterium der inhaltlichen Redeweise der Einfachheit halber nur für die einfachste Satzform (und zwar der Kürze und Deutlichkeit wegen für einen symbolischen Satz) formulieren (vgl. § 64). 251 sei ,P(a)'; 251 heißt quasi-syntaktisch in bezug auf ,a', wenn es ein syntaktisches pr ,Q' gibt derart, daß ,P(a)' gehaltgleich ist mit ,Q (,a')' (252), ferner ,P (b)' gehaltgleich mit ,Q (,b' )' und entsprechend für jeden mit ,a' gattungsgleichen Ausdruck. Es kann nun sein, daß hierbei ,P' ein mit , Q' gleich-bedeutendes syntaktisches pr ist (das würde sich formal darin zeigen, daß ,P ( ,a»' auch ein Satz wäre, und zwar ein mit ,Q (,a»' gehaltgleicher, daß ferner ,P (,b' )' mit ,Q (,b' )' gehaltgleich wäre und entsprechend für jeden mit ,a' gattungsgleichen Ausdruck); ist das nicht der Fall, so nennen wir 251 einen Satz der inhaltlichen Redeweise. ,Q' nennen wir ein dem quasi-syntaktischen pr ,P zugeordnetes syntaktisches pr; 252 nennen wir einen dem quasi-syntaktischen Satz 251 zugeordneten syntaktischen Satz. Beider Übersetzung von der inhaltlichen in die formale Redeweise wird 251 in 252 übersetzt.
 +
    Um das Verständnis und die praktische Anwendung auf die später folgenden Beispiele zu erleichtern, wollen wir das Kriterium (wiederum für die einfachste Satzform) auch noch in einer weniger exakten, inhaltlichen Weise formulieren (die späteren Beispiele von Sätzen, besonders auch der Wissenschaftslogik, gehören fast durchweg der Wortsprache an; sie sind daher selbst nicht exakt genug formuliert, um die Anwendung exakter Begriffe auf sie zu ermöglichen). 251 heißt ein Satz der inhaltlichen Redeweise, wenn 251 von einem Objekt eine Eigenschaft aussagt, zu der es eine von ihr verschiedene, und zwar syntaktische Eigenschaft gibt, die sozusagen mit ihr parallel läuft, d. h. die dann und nur dann, wenn jene Eigenschaft irgendeinem Objekt zukommt, einer Bezeichnung dieses Objektes zukommt.
 +
Man erkennt leicht, daß bei dem früheren Beispiel mit 
  
 
=== Sprachen für Naturgesetze ===
 
=== Sprachen für Naturgesetze ===

Version vom 15. Dezember 2005, 14:37 Uhr

Vorwort

Der Kreis der möglichen Sprachformen und damit der verschiedenen möglichen Logiksysteme ist nämlich unvergleichlich viel größer als der sehr enge Kreis, in dem man sich in den bisherigen Untersuchungen der modernen Logik bewegt hat. Bisher ist man von der schon klassisch gewordenen Sprachform, die Russell gegeben hat, nur hin und wieder in einigen Punkten abgewichen. Man hat z. B. etwa gewisse Satzformen (z. B. die unbeschränkten Existenzsätze) oder Schlußregeln (z. B. den Grundsatz vom ausgeschlossenen Dritten) gestrichen. Andrerseits hat man aber auch einige Erweiterungen gewagt. Man hat z. B. in Analogie zum zweiwertigen Satzkalkül interessante mehrwertige Kalküle aufgestellt, die schließlich zu einer Wahrscheinlichkeitslogik geführt haben; man hat sog. intensionale Sätze eingeführt und mit ihrer Hilfe eine Modalitätslogik entwickelt. Der Grund dafür, daß man sich bisher nicht weiter von der klassischen Form zu entfernen wagt, liegt wohl in der weit verbreiteten Auffassung, man müsse die Abweichungen "rechtfertigen", d. h. nachweisen, daß die neue Sprachform "richtig" sei, die "wahre Logik" wiedergebe. Diese Auffassung und die aus ihr entspringenden Scheinfragen und müßigen Streitigkeiten auszuschalten, ist eine der Hauptaufgaben dieses Buches. Hier wird die Auffassung vertreten, daß man über die Sprachform in jeder Beziehung vollständig frei verfügen kann; daß man die Formen des Aufbaues der Sätze und die Umformungsbestimmungen (gewöhnlich als "Grundsätze" und "Schlußregeln" bezeichnet) völlig frei wählen kann. Beim Aufbau einer Sprache geht man bisher gewöhnlich so vor, daß man den logisch-mathematischen Grundzeichen eine Bedeutung beilegt und dann überlegt, welche Sätze und Schlüsse auf Grund dieser Bedeutung logisch richtig erscheinen. Da die Bedeutungsbeilegung in Worten geschieht und daher ungenau ist, kann diese Überlegung auch nicht anders als ungenau und mehrdeutig sein. Der Zusammenhang wird erst dann klar, wenn man ihn von der umgekehrten Richtung aus betrachtet : man wähle willkürlich irgendwelche Grundsätze und Schlußregeln; aus dieser Wahl ergibt sich dann, welche Bedeutung die vorkommenden logischen Grundzeichen haben. Bei dieser Einstellung verschwindet auch der Streit zwischen den verschiedenen Richtungen im Grundlagenproblem der Mathematik. Man kann die Sprache in ihrem mathematischen Teil so einrichten, wie die eine, oder so, wie die andere Richtung es vorzieht. Eine Frage der "Berechtigung" gibt es da nicht; sondern nur die Frage der syntaktischen Konsequenzen, zu denen die eine oder andere Wahl führt, darunter auch die Frage der Widerspruchsfreiheit. Die angedeutete Einstellung -- wir werden sie als "Toleranzprinzip" formulieren (S. 44) -- bezieht sich aber nicht nur auf die Mathematik, sondern auf alle logischen Fragen überhaupt. Von diesem Gesichtspunkt aus wird die Aufgabe der Aufstellung einer allgemeinen Syntax wichtig, d. h. der Definition von syntaktischen Begriffen, die auf Sprachen beliebiger Form anwendbar sind. Im Bereich der allgemeinen Syntax kann man z. B. für die Sprache der Gesamtwissenschaft oder irgendeiner Teilwissensohaft eine bestimmte Form wählen und ihre charakteristischen Unterschiede zu den andern möglichen Sprachformen exakt angeben. Jene ersten Versuche, das Schiff der Logik vom festen Ufer der klassischen Form zu lösen, waren, historisch betrachtet, gewiß kühn. Aber sie waren gehemmt durch das Streben nach "Richtigkeit". Nun aber ist die Hemmung überwunden; vor uns liegt der offene Ozean der freien Möglichkeiten. (S. IV-VI)

Toleranzprinzip der Syntax

Wir haben im vorangehenden einige Beispiele negativer Forderungen (besonders von Brouwer, Kaufmann, Wittgenstein) besprochen, durch die gewisse übliche Sprachformen -- Ausdrucksweisen und Schlußweisen -- ausgeschaltet werden sollen. Unsere Einstellung zu Forderungen dieser Art sei allgemein formuliert durch das Toleranzprinzip: wir wollen nicht Verbote aufstellen, sondern Festsetzungen treffen. Einige der bisherigen Verbote haben das historische Verdienst, daß sie auf wichtige Unterschiede nachdrücklich aufmerksam gemacht haben. Aber solche Verbote können durch eine definitorische Unterscheidung ersetzt werden. In manchen Fällen geschieht das dadurch, daß Sprachformen verschiedener Arten nebeneinander untersucht werden (analog den Systemen euklidischer und nichteuklidischer Geometrie), z. B. eine definite Sprache und eine indefinite Sprache, eine Sprache ohne und eine Sprache mit Satz vom ausgeschlossenen Dritten. ...
In der Logik gibt es keine Moral. Jeder mag seine Logik, d. h. seine Sprachform, aufbauen wie er will. Nur muß er, wenn er mit uns diskutieren will, deutlich angeben, wie er es machen will, syntaktische Bestimmungen geben anstatt philosophischer Erörterungen. (S. 44f)

Verhältnis zu Wittgenstein

    Wittgenstein hat den nahen Zusammenhang aufgedeckt, der zwischen Wissenschaftslogik (W. sagt „Philosophie”) und Syntax besteht. Er hat besonders den formalen Charakter der Logik klar-gestellt und betont: Syntaxbestimmungen und Beweise haben auf die Bedeutung der Zeichen nicht Bezug zu nehmen ([Tractatus] 52, 66, 164). Ferner hat W. gezeigt, daß die sog. Sätze der Metaphysik und der Ethik Scheinsätze sind. Die Aufgabe der Philosophie ist nach ihm „Sprachkritik” (a. a. 0., S. 62), „logische Klärung der Gedanken” (8. 78), der Sätze und Begriffe der Wissenschaft (Naturwissenschaft), also (in unserer Bezeichnungsweise) Wissenschaftslogik. Die Auffassung W.s ist vom Wiener Kreis vertreten und weiter entwickelt worden. Auch für die Überlegungen dieses Kapitels verdanke ich W. wichtige Anregungen. Wenn ich recht sehe, stimmt die hier vertretene Auffassung in den Grundlagen mit der von W. überein, geht aber in einigen wesentlichen Punkten über ihn hinaus. Diese Auffassung wird im folgenden zuweilen gerade gegen die von W. abgegrenzt; das geschieht nur zur größeren Deutlichkeit; man übersehe dabei nicht die Übereinstimmung in wichtigen Grundfragen.
  \--Es sind besonders zwei Punkte, in denen die hier vertretene Auffassung von der Wittgensteins abweicht, und zwar von seinen negativen Thesen. Die erste von diesen besagt (a. a. 0., S. 78): „Der Satz kann die logische Form nicht darstellen, sie spiegelt sich in ihm. Was sich in der Sprache spiegelt, kann sie nicht darstellen. Was sich in der Sprache ausdrückt, können wir nicht durch sie ausdrücken. ... Wenn zwei Sätze einander widersprechen, so zeigt dies ihre Struktur; ebenso, wenn einer aus dem andern folgt usw. Was gezeigt werden kann, kann nicht gesagt werden. ... Es wäre ebenso unsinnig, dem Satz eine formale Eigenschaft zuzusprechen, als sie ihm abzusprechen.” Mit anderen Worten: Es gibt keine Sätze über Satzformen; es gibt keine aussprechbare Syntax. Im Gegensatz hierzu hat unser Aufbau der Syntax gezeigt, daß sie korrekt formulierbar ist, daß es syntaktische Sätze gibt. Man kann genau so gut

Wissenschaftslogik ist Syntax der Wissenschaftssprache. 209

Sätze über die Formen von Sprachausdrücken, also auch von Sätzen bilden, wie Sätze über die geometrischen Formen geometrischer Gebilde; nämlich erstens die analytischen Sätze der reinen Syntax, die auf die Formen und Formbeziehungen von Sprachausdrücken bezogen werden können (analog den analytischen Sätzen der arithmetischen Geometrie, die auf Formbeziehungen der abstrakt-geometrischen Gebilde bezogen werden können); zweitens die synthetischen, empirischen, physikalischen Sätze der deskriptiven Syntax, die von den Formen der Sprachausdrücke als physikalischer Gebilde handeln (analog den synthetischen, empirischen Sätzen der physikalischen Geometrie, vgl. § 25). Die Syntax ist somit in derselben Weise exakt formulierbar wie die Geometrie. j

    Wittgensteins zweite negative These besagt, daß die Wissenschaftslogik („Philosophie") nicht formulierbar sei. (Diese These fällt für W. nicht mit der ersten zusammen, da er Wissenschaftslogik und Syntax nicht gleichsetzt, s. u.) „Die Philosophie ist keine Lehre, sondern eine Tätigkeit. Ein philosophisches Werk besteht wesentlich aus Erläuterungen. Das Resultat der Philosophie sind nicht „philosophische Sätze”, sondern das Klarwerden von Sätzen” (S.76). Folgerichtig wendet W. diese Auffassung auch auf seine eigene Abhandlung an; ihr Schluß lautet: „Meine Sätze erläutern dadurch, daß sie der, welcher mich versteht, am Ende als unsinnig erkennt,

1 wenn er durch sie — auf ihnen — über sie hinausgestiegen ist. (Er I muß sozusagen die Leiter wegwerfen, nachdem er auf ihr hinauf-gestiegen ist.) Er muß diese Sätze überwinden, dann sieht er die Welt richtig. Wovon man nicht sprechen kann, darüber muß man schweigen.” (S. 188.) Hiernach enthalten die Untersuchungen der Wissenschaftslogik keine Sätze, sondern nur mehr oder minder vage Erläuterungen, die der Leser nachträglich als Scheinsätze erkennen und dann verwerfen muß. Eine solche Interpretation der wissenschaftslogischen Untersuchungen ist sicherlich unbefriedigend. [Schon Ramsey hat sich dagegen gewendet, daß W. die Philosophie für Unsinn erklärt, aber für bedeutsamen Unsinn [Foundations] 263. Dann hat besonders Neurath [Soziol. Phys.] 395f., [Psychol.] 29 jene Auffassung entschieden abgelehnt.] Wenn im folgenden gezeigt wird, daß Wissenschaftslogik Syntax ist, so ist damit auch gezeigt, daß Wissenschaftslogik formulierbar ist, und zwar nicht in unsinnigen und trotzdem praktisch unentbehrlichen Scheinsätzen, sondern in vollkommen korrekten Sätzen. Der genannte Meinungsunterschied ist nicht nur theoretischer Natur, sondern er ist von erheblichem Einfluß auf die praktische Ausgestaltung der Untersuchungen auf philosophischem Gebiet. W. sieht zwischen den Sätzen der spekulativen Metaphysiker und den Sätzen seiner eigenen und anderer wissenschaftslogischer Untersuchungen nur den Unterschied, daß die wissenschaftslogischen Sätze (die sog. philosophischen Erläuterungen) trotz ihrer theoretischen Unsinnigkeit eine praktisch wichtige psychologische Einwirkung auf den wissenschaftlichen Forscher ausüben, Carnap, Logische Syntax. 14

die eigentlich metaphysischen Sätze aber nicht, oder wenigstens nicht in derselben Weise; also einen nur graduellen Unterschied, der zudem sehr vage ist. Daß W. nicht an die Möglichkeit exakter Formulierung der wissenschaftslogischen Sätze glaubt, hat dann zur Folge, daß er auch an die Formulierung seiner eigenen Überlegungen keine Anforderung an Wissenschaftlichkeit stellt, daß er keine scharfe Grenzlinie zwischen wissenschaftslogischen und metaphysischen Formulierungen zieht. In den folgenden Überlegungen werden wir die Übersetzbarkeit in die formale Redeweise, also in syntaktische Sätze, als Kriterium kennenlernen, das die echten wissenschaftslogischen Sätze von den andern philosophischen Sätzen — man mag sie metaphysische nennen — trennt. W. hat in manchen seiner Formulierungen diese Grenze deutlich überschritten; das ist eine psychologisch verständliche Folge seines Glaubens an die beiden negativen Thesen.

    Trotz des genannten Unterschiedes stimme ich mit W. darin überein, daß es keine besonderen Sätze der Wissenschaftslogik (oder Philosophie) gibt. Die Sätze der Wissenschaftslogik werden als syntaktische Sätze über die Wissenschaftssprache formuliert; aber dadurch wird kein neues Gebiet neben dem der Wissenschaft aufgetan. Denn die Sätze der Syntax sind ja teils Sätze der Arithmetik, teils Sätze der Physik, die nur deshalb syntaktische Sätze genannt werden, weil sie auf sprachliche Gebilde bzw. auf deren formale Struktur bezogen werden. Reine und deskriptive Syntax ist nichts anderes als Mathematik und Physik der Sprache.
   Von den Bestimmungen der logischen Syntax sagt Wittgenstein (s. o.), daß sie ohne Bezugnahme auf Sinn und Bedeutung formuliert werden müssen. Nach unserer Auffassung gilt dasselbe auch für die Sätze der Wissenschaftslogik. Wie es scheint, meint W., daß diese Sätze (die sog. philosophischen Erläuterungen) über das Formale hinausgehen und sich auf den Sinn der Sätze und Begriffe beziehen sollen. Schlick deutet W.s Auffassung in dieser Weise ([Wende] 8: die Philosophie „ist nämlich diejenige Tätigkeit, durch welche der Sinn der Aussagen festgestellt oder aufgedeckt wird”; es handelt sich „darum, was die Aussagen eigentlich meinen. Inhalt, Seele und Geist der Wissenschaft stecken natürlich in dem, was mit ihren Sätzen letzten Endes gemeint ist; die philosophische Tätigkeit der Sinngebung ist daher das Alpha und Omega aller wissenschaftlichen Erkenntnis").

74. Pseudo-Objektsätze. r Wir haben (in ungenauer Weise) Objektsätze und logische Sätze unterschieden. Wir wollen jetzt (zunächst ebenfalls in ungenauer Weise) statt dessen die beiden Gebiete der Objektsätze und der syntaktischen Sätze einander gegenüberstellen, wobei also von den logischen Sätzen nur die auf Form bezogenen berücksichtigt und dem zweiten Gebiet zugewiesen werden. Es

gibt nun ein Z w i s c h eng e b i e t zwischen diesen beiden Gebieten. Zu ihm wollen wir die Sätze rechnen, die so formuliert sind, als ob sie sich (auch oder ausschließlich) auf Objekte bezögen, während sie sich in Wirklichkeit auf syntaktische Formen beziehen, und zwar auf die Formen der Bezeichnungen der Objekte, auf die sie sich scheinbar beziehen. Diese Sätze sind also ihrem Inhalt nach syntaktische Sätze, aber verkleidet als Objektsätze; wir wollen sie Pseudo-Objektsätze nennen. Wenn wir versuchen, die soeben in ungenauer, inhaltlicher Weise angedeutete Unterscheidung formal zu erfassen, so werden wir bemerken, daß diese Pseudo-Objektsätze nichts anderes sind als die quasi- syntaktischen Sätze der inhaltlichen Redeweise (in dem früher formal definierten Sinn, vgl. § 64).

    In dieses Zwischengebiet gehören viele Fragen und Sätze der sogenannten philosophischen Grundlagenforschung. Wir wollen ein einfaches Beispiel betrachten. Bei einer philosophischen Erörterung über Zahlbegriffe will man etwa darauf hinweisen, daß zwischen Zahlen und (körperlichen) Dingen ein wesentlicher Unterschied besteht; damit will man vor Schein-fragen etwa nach Ort, nach Gewicht od. dgl. von Zahlen warnen._; Einen solchen Hinweis formuliert man vielleicht durch einen Satz etwa folgender Art : „Fünf ist kein Ding, sondern eine Zahl” (251). Scheinbar wird in diesem Satz eine Eigenschaft der Fünf ausgesagt, wie in dem Satz „Fünf ist keine gerade, sondern eine ungerade Zahl” (252). In Wirklichkeit jedoch bezieht sich 251 nicht auf die Fünf, sondern auf das Wort ,fünf ; das zeigt die mit 251 gehaltgleiche Formulierung 252: „ ,Fünf` ist kein Dingwort, sondern ein Zahlwort.” Während 252 ein echter Objektsatz ist, ist 251 ein Pseudo-Objektsatz; 21 ist ein quasi-syntaktischer Satz (der inhaltlichen Redeweise), 252 ist der zugeordnete syntaktische Satz (formale Redeweise).
    Wir haben vorhin diejenigen logischen Sätze beiseite gelassen, die etwas über Sinn, Inhalt, Bedeutung von Sätzen oder Sprachausdrücken irgendeines Gebietes aussagen. Auch diese Sätze sind P s e u d o- Objekt sä t z e. Betrachten wir als Beispiel den folgenden Satz 251: „Der gestrige Vortrag handelte von Babylon.” 251 scheint etwas über Babylon auszusagen, da der Name ,Babylon` in 251 vorkommt. In Wirklichkeit aber sagt 251 nichts über die Stadt Babylon aus, sondern nur etwas über den
   

212 Philosophie und Syntax.

gestrigen Vortrag und über das Wort ,Babylon'. Das erkennt man leicht durch folgende inhaltliche Überlegung : für unser Wissen von der Beschaffenheit der Stadt Babylon ist die Frage, ob 21 wahr oder falsch ist, belanglos. Daß 251 nur ein Pseudo-Objektsatz ist, ersieht man ferner aus dem Umstand, daß 251 übersetzbar ist in folgenden (deskriptiv-)syntaktischen Satz: „In dem gestrigen Vortrag kam das Wort ,Babylon' oder ein mit ,Babylon' synonymer Ausdruck vor” (252). Wir unterscheiden also drei Arten von Sätzen:

    Das durch ungenaue inhaltliche Andeutungen abgegrenzte Zwischengebiet der Pseudo-Objektsätze kann auch exakt, und zwar formal abgegrenzt werden. Die Pseudo-Objektsätze sind nämlich quasi-syntaktische Sätze, und zwar solche der inhaltlichen Redeweise. [Die autonyme Redeweise können wir hier außer Betracht lassen, da praktisch kaum die Gefahr besteht, daß man einen Satz dieser Redeweise für einen Objektsatz hält.] Das Kriterium der inhaltlichen Redeweise nimmt eine einfachere Form an, wenn es sich um eine Objektsprache S1 handelt, die die auf S1 bezogene Syntax S2 als Teilsprache enthält. S1 sei etwa die deutsche Sprache als Gesamtsprache der Wissenschaft; die Syntaxsprache S2, in der die Syntax von S1 formuliert werden soll, ist dann eine Teilsprache von S1. Dadurch kommt zum Ausdruck, daß wir die Syntax nicht als ein Sondergebiet außerhalb der übrigen Wissenschaft ansehen, sondern als Teilgebiet der Gesamtwissenschaft, die ein einheitliches System bildet (Neurath: ,Einheitswissenschaft') mit einer einheitlichen Sprache S. Daß

Pseudo-Objektsätze. 213 eine Sprache ihre eigene Syntax widerspruchsfrei enthalten kann, haben wir früher gezeigt. Auch wenn die Syntaxsprache Sa Teilsprache von S1 ist, ist es natürlich möglich und notwendig, zwischen einem Satz 251 von S1 (der auch zu S2 gehören kann) und einem auf 251 bezogenen syntaktischen Satz 252, der zu S2 und daher auch zu S1 gehört, zu unterscheiden. Wir wollen das Kriterium der inhaltlichen Redeweise der Einfachheit halber nur für die einfachste Satzform (und zwar der Kürze und Deutlichkeit wegen für einen symbolischen Satz) formulieren (vgl. § 64). 251 sei ,P(a)'; 251 heißt quasi-syntaktisch in bezug auf ,a', wenn es ein syntaktisches pr ,Q' gibt derart, daß ,P(a)' gehaltgleich ist mit ,Q (,a')' (252), ferner ,P (b)' gehaltgleich mit ,Q (,b' )' und entsprechend für jeden mit ,a' gattungsgleichen Ausdruck. Es kann nun sein, daß hierbei ,P' ein mit , Q' gleich-bedeutendes syntaktisches pr ist (das würde sich formal darin zeigen, daß ,P ( ,a»' auch ein Satz wäre, und zwar ein mit ,Q (,a»' gehaltgleicher, daß ferner ,P (,b' )' mit ,Q (,b' )' gehaltgleich wäre und entsprechend für jeden mit ,a' gattungsgleichen Ausdruck); ist das nicht der Fall, so nennen wir 251 einen Satz der inhaltlichen Redeweise. ,Q' nennen wir ein dem quasi-syntaktischen pr ,P zugeordnetes syntaktisches pr; 252 nennen wir einen dem quasi-syntaktischen Satz 251 zugeordneten syntaktischen Satz. Beider Übersetzung von der inhaltlichen in die formale Redeweise wird 251 in 252 übersetzt.

    Um das Verständnis und die praktische Anwendung auf die später folgenden Beispiele zu erleichtern, wollen wir das Kriterium (wiederum für die einfachste Satzform) auch noch in einer weniger exakten, inhaltlichen Weise formulieren (die späteren Beispiele von Sätzen, besonders auch der Wissenschaftslogik, gehören fast durchweg der Wortsprache an; sie sind daher selbst nicht exakt genug formuliert, um die Anwendung exakter Begriffe auf sie zu ermöglichen). 251 heißt ein Satz der inhaltlichen Redeweise, wenn 251 von einem Objekt eine Eigenschaft aussagt, zu der es eine von ihr verschiedene, und zwar syntaktische Eigenschaft gibt, die sozusagen mit ihr parallel läuft, d. h. die dann und nur dann, wenn jene Eigenschaft irgendeinem Objekt zukommt, einer Bezeichnung dieses Objektes zukommt.

Man erkennt leicht, daß bei dem früheren Beispiel mit

Sprachen für Naturgesetze

Bei der hier besprochenen Auffassung wird der Bereich der wissenschaftlichen Sätze nicht so eng begrenzt wie bei der früher im Wiener Kreis üblichen Auffassung. Die frühere Auffassung besagte, daß jeder Satz, um sinnvoll zu sein, vollständig verifizierbar sein müsse (Wittgenstein; Waismann [Wahrscheinlichkeit] 229; Schlick [Kausalität] 150); jeder Satz sei deshalb ein aus konkreten Sätzen (den sog. Elementarsätzen) gebildeter molekularer Satz (Wittgenstein [Tractatus] 102, 118; Carnap [Aufbau]). Bei dieser Auffassung war für die Naturgesetze kein Platz innerhalb der Sätze der Sprache. Man mußte ihnen entweder die unbeschränkte Allgemeinheit absprechen und sie als Berichtsätze auffassen; oder man beließ ihnen die unbeschränkte Allgemeinheit, sah sie aber nicht als eigentliche Sätze der Objektsprache an, sondern als Anweisungen zur Bildung von Sätzen (Ramsey [Foundations] 237ff.; Schlick [Kausalität] 150f. unter Hinweis auf Wittgenstein), also als eine Art von syntaktischen Regeln. Gemäß dem Toleranzprinzip werden wir einen Aufbau der physikalischen Sprache, der dieser früheren Auffassung entspricht, nicht als unzulässig bezeichnen; es ist aber auch ein Aufbau möglich, bei dem die unbeschränkt allgemeinen Gesetze als eigentliche Sätze der Sprache zugelassen werden. Der wichtige Unterschied zwischen Gesetzen und konkreten Sätzen wird bei dieser zweiten Sprachform nicht etwa verwischt, sondern bleibt durchaus bestehen. Er kommt dadurch zur Geltung, daß für die beiden Satzarten Definitionen aufgestellt und ihre verschiedenen syntaktischen Eigenschaften untersucht werden. Die Wahl zwischen den beiden Sprachformen wird nach Zweckmäßigkeitsgründen zu treffen sein. Die zweite Sprachform, bei der die Gesetze als gleichberechtigte eigentliche Sätze der Objektsprache behandelt werden, ist, wie es scheint, weit einfacher und dem üblichen Sprachgebrauch der Realwissenschaften besser angepaßt als die erste Sprachform. -- Eine ausführliche Kritik der Auffassung, nach der die Gesetze keine Sätze sind, gibt Popper.
Die dargestellte Auffassung gewährt große Freiheit für die Einführung neuer Grundbegriffe und neuer Grundsätze in die Sprache der Physik oder der Wissenschaft überhaupt. Dabei besteht aber doch die Möglichkeit, Scheinbegriffe und Scheinsätze von echten wissenschaftlichen Begriffen und Sätzen zu unterscheiden und damit auszuschalten. [Diese Ausschaltung ist allerdings nicht so einfach, wie sie auf Grund der früheren Auffassung des Wiener Kreises zu sein schien, die im wesentlichen auf Wittgenstein zurückging; bei dieser Auffassung war in absolutistischer Weise von "der Sprache" die Rede; man glaubte daher Begriffe und Sätze schon dann ablehnen zu können, wenn sie nicht in "die Sprache" paßten.] Ein vorgelegter neuer P-Grundsatz erweist sich dadurch als Scheinsatz, daß entweder keine hinreichenden Formbestimmungen gegeben werden, durch die er sich als Satz erweist, oder keine hinreichenden Umformungsbestimmungen, auf Grund deren der Satz in der früher angedeuteten Weise einer empirischen Nachprüfung unterzogen werden kann. Die Bestimmungen müssen nicht ausdrücklich angegeben sein; sie können auch stillschweigend aufgestellt sein, sofern sie sich nur aus dem Sprachgebrauch ersehen lassen. Ein vorgelegter neuer deskriptiver Begriff erweist sich dadurch als Scheinbegriff, daß er weder durch eine Definition auf frühere Begriffe zurückgeführt, noch durch nachprüfbare P-Grundsätze eingeführt wird (vgl. Beispiel und Gegenbeispiel, S. 247). (S. 249f)





zurück zu Carnaps "Toleranzprinzip", Quines "principle of charity" (T)