Re: Nonfirstorderizability

"George Dance" <georgedance04@xxxxxxxx> writes:

> > Some relative of each villager and some relative
> > of each townsman hate each other.

> My first approximation to formalizing that would be:
> AxAyEzEu((Vx -> Rzx) & (Ty -> Ruy) & (Hzu & Huz))

Well, it's not at all what Hintikka intended.
.

Relevant Pages

  • 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
    ... george wrote: ... >>> Some relative of each villager and some relative ... >>> of each townsman hate each other. ... Prev by Date: ...
    (sci.logic)
  • Re: Nonfirstorderizability
    ... >> of each townsman hate each other. ... Or is 1 hating villager supposed to be a relative ... Prev by Date: ...
    (sci.logic)
Loading