Assertion: truth | /r/CapableOf | denote the property
Facets:
Source sentences:
text: Hence, to say that truth is a functional kind \(F\) is to say that the \(\tau\)-term ‘truth’ denotes the property of having a property that plays the \(F\)-role, where the \(F\)-role is tantamount to the single unique second-order property of being \(F\).