• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семантика и прагматика агентности

Приоритетные направления развития: гуманитарные науки
2019

Цель работы

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

Используемые методы

В ходе теоретического исследования использовались традиционные логико-философские и лингвистические подходы, которые были дополнены инструментарием (1) динамической эпистемической логики;  (2) теории игр;  (3) семантики возможных миров; (4) конструктивной теории типов; (5) формальной феноменологии; (6) теории категорий; (7) теории речевых актов и постграйсианской прагматики,  (8) корпусных методов, (9) психолингвистических методов.

Эмпирическая база исследования

Результаты лингвистических экспериментов с носителями русского языка (с использованием платформы DMDX) и русского жестового языка (метод элицитации).

Результаты работы

1) Разработана трактовка коммуникации как системы взаимных обязательств с целью координации действий. На основе этой трактовки предложено обобщение классической теории речевых импликатур Грайса. Преимущество предложенного обобщения состоит в отказе от установок ментализма и новом взгляде на процесс обучения языку как на нормативную практику разделения обязательств и планирования действий. На материале нескольких языков разработана оригинальная классификация экспрессивных речевых актов, относящихся к непропозициональному содержанию высказывания, а именно, выделено три вида экскламативов, зависящих от того, какие в них употребляются местоимения. На основе экспериментальных исследований показано влияние экстралингвистических знаний на порождение импликатур для шкал, состоящих из кванторов в русском языке.  Обоснован принцип классификации речевых актов по сложности конститутивных правил, а также выдвинута гипотеза о существовании разных стадий развития речевых актов того или иного типа (например, «прото-ассертивов», «прото-комиссивов»).

2) Показаны преимущества динамической интерпретации композициональности для бинарных семантических феноменов. На основе трактовки композициональности как динамической формальности разработан динамический подход к бинарным кванторам и смешанным цветам. Построено динамическое расширение модальной интуиционистский логики, а именно эпистемической логики IEL, с оператором публичного анонсирования. Построена игра для абелевой логики А и доказана корректность этой игры относительно стандартной алгебраической семантики для абелевой логики. Предложена интерпретация этой игры как игры агентов, обладающих ограниченными ресурсами. Построены полные аксиоматические системы для градуированных модальных логик с транзитивными зависимыми модальностями. Доказана теорема о полноте таких аксиоматик относительно семантики Крипке. Получена классификация иерархий бинарных отношений с точки зрения отношения консервативного расширения. Сформулирован критерий разрешимости градуированных модальных логик с транзитивными и зависимыми модальностями.

3) Предложена теоретико-категорная семантика квантовой логики, основанная на модификации конструкции ее категорной модели, так называемого топоса – специального вида категории, алгебра подобъектов которой представляет собой алгебру Гейтинга. В данной модификации топоса, получившей название квантоса, алгебра подобъектов оказывается не алгеброй Гейтинга, но ортомодулярной решеткой. Построена интерпретация некоторых систем ортомодулярной квантовой логики в квантосах функторов из ортомодулярной решетки в квантос (а не топос) квантовых множеств. Доказана полнота этих систем по отношению к предложенной семантике. Построено семейство первопорядковых толерантных логик, позволяющих формализовать понятия неопределенности и неоднозначности.

4) Предложена вероятностная эпистемическая модель социального влияния для агентов с общей точной информацией, а также продемонстрированы трудности объединения вероятностной эпистемической модели с произвольным отношением достижимости и функции социального влияния, рассмотрены механизмы преодоления указанных затруднений, предполагающие как модификацию вероятностной функции, так и корректировку функции социального влияния.  Эксплицировано общее затруднение индетерминистических теорий действия, представленное в различных формулировках аргументов от удачи против либертарианских теорий действия: аргументе перемотки, аргументе обещания, аргументе от констративного объяснения, аргументе Юма. Показано, что детерминация действия характером агента является необходимым условием последовательного приписывания моральной ответственности за данное действие. Продемонстрировано, что каузальный индетерминизм не состоятелен в качестве метафизической платформы либертарианского понимания свободы воли.

5) Обоснована необходимость эпистемических подходов к теории доказательств и представлено истолкование теории типов Мартин-Лёфа, а также основанной на этой теории гомотопической теории типов, как исчислений с эпистемически нагруженной теоретико-доказательной семантикой. Показана значимость в прагматизме Ч. С. Пирса баланса «индуктивного риска» и ценностей (тихизм, синихизм и плодоворность) для проверки гипотез и снижения статистических ошибок при использовании индуктивного метода. Разработан проект модульной схемы создания объяснительных гипотез для интерпретации данных с установкой на проспективный характер объяснений. Предложена таксономия ряда операций, которые выполняются математиками «до» и «вокруг» доказательства теорем (мысленные эксперименты, работа с математическими базами и платформами).   

6) Показано наличие двух смыслов сигнификации в логике У. Оккама: в первом смысле имя или термин устной речи сигнифицируют нечто, если термин истинно суппонирует эту вещь в немодальном предложении настоящего времени и истинно предицирован этой вещи; во втором смысле имя сигнифицирует нечто, когда оно обладает возможностью суппонировать то, что оно сигнифицирует в предложении о будущем, прошлом или модальном предложении. Предложено истолкование сигнификации в первом смысле как трехместного отношения термина, объекта, к которому он отсылает, и момента времени в настоящем, в который это происходит.

7) Представлено первое систематическое описание отрицательного согласования в русском жестовом языке, связанного с наличием лицензора (сентенциального отрицания).  На основе эмпирического исследования показано наличие отрицательного согласования в русском жестовом языке, уникальное для этого семейства языков.  Осуществлен синтаксический анализ структуры отрицательного согласования в русском жестовом языке. Введено различие двух видов отрицания: универсального и типового отрицания, позволяющее разрешить ряд парадоксов, связанных с бессмысленными высказываниями.

По результатам проекта опубликовано и принято к печати 6 статей в рецензируемых журналах, индексируемых в базах Web of Science и/или Scopus; опубликованы 4 статьи из дополнительного перечня журналов, публикации в которых учитываются при назначении академических надбавок и оценке публикационной активности в НИУ ВШЭ; 1 статья, опубликованная издательством, входящими в список издательств, учитываемых при назначении надбавки 3-го уровня;  подготовлена к публикации в издательстве УРСС монография.

Организованы две международные конференции: «Formal Philosophy – 2019» и совместно с журналом Studia Logica конференция «Trends in Logic 19. Current Issues in Philosophical Logic». В конференциях приняли участие все исполнители научно-исследовательской работы, а также философы, математики, лингвисты из США, Франции, Австрии, Великобритании, Нидерландов, Германии, Бразилии, Польши, Португалии, Бельгии, Испании, Италии, Израиля, Чехии, Сербии, различных городов России (Москвы, Санкт-Петербурга, Новосибирска, Ульяновска, Томска). В рамках реализации проекта работали три семинара: теоретический семинар «Формальная философия» (9 заседаний), исследовательский семинар «С логической точки зрения» / «From the Logical Point of View» (24 заседания), научно-учебный семинар "Логическая семантика" (10 заседаний). Результаты исследования апробированы также в 33 докладах исполнителей НИР на конференциях и теоретических семинарах в университетах и научных центрах России, Франции, Великобритании, Норвегии, Германии, Бразилии, Хорватии, Португалии, Чехии.  Исполнители НИР приняли участие в летней школе в Латвии, посетили с исследовательскими стажировками научные и образовательные центры Португалии и Франции.

Степень внедрения, рекомендации по внедрению или итоги внедрения результатов НИР  

Результаты исследований включены в учебные курсы логики, философии языка, истории философии,  теории языка, кросс-культурной прагматики, современного русского языка, формального представления естественного языка, корпусных методов исследования языковых процессов, формальной и экспериментальной прагматики, формальной эпистемологии, философии и научно-исследовательский семинар «Логика, эпистемология и методы философского исследования». Проблематика исследований отражена в тематике квалификационных работ студентов и аспирантов образовательных программ факультета гуманитарных наук НИУ ВШЭ. С отличием (cum laude) защищена кандидатская диссертация "Учение Уильяма Оккама о суппозиции и сигнификации" (А. О. Копылова, научный руководитель: Е.Г. Драгалина-Черная).

Публикации по проекту:


Zardini E. First-Order Tolerant Logics // Review of Symbolic Logic. 2018. 
Pietarinen A. Conjectures and abductive reasoning in games // IfCoLoG Journal of Logics and their Applications. 2018. Vol. 5. No. 5. P. 1121-1143. doi
Vasyukov V. L. Quantum categories for quantum logic // Логические исследования. 2019. Vol. 25. No. 1. P. 70-87. doi
G. L. B. W. Commitments continued // Theoretical Linguistics. 2019. Vol. 45. No. 1-2. P. 111-125. doi
Копылова А. О. Пустые термины в логике У. Оккама: к чему отсылают химеры // Логические исследования. 2019. Т. 25. № 1. C. 52-70. 
Mendez M. J. L. What counts as "a" sound and how "to count" a sound. The problems of individuating and identifying sounds // Synthesis Philosophica. 2019. Vol. 2. 
Ma Minghui, Pietarinen A. A Graphical Deep Inference System for Intuitionistic Logic // Logique et Analyse. 2019. Vol. 245. P. 73-114. doi
Chiffi D., Pietarinen A. Risk and Values in Science: A Peircean View // Axiomathes. 2019. Vol. 29. No. 4. P. 329-346. doi
Carrara M., Chiffi D., Florio C. D., Pietarinen A. We don’t know we don’t know: asserting ignorance // Synthese. 2019. doi
Гладышев М. А. Теоретико-игровой подход к определению конвенций Д. Льюиса и проблема выбора равновесия, in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва. Москва : Современные тетради, 2019. С. 11-13. 
Dragalina-Chernaya E. Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality, in: Philosophy of Logic and Mathematics. Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin : De Gruyter, 2019. С. 197-212. 
Драгалина-Черная Е. Г. Внутренние отношения в логическом пространстве Витгенштейна, in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва. Москва : Современные тетради, 2019. С. 103-104. 
Золин Е. Е. Соответствие на счетных структурах и запросы к теориям, in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва. Москва : Современные тетради, 2019. С. 24-26. 
Kuhn J., Lena P. Negative concord in Russian Sign Language (RSL), in: Theoretical Issues in Sign Language Research Conference: Conference Handbook., 2019. С. 300-302. 
Zevakhina N., Pasalskaya E. Number is redundant: Evidence from reference production // Applied Psycholinguistics. 2020. 
Maksudova-Eliseeva G. Logical aliens and where to find them // Логические исследования. 2020. Vol. 26. No. 2. P. 160-175. doi
Kuhn J., Lena P. Negative Concord in Russian Sign Language // Natural Language and Linguistic Theory. 2020.