The import of hypodoxes for the Liar and Russell's paradoxes

Is the set of all self-membered sets, S, a member of itself? In naive set theory, this is Russell's hypodox. By the Laws of Excluded Middle and Non-contradiction, S is a member of itself xor it is not, but no principle of classical logic or naive set theory determines which. (Herein, 'xor' extends English with a specifically exclusive disjunction.) As a hypodox, the Truth-teller is a sentence that says of itself simply that it is true; by the above mentioned principles, the Truth-teller is true xor not true, but no principle of classical logic or naive truth determines which. Many concepts that have paradoxes have related hypodoxes, although the focus here is on these two. I argue that the Truth-teller does not rely on a principle of truth, in particular it does not rely on the T-schema. I also argue that Russell's hypodox does not rely on Comprehension. Yet I relate Russell's paradox and hypodox based on involution functions. The Liar and the Truth-teller are also related by means of involutions. Relations based on these involution functions can be represented in duality squares. Although hypodoxes are not paradoxes, these involution functions and duality relations warrant some commonality in a correct solution to a paradox and its dual hypodox. Using this and some other premises, I provide novel arguments supporting non-classical solutions for the Liar paradox and the significance of Russell's hypodox for solutions to Russell's paradox.

Automated summary

This article discusses some paradoxes and hypodoxes of sets, as well as their importance in solving paradoxes.