hen comments on How An Algorithm Feels From Inside - Less Wrong

87 Post author: Eliezer_Yudkowsky 11 February 2008 02:35AM

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

Comments (77)

Sort By: Old

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

Comment author: Kawoomba 27 April 2013 09:38:07PM 1 point [-]

Existence is frequently defined in terms of identity. 'exists(a)' ≝ '∃x(a=x)'

Isn't that just kicking the can down the road? What does it mean for an x to ∃, "there is an x such that ...", there we go with the "is", with the "be" with the "exist".

Comment author: [deleted] 27 April 2013 10:09:25PM 0 points [-]

I should probably let Rob answer for himself, but he did say that existence is frequently defined in terms of identity, not by identity.