Definierbarkeit und Definition des Ausdrucks „Gott“ - Christoph Zimmer

ie]nur dadurch, daß es im System [in der Theorie] nicht abgeleitet ist.“ 40 „Falls die
Wahrheit der Grundsätze bereits anderweitig gesichert ist, sichert die Logik die
Wahrheit der Lehrsätze [Theoreme] somit durch Deduktion aus den Grundsätzen.“ 41
Der Zusammenhang von Axiomen und Theoremen ist die Konditionalbeziehung
oder Implikation.
Eine Implikation kann inkonsistent (kontradiktorisch), konsistent (erfüllbar) oder allgemeingültig
(tautologisch) sein. Im ersten Fall ist sie logisch falsch, im letzten logisch
wahr. Konsistenz liegt dagegen vor, wenn die Implikation nur für einige Wahrheitswertverteilungen
wahr ist und für die restlichen falsch.
Um nun sagen zu können, daß eine Aussage aus anderen logisch folgt, wird Allgemeingültigkeit
der betreffenden Implikation verlangt. Andernfalls folgt die Aussage
nicht.
Hieraus ergibt sich für die Kohärenz einer Theorie, daß diese nicht darin besteht, daß
sich die Aussagen in irgendwelchen Beziehungen befinden – etwa nur in thematischinhaltlichen
oder sonstigen assoziativen Zusammenhängen –, sondern Kohärenz ist
erst dann gegeben, wenn es innerhalb der Theorie nur logisch wahre Implikationen
gibt, wie es das „Hempel-Oppenheim-Schema“ 42 besagt.
3.1.1. Der hier benutzte Begriff von Kohärenz differiert etwas von dem, den H.
Scholz verwendet hat. 43 Insbesondere stellt hier die Kohärenz keinen Gegenstandsbezug
her. Sie betrifft vielmehr die logische Form der Theorie.
Was in 3.1. als Kohärenz bezeichnet wird, scheint aber bei H. Scholz in der sogenannten
Höchstforderung der Axiomatisierbarkeit enthalten zu sein. Es wird jedoch
dafür gehalten, daß in bezug auf Wissenschaftlichkeit nicht nach Mindest- und
Höchstforderungen zu differenzieren ist. Es entscheidet allein die Theoriefähigkeit,
die der Höchstforderung von H. Scholz entspricht. Vor allem aber bestimmt sich die
Wissenschaftlichkeit der Theologie nicht nach einem wie immer auch gearteten Gegenstandsbezug,
sondern danach, ob sie sich bemüht, Theorien aufzustellen. Demgegenüber
ist der Gegenstandsbezug ganz sekundär.
3.2. Innerhalb von Theorien sind Definitionen eliminierbare, nichtkreative Axiome
(siehe das Schema von R. Kleinknecht über den Status von Definitionen in wissenschaftlichen
Theorien auf der folgenden Seite).
21
40 Bochenski, J. M.: Die zeitgenössischen Denkmethoden. 5 1971 (UTB 6), 79; vgl. 73-99 (Kap. IV: Die axiomatische
Methode).
41 Essler, Wilhelm K. / Martinez Cruzado, Rosa F.: Grundzüge der Logik. I. 1983, 4.
42 Vgl. Hempel, C. C. / Oppenheim, P.: Studies in the Logic of Explanation. In: Philosophy of Science, 15, 1948, 135-
175; Hauffe, Heinz: Der Informationsgehalt von Theorien. 1981 (LEP 13), 30; Stegmüller, Wolfgang: Probleme und
Resultate der Wissenschaftstheorie und Analytischen Philosophie. I. Wissenschaftliche Erklärung und Begründung.
Berlin, Heidelberg, New York. 2 1983, 72ff.
43 Vgl. Scholz, Heinrich: Wie ist eine evangelische Theologie als Wissenschaft möglich? In: ZZ 9, 1931, 20; Nachdruck
in: Sauter, Gerhard (Hg.): Theologie als Wissenschaft. 1971. 221-264.