2000 character limit reached
There are only two paradoxes (2309.03137v2)
Published 6 Sep 2023 in math.LO and cs.LO
Abstract: Using a graph representation of classical logic, the paper shows that the liar or Yablo pattern occurs in every semantic paradox. The core graph theoretic result generalizes theorem of Richardson, showing solvability of finite graphs without odd cycles, to arbitrary graphs which are proven solvable when no odd cycles nor patterns generalizing Yablo's occur. This follows from an earlier result by a new compactness-like theorem, holding for infinitary logic and utilizing the graph representation.