Assertion: truth | /r/HasProperty | functional kind
Facets:
Source sentences:
text: ’ names the thesis that truth is a functional kind.
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\).