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

Comment author: Rune 18 April 2009 06:11:00PM 9 points [-]

"Anyone who denies the law of non-contradiction should be beaten and burned until he admits that to be beaten is not the same as not to be beaten, and to be burned is not the same as not to be burned." -- Avicenna, Medieval Philosopher

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.