Bolzano vs. Savonarola und die Geschichte einer ... - Philosophie.ch

! $(!
eine Geige’ (‘Heute ist Samstag’) etwas Wahres und mit ‘Das da ist eine Violine’ (‘Heute ist
Sonnabend’) etwas Falsches behaupten kann.
Es gibt noch eine zweite (eher künstliche) Strategie, das mit einem selbstbezüglichen Satz
Gesagte zu negieren. Sie arbeitet mit dem Konzept der externen Negation. Bolzano selber unter-
scheidet es sorgfältig von demjenigen der internen Negation, das er in seiner Savonarola-
Anmerkung verwendet. Wenn P die Proposition ist, dass Sokrates dumm ist, dann ist die interne
Negation von P die Proposition [Sokrates hat die Beschaffenheit, nicht dumm zu sein], und die
externe Negation von P ist die Proposition [P hat die Beschaffenheit, falsch zu sein]. 122 Die ex-
terne Negation der Proposition, die ein Satz S ausdrückt, kann durch ‘Nicht’ gefolgt von S aus-
gedrückt werden. Wenn wir nun noch verabreden, dass das Zeichen ‘'’ den Skopus der reflexiv
gebrauchten demonstrativen Kennzeichnung auf den Satz begrenzt, der auf dieses Zeichen folgt,
dann können wir z.B. das mit (S1) Gesagte mit dem Satz
Neg E (S1) Nicht ' das vorletzte Wort in diesem (!) Satz ist ein Artikel.
negieren. Hier haben wir durch die Skopus-Konvention dafür gesorgt, dass die demonstrative
Kennzeichnung denselben Gegenstand – denselben Satz in specie – wie in (S1) bezeichnet. Aber
diese Konvention ist eingestandenermaßen stipulativ, – ich bezweifle, dass wir sie in der Alltags-
sprache befolgen. Ihr Vorteil besteht darin, dass sie das Verneinen von der Kontextabhängigkeit
befreit, die für die erste Strategie charakteristisch ist. 123 !
3. 2 Mit Bolzano gegen Bolzano.
Am Ende seiner Savonarola-Anmerkung versucht Bolzano, seine Überlegungen zur Negation
selbstbezüglicher Sätze auf das anzuwenden, was zwischen ihm und dem Frate strittig ist. Wie
wir sahen, sind sie sich darin einig, dass ein Wahrheitskandidat genau dann wahr ist, wenn er
nicht falsch ist. Aber nur Bolzano hält dafür, dass Äußerungen von (c) Propositionen ausdrücken
(und zwar falsche). Er fragt nun, ob die Propositionen, die der Sprecher x zur Zeit t mit den Sät-
zen
(c) Was ich so eben behaupte, ist falsch
(d) Was ich so eben behaupte, ist wahr
ausdrücken könnte, einen kontradiktorischen Gegensatz bilden. Wenn der komplexe Subjekt-
Term überhaupt etwas bezeichnet, so bezeichnet er jeweils die Proposition, die durch den ganzen
Satz im Munde von x zu t ausgedrückt wird. Die erste dieser Propositionen, kurz: [c] x/t, handelt
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
122 WL II 16, 44 ff., 63, 269, 419.
123 Mein Skopus-Begrenzer ‘'’ hat dieselbe Funktion wie das Zeichen ‘(’ in der formalen Sprache von
Jon Barwise & John Etchemendy (1987) 33, – ich wollte ein drittes Pfeilsymbol vermeiden.