Jump to content

Stephen Yablo

From Wikipedia, the free encyclopedia
(Redirected from Yablo's paradox)
Stephen Yablo
EducationUniversity of Toronto (B.Sc.)
University of California, Berkeley (Ph.D.)
SpouseSally Haslanger
EraContemporary philosophy
RegionWestern philosophy
SchoolAnalytic
Doctoral advisorDonald Davidson
Doctoral studentsCarolina Sartorio
Main interests
Philosophical logic, philosophy of language, philosophy of mathematics, philosophy of mind
Notable ideas
Yablo's paradox

Stephen Yablo is a Canadian-born American philosopher. He is David W. Skinner Professor of Philosophy at the Massachusetts Institute of Technology (MIT) and taught previously at the University of Michigan, Ann Arbor.[1] He specializes in the philosophy of logic, philosophy of mind, metaphysics, philosophy of language, and philosophy of mathematics.

Biography

[edit]

He was born in Toronto, on 30 September 1957, to a Polish father Saul Yablo and Romanian-Canadian mother Gloria Yablo (née Herman), both Jewish.[2] He is married to fellow MIT philosopher Sally Haslanger.

His Ph.D. is from University of California, Berkeley, where he worked with Donald Davidson and George Myro. In 2012, he was elected a Fellow of the American Academy of Arts and Sciences. He has published a number of influential papers in philosophy of mind, philosophy of language, and metaphysics, and gave the John Locke Lectures at Oxford in 2012, which formed the basis for his book Aboutness, which one reviewer described as "an important and far-reaching book that philosophers will be discussing for a long time."[3]

Yablo's paradox

[edit]

In papers published in 1985[4] and 1993,[5] Yablo showed how to create a paradox similar to the liar paradox, but without self-reference. Unlike the liar paradox, which uses a single sentence, Yablo's paradox uses an infinite list of sentences, each referring to sentences occurring later in the list. Analysis of the list shows that 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 that his paradox is "not in any way circular". However, Graham Priest disputes this.[6][7]

Statement

[edit]

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

[edit]

For any n, the proposition Sn is of universally quantified form, expressing an unending number of claims (each the negation of a statement with a larger index). As a proposition, any Sn also expresses that Sn + 1 is not true, for example.

For any pair of numbers n and m with n < m, the proposition Sn subsumes all the claims also made by the later Sm. As this holds for all such pairs of numbers, one finds that all Sn imply any Sm with n < m. For example, any Sn implies Sn + 1.

Claims made by any of the propositions ("the next statement is not true") stand in contradiction with an implication we can also logically derive from the lot (the validity of the next statement is implied by the current one). This establishes that assuming any Sn leads to a contradiction. And this just means that all Sn are proven false.

But all Sn being false also exactly validates the very claims made by them. So we have the paradox that each sentence in Yablo's list is both not true and true.

First-order logic

[edit]

For any , the negation introduction principle of propositional logic negates . So no consistent theory proves that one of its propositions equivalent to itself. Metalogically, it means any axiom of the form of such an equivalence is inconsistent. This is one formal pendant of the liar paradox.

Similarly, for any unary predicate and if is an entire transitive relation, then by a formal analysis as above, predicate logic negates the universal closure of

On the natural numbers, for taken to be equality "", this also follows from the analysis of the liar paradox. For taken to be the standard order "", it is still possible to obtain an omega-inconsistent non-standard model of arithmetic for the theory defined by adjoining all the equivalences individually.[8]

Books

[edit]
  • Thoughts (Philosophical Papers, volume 1) (Oxford University Press, 2009)
  • Things (Philosophical Papers, volume 2) (Oxford University Press, 2010)
  • Aboutness (Princeton University Press, 2014).

References

[edit]
  1. ^ "Yablo" (PDF). www.mit.edu.
  2. ^ Dialogues on Disability: Shelley Tremain Interviews Stephen Yablo
  3. ^ Morton, Adam (10 September 2014). "Aboutness".
  4. ^ S. Yablo (1985). "Truth and reflection". Journal of Philosophical Logic. 14 (2): 297–348. doi:10.1007/BF00249368. S2CID 36735626.
  5. ^ S. Yablo (1993). "Paradox Without Self-Reference" (PDF). Analysis. 53 (4): 251–252. doi:10.1093/analys/53.4.251.
  6. ^ G. Priest (1997). "Yablo's paradox". Analysis. 57 (4): 236–242. CiteSeerX 10.1.1.626.8312. doi:10.1093/analys/57.4.236.
  7. ^ J. Beall (2001). "Is Yablo's paradox non-circular?" (PDF). Analysis. 61 (3): 176–187. doi:10.1093/analys/61.3.176.
  8. ^ Yablo’s Paradox and ω-Inconsistency, Ketland
[edit]