Stephen Yablo

He is the Emeritus David W. Skinner Professor of Philosophy at the Massachusetts Institute of Technology (MIT) and taught previously at the University of Michigan, Ann Arbor.

His Ph.D. is from University of California, Berkeley, where he worked with Donald Davidson and George Myro.

Yablo 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.

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".

[6][7] Consider the following infinite set of sentences: 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).

For any pair of numbers n and m with n < m, the proposition Sn subsumes all the claims also made by the later Sm.

is an entire transitive relation, then by a formal analysis as above, predicate logic negates the universal closure of On the natural numbers, for

", it is still possible to obtain an omega-inconsistent non-standard model of arithmetic for the theory defined by adjoining all the equivalences individually.