Assertion: logical truth | /r/HasProperty | formal
Facets:
value: on most views
type: OTHER
value: in some sense
type: OTHER
Source sentences:
text: But the idea that logical truths are or should be formal is certainly not universally accepted.
text: But the idea that logical truths are or should be formal is certainly not universally accepted.
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).