Exkurs:Verifikationsverfahren

Exkurs zu: Modalität, Proposition

---

Die Wahrheit einer Proposition kann nur rela­tiv zu dem gemein­ten Kontext ange­geben werden. Bei einer singu­lären konkre­ten Propo­sition ergibt sich Wahrheit (und Falsch­heit) aus dem Verhält­nis zwischen dem behaup­teten Sachver­halt und den Tatsa­chen in dem gemein­ten Kontext. Dabei muss unter­schieden werden, ob es möglich ist, die Geltung des behaup­teten Sachver­halts in dem Kontext empi­risch zu über­prüfen, oder ob direk­ter Zugang zu dem Kontext nicht möglich ist und daher nur ein logi­scher Abgleich mit dem Vorwis­sen gelingt. Verifikationsverfahren für singu­läre kon­krete Propo­siti­onen Das allgemeine empirische Veri­fika­tionsver­fahren für singu­läre konkre­te Propo­siti­onen besteht darin, zunächst den durch die Kontext­bildung ange­gebe­nen Kontext aufzu­suchen, dort die durch die Nomi­natio­nen iden­tifi­zierten Gegen­stände zu finden und schließlich die durch die Prädi­kation ins Spiel gebrach­te Unter­scheidungs­praxis auf jene Gegen­stände anzu­wenden. Der Wahrheits­begriff ist damit korres­pondenz­theore­tisch gefasst. Ein Sonderfall tritt bei Loka­tionsan­gaben ein: Wird durch die Prädi­kation ein Gegen­stand loka­lisiert, dann sucht man gemein­hin nicht zunächst den Gegen­stand und prüft dann, ob er sich am prädi­zierten Ort befin­det. Vielmehr sucht man zunächst den ange­gebenen Ort auf und prüft sodann, ob sich der gemein­te konkre­te Gegen­stand dort befin­det. Diese Veri­fika­tionsum­kehr hängt mit der Bedeu­tung der Rauman­gaben für die Kontext­bildung zusam­men (vgl. [Tugendhat 1976a]Tugendhat, Ernst (1976): Vorlesungen zur Einführung in die sprachanalytische Philosophie. Suhrkamp, Frankfurt/M. : V. 26, insbes. S. 463-469). Ein allgemeines logisches Veri­fika­tionsver­fahren kann für die singu­lären konkre­ten Propo­sitio­nen zum Zuge kommen, wenn der Zielkon­text nicht zur aktu­ellen Verhal­tensi­tuation, in der allein das empi­rische Veri­fika­tionsver­fahren wirksam wäre, gemacht werden kann: Hierbei wird allein durch logi­sches Schließen die Verträg­lichkeit der Propo­sition mit dem Wissen über jenen Kontext getestet (vgl. hierzu Prädi­kation: Begrif­fe, begriff­liche Argu­mente und logi­sches Schließen). Hier liegt daher ein kohä­renzthe­oreti­scher Wahrheits­begriff zugrun­de. Verifikationsverfahren für andere Arten von Pro­posi­tionen Bei den anderen Typen von Propo­sitio­nen wird Wahrheit auf verschie­dene Weisen auf die Basis­form der singu­lären konkre­ten Propo­sitio­nen zurück bezo­gen: Das allgemeine Verifikations­verfah­ren für gene­relle konkre­te Propo­siti­onen (bzw. exten­sional-abstrak­te P.) besteht darin, die unter der Quanti­fika­tion zusam­menge­fassten Einzel­fälle gemäß der entspre­chenden Veri­fika­tionsver­fahren für singu­läre konkre­te Propo­siti­onen zu über­prüfen. Da es sich um eine endli­che Menge handelt, termi­niert der Entschei­dungsal­gorith­mus, sobald bei Allquan­tifi­kation ein Gegen­beispiel oder bei Exis­tenzquan­tifi­kation ein Beispiel gefun­den wird, oder wenn alle Möglich­keiten über­prüft sind. Da dieses Veri­fika­tionsver­fahren auf dem für singu­läre konkre­te Propo­siti­onen beruht, erge­ben sich ana­log logi­sche und empi­rische Vari­anten. Die Verifikationsverfahren für inten­sional-abstrak­te Propo­siti­onen müssen darauf gerich­tet sein zu über­prüfen, ob eine prinzi­piell auf unend­lich viele Einzel­fälle anwend­bare Regel gilt. Die Wahrheit hängt also nur indi­rekt von bestimm­ten Kontex­ten ab. Da eine Über­prüfung aller Einzel­fälle nicht möglich ist, richtet sich die Veri­fika­tion in diesen Fällen norma­lerwei­se an der Korrekt­heit des Konstruk­tionsver­fahrens für solche Regeln aus. Dabei spielen insbe­sonde­re die logi­schen Zusam­menhän­ge zwischen den betei­ligten Begrif­fen eine entschei­dende Rolle.

Anmerkungen Literatur [Ros 1999a]Ros, Arno (1999): Was ist Philosophie?. In: Raatzsch, R. (Hg.), Philo­sophie­ren über Philo­sophie. Leipziger Universitätsverlag, Leipzig.[Tugendhat 1976a]Tugendhat, Ernst (1976): Vorlesungen zur Einführung in die sprachanalytische Philosophie. Suhrkamp, Frankfurt/M. Verantwortlich: Schirra, Jörg R.J. Lektorat: Sachs-Hombach, Klaus Seitenbearbeitungen durch: Joerg R.J. Schirra und Marcel Lemmes — (Hinweis)