On 22 Jul 2014, at 09:08, Kim Jones wrote:



On 22 Jul 2014, at 2:55 am, John Clark <[email protected]> wrote:

> What part of your brain is more evolved than a cat's brain that allows you to say "I know"?

I'm just guessing but maybe the Neocortex because it's the biggest anatomical difference between a cat's brain and mine. But I do know one thing for certain, whatever part it is if it evolved then it effects behavior; and if it effects behavior then the Turing Test works for consciousness and not just intelligence.

 John K Clark


Are you saying that there is no consciousness without intelligence? I believe (up to here at least) consciousness can exist minus intelligence.


Keeping the distinction intelligence/competence. I agree with you, as I agree consciousness can exist without any relative well adapted competence, yet keeping its full turing universal competence.



Also, many things going on in the brain affect behaviour without necessarily having any impact on consciousness at all.

I don't think the ability to say "I know (or believe) I am awake" has anything to do with intelligence.

It might have a relation with stupidity, or more generally [] f.



But it does require consciousness (even if asleep and dreaming that you said that.)

What I am driving at is that it is vaguely impossible to understand anything 1p in a 3p manner.


Yes. The crazy thing is that very fact can be understood in a 3p manner, even without assuming comp, here, but assuming the classical theory of belief and knowledge, and then using Gödel Löb (3p theorem) and then results by Boolos, Goldblatt, Kusnetsov & Muravitski which gives the math of []p & p. It describes as I said a knower, related to the machine, and unnameable by the machines, and she can know that.

The two Boolos' book, 1979 and 1993) contains a chapter on the []p & p intensional variant, and its intensional logic S4Grz.

Bruno




Kim

--
You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

http://iridia.ulb.ac.be/~marchal/



--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to