Re: Nonfirstorderizability

"George Dance" <georgedance04@xxxxxxxx> writes:

> I certainly did't intend to translate 'some critics' as 'just two
> critics.' Since that has to have entered in with the equality
> predicate, let me see what happens when that predicate is removed:
>
> ExEy((Cx & Cy) & (Axy & Ayx) & (Axy <-> Ayx)) (?)

Can you think of a way of simplifying the above? What does it say
when translated into ordinary language?

.

Relevant Pages

  • Re: Axiom of Foundation
    ... At this moment, my "secret argument", as you put it, does not ... translate to a formal proof in ZFC. ... not sure if there is such a predicate in the language of ZF. ...
    (sci.math)
  • Re: a short article about equality in Lisp (for beginners)
    ... | equality predicate + hash function. ... | according to whether the equality function is eq, eql, equal or equalp. ... tests and hashing methods. ... hashing function for an arbitrary equality predicate. ...
    (comp.lang.lisp)
  • Re: Are you guys really such a bunch of wimps .....
    ... second order definition, and I have not systematically studied identity ... The definition is called "Leibniz law", ... given by Leibniz' definition of equality. ... For first order theories that have only finitely many predicate symbols ...
    (sci.math)
  • Re: Theories and (denumerable) models
    ... Now let's add the equality predicate and let K be ... but that's just what you don't get to stipulate in predicate ... all you have to do is satisfy the equality axioms, ... not strong enough to rule out "unintended" interpretations. ...
    (sci.logic)
  • Re: E! quantification and equivalence
    ... equality in FOL. ... Suppose P is the only predicate symbol? ... equality axioms to the sentence doesn't ensure that either. ...
    (sci.logic)