[FOM] The Lucas-Penrose Thesis

laureano luna laureanoluna at yahoo.es
Sun Oct 8 04:22:29 EDT 2006

>To sum up: Classical logic is the primary logic. It
>is the
>metalogic of all other logics (yes, even of
>intuitionistic logic!),
>and it should underelie everything that is absolue
>and eternal,
>and this includes anything that deserves the name  

He also wrote:

>I know that it is hard to believe, but machines can
>be programmed to make mistakes from time to time,
>like all of us! 
>In fact, this happens most of the time, because 
>(most probably)
>our current machines are built and programmed by
>other machines.

Arnon Avron has most probably realized that, if he is
right about mechanism, his confidence in classical
logic has no rational basis, for it is just a physical
feature of his mechanical design. 

For my part I take my confidence in logic as
'transcendental' (in Husserl's sense) and so this is
one of the reasons I have to believe I'm not a

It's the only way I can make sense of it all.


Laureano Luna Cabañero


LLama Gratis a cualquier PC del Mundo. 
Llamadas a fijos y móviles desde 1 céntimo por minuto. 

More information about the FOM mailing list