On 14 August 2014 15:10, Platonist Guitar Cowboy <[email protected]> wrote:
> 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 > > I guessed it wasn't, but it could certainly sound that way. He appears to be picking Bruno up for "insisting" on something, and accusing him of trying to cut off the debate. I guessed that wasn't his intention, but given that he often appears to be sniping - picking people up on minor points - I thought it was worthwhile to point out when he does so, on the assumption that this isn't intentional and it's useful for someone to know how they come across to others, especially when it isn't as they intended to. But then, I haven't been around here for years, so I may still be dealing with things that others have long since accepted. -- 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.
