Eliminarea universului: Proprietățile logice ale limbajului natural

Titlul original:

Eliminating the Universe: Logical Properties of Natural Language

Conținutul cărții:

Această carte sintetizează lucrările autorului (anii 1980-2015) privind puterea de expresie logică a limbajului natural. Ea extinde instrumentele și conceptele teoriei modelelor utilizate în logica predicatelor (de ordin superior) la studiul semanticii limbajului natural.

Se concentrează pe structura booleană, cuantificarea generalizată (separată de legarea variabilelor), acoperind unele cazuri de anaforă. Diferitele categorii - predicate, adjective, cuantificatori - sunt modelate prin rețele booleene neizomorfe. De interes lingvistic empiric este expresibilitatea multor clase naturale de cuantificatori definite în funcție de proprietățile lor logice (invariante ale automorfismului).

Unele dintre acestea sunt corelate cu clasele utilizate sintactic în gramatica generativă. În alte cazuri, găsim constrângeri generale (posibil universale) asupra posibilelor denotații ale cuantificatorilor în limbajul natural.

De asemenea, prezintă un interes logic nou paradigmele de implicare care depind de relațiile dintre perechi sau triple de expresii generalizate de denotare a cuantificatorului, care sunt, în unele cazuri, inerent vagi. În plus, observăm cuantificatori binari noi care se află dincolo de "granița Frege", în sensul că nu sunt, în mod demonstrabil, identici cu nicio aplicație iterată a cuantificatorilor unari.

De interes filosofic este existența unor modele care fac aceleași propoziții adevărate ca și modelele standard, dar cărora le lipsește un univers și, prin urmare, aparent, o noțiune de "referință". În plus, aceste modele se generalizează la cele în care putem reprezenta (unele) expresii intensionale fără a utiliza obiecte ontologice noi, cum ar fi "lumi posibile" sau "propoziții".