Re: Nonfirstorderizability



> > |> 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))
> > |?



> > Suppose there are no villagers or townsmen. Then the
> > first version is true, while the second version still
> > requires that (if there is anyone) there exists either
> > one person z=u who hates himself or two people z<>u
> > who hate each other.

George Dance wrote:
> I was hoping that george would answer the question, but...
>
> That is a difference:

I know that my version comes up true in the degenerate/empty
case. If we are talking about villagers and townsmen then
SURELY we are entitled to believe that it DOES NOT MATTER
how our truth-values come out when there AREN'T any.
Obviously, anybody who CARED could just ADD
Exy[Vx&Ty] as a conjunct to mine. But I would advocate
not caring, as opposed to adding it.

Natural language has presuppositions.

Normally if we are predicating things of villagers
and townsmen then we have PREsupposed (as OPPOSED to
asserting) that they exist. "Strawsonian presupposition"
is ALSO (apparently) "nonfirstorderizable".

I was also NOT trying to assert here that "normally,
if we are predicating things of dragons and unicorns,
then we have presupposed that they exist".

.

Relevant Pages

  • Re: Nonfirstorderizability
    ... relative of each villager and some relative of each townsman hate each ... he is also asserting the second. ... If we are talking about villagers and townsmen then ... understand fully well that "natural language has presuppositions," why ...
    (sci.logic)
  • Re: Nonfirstorderizability
    ... > Natural language has presuppositions. ... > Normally if we are predicating things of villagers ... > asserting) that they exist. ... If I say "at least one townsman is ...
    (sci.logic)
  • Re: J for J and the U.S. election
    ... You may have the wrong Herman here. ... This one is not Rubin, ... the presuppositions may not differ much. ...
    (soc.culture.jewish.moderated)