Philosophie Lexikon der Argumente

Suche  
 
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.
 
Autor/Titel Begriff Exzerpt Metadaten
Boer, Steven E.
 
Bücher bei Amazon
Gültigkeit I 22
Def gültig/Boer; einige Autoren: ein Schluss ist gültig, wenn keine Inferenz „derselben Form“ wahre Prämissen hat und eine falsche Konklusion.
Problem: das können wir hier nicht gebrauchen, weil wir auch Namen für Nichtexistentes zulassen.
Gültigkeit/Alltagssprache/Boer: kann nur relativ auf eine bestimmte Lesart behauptet werden.

Boer I
Steven E. Boer
Thought-Contents: On the Ontology of Belief and the Semantics of Belief Attribution (Philosophical Studies Series) New York 2010

Boer II
Steven E. Boer
Knowing Who Cambridge 1986

> Gegenargumente gegen Boer



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 30.04.2017