Philosophie Lexikon der Argumente

Suche  
 
Logische Wahrheit: eine Aussage ist logisch wahr, wenn sie allein aufgrund ihrer Form wahr ist. Diese Feststellung ist jedoch nicht absolut, da die logische Wahrheit auch von anderen Faktoren wie z.B. der Reichhaltigkeit der Objektsprache abhängen kann.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
I 132
Logische Wahrheit/Bigelow/Pargetter: Problem: logische und nichtlogische Wahrheiten sind nicht leicht auseinanderzuhalten.
Bsp man könnte einfach a zu den Axiomen hinzufügen, Dann wäre Na ein Theorem! (Wegen der Regel der Notwendigmachung, Necessitation, s.o.).
Problem. die Wahrheit von „a“ hängt letztlich von unserer Interpretation der Prädikate ab.
Theoreme: bleiben dagegen bei jeder Interpretation wahr. Bei ihnen kommt es nur auf die Interpretation der anderen Symbole (nicht der Namen und Prädikate) an.
logische Wahrheit/Bigelow/Pargetter: kann auf zwei Weisen charakterisiert werden
a) axiomatisch (wahr aus der Liste der Axiome heraus).
b) semantisch. (wahr durch Interpretation der logischen Symbole).

Big I
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990

> Gegenargumente gegen Bigelow



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