Assertion: truth | /r/HasProperty | logical truths
Facets:
Source sentences:
text: On most views, a logical truth also has to be in some sense “formal”, and this implies at least that all truths that are replacement instances of its form are logical truths too (and hence, on the assumption of the preceding sentence, true in all counterfactual circumstances, a priori, and analytic).
text: If a judgment has its reason (ground) in another judgment, its truth is called logical or formal.