komponisto comments on Rationality Quotes: October 2009 - Less Wrong

7 Post author: Eliezer_Yudkowsky 22 October 2009 04:06PM

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

Comments (276)

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

Comment author: komponisto 24 October 2009 06:32:32AM 1 point [-]

"we ate nothing" does not mean "we ate X" for X equal to "nothing"; it means "for all X, not (we ate X)"

But surely "we ate X" can mean "X = {Y: We ate Y}", as in "we ate a set of fried chicken legs" -- and this would allow one to analyze "we ate nothing" to mean "we ate X" for X = emptyset.

Comment author: [deleted] 24 October 2009 07:15:46PM 0 points [-]

Let "nothing" be the empty set, and say that "we ate X" means that X is the set of all things that we ate? How would that handle the sentence "No robot took off its hat"? My semantics say that that's equivalent to "for no robot X, (X took off X's hat)"; yours would say something like "(the set of no robots) took off (some value that isn't a set of hats)".