Jump to content

Yablo's paradox: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
No edit summary
Line 1: Line 1:
'''Yablo's paradox''' is a [[logical paradox]] published by [[Stephen Yablo]] in 1985.<ref>{{cite journal | author=S. Yablo |url=https://www.researchgate.net/profile/Stephen_Yablo/publication/226983444_Truth_and_reflection/links/0046352a7540525226000000/Truth-and-reflection.pdf |title=Truth and reflection|journal=[[Journal of Philosophical Logic (journal)|Journal of Philosophical Logic]] |volume=14 |issue=2 |year=1985 |pages=297-348 |doi=10.1007/BF00249368 }}</ref> <ref>{{cite journal|author=S. Yablo|url=http://www.mit.edu/~yablo/pwsr.pdf |title=Paradox Without Self-Reference |journal=[[Analysis (journal)|Analysis]] |volume=53 |issue=4 |year=1993 |pages=251–252 |doi=10.1093/analys/53.4.251 }}</ref> It is similar to the [[liar paradox]]. Unlike the liar paradox, which uses a single sentence, this paradox uses an infinite list of statements, each referring to the truth values of the later statements. Analysis of the list shows there is no consistent way to assign truth values to any statement on it. Since everything on the list refers only to later statements, Yablo claims his paradox is "not in ''any'' way circular." However, [[Graham Priest]] disputes this.<ref>{{cite journal | author=G. Priest |url=http://www.accionfilosofica.com/misc/1183297103crs.pdf |title=Yablo’s paradox |journal=[[Analysis (journal)|Analysis]] |volume=57 |issue=4 |year=1997 |pages=236–242 |doi=10.1093/analys/57.4.236 }}</ref><ref>{{cite journal | author=J. Beall |url=http://ferenc.andrasek.hu/papersybprx/jcbeal_is_yablo_non_circular.pdf |title=Is Yablo’s paradox non-circular? |journal=[[Analysis (journal)|Analysis]] |volume=61 |issue=3 |year=2001 |pages=176–187 |doi=10.1093/analys/61.3.176 }}</ref>
'''Yablo's paradox''' is a [[logical paradox]] published by [[Stephen Yablo]] in 1985.<ref>{{cite journal | author=S. Yablo |url=https://www.researchgate.net/profile/Stephen_Yablo/publication/226983444_Truth_and_reflection/links/0046352a7540525226000000/Truth-and-reflection.pdf |title=Truth and reflection|journal=[[Journal of Philosophical Logic (journal)|Journal of Philosophical Logic]] |volume=14 |issue=2 |year=1985 |pages=297-348 |doi=10.1007/BF00249368 }}</ref> <ref>{{cite journal|author=S. Yablo|url=http://www.mit.edu/~yablo/pwsr.pdf |title=Paradox Without Self-Reference |journal=[[Analysis (journal)|Analysis]] |volume=53 |issue=4 |year=1993 |pages=251–252 |doi=10.1093/analys/53.4.251 }}</ref> It is similar to the [[liar paradox]]. Unlike the liar paradox, which uses a single sentence, this paradox uses an infinite list of sentences, each referring to sentences occurring further down the list. Analysis of the list shows there is no consistent way to assign truth values to any of its members. Since everything on the list refers only to later sentences, Yablo claims his paradox is "not in ''any'' way circular." However, [[Graham Priest]] disputes this.<ref>{{cite journal | author=G. Priest |url=http://www.accionfilosofica.com/misc/1183297103crs.pdf |title=Yablo’s paradox |journal=[[Analysis (journal)|Analysis]] |volume=57 |issue=4 |year=1997 |pages=236–242 |doi=10.1093/analys/57.4.236 }}</ref><ref>{{cite journal | author=J. Beall |url=http://ferenc.andrasek.hu/papersybprx/jcbeal_is_yablo_non_circular.pdf |title=Is Yablo’s paradox non-circular? |journal=[[Analysis (journal)|Analysis]] |volume=61 |issue=3 |year=2001 |pages=176–187 |doi=10.1093/analys/61.3.176 }}</ref>


== Statement ==
== Statement ==

Revision as of 00:31, 7 May 2018

Yablo's paradox is a logical paradox published by Stephen Yablo in 1985.[1] [2] It is similar to the liar paradox. Unlike the liar paradox, which uses a single sentence, this paradox uses an infinite list of sentences, each referring to sentences occurring further down the list. Analysis of the list shows there is no consistent way to assign truth values to any of its members. Since everything on the list refers only to later sentences, Yablo claims his paradox is "not in any way circular." However, Graham Priest disputes this.[3][4]

Statement

Consider the following infinite set of sentences:

  • (S1) For each i > 1, Si is not true.
  • (S2) For each i > 2, Si is not true.
  • (S3) For each i > 3, Si is not true.
  • ...

Analysis

Assume there is an n such that Sn is true. Then Sn + 1 is not true, so there is some k > n + 1 such that Sk is true. But Sk is not true because Sn is true and k > n. Assuming Sn is true implies a contradiction: Sk is true and not true. So our assumption is absurd and we must conclude that for each i, the sentence Si is not true. But if each Si is not true, then given that each attributes untruth to later sentences, they are all true. So we have the paradox that each sentence in Yablo's list is true and not true.

References

  1. ^ S. Yablo (1985). "Truth and reflection" (PDF). Journal of Philosophical Logic. 14 (2): 297–348. doi:10.1007/BF00249368.
  2. ^ S. Yablo (1993). "Paradox Without Self-Reference" (PDF). Analysis. 53 (4): 251–252. doi:10.1093/analys/53.4.251.
  3. ^ G. Priest (1997). "Yablo's paradox" (PDF). Analysis. 57 (4): 236–242. doi:10.1093/analys/57.4.236.
  4. ^ J. Beall (2001). "Is Yablo's paradox non-circular?" (PDF). Analysis. 61 (3): 176–187. doi:10.1093/analys/61.3.176.