|Logical truth: a statement is logically true if it is true on the basis of its form alone. This finding, however, is not absolute since the logical truth is also influenced by other factors such as e.g. the richness of the object language._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
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.
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).
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)._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990