Assertion: logical truth | /r/HasProperty | true
Facets:
value: in all counterfactual circumstances
type: OTHER
value: necessarily
type: DEGREE
value: because of the logical terms
type: CAUSE
value: under all possible interpretations
type: OTHER
value: in all possible worlds
type: LOCATION
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: Logical truths (including tautologies) are statements which are considered to be necessarily true.
text: Whereas a tautology or logical truth is true solely because of the logical terms it contains in general (e.g. "every", "some", and "is"), a truth-functional tautology is true because of the logical terms it contains which are logical connectives (e.g. "or", "and", and "nor").
text: It is typical to hold that, in some sense or senses of “could”, a logical truth could not be false or, alternatively, that in some sense or senses of “must”, a logical truth must be true.
text: On a recent view developed by Beall and Restall (2000, 2006), called by them “logical pluralism”, the concept of logical truth carries a commitment to the idea that a logical truth is true in all of a range of items or “cases”, and its necessity consists in the truth of such a general claim (see Beall and Restall 2006, p. 24).
text: On most views, even if it were true that logical truths are true in all counterfactual circumstances, a priori, and analytic, this would not give sufficient conditions for a truth to be a logical truth.
text: Analogous “no conceptual analysis” objections can be made if we accept that the concept of logical truth has some other strong modal notes unrelated to analyticity; for example, if we accept that it is part of the concept of logical truth that logical truths are true in all counterfactual circumstances, or necessary in some other strong sense.