On Wed, Aug 13, 2014 at 11:41 PM, LizR <[email protected]> wrote: > On 14 August 2014 07:35, meekerdb <[email protected]> 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 -- 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.
