Das logische Grundgerüst: Individuen; Attribute; Modelle; atomare Propositionen

Zusammenfassung

Im folgenden soll die im [Basic System] entwickelte Theorie Carnaps geschildert und kommentiert werden. Unser Vorgehen wird vor allem in zwei Hinsichten von demjenigen Carnaps abweichen: Erstens beginnen wir nicht wie Carnap mit der Schilderung von Sprachen, sondern mit der Skizze der nichtlinguistischen modelltheoretischen Apparatur seines Systems. Dadurch dürfte der Unterschied gegenüber dem früheren Vorgehen viel deutlicher zutage treten: Den Objektbereich bildet nicht mehr ein Sprachsystem, sondern ein rein begriffliches System nichtsprachlicher Entitäten. Die Einführung von Sprachen, die für die Wiedergabe solcher begrifflicher Systeme als adäquat angesehen werden können, erfolgt an späterer Stelle. Zweitens soll das Material in anderer Weise geordnet werden: Carnaps führt nach einer kurzen Charakterisierung der maßtheoretischen Grundbegriffe sofort die wahrscheinlichkeitstheoretischen Grundaxiome ein, während er die Begriffe Modell und Proposition erst an viel späterer Stelle präzisiert. Da die C- und M-Funktionen jedoch als Argumente Propositionen haben, die ihrerseits mittels des Modellbegriffs definiert sind, bleibt bei diesem Vorgehen das, worauf sich diese Funktionen beziehen, für den Leser zunächst im Dunkeln. Es erscheint als zweckmäßiger, die maßtheoretischen Begriffe und Axiome erst einzuführen, nachdem sämtliche logischen Grundbegriffe eingeführt wurden.