@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} }