Philosophie Lexikon der ArgumenteHome | |||
| |||
Gültigkeit, Logik: Hier geht es darum, ob eine Aussagenform beim Einsetzen verschiedener Werte anstelle der Variablen immer wahr ist. Die Gültigkeit ist hier eine Eigenschaft der Form von Aussagen. Ein Schluss ist gültig, wenn aus falschen Prämissen keine wahre Konklusion folgt. Ein System ist gültig, wenn nur logische Wahrheiten beweisbar sind. Durch Erweiterung eines Systems können mehr Aussagen gültig werden. In der Modelltheorie wird die außersprachliche Wirklichkeit relevant durch die Berücksichtigung des Gegenstandsbereichs für die Prüfung auf Gültigkeit. Siehe auch Wahrheit, Richtigkeit, Korrektheit, Systeme, 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 |
---|---|---|---|
Robert Stalnaker über Gültigkeit – Lexikon der Argumente
I 148 Gültigkeit/Ausdruckskraft/Modallogik/Quantifikation/Stalnaker: Die Gültigkeit des Generalisierungsschemas ist anders als des Identitätsschemas. >Allgemeinheit, >Verallgemeinerung. Die Gültigkeit hängt von Beschränkungen der Ausdruckskraft der extensionalen Theorie ab. Wenn die Sprache reicher wird, werden einige neue Instanzen keine Theoreme sein. >Extension, >Extensionalität, >Ausdruckskraft, >Semantische Geschlossenheit._____________ 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. |
Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |