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 |
---|---|---|---|
S.A. Kripke über Erfüllung – Lexikon der Argumente
I 35 Eine Kennzeichnung wird erfüllt, d.h. ein Gegenstand als einziger erfüllt die Kennzeichnung (> Sekt-Beispiel: "Der Mann mit dem Glas Sekt ist böse." - Der Gemeinte hat aber Mineralwasser im Glas). I 123 Es ist im Allgemeinen nicht der Fall, dass die Referenz eines Namens durch bestimmte Identifizierung der Merkmale, durch bestimmte Eigenschaften, die der Referent als Einziger erfüllt und von denen der Sprecher weiß oder meint, dass sie zutreffen, bestimmt wird. --- III 374 Erfüllungsbedingungen: Erfüllungsbedingungen muss man verstehen, um offene Sätze zu verstehen. Daher sind Intensionen bei offenen Sätzen (mit referentiellen Variablen) unverständlich. III 380 Def Erfüllung/Kripke: "(Exi) rabbit (xi)" gdw. es gibt ein s" das von s an höchstens der i-ten Stelle abweicht das erfüllt "rabbit (xi)" - (rein formal). > Offener Satz > Intension. III 393 Wahrheit/Erfüllung/Definierbarkeit: Wahrheit kann in einer Metasprache definierbar sein (für eine gegebene referentielle Objektsprache), aber Erfüllung nicht, weil die entsprechende Ontologie nicht in der Metasprache erreichbar ist. Bsp Die Menge der wahren Sätze wird in verschiedenen Metasprachen definierbar sein, deren Ontologie die der ganzen Zahlen ist (z.B. In der Metasprache die Wahrheit für die Objektsprache als einfaches Prädikat nehmen). Erfüllung: Erfüllung wird nicht definierbar sein, außer wenn die Ontologie der Objektsprache gerade die der ganzen Zahlen ist. III 403 Erfüllung: Erfüllung ist eine Relation zwischen Ausdrücken und anderen Gegenständen: > Denotation._____________ 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. |
Kripke I S.A. Kripke Name und Notwendigkeit Frankfurt 1981 Kripke II Saul A. Kripke "Speaker’s Reference and Semantic Reference", in: Midwest Studies in Philosophy 2 (1977) 255-276 In Eigennamen, Ursula Wolf Frankfurt/M. 1993 Kripke III Saul A. Kripke Is there a problem with substitutional quantification? In Truth and Meaning, G. Evans/J McDowell Oxford 1976 Kripke IV S. A. Kripke Outline of a Theory of Truth (1975) In Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg) Oxford/NY 1984 |