Thomas comments on Unsolved Problems in Philosophy Part 1: The Liar's Paradox - Less Wrong

4 Post author: Kevin 30 November 2010 08:56AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (130)

You are viewing a single comment's thread. Show more comments above.

Comment author: Thomas 30 November 2010 08:30:55PM 2 points [-]

Interestingly, the Yablo's paradox vanishes when there is no infinity. If the last statement of the Yablo's sequence exists, it is true. And all at the preceding positions are false. Everything is well. Another reason, I am an infinity atheist.

Comment author: nshepperd 30 November 2010 09:07:17PM 2 points [-]

The "last statement"? This would require that there exists a highest natural number. That seems like it would be a weirder occurrence than the mostly harmless Yablo's paradox.

Although I suppose we can always choose to work in "the natural numbers mod N", for some value of N, which is one way to banish "infinity".

Comment author: Thomas 30 November 2010 10:07:14PM -1 points [-]

There is no need for ridiculously large numbers. There is always the last statement in a row and this way and only this way, no Yablo paradox arises.

Comment author: nshepperd 02 December 2010 12:45:11AM -1 points [-]

I'm not sure what you mean by this. "There is no need"? So is there a highest natural number, or not? Because if not:

  • If S(N) is the last statement, N is a natural number.
  • Therefore N + 1 is a natural number and N + 1 > N.
  • Therefore the statement S(N + 1) exists.
  • Therefore S(N) is not the last statement. Contradiction.
Comment author: wedrifid 02 December 2010 12:58:15AM *  0 points [-]

So is there a highest natural number, or not?

If there is no infinity (the premise) then there must be.

Comment author: FAWS 02 December 2010 01:06:54AM *  -1 points [-]

If there is no infinity there must not be a highest natural number, but there could be if there is infinity?

Comment author: wedrifid 02 December 2010 01:19:00AM *  1 point [-]

s/not //

Edit: That looks bad. Let's see.

s/.ot /

That works.