On 14 Aug 2014, at 05:10, Platonist Guitar Cowboy wrote:
On Wed, Aug 13, 2014 at 11:41 PM, LizR <lizj...@gmail.com> wrote:
On 14 August 2014 07:35, meekerdb <meeke...@verizon.net> wrote:
On 8/13/2014 6:26 AM, Bruno Marchal wrote:
On 12 Aug 2014, at 11:24, Bruno Marchal wrote:
You might say that I model mind and belief ([]p), and the whole
working of a computer, by proof in arithmetic, but with comp, it has
to be valid at the correct susbstitution level for the case of
correct machines.
But for consciousness, I model it by knowledge (modal logic S4),
which I obtained from the Theaetetus' method applied on belief/
provability ([]p & p). Then I insist that this is not modeled by
*anything* you can define exclusively with 3p terms.
Insisting sounds like an attempt to cut off debate.
It would be polite to point out that you realise that isn't what
Bruno is doing, as I assume you do realise - i.e. that you are just
pointing out a language nuance.
Otherwise you sound argumentative, when presumably that isn't your
intention.
I'd guess it isn't, issuing from the background that for years Brent
has provided us with valued posts from my end, especially physics +
environment/energy related and crucially, in genuine critical
spirit, keeping the rather astonishing implications of possible
comp, as a theology/science, to the straight and narrow; which is
strong poise of rigor and precision in any domain. Proofs are not
written in stone and game changers on various levels are what we're
after, and I appreciate that about Brent's posts in general. PGC
I agree with you in general, but I can agree a little bit with Liz
too, as I find Brent slightly sneaky on this issue, but all in all
Brent is rather polite and seems sincere. Yet his critics (of step 8)
is not that clear. But then that is why we discuss. Anyone seeing
Brent's point can help to make it clearer.
Bruno
--
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.