[FOM] The Lucas-Penrose Thesis
laureanoluna at yahoo.es
Sun Oct 8 04:22:29 EDT 2006
>To sum up: Classical logic is the primary logic. It
>metalogic of all other logics (yes, even of
>and it should underelie everything that is absolue
>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
>our current machines are built and programmed by
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