Re: JQ Test 1.0

From: Philip Goetz (
Date: Mon Jan 30 2006 - 10:54:04 MST

On 1/28/06, Eliezer S. Yudkowsky <> 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