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 |
---|---|---|---|
Gottlob Frege über Erfüllung – Lexikon der Argumente
II 74 Erfüllung/Frege/(s): Erfüllung ist nicht Eigenschaft eines Begriffs, sondern eines Gegenstands! Der erfüllte Gegenstand ist der Begriff, Bsp "der Begriff Wurzel aus 4 ist erfüllt". Die ersten 5 Wörter bilden den Namen eines Gegenstands - hier wird etwas von einem Gegenstand ausgesagt. II 75 Erfüllung/Frege: Die Erfüllung kann nur von ganz bestimmten Gegenständen ausgesagt werden, Bsp nicht von Namen wie "Cäsar". Dagegen kann sie aber von Namen der Form "der Begriff F" ausgesagt werden. >Begriff/Frege, >Gegenstand/Frege, >Namen; vgl. >Kennzeichnungen._____________ 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. |
F I G. Frege Die Grundlagen der Arithmetik Stuttgart 1987 F II G. Frege Funktion, Begriff, Bedeutung Göttingen 1994 F IV G. Frege Logische Untersuchungen Göttingen 1993 |