Re: Nonfirstorderizability



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

How about
Axy[ Vx&Ty -> Euv[ Rxu & Ryv & Huv & Hvu ] ]

Or is 1 hating villager supposed to be a relative
of every villager, while the 1 townsman who hates
her is a relative of every townsman? The sheer
ambiguity of the natural langauge is problematic
to begin with. Presumably they would've said
"some relative of all villagers" as opposed to
"some relative of each villager", if they meant that.

.

Relevant Pages

  • Branching quantifiers.
    ... > writers about branching quantifiers use some odd examples, ... > Some relative of each villager and some relative of each townsman ... > My first approximation to formalizing that would 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
    ... |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)