Assertion: logical truth | /r/HasProperty | statement
Facets:
value: with the rise of formal logic
type: OTHER
value: by some philosophers
type: OTHER
Source sentences:
text: A logical truth (also called an analytic truth or a necessary truth) is a statement which is true in all possible worlds or under all possible interpretations, as contrasted to a fact (also called a synthetic claim or a contingency) which is only true in this world as it has historically unfolded.
text: A logical truth is a statement which is true, and remains true under all reinterpretations of its components other than its logical constants.
text: A logical truth is considered by some philosophers to be a statement which is true in all possible worlds.
text: Later, with the rise of formal logic a logical truth was considered to be a statement which is true under all possible interpretations.
text: Logical truths (including tautologies) are statements which are considered to be necessarily true.