Assertion: accord's system | /r/CapableOf | obey capture and release semantics
Facets:
value: fully
type: MANNER
value: for truth
type: PURPOSE
Source sentences:
text: Like many folk theories, our folk theory of truth is useful in everyday life but, upon deep analysis, turns out to be technically self-contradictory; in particular, any formal system that fully obeys Capture and Release semantics for truth (also known as the T-schema), and that also respects classical logic, is provably inconsistent and succumbs to the liar paradox or to a similar contradiction.