@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 28 Mar 2024},
author = {Bigelow,John},
subject = {Logische Wahrheit},
note = {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.
>Interpretation, >Bewertung, >Prädikate.
Theoreme: 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.
>Variablen, >Symbole, >Logische Konstanten.
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).
>Axiome, >Axiomensysteme, >Semantik.},
note = {Bigelow, John
I John Bigelow, Robert Pargetter
Science and Necessity Cambridge University Press 1990
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=864097}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=864097}
}