Citations of:
Add citations
You must login to add citations.


In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revisiontheoretic approach provides various wellmotivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by recent work in (...) 