Lexikon der Argumente

 

II 313
Notwendigkeit/notwendig/Prädikatmodifikation/Wiggins/Peacocke: Problem: 'groß' kann nicht wie 'nec' Prädikate von beliebig feinem Grad modifizieren.
((s) "nec" : Operator für necessary").
>Operatoren.
Das heißt, wir bekommen eine endlich axiomatisierte Theorie für 'groß' aber nicht für 'nec'. Hier kann es nur unendlich viele Modifikationen geben.
>Axiome, >Axiomensysteme, >Axiomatisierbarkeit.
Problem: 'nec' kann in der Objektsprache iteriert werden, aber Grandys Rl kann die Iterationen nicht behandeln, weil die Erfüllung nicht definiert ist. Lösung:
1. syntaktische Variable 't >' soll über Serien von Termini der Form (t1...tn)
2. getrennte Rekursion für die Abstrakta der Objektsprache in der Theorie, die induktiv die Bedingungen spezifiziert, unter denen eine Sequenz die mit dem Abstraktum korrelierte Eigenschaft ('Corr') hat.
II 316
Dann machen die Wahrheitsbedingungen aus den Prädikationen Sequenzen - deswegen ist die Theorie nicht völlig homophon.
((s) Bsp X ist F oder G oder...)
>Homophonie, >Wahrheitsbedingungen, >Prädikation.
II 324
Notwendigkeit/Erfüllung/Sprache/Peacocke: Die Erfüllungs- und Bewertungsaxiome drücken nicht bloß kontingente Wahrheiten über die Sprache aus - notwendigerweise erfüllt im Deutschen jede Sequenz x1 'ist größer als Hesperus' in L, gdw. ihr erstes Element größer ist als Hesperus.
>Erfüllung.