Re: Nonfirstorderizability


george wrote:
> > > Some relative of each villager and some relative
> > > of each townsman hate each other.
>
> How about
> Axy[ Vx&Ty -> Euv[ Rxu & Ryv & Huv & Hvu ] ]

How does that differ from what you snipped:
AxAyEzEu((Vx -> Rzx) & (Ty -> Ruy) & (Hzu & Huz))
?

.

Relevant Pages

  • Re: Nonfirstorderizability
    ... >> of each townsman hate each other. ... Or is 1 hating villager supposed to be a relative ... Prev by Date: ...
    (sci.logic)
  • Re: Nonfirstorderizability
    ... |Those who write about branching quantifiers ... |use some odd examples, such as Hintikka's ... | of each townsman hate each other. ... I suppose they intend for the relative of the villager to be ...
    (sci.logic)
  • Re: Nonfirstorderizability
    ... >> Some relative of each villager and some relative ... >> of each townsman hate each other. ... > My first approximation to formalizing that would be: ...
    (sci.logic)
  • Re: Nonfirstorderizability
    ... > George Dance wrote: ... > |How does that differ from what you snipped: ... relative of each villager and some relative of each townsman hate each ... he is also asserting the second. ...
    (sci.logic)