Re: Nonfirstorderizability

Michael De wrote:

> So I guess my interpretation is incorrect since arithmetic is not
> essential in cooking up the models.

Being incorrect is OK; By raising your points and making your
hypotheses here, you make it possible for many besides yourself to
learn about them.

In that light, I was wondering: when you have time (ie, when the real
discussion is over), would you mind explaining to a simple lay person
why the Geach-Kaplan sentence cannot be 'firstorderized' as:

ExEyAz((Cx & Cy) & (Axy & Ayx) & (Axz -> z=y) & (Ayz -> z=x))
(Ca =df. a is a critic; Aab =df. a admires b)?

Or refer me to a weblink, if that's easier.

.

Relevant Pages

  • Re: [Full-Disclosure] Re: Authentication flaw in Web Wiz forum
    ... Alexander aka. Pig Killer and Michael have found there report ... to be incorrect and have tried to retract it but not fully with another ... So the security flaw mentioned by Alexander aka. Pig Killer and Michael is ... >> When user log on forum, for his cookies identification forum using ...
    (Full-Disclosure)
  • Re: Nonfirstorderizability
    ... So I guess my interpretation is incorrect since arithmetic is not ... essential in cooking up the models. ... Prev by Date: ...
    (sci.logic)
  • Re: I dont get it
    ... How can I alter what you write, Michael? ... Also incorrect. ... I never lie. ...
    (comp.sys.mac.advocacy)
  • [SLE] rkhunter-1.2.6-1.noarch.rpm available
    ... Michael, the rkhunter.spec file contains an incorrect version ... I made the correction here *only* for the build. ...
    (SuSE)
  • User policy
    ... How can I set accounts to lockout after 3 incorrect attempts? ... Michael S. Dunsavage ... unsubscribe mailto:redhat-list-request@redhat.com?subject=unsubscribe ...
    (RedHat)