Logic and
Load the menuLoad the menu

Copyright   James R Meyer    2012 - 2024 https://www.jamesrmeyer.com

Yablo’s Paradox - A Liar Paradox without Self-Reference?

The Liar Paradox comes in many guises. A simple example is “This sentence is false”. The paradox is that if the sentence is true, then it would be saying that it itself is false. And if the sentence is false, then, since it states that it is false, it appears to be true. Hence the paradox.


In 1993, Stephen Yablo claimed that he had devised a Liar type paradox that does not involve any circular self-reference whatsoever. (Footnote: Stephen Yablo.PDF Paradox Without Self-Reference, Analysis 53 (4): pages 251-252. 1993. It can also be viewed at PDF Paradox Without Self-Reference.) It goes like this:


Imagine an infinite sequence of sentences S1, S2, S3, …, each to the effect that every subsequent sentence is false:

The sentence S1 is the sentence: “For all k that are greater than 1, Sk is false”

The sentence S2 is the sentence: “For all k that are greater than 2, Sk is false”

The sentence S3 is the sentence: “For all k that are greater than 3, Sk is false”

and so on.


Now, suppose that some sentence Sn is true. This sentence Sn states that every sentence above it is false. So the sentence immediately above Sn (which is Sn+1) must be false. But Sn+1 states that every sentence above it is false. So, on the one hand, Sn states that Sn+1 and Sn+2 must be false, but on the other hand, Sn+1 actually states that Sn+2 must be false - so therefore Sn+1 is true - contrary to what Sn states.


So, our supposition that some sentence Sn is true is incorrect, and no sentence Sn can be true, and so all the sentences must be false. But each sentence actually states that all sentences above it are false, so they are stating the truth.


This is the paradox. You will see that it is just like the Liar Paradox. Stephen Yablo, who came up with the paradox, claims that it is a Liar-like paradox that is not in any way circular, and so that it proves that self-reference is neither necessary nor sufficient for producing a Liar-type paradox - because none of the sentences actually refers to itself, but only to the subsequent sentences.


But Yablo’s claim that there is no circular self-reference is erroneous. The paradox depends on the way the paradox is presented, where the vague phrase ‘and so on’ is used. This simply conceals the fact that a complete and logical definition is simply:

For all n, Sn = “For all k greater than n, Sk is false”


When the paradox is clearly defined like this, instead of relying on the vagueness of ‘and so on’, or similar euphemisms, we can see quite clearly that the definition does of course include a self-reference. We have, in the definition, a thing ‘S’ with a subscript - in fact this is a function with one free variable, here denoted by ‘n’. When this free variable of the function is substituted by some definitive number ‘k’, it must evaluate as some definitive non-variable object. So what is this function S? And what might it evaluate as for numerical values of its free variable? The only information we have on the function ‘S’ is that it is defined in terms of S - which of course is a circular self-reference.


Compare the difference with a similar definition that does not include any self-reference:

For all n, Sn = “The circumference of a circle is more than n times its diameter.”


The expression, “The circumference of a circle is more than n times its diameter” has one variable term n, and so it is not a proposition, and so the concept of correct or incorrect does not apply to it. But once we substitute a value for the n, we get a proposition which can be either correct or incorrect. For example:


The first sentence S1 is: “The circumference of a circle is more than 1 times its diameter.”

The second sentence S2 is: “The circumference of a circle is more than 2 times its diameter.”


And, crucially, these propositions are completely independent of how they were generated - and so is any decision that is made regarding whether it is correct or incorrect. In other words, anyone could make a decision on the proposition without knowing anything about how it was generated.


But with Yablo’s definition:

For all n, Sn = “For all k greater than n, Sk is false”

when we substitute a value for n, for example 3, we get that the third sentence is:

“For all k greater than 3, Sk is false”.


Clearly this is not independent of how it was generated. Taken on its own, it is utterly meaningless, because S is not defined. But if you try to determine what S is, you find that it is defined in terms of itself, and so it is defined as a circular self-reference, contrary to Yablo’s claim.


Note that Yablo’s claims of non-circular self-reference have been disputed elsewhere. (Footnote: ▪ Beall, J.C. PDF Is Yablo’s paradox non-circular? Analysis 61(3): pages 176-187, (2001) Beall, Is Yablo’s paradox non-circular? Details. ▪ Graham Priest. Yablo’s paradox. Analysis 57: pages 236-242, 1997, DOI:10.1093/analys/57.4.236. Priest, Yablo’s paradox: Details. ▪ Cook, Roy T. There Are Non-circular Paradoxes (But Yablo’s Isn’t One of Them!) The Monist 89, no. 1 (2006), doi:10.5840/monist200689137, pages 118-149.)


Also, for fun, there is a quite hilarious article that was written about the Yablo paradox by Volker Halbach and Shuoying Zhang. I have written a web-page about it, see Halbach & Zhang’s ‘Yablo without Gödel’ it is well worth reading for the entertainment value of the laughable inanity of the authors’ proclamations.


Other paradoxes


Interested in supporting this site?

You can help by sharing the site with others. You can also donate at Go Get Funding: Logic and Language where there are full details.



As site owner I reserve the right to keep my comments sections as I deem appropriate. I do not use that right to unfairly censor valid criticism. My reasons for deleting or editing comments do not include deleting a comment because it disagrees with what is on my website. Reasons for exclusion include:
Frivolous, irrelevant comments.
Comments devoid of logical basis.
Derogatory comments.
Long-winded comments.
Comments with excessive number of different points.
Questions about matters that do not relate to the page they post on. Such posts are not comments.
Comments with a substantial amount of mathematical terms not properly formatted will not be published unless a file (such as doc, tex, pdf) is simultaneously emailed to me, and where the mathematical terms are correctly formatted.

Reasons for deleting comments of certain users:
Bulk posting of comments in a short space of time, often on several different pages, and which are not simply part of an ongoing discussion. Multiple anonymous user names for one person.
Users, who, when shown their point is wrong, immediately claim that they just wrote it incorrectly and rewrite it again - still erroneously, or else attack something else on my site - erroneously. After the first few instances, further posts are deleted.
Users who make persistent erroneous attacks in a scatter-gun attempt to try to find some error in what I write on this site. After the first few instances, further posts are deleted.

Difficulties in understanding the site content are usually best addressed by contacting me by e-mail.


Based on HashOver Comment System by Jacob Barkdull

Copyright   James R Meyer   2012 - 2024