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