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
Mates, Benson
 
Bücher bei Amazon
Gültigkeit I 85
Nicht gültig/Gültigkeit/Mates: Bsp Fa - V x Fa - (Fa > Ga) > ( ~Fa > ~Ga) - (x)(Ey) Fxy > (Ey)(x)Fxy - hier kann man Interpretationen angeben, wo die Aussagen falsch sind.
Gültig: ist φ, wenn φ eine Folgerung aus der leeren Menge ist.
I 88
Etwas ist trivial wahr, wenn ((s) die Bezugsmenge) L gar keine Elemente hat.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981

> Gegenargumente gegen Mates



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