thomblake comments on Rationality Quotes - April 2009 - Less Wrong

11 Post author: Eliezer_Yudkowsky 18 April 2009 01:26AM

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

Comments (134)

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

Comment author: thomblake 18 April 2009 08:17:07PM 3 points [-]

This quote is amusing, but it has always made me wonder... if this is a good translation, then did Avicenna really not understand the law of non-contradiction? Because one who denies that p^~p is a contradiction does not necessarily assert that p and ~p are the same.

Comment author: Rune 18 April 2009 09:07:11PM 1 point [-]

What does one mean when one denies the truth of ~(p^~p)? I would guess the person means that this statement is not always true, and thus there exists a p for which this statement is false. Which would mean that there is a p for which p and ~p are simultaneously true.

Of course this doesn't mean that the person believes that "to be beaten is the same as not to be beaten", but it's an amusing quote.