Philosophie Lexikon der ArgumenteHome | |||
| |||
Erfüllung, Logik: eine Formel heißt erfüllt, wenn ihre Variablen so belegt (interpretiert) werden, dass die Formel als ganzes eine wahre Aussage ergibt. Dann sagt man, die Formel hat ein Modell. Siehe auch Erfüllbarkeit, Modelle, Modelltheorie._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Michael Woods über Erfüllung – Lexikon der Argumente
II 258 Erfüllung/Zeit/Existenz/Woods: Fehler: Es ist ein Fehler, zu denken, Erfüllung (als Prädikat in der Metasprache) brauchte nicht auf Zeit relativiert zu werden. >Metasprache, >Prädikate, >Existenz, >Existenzsätze. Erfüllung ist hier kein klassisches zweistelliges Prädikat, wahr von Paaren von Ausdrücken und Sequenzen sondern wenn Wahrheit relativ auf Zeit ist, muss es für denselben Satz möglich sein, sogar im Mund desselben Sprechers von allen Sequenzen zu einigen Zeiten erfüllt zu werden, und zu keiner anderen Zeit. >Eindeutigkeit. II 258 Erfüllung/klassisch/Tarski: Erfüllung ist ein zweistelliges Prädikat, wahr von Paaren von Ausdrücken und Sequenzen. >Ausdrücke._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
WoodsM II Michael Woods "Existence and Tense" In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 |