August 10th, 2012

grrr

на темы лингвистики

какие логические очертания должна иметь такая формальная семантика, в которой моделируется реальная логика естественного языка?

подход Фреге-Монтегю, безраздельно господствующий в ней в настоящее время (за малыми исключениями), предполагает, что это должна быть классическая логика предикатов с квантификацией, подразумевающей классическую (Цермело-Френкель) теорию множеств, а также с теорией референции, подразумевающей, будто референтом предложения (кроме именного предложения) является его значение истинности (т.е. "истинно" или "ложно") -- это так наз. "аксиома Фреге".

потом нельзя удивляться, что модель естественного языка, построенная с помощью такой логики (а именно она описывается в классических учебниках Heim и Kratzer), напоминает модель самолета, построенную из дерева: в нем удобные кресла, ходят стюардессы, раздают карамель "Взлетную" -- и вообще сходство с самолетом разительное, вплоть до магнитофонной записи шума двигателя из динамиков. но с моделированием остальных качеств самолета пока что не преуспели.

думаю, что дело в том, что все три указанные выше идеи неправильные. они представляют собой частные случаи более общих закономерностей, но, при этом, гораздо более частные, нежели классическая физика по отношению к ОТО и квантовой механике.Collapse )
grrr

Петербург -- Москва

петербургская традиция – домонгольская. Поэтому её можно считать и наиболее русской.

хорошая статья Сережи Чебанова. про религию там слегка напутано, но про основание петербурга в VIII веке (а не XVIII) и его смысл -- все верно. про москву и тоже.

еще мне понравилось:
Пётр решает здесь и ещё одну интересную задачу. Его категорически не устраивает Московская Русь, которую он называет болотом. Ему нужна столица, которая была бы этому московскому болоту противопоставлена. В том числе и ландшафтно. Физическое болото оказывается как раз антиподом болота социального. В этом смысле Петербург выполняет своё предназначение в полной мере.