Re: Consciousness is information?

2009-05-20 Thread Alberto G.Corona
Hi Bruno On May 19, 7:37 pm, Bruno Marchal marc...@ulb.ac.be wrote: ... UDA is an argument showing that the current   paradigmatic chain MATTER = CONSCIOUSNESS = NUMBER is reversed: with   comp I can explain too you in details (it is long) that the chain   should be NUMBER =

Re: logic mailing list

2009-05-20 Thread Bruno Marchal
On 20 May 2009, at 00:01, John Mikes wrote: As always, thanks, Bruno for taking the time to educate this bum. Starting at the bottom: To ask a logician the meaning of the signs, (...) is like asking the logician what is logic, and no two logicians can agree on the possible answer to that

Re: Consciousness is information?

2009-05-20 Thread Bruno Marchal
Hi Alberto, On 20 May 2009, at 13:08, Alberto G.Corona wrote: On May 19, 7:37 pm, Bruno Marchal marc...@ulb.ac.be wrote: ... UDA is an argument showing that the current paradigmatic chain MATTER = CONSCIOUSNESS = NUMBER is reversed: with comp I can explain too you in details (it is

Re: logic mailing list

2009-05-20 Thread Abram Demski
Bruno, I knew already about combinators, and the basic correspondence between arrow-types and material conditionals. If I recall, pairs correspond to , right? I do not yet understand about adding quantifiers and negation. Still, I do not really see the usefulness of this. It is occasionally

Re: logic mailing list

2009-05-20 Thread John Mikes
Bruno, I cheerfuly accept both of your notations about a genius. Everybody is one, just some boast about it, others are ashamed. I just accept. I feel what you call classical logic is my 'common sense' (restricted of the ways how the average person thinks). Linear logic (Sorry, Jean-Yves Girard,