Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
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 Argumente
Der 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

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z