Abstract
Abstract This chapter presents the origin, history, and mathematics of the Yablo paradox. Careful formulations of the paradox within both arithmetic and a pointer semantics-based language are presented, as well as a number of formal results and philosophical observations that will be critical in the chapters to follow (e.g. the fact that the Yablo paradox, formulated in Peano arithmetic with a truth predicate, is not inconsistent, but merely ω-inconsistent). This chapter also provides a partial solution to the Characterization Problem (for the pointer semantics language) and shows how this problem is equivalent to an outstanding problem in the theory of directed graphs— that of determining whether a directed graph has a kernel.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
