Eliminácia vesmíru: Logické vlastnosti prirodzeného jazyka

Pôvodný názov:

Eliminating the Universe: Logical Properties of Natural Language

Obsah knihy:

Táto kniha je syntézou autorovej práce (1980-2015) o logickej vyjadrovacej schopnosti prirodzeného jazyka. Rozširuje nástroje a koncepty teórie modelov, ako sa používajú v predikátovej logike (vyššieho rádu), na štúdium sémantiky prirodzeného jazyka.

Zameriava sa na logickú štruktúru, zovšeobecnenú kvantifikáciu (oddelenú od viazania premenných), pričom pokrýva niektoré prípady anafory. Rôzne kategórie - predikáty, adjektíva, kvantifikátory - sú modelované neizomorfnými logickými mriežkami. Empirický lingvistický záujem predstavuje vyjadriteľnosť mnohých prirodzených tried kvantifikátorov definovaných z hľadiska ich logických (automorfizmicky invariantných) vlastností.

Niektoré z nich korelujú s triedami používanými syntakticky v generatívnej gramatike. V iných prípadoch nachádzame všeobecné (prípadne univerzálne) obmedzenia na možné denotáty kvantifikátorov v prirodzenom jazyku.

Novým logickým záujmom sú aj paradigmy entailmentu, ktoré závisia od vzťahov medzi dvojicami alebo trojicami zovšeobecnených výrazov označujúcich kvantifikátor, ktoré sú v niektorých prípadoch inherentne vágne. Okrem toho si všimneme nové binárne kvantifikátory, ktoré ležia za "Fregeho hranicou" v tom zmysle, že nie sú preukázateľne totožné so žiadnou iterovanou aplikáciou unárnych kvantifikátorov.

Filozoficky zaujímavá je existencia modelov, ktoré dávajú za pravdu tým istým vetám ako štandardné modely, ale ktorým chýba univerzum, a teda zdanlivo aj pojem "referencie". Okrem toho sa tieto modely zovšeobecňujú na modely, v ktorých môžeme reprezentovať (niektoré) intencionálne výrazy bez použitia nových ontologických objektov, ako sú "možné svety" alebo "propozície".