Kissalan pojat

Kuvitellaan että meillä on seuraava lause "Jokainen kesäkissan omistaja hylkää sen." (Siis sen kissan.) On usein sanottu että tuon tyylisiä lauseita ei voitaisi kovin näppärästi kuvata ensimmäisen kertaluokan logiikalla;

Temppuna on se, että kun luodaan sellainen ensimmäisen kertaluokan logiikan varaan rakennettu konstruktio joka luo oikeanlaisia tuloksia, sen rakenne eroaa radikaalisti siitä pintarakenteesta ja tavasta jolla asiaa tavallisesti katsotaan. Universaalikvanttori tuottaa hankaluuksia. Esimerkiksi seuraavanlainen lause voidaan rakentaa;

∀x∀y[(henkilö(x) & kesäkissa(y) & omistaa(x,y)) → hylkää(x,y)]

On useitakin semanttisia yrityksiä ratkoa tähän liittyviä ongelmia. Esimerkiksi yritetään luoda erilaisia dynaamisia semantiikkoja. Mutta sitten toisaalta voi tuntua ihan perustellulta.

∀x[(henkilö(x) & ∃y(y=z & kesäkissa(z) & omistaa(x,z)) → hylkää(x,z)]

Mikä tässä on vialla?

---

uɐɐɯnʇıʞ oʇuǝןo uǝuıoʇǝıʇ ɐʇɐdɯǝן ɐʇuoʇıןɐɐɹoɯ uıʇǝʌןǝɥ uo
Logiikan kannalta;eksistenttikvanttori ei vaikuta lauseen tulkintaan. Ja lisäksi tuo ratkaisutapa tuottaa ongelmia sen tyylisissä tilanteissa joissa "mies ottaa kesäkissan"...