Читать онлайн «Исследования по математической лингвистике, математической логике и информационным языкам»

ИССЛЕДОВАНИЯ ПО МАТЕМАТИЧЕСКОЙ ЛИНГВИСТИКЕ МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ИНФОРМАЦИОННЫМ ЯЗЫКАМ  АКАДЕМИЯ НАУК СССР ГОСУДАРСТВЕННЫЙ КОМИТЕТ СОВЕТА МИНИСТРОВ СССР ПО НАУКЕ И ТЕХНИКЕ Научный совет по комплексной проблеме «Кибернетика» Всесоюзный институт научной и технической информации  ИССЛЕДОВАНИЯ ПО МАТЕМАТИЧЕСКОЙ ЛИНГВИСТИКЕ, МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ИНФОРМАЦИОННЫМ ЯЗЫКАМ ИЗДАТЕЛЬСТВО «НАУКА» Москва 1972  В сборнике, подводящем итоги комплексных исследований по семиотике, рассматривается, как логико-математические методы применяются в решении логических и лингвистических проблем, и в теории информационных языков. Статьи сборника содержат интересный материал и являются серьезным вкладом в исследования по кибернетике, семиотике, логике и структурной лингвистике. Под редакцией Д. А. БОЧВАРА и Ю. А. ШРЕЙДЕРА 7-1-1 *48-71(П)  ОТ РЕДАКТОРОВ В сборнике представлены статьи научных сотрудников Отдела семиотики Всесоюзного института научной и технической информации АН СССР, относящиеся к различным проблемам семиотики и математической логики. Одни авторы — Т. Д. Корельская, Е. В. Падучева — дают описание структуры русского текста, другие — М. В. Арапов, А. М. Карапетьянц, 3. М. Малиновская, М. А. Пробст — исследуют проблему дешифровки письма с утерянным ключом — киданьских текстов. Важной областью семиотических исследований является сравнительное изучение различных знаковых систем. М. М. Ланглебен построила формальный язык для описания номенклатуры соединений органической химии и обнаружила интересные аналогии между свойствами выражения «языка номенклатуры» и свойствами некоторых структур в естественных языках. Э. Д. Стоцкий предложил новый класс порождающих грамматик и получил результаты, представляющие интерес для развития методов формального описания языков. В статье Ю. А. Шрейдера «О структуре тезауруса» обсуждаются некоторые способы формального семантического анализа текстов. Указанные статьи (так же, как и статья Н. А. Соколовой, посвященная информационно-поисковым системам) связаны с общими вопросами семиотического анализа информационно-поисковых языков. Статьи сборника, относящиеся к области математической логики и аксиоматической теории множеств, несмотря на все различие их тематики, имеют общую для них направленность — на исследование формальных систем без типовой иерархии. В двух статьях сборника исследуются свойства формальной системы Куайна «New Foundations» (NF), привлекшей, особенно э последние два десятилетия, внимание 5  математиков, выразившееся в ряде исследований, имевших своей целью выяснение вопроса о непротиворечивости и сравнительной силе этой системы. В статье В. Н. Гришина указан фрагмент системы NF, доказательство непротиворечивости которого было бы равносильно доказательству непротиворечивости системы NF в целом. А. С. Есенин-Вольпин дал доказательство выразимости в NF понятия истинности для вполне упорядоченных сильно канторовских множеств. И. X. Шмаин охарактеризовал класс логических формул, обладающих тем свойством, что некоторым образом определенный арифметический перевод аксиом свертывания с ядрами из этого класса доставляет арифметические формулы, доказуемые в арифметике, чем обосновывается утверждение о непротиворечивости (относительно арифметики) системы, получаемой присоединением таких аксиом свертывания к системе аксиом логики.