From: Philip Goetz (philgoetz@gmail.com)
Date: Mon Jan 30 2006 - 10:54:04 MST
On 1/28/06, Eliezer S. Yudkowsky <sentience@pobox.com> wrote:
> The way to explain logical "if" to humans is to rephrase "P => Q" as "~P
> or Q" which is mathematically equivalent and makes much more human sense
The problem is that the word "implies", as we use it in real life,
cannot be reduced into a Boolean truth table. The difficulty people
have in understanding Boolean "implies" shows the poverty of Boolean
logic, not the poverty of human reasoning.
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:55 MDT