Some years ago, Yablo gave a paradox concerning an infinite sequence of sentences: if each sentence of the sequence is 'every subsequent sentence in the sequence is false', a contradiction easily follows. In this paper we suggest a formalization of Yablo's paradox in algebraic and topological terms. Our main theorem states that, under a suitable condition, any continuous function from 2N to 2N has a fixed point. This can be translated in the original framework as follows. Consider an infinite sequence of sentences, where any sentence refers to the truth values of the subsequent sentences: if the corresponding function is continuous, no paradox arises. © 2009 by University of Notre Dame.
A topological approach to Yablo's paradox / Bernardi, Claudio. - In: NOTRE DAME JOURNAL OF FORMAL LOGIC. - ISSN 0029-4527. - STAMPA. - 50:3(2009), pp. 331-338. [10.1215/00294527-2009-014]
A topological approach to Yablo's paradox
BERNARDI, Claudio
2009
Abstract
Some years ago, Yablo gave a paradox concerning an infinite sequence of sentences: if each sentence of the sequence is 'every subsequent sentence in the sequence is false', a contradiction easily follows. In this paper we suggest a formalization of Yablo's paradox in algebraic and topological terms. Our main theorem states that, under a suitable condition, any continuous function from 2N to 2N has a fixed point. This can be translated in the original framework as follows. Consider an infinite sequence of sentences, where any sentence refers to the truth values of the subsequent sentences: if the corresponding function is continuous, no paradox arises. © 2009 by University of Notre Dame.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.