On 7/11/2019 3:40 AM, Bruno Marchal wrote:
On 10 Jul 2019, at 23:04, 'Brent Meeker' via Everything List
<[email protected]> wrote:
On 7/10/2019 7:59 AM, Bruno Marchal wrote:
The machine define by the two following equations Kxy = x and Sxyz = xz(yz) + S
≠ K, and with the combinator induction axiom (that I gave some posts ago) is
already as much conscious than you and me.
Which in it self is a reductio of your theory.
Why? If you agree with the definition of consciousness that I have given (true,
knowable, non provable, non definable without invoking truth) then SK+induction
*is* provably conscious, and indeed has the G/G* theology applicable to it.
But I don't agree that your definition defines consciousness. And part
of the reason for that it doesn't include being conscious of something.
And I don't even know what "non-definable without invoking truth"
means. Since "truth" is, according to you, undefinable that would seem
to say your definition of consciousness says it's undefinable.
Elsewhere you rely on the common sense idea that everybody you're
communicating with knows consciousness "from the inside", which is
independent of your definition. And for your definition to work you
would need to show that it not only describes the first person
experience of consciousness, but also that it doesn't describe anything
else. Yet you're saying it also describes the consequences of two
equations.
Brent
Bruno
Brent
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/everything-list/fe5eab19-ad4f-c9ed-1623-3a0ca71f043e%40verizon.net.
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/everything-list/7021a05f-bec1-cec3-a37b-092bea2d4a67%40verizon.net.
