Theoremizing Yablo's Paradox

Download Edit this record How to cite View on PhilPapers
Abstract
To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. Formalizing these versions of Yablo's paradox, we prove some theorems in LTL. This is the first time that Yablo's paradox(es) become new(ly discovered) theorems in mathematics and logic.
Categories
No categories specified
(categorize this paper)
PhilPapers/Archive ID
SALDFO-3
Upload history
First archival date: 2021-02-21
Latest version: 2 (2021-02-22)
View other versions
Added to PP index
2021-02-21

Total views
10 ( #57,856 of 56,906 )

Recent downloads (6 months)
10 ( #48,452 of 56,906 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.