Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
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

M.J. Cresswell über Gültigkeit – Lexikon der Argumente

Hughes I 65ff
Gültigkeit/Hughes/Cresswell: Gültigkeit ist keine Struktureigenschaft von Formeln, keine Relation zwischen Formeln.
Dagegen: Ableitbarkeit ist eine Relation zwischen Formeln.
>Ableitbarkeit
, >Formeln.
Dennoch ist die Menge der ableitbaren und der gültigen Formeln in einem System identisch.
Hughes I 119
Gültigkeit/Prädikatenkalkül: WW-Tafeln (Wahrheitswerttabellen) sind nicht hinreichend für eine Bewertung von Formeln im Prädikatkalkül.
>Prädikatenkalkül.
Weil wir Individuenvariablen und Prädikat-Variablen keine Wahrheitswerte zuordnen können.
>Wahrheitswert, >Interpretation, >Bewertung.

_____________
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.

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

Cr II
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

Hughes I
G.E. Hughes
Maxwell J. Cresswell
Einführung in die Modallogik Berlin New York 1978

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