Az univerzum megszüntetése: A természetes nyelv logikai tulajdonságai

Eredeti címe:

Eliminating the Universe: Logical Properties of Natural Language

Könyv tartalma:

Ez a könyv a szerzőnek a természetes nyelv logikai kifejezőerejével kapcsolatos munkásságát (1980-2015) foglalja össze. A (magasabb rendű) predikátumlogikában használt modellelmélet eszközeit és fogalmait kiterjeszti a természetes nyelvi szemantika vizsgálatára.

A Boole-struktúrára, az általánosított kvantifikációra (a változókötéstől elválasztva) összpontosít, kitérve az anafora néhány esetére. A különböző kategóriákat -- predikátumokat, mellékmondatokat, kvantorokat -- nem izomorfikus boolék rácsokkal modellezi. Empirikus nyelvészeti érdekesség a kvantorok számos természetes osztályának kifejezhetősége, amelyeket logikai (automorfizmus-invariancia) tulajdonságaik alapján definiálnak.

Ezek közül néhány korrelál a generatív nyelvtanban szintaktikailag használt osztályokkal. Más esetekben a természetes nyelvben lehetséges kvantorok denotációira vonatkozó általános (esetleg univerzális) megkötéseket találunk.

Szintén újszerű logikai érdekességeket jelentenek az olyan következményparadigmák, amelyek az általánosított kvantorjelölő kifejezések párjai vagy hármasai közötti kapcsolatoktól függenek, amelyek bizonyos esetekben eleve homályosak. Ezen kívül újszerű bináris kvantorokat jegyzünk meg, amelyek túlmutatnak a "Frege-határon", mivel bizonyíthatóan nem azonosak az unáris kvantorok bármely iterált alkalmazásával.

Filozófiai érdekesség az olyan modellek létezése, amelyek ugyanazokat a mondatokat teszik igazzá, mint a standard modellek, de amelyekből hiányzik az univerzum, és így látszólag a "referencia" fogalma is. Ráadásul ezek a modellek általánosíthatók olyan modellekre, amelyekben (néhány) intencionális kifejezést új ontológiai objektumok, például "lehetséges világok" vagy "tételek" használata nélkül is reprezentálhatunk.