@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024},
author = {Bigelow,John},
subject = {Logical Truth},
note = {I 132
Logical Truth/Bigelow/Pargetter: Problem: Logical and non-logical truths are not easy to distinguish.
For example, you could simply add a to the axioms, then Na would be a theorem! (Because of the rule of necessitating, necessitation, see above.).
Problem: the truth of "a" ultimately depends on our interpretation of the predicates.
>Interpretation, >Valuation, >Predicates.
Theorems: on the other hand, remain true with every interpretation. For them, it only depends on the interpretation of the other symbols (not the names and predicates).
>Variables, >Symbols, >Logical constants.
Logical truth/Bigelow/Pargetter: can be characterized in two ways
a) axiomatically (true from the list of axioms).
b) semantically (true by interpreting the logical symbols).
>Axioms, >Axiom Systems, >Semantics.},
note = { Big I J. Bigelow, R. Pargetter Science and Necessity Cambridge 1990
},
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=746757}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=746757}
}