@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024}, author = {Peacocke,Christopher}, subject = {Notwendigkeit}, note = {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.}, note = {Chr. Peacocke I Peacocke Sense and Content Oxford 1983 }, file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=251918} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=251918} }