Yablo's paradox: Difference between revisions
Appearance
Content deleted Content added
m →top: HTTP → HTTPS for MIT, replaced: =http://www.mit.edu/ → =https://www.mit.edu/ |
add rcat template |
||
(13 intermediate revisions by 10 users not shown) | |||
Line 1: | Line 1: | ||
#REDIRECT [[Stephen Yablo#Yablo's paradox]] |
|||
'''Yablo's paradox''' is a [[logical paradox]] published by [[Stephen Yablo]] in 1985.<ref>{{cite journal | author=S. Yablo |url=https://www.researchgate.net/publication/226983444 |title=Truth and reflection|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=https://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> |
|||
{{Rcat shell| |
|||
== Statement == |
|||
{{R with Wikidata item}} |
|||
{{R from merge|Stephen Yablo}} |
|||
Consider the following [[infinite set]] of sentences: |
|||
{{R with possibilities}} |
|||
{{R to section}} |
|||
* (''S''<sub>1</sub>) For each ''i'' > 1, ''S<sub>i</sub>'' is not true. |
|||
{{R printworthy}} |
|||
* (''S''<sub>2</sub>) For each ''i'' > 2, ''S<sub>i</sub>'' is not true. |
|||
}} |
|||
* (''S''<sub>3</sub>) For each ''i'' > 3, ''S<sub>i</sub>'' is not true. |
|||
⚫ | |||
* ... |
|||
[[Category:Logical paradoxes]] |
|||
== Analysis == |
|||
Assume there is an ''n'' such that ''S''<sub>''n''</sub> is true. Then ''S''<sub>''n'' + 1</sub> is not true, so there is some ''k'' > ''n'' + 1 such that ''S''<sub>''k''</sub> is true. But ''S''<sub>''k''</sub> is not true because ''S''<sub>''n''</sub> is true and ''k'' > ''n''. Assuming ''S<sub>n</sub>'' to be true implies a contradiction: some later ''S<sub>k</sub>'' is both true and not true. So our assumption is absurd and we must conclude that for each ''i'', the sentence ''S''<sub>''i''</sub> is not true. But if each ''S<sub>i</sub>'' 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== |
|||
{{reflist}} |
|||
==External links== |
|||
*{{cite IEP |url-id=par-liar |title=Liar Paradox}} |
|||
*{{cite IEP |url-id=yablo-pa |title=Yablo's Paradox}} |
|||
{{Paradoxes}} |
|||
⚫ |
Latest revision as of 01:32, 8 July 2024
Redirect to:
This page is a redirect. The following categories are used to track and monitor this redirect:
|