The article deals with the possibiltiy to adapt the Curry-Howard isomorphism to describe natural ... more The article deals with the possibiltiy to adapt the Curry-Howard isomorphism to describe natural language semantics. An approach to treating linguistic ambiguity is proposed based on specifying invariants for proposition classes. A variant of constructive higher-order logic powerful enough to cover descriptions of
Индоевропейское языкознание и классическая филология, 2013
В статье производится количественный анализ орфографии памятника раннего литовского языка «Катехи... more В статье производится количественный анализ орфографии памятника раннего литовского языка «Катехизиса» М. Даукши 1595 г. Устанавливается наличие трех, а не двух диакритических знаков и последовательное различение в тексте долгих и кратких гласных под ударением в тех случаях, когда их противопоставление фонологически значимо.
The text of the first known Lithuanian book printed in the mainland (M. Daukša's Catechism of 1595) is analysed in a quantitative way. Thorough study of diacritic marks is attempted. It is confirmed that the text actually contains three different diacritics: a circumflex, an acute and a dot; the two latter are at variance with each other, but the choice of the main variant appears to depend on the role of the sign. It is discovered that, unlike previously thought, the distinction between long and short accented vowels is maintained in the text, at least for vowels which exhibit phonological opposition between long and short ones. There are several cases where the distinction between long and short vowels is possibly maintained even in an unaccented position. Other vowels demonstrate greater variance in accent mark usage, but generally it may be assumed that a circumflex sign denotes a long vowel. Frequent omission of an accent mark over short lower vowels is linked to a pholonologically conditioned difficulty to distinguish an accented short vowel from unaccented one. The distribution of various accent marks in diphtongs still remains an unsolved issue, though, pending for future research.
Учебное пособие «Введение в формальную семантику» подготовлено по материалам курсов «Методы прогр... more Учебное пособие «Введение в формальную семантику» подготовлено по материалам курсов «Методы программной реализации интеллектуальных систем» (А.В. Андреев), «Математические модели языка», «Формальная и компьютерная семантика» (О.А. Митрофанова), «Понимание естественного языка» (К.В. Соколов). Для студентов, изучающих дисциплины, связанные с формальными моделями и автоматичекой обработкой естественного языка.
Центральной идеей формальной семантики с момента ее возникновения, по крайней мере, начиная с раб... more Центральной идеей формальной семантики с момента ее возникновения, по крайней мере, начиная с работ Р. Монтегю [5], является представление об эквивалентности формально-логической системы и «подлинной» семантики языковых выражений. Нарушение этой эквивалентности рассматриваются
Varietas Delectans. Сборник статей к 70-летию Николая Леонидовича Сухачева, 2012
В европейской научной традиции логика и грамматика были теснейшим образом связаны с момента их за... more В европейской научной традиции логика и грамматика были теснейшим образом связаны с момента их зарождения. По сути дела, тенденция отождествлять логические и грамматические категории сохранялась вплоть до второй половины XIX века, когда с возникновением младограмматизма интерес лингвистов сместился от изучения языковых универсалий к описанию конкретно-исторических языковых явлений. Такое же отношение к логике сохранилось и во многих течениях структурализма, в первую очередь, разумеется, в дескриптивизме. Резкое противопоставление логического и грамматического в «новой» лингвистике стало настолько общим местом, что многие структуралисты (такие как Ельмслев, Трубецкой и др.), стремясь переделать языкознание по образцу и подобию естественных наук, как это ни парадоксально, старательно избегали использовать лежащий в их основе формально-логический аппарат, изобретая своего рода особую «лингвистическую» логику [Ревзин 1967]. Появление во второй половине XX века генеративизма только усугубило этот разрыв ].
Several issues within existing case grammar frameworks are identified. A
new approach to logi... more Several issues within existing case grammar frameworks are identified. A new approach to logical description of case relations is proposed based on modal logic. Voice transformations and lexical conversives are analyzed using the proposed approach. A simple solution to the problem of intensional equality of different expressions is outlined
The article deals with the possibiltiy to adapt the Curry-Howard isomorphism to describe natural ... more The article deals with the possibiltiy to adapt the Curry-Howard isomorphism to describe natural language semantics. An approach to treating linguistic ambiguity is proposed based on specifying invariants for proposition classes. A variant of constructive higher-order logic powerful enough to cover descriptions of
Индоевропейское языкознание и классическая филология, 2013
В статье производится количественный анализ орфографии памятника раннего литовского языка «Катехи... more В статье производится количественный анализ орфографии памятника раннего литовского языка «Катехизиса» М. Даукши 1595 г. Устанавливается наличие трех, а не двух диакритических знаков и последовательное различение в тексте долгих и кратких гласных под ударением в тех случаях, когда их противопоставление фонологически значимо.
The text of the first known Lithuanian book printed in the mainland (M. Daukša's Catechism of 1595) is analysed in a quantitative way. Thorough study of diacritic marks is attempted. It is confirmed that the text actually contains three different diacritics: a circumflex, an acute and a dot; the two latter are at variance with each other, but the choice of the main variant appears to depend on the role of the sign. It is discovered that, unlike previously thought, the distinction between long and short accented vowels is maintained in the text, at least for vowels which exhibit phonological opposition between long and short ones. There are several cases where the distinction between long and short vowels is possibly maintained even in an unaccented position. Other vowels demonstrate greater variance in accent mark usage, but generally it may be assumed that a circumflex sign denotes a long vowel. Frequent omission of an accent mark over short lower vowels is linked to a pholonologically conditioned difficulty to distinguish an accented short vowel from unaccented one. The distribution of various accent marks in diphtongs still remains an unsolved issue, though, pending for future research.
Учебное пособие «Введение в формальную семантику» подготовлено по материалам курсов «Методы прогр... more Учебное пособие «Введение в формальную семантику» подготовлено по материалам курсов «Методы программной реализации интеллектуальных систем» (А.В. Андреев), «Математические модели языка», «Формальная и компьютерная семантика» (О.А. Митрофанова), «Понимание естественного языка» (К.В. Соколов). Для студентов, изучающих дисциплины, связанные с формальными моделями и автоматичекой обработкой естественного языка.
Центральной идеей формальной семантики с момента ее возникновения, по крайней мере, начиная с раб... more Центральной идеей формальной семантики с момента ее возникновения, по крайней мере, начиная с работ Р. Монтегю [5], является представление об эквивалентности формально-логической системы и «подлинной» семантики языковых выражений. Нарушение этой эквивалентности рассматриваются
Varietas Delectans. Сборник статей к 70-летию Николая Леонидовича Сухачева, 2012
В европейской научной традиции логика и грамматика были теснейшим образом связаны с момента их за... more В европейской научной традиции логика и грамматика были теснейшим образом связаны с момента их зарождения. По сути дела, тенденция отождествлять логические и грамматические категории сохранялась вплоть до второй половины XIX века, когда с возникновением младограмматизма интерес лингвистов сместился от изучения языковых универсалий к описанию конкретно-исторических языковых явлений. Такое же отношение к логике сохранилось и во многих течениях структурализма, в первую очередь, разумеется, в дескриптивизме. Резкое противопоставление логического и грамматического в «новой» лингвистике стало настолько общим местом, что многие структуралисты (такие как Ельмслев, Трубецкой и др.), стремясь переделать языкознание по образцу и подобию естественных наук, как это ни парадоксально, старательно избегали использовать лежащий в их основе формально-логический аппарат, изобретая своего рода особую «лингвистическую» логику [Ревзин 1967]. Появление во второй половине XX века генеративизма только усугубило этот разрыв ].
Several issues within existing case grammar frameworks are identified. A
new approach to logi... more Several issues within existing case grammar frameworks are identified. A new approach to logical description of case relations is proposed based on modal logic. Voice transformations and lexical conversives are analyzed using the proposed approach. A simple solution to the problem of intensional equality of different expressions is outlined
Uploads
Papers by Artem Andreev
The text of the first known Lithuanian book printed in the mainland (M. Daukša's Catechism of 1595) is analysed in a quantitative way. Thorough study of diacritic marks is attempted. It is confirmed that the text actually contains three different diacritics: a circumflex, an acute and a dot; the two latter are at variance with each other, but the choice of the main variant appears to depend on the role of the sign. It is discovered that, unlike previously thought, the distinction between long and short accented vowels is maintained in the text, at least for vowels which exhibit phonological opposition between long and short ones. There are several cases where the distinction between long and short vowels is possibly maintained even in an unaccented position. Other vowels demonstrate greater variance in accent mark usage, but generally it may be assumed that a circumflex sign denotes a long vowel. Frequent omission of an accent mark over short lower vowels is linked to a pholonologically conditioned difficulty to distinguish an accented short vowel from unaccented one. The distribution of various accent marks in diphtongs still remains an unsolved issue, though, pending for future research.
интеллектуальных систем» (А.В. Андреев), «Математические модели языка», «Формальная и компьютерная семантика» (О.А. Митрофанова), «Понимание естественного языка» (К.В. Соколов).
Для студентов, изучающих дисциплины, связанные с формальными моделями и автоматичекой обработкой естественного
языка.
Drafts by Artem Andreev
new approach to logical description of case relations is proposed based on
modal logic. Voice transformations and lexical conversives are analyzed
using the proposed approach. A simple solution to the problem of
intensional equality of different expressions is outlined
The text of the first known Lithuanian book printed in the mainland (M. Daukša's Catechism of 1595) is analysed in a quantitative way. Thorough study of diacritic marks is attempted. It is confirmed that the text actually contains three different diacritics: a circumflex, an acute and a dot; the two latter are at variance with each other, but the choice of the main variant appears to depend on the role of the sign. It is discovered that, unlike previously thought, the distinction between long and short accented vowels is maintained in the text, at least for vowels which exhibit phonological opposition between long and short ones. There are several cases where the distinction between long and short vowels is possibly maintained even in an unaccented position. Other vowels demonstrate greater variance in accent mark usage, but generally it may be assumed that a circumflex sign denotes a long vowel. Frequent omission of an accent mark over short lower vowels is linked to a pholonologically conditioned difficulty to distinguish an accented short vowel from unaccented one. The distribution of various accent marks in diphtongs still remains an unsolved issue, though, pending for future research.
интеллектуальных систем» (А.В. Андреев), «Математические модели языка», «Формальная и компьютерная семантика» (О.А. Митрофанова), «Понимание естественного языка» (К.В. Соколов).
Для студентов, изучающих дисциплины, связанные с формальными моделями и автоматичекой обработкой естественного
языка.
new approach to logical description of case relations is proposed based on
modal logic. Voice transformations and lexical conversives are analyzed
using the proposed approach. A simple solution to the problem of
intensional equality of different expressions is outlined