Монтегю, Річард
Зміст
Найбільш відомі роботи Монтегю відносяться до семантики природних та формальних мов. Він значно розвинув теорію можливих світів у рамках теоретико-модельної семантики, написав цілу низку робіт з формальної прагматики, запропонував аналіз властивостей займенників та дієслівних часів (Montague 1968, 1970c). Наприкінці 60-х років Монтегю підключився до масштабних досліджень універсальної граматики, яка на той час захопила лінгвістичну спільноту після хомскіанської революції. Для нього заняття універсальною граматикою означали пошук філософсько обґрунтованого формального аналізу синтаксису, семантики та прагматики в рамках єдиної теорії, що охоплює як природні мови, так і формальні. Найважливіша і найбільш радикальна для свого часу гіпотеза Монтегю полягала в тому, що англійська мова (а можливо, будь-яка природна мова) може бути формально описана за допомогою стандартних засобів математичної логіки. Слід зазначити, що тоді більшість логіків сумнівалося, що природну мову можна повністю формалізувати, а більшість лінгвістів — що методи математичної логіки взагалі застосовні до семантики природної мови.
Монтегю не брав участі в так званих «лінгвістичних війнах» — періодом протистояння прихильників генеративної семантики (Дж. Лакофф, Дж. Росс, Дж. Макколі, П. Постал) та інтерпретаційної семантики (Р. Джекендофф та багато інших за підтримки Хомського). Після смерті Монтегю ряд дослідників зазначав, що його теорія увібрала у собі досягнення обох теоретичних напрямів.
Умови істинності, композиційність у семантиці
Центральна ідея теорії Монтегю і надалі всієї формальної семантики полягає в тому, що значення будь-якої пропозиції є умови йогоістинності. Оскільки в будь-якій мові безліч граматичних речень нескінченно, потрібна теорія, що дозволяє обчислювати значення будь-якої пропозиції за кінець кількох кроків. Когнітивне обґрунтування цієї гіпотези просто: людський мозок кінцевий, тому в когнітивній системі існує кінцевий механізм, який інтерпретує будь-який елемент із нескінченної множини граматичних пропозицій. У синтаксисі аналогічне міркування проводиться для обгрунтування використання граматик, що породжують, як кінцевого механізму породження нескінченної кількості пропозицій.
Розвинути такий механізм у семантиці дозволяє принцип композиційності значення, запропонований Фреге: значення будь-якого вираження є функція від значень його синтаксичних частин. В «Універсальній граматиці» Монтегю цей принцип формалізується як гомоморфізм між алгеброю синтаксису та алгеброю семантики. Елементи цих алгебр можуть змінюватись від теорії до теорії. Принцип композиційності, однак, накладає суттєве обмеження на ці теорії — він обмежує можливе ставлення семантики до синтаксису.
До Монтегю семантисти займалися, переважно, поясненням багатозначності, семантичної аномальності і «семантичної співвіднесеності». Найчастіше судження про матеріал були суб'єктивні, дані та аналізи суперечили один одному. Введення в семантику понять «умова істинності» та «ставлення семантичного слідства» дозволило сформулювати суворі критерії адекватності семантичної теорії та призвело до буму досліджень у галузі семантики, в основному, у Європі та США.
PTQ та узагальнені квантори
Багатство логіки Монтегю дозволяє надати композиційну інтерпретацію незалежно вмотивованої синтаксичної структури. Це проілюстровано у роботі Montague 1973 (ProperTreatment of Quantification in ordinary English — скорочено PTQ). Зокрема, при аналізі квантифікованих іменних груп типуevery boy,the man,an appleпропонується скористатися мовою типізованої логіки з абстракцією ламбда. Наприклад, пропозиціяEvery boy runsаналізується так:
‖ S [ N P [ E v e r y b o y ] V P [ r u n s ] ] ‖ = ‖ E v er y b o y ‖ ( ∖ r u n s ‖ ) = [_[Every
boy\(\runs\)=> λ P . ∀x[boy(x) → P(x)] (λx.run(x)) = ∀x[boy(x) →run(x)]
\forall x[boy(x)\rightarrow run(x)]>
Багато деталей теорії Монтегю, викладеної в PTQ, згодом було переглянуто, деякі — відкинуто, проте загалом вплив PTQ на теоретичну лінгвістику можна порівняти з «Синтаксичними структурами» Хомського. Еммон Бах [en] помітив [4] :