![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Русский язык больше не язык
Aug. 10th, 2012 10:53 amхочу написать кое-что на темы лингвистики, но начну с перепечатки этого важного сообщения.( Read more... )
Aug. 10th, 2012
на темы лингвистики
Aug. 10th, 2012 12:03 pmкакие логические очертания должна иметь такая формальная семантика, в которой моделируется реальная логика естественного языка?
подход Фреге-Монтегю, безраздельно господствующий в ней в настоящее время (за малыми исключениями), предполагает, что это должна быть классическая логика предикатов с квантификацией, подразумевающей классическую (Цермело-Френкель) теорию множеств, а также с теорией референции, подразумевающей, будто референтом предложения (кроме именного предложения) является его значение истинности (т.е. "истинно" или "ложно") -- это так наз. "аксиома Фреге".
потом нельзя удивляться, что модель естественного языка, построенная с помощью такой логики (а именно она описывается в классических учебниках Heim и Kratzer), напоминает модель самолета, построенную из дерева: в нем удобные кресла, ходят стюардессы, раздают карамель "Взлетную" -- и вообще сходство с самолетом разительное, вплоть до магнитофонной записи шума двигателя из динамиков. но с моделированием остальных качеств самолета пока что не преуспели.
думаю, что дело в том, что все три указанные выше идеи неправильные. они представляют собой частные случаи более общих закономерностей, но, при этом, гораздо более частные, нежели классическая физика по отношению к ОТО и квантовой механике.( Read more... )
подход Фреге-Монтегю, безраздельно господствующий в ней в настоящее время (за малыми исключениями), предполагает, что это должна быть классическая логика предикатов с квантификацией, подразумевающей классическую (Цермело-Френкель) теорию множеств, а также с теорией референции, подразумевающей, будто референтом предложения (кроме именного предложения) является его значение истинности (т.е. "истинно" или "ложно") -- это так наз. "аксиома Фреге".
потом нельзя удивляться, что модель естественного языка, построенная с помощью такой логики (а именно она описывается в классических учебниках Heim и Kratzer), напоминает модель самолета, построенную из дерева: в нем удобные кресла, ходят стюардессы, раздают карамель "Взлетную" -- и вообще сходство с самолетом разительное, вплоть до магнитофонной записи шума двигателя из динамиков. но с моделированием остальных качеств самолета пока что не преуспели.
думаю, что дело в том, что все три указанные выше идеи неправильные. они представляют собой частные случаи более общих закономерностей, но, при этом, гораздо более частные, нежели классическая физика по отношению к ОТО и квантовой механике.( Read more... )
Петербург -- Москва
Aug. 10th, 2012 03:10 pmпетербургская традиция – домонгольская. Поэтому её можно считать и наиболее русской.
хорошая статья Сережи Чебанова. про религию там слегка напутано, но про основание петербурга в VIII веке (а не XVIII) и его смысл -- все верно. про москву и тоже.
еще мне понравилось:
Пётр решает здесь и ещё одну интересную задачу. Его категорически не устраивает Московская Русь, которую он называет болотом. Ему нужна столица, которая была бы этому московскому болоту противопоставлена. В том числе и ландшафтно. Физическое болото оказывается как раз антиподом болота социального. В этом смысле Петербург выполняет своё предназначение в полной мере.
хорошая статья Сережи Чебанова. про религию там слегка напутано, но про основание петербурга в VIII веке (а не XVIII) и его смысл -- все верно. про москву и тоже.
еще мне понравилось:
Пётр решает здесь и ещё одну интересную задачу. Его категорически не устраивает Московская Русь, которую он называет болотом. Ему нужна столица, которая была бы этому московскому болоту противопоставлена. В том числе и ландшафтно. Физическое болото оказывается как раз антиподом болота социального. В этом смысле Петербург выполняет своё предназначение в полной мере.