CC BY
0Логические исследования 2024. Т. 30. № 1. С. 104-129 УДК 16
Logical Investigations 2024, Vol. 30, No. 1, pp. 104-129 DOI: 10.21146/2074-1472-2024-30-1-104-129
Обзоры
Reviews
В.Г. Денисова, М.М. Легейдо, Е.Н. Лислнюк, Л.С. СироткинА
Обзор международной научной конференции «XIII Смирновские чтения по логике»*
Виктория Геннадьевна Денисова
Национальный исследовательский университет «Высшая школа экономики». Российская Федерация, 101000, г. Москва, ул. Мясницкая, д. 20. E-mail: [email protected]
Мария Михайловна Легейдо
Московский государственный университет им. М.В. Ломоносова. Российская Федерация, 119991, г. Москва, Ломоносовский пр-т, д. 27, корп. 4. E-mail: [email protected]
Елена Николаевна Лисанюк
Институт философии РАН.
Российская Федерация, 109240, г. Москва, ул. Гончарная, д. 12, стр. 1. Национальный исследовательский университет «Высшая школа экономики». Российская Федерация, 101000, г. Москва, ул. Мясницкая, д. 20. E-mail: [email protected]
Людмила Сергеевна Сироткина
Балтийский федеральный университет им. И. Канта.
Российская Федерация, 236041, г. Калининград, ул. Александра Невского, д. 14. E-mail: [email protected]
Аннотация: В статье кратко освещается прошедшая в июне 2023 года международная научная конференция «XIII Смирновские чтения по логике». Предлагаются аннотации докладов, прочитанных на пленарном заседании и в рамках заседаний секций «Символическая логика», «Философская логика», «Логика научного познания» и «История логики».
* Исследования Е.Н. Лисанюк поддержаны РНФ, проект № 20-18-00158 «Формальная философия аргументации и комплексная методология поиска и отбора решений спора», реализуемый в Санкт-Петербургском государственном университете.
© Денисова В.Г., 2024 © Легейдо М.М., 2024 © Лисанюк Е.Н., 2024 © Сироткина Л.С., 2024
Ключевые слова: Смирновские чтения, символическая логика, философская логика, логика научного познания, история логики, обзор
Для цитирования: Денисова В.Г., Легейдо М.М., Лисанюк Е.Н., Сироткина Л.С. Обзор международной научной конференции «XIII Смирновские чтения по логике» // Логические исследования / Logical Investigations. 2024. T. 30. № 1. С. 104-129. DOI: 10.21146/2074-1472-2024-30-1-104-129
Традиционно каждые два года при участии сектора логики Института философии РАН, философского факультета МГУ имени М.В. Ломоносова и Института логики, когнитивистики и развития личности проходят «Смирновские чтения по логике» - международная научная конференция, посвященная памяти выдающихся ученых Московского университета в области логики, методологии и философии науки Владимира Александровича и Елены Дмитриевны Смирновых. Конференция состоит из нескольких секций: символическая логика, философская логика, история логики и логика научного познания.
1. Пленарные заседания
Пленарное заседание1 конференции прошло 22 июня 2023 г. и состояло из семи докладов, каждый из которых вызвал оживленную дискуссию, председателем первой части пленарных докладов выступил В.И. Маркин. Перед выступлениями докладчиков выступил А.П. Козырев2. Он поприветствовал участников и пожелал продуктивной работы на конференции.
Первый доклад под названием «Трюк Крипке и разрешимость мона-дических фрагментов модальных и суперинтуиционистских предикатных логик» представил М.Н. Рыбаков3. Доклад был подготовлен совместно с Д.П. Шкатовым4. Был рассмотрен так называемый «трюк Крипке»: возможность в классических формулах первого порядка бинарную букву смоделировать с помощью двух унарных: достаточно заменить формулы вида P(x,y) формулами вида Л Q2(y)). Были описаны условия, при ко-
торых возможно применить трюк Крипке, а также нарушения, которые происходят при несоблюдении этих условий. Автором были рассмотрены
1 Запись пленарного заседания доступна по ссылке: https://www.youtube.com/watch? v=ZfXaoB59YF4&t=21818s
2Алексей Павлович Козырев - к.филос.н., доцент кафедры истории русской философии философского факультета МГУ имени М.В. Ломоносова, и.о. декана философского факультета.
3Михаил Николаевич Рыбаков - к.физ.-мат.н., доцент факультета математики НИУ ВШЭ, доцент кафедры функционального анализа и геометрии математического факультета Тверского государственного университета.
4Дмитрий Петрович Шкатов - к.филос.н., преподаватель Витватерсрандского университета, Йоханнесбург, ЮАР.
вариации трюка Крипке и возможности его применения в модальных и суперинтуиционистских предикатных логиках. Кроме того, обсуждались ситуации, когда применить трюк Крипке невозможно. В дискуссии после доклада участвовали Ю.В. Ивлев и В.Б. Шехтман. Были заданы вопросы о возможных применениях данного метода в модальных логиках.
Следующим пленарным докладом стало выступление Д.С. Шамкано-ва5 «О циклических и нефундированных выводах», посвященное обзору современных исследований в этой области. Современные исследования по структурной теории доказательств естественно приводят к рассмотрению формальных выводов, содержащих те или иные «круги», или циклы. Такие формальные выводы возникают при рассмотрении логик доказуемости, а также при рассмотрении систем, схватывающих различные аспекты рассуждений по индукции. В докладе также было рассказано о циклических выводах, которые можно встретить в логике доказуемости Гёделя-Лёба GL. После доклада Н.Н. Непейвода указал на то, что в математике подобного рода выводы широко известны и применяются в системе AGDA. В дискуссии также поучаствовали В.И. Шалак и В.Б. Шехтман.
Четвертый пленарный доклад был прочитан Л.Ю. Девяткиным6 на тему: «Многозначные пропозициональные исчисления и замкнутые классы функций». Доклад был посвящен двум направлениям в многозначной логике: Я. Лукасевича и Э. Поста. Были рассмотрены теория пропозициональных исчислений и теория замкнутых классов, а также связь между ними. Отдельно была затронута тема степени максимальности в отдельных трехзначных логиках. После доклада К.И. Бахтияров задал вопрос об особенности четырехзначной логики Лукасевича и ее выделенных значениях.
Вторая часть пленарного заседания, председателем которой выступил В.И. Шалак, началась с доклада И.Б. Микиртумова7 «Фиктивные объекты и возможные миры». В докладе обсуждался статус фиктивных объектов в альтернативных возможных мирах. Были рассмотрены два способа задания возможных миров и показано, что при задании фиктивного объекта действует имагинативное de re. Автором доклада был сделан вывод о том, что в рассуждении о фиктивных объектах de re либо присутствует пресуппозиция сохранения когнитивных способностей идентифицирующего агента, либо фиктивный объект дан de dicto, то есть не является объектом. В дискуссии после доклада приняла участие В.Г. Денисова, которая
5Данияр Салкарбекович Шамканов - к.физ.-мат н., доцент факультета математики НИУ ВШЭ; базовой кафедры Математического института имени В.А. Стеклова РАН.
6 Леонид Юрьевич Девяткин - к.филос.н., старший научный сотрудник сектора логики Института философии РАН.
7Иван Борисович Микиртумов - д.филос.н., доцент, Русское общество истории и философии науки.
прокомментировала содержание выступления с точки зрения когнитивно-поведенческой психотерапии. После обсуждения возможных практических приложений результатов доклада в психотерапии свои вопросы также задали Д.А. Синицкий и Ю.В. Ивлев.
Доклад Е.Г. Драгалиной-Черной8 «Обобщенные кванторы: от абстрактной теории моделей к обыденным рассуждениям» был посвящен тезису Тарского о том, что «наша логика даже не логика экстенсионала, она логика чисел, числовых отношений». Был представлен анализ оснований и ограничений этого тезиса для теории обобщенной квантификации в абстрактной теории моделей и в нейропсихологических исследованиях обыденных рассуждений. В докладе были рассмотрены обобщенные кванторы Мостовского и абстрактная теория моделей. Синицкий Д.А. задал вопрос о возможном усилении тенденции психологизма в логике и математике. Автор доклада ответила словами Е.Д. Смирновой, что данные психологии нельзя использовать для обоснования, но можно использовать для верификации, и что без психологии логика сливается с математикой. В.И. Маркин прокомментировал особое понимание Фреге предикатов и различие между предикатами второго порядка и кванторами у Тарского и Фреге. В дискуссии также поучаствовали И.В. Микиртумов и В.Г. Денисова.
Последним пленарным докладом стало выступление А.А. Беликова9 на тему: «Об устранении гиперконнексивности в коннексивной логике С». Доклад был посвящен логическим системам, в которых справедливы не только тезисы Боэция, но и их противоположности. В докладе был предложен довольно простой способ избежать гиперконнексивности в семантических построениях логик, а именно модификация подхода Вансинга таким образом, чтобы можно было получить интуитивно приемлемую семантику для мезо-коннективных логик без гиперконнексивности. В дискуссии после доклада поучаствовали Д.А. Синицкий, Л.Ю. Девяткин и Ю.В. Ивлев.
2. Символическая логика
Заседания секции «Символическая логика» проходили 23 июня, и всего было заслушано десять докладов. Председателем первого заседания выступил О.М. Григорьев.
Первым выступил Е.В. Борисов10 с докладом «Нестандартные семантические свойства СРЬ». В докладе были описаны синтаксис и семантика
8Елена Григорьевна Драгалина-Черная - д.филос.н., профессор Школы философии и культурологии НИУ ВШЭ, заведующая лабораторией, главный научный сотрудник Международной лаборатории логики, лингвистики и формальной философии.
9 Александр Александрович Беликов - к.филос.н., старший преподаватель кафедры логики философского факультета МГУ имени М.В. Ломоносова.
10Евгений Васильевич Борисов - д.филос.н., Институт философии и права СО РАН.
разработанной автором модальной логики первого порядка, отображающей кросс-мировую предикацию (CPL). Показано, что CPL имеет ряд необычных семантических свойств, одно из которых не позволяет использовать стандартное правило обобщения при ее аксиоматизации.
В докладе И.А. Горбунова11 «Теории и их образы при подстановках» была рассмотрена лемма Сушко: для всякой теории C(X) и любой подстановки е множество £-lC(X) - прообраз теории C (X) при подстановке е, является теорией. При этом для образа теории при некоторой подстановке аналогичное утверждение в общем случае неверно. Целью доклада был поиск контрпримера тому, что образ теории при подстановке является теорией.
Доклад С.И. Башмакова12 и К.А. Смелых13 «Семантика CTLK» был посвящен многоагентной логике деревьев вычислений - Computation Tree Logic with Knowledge. Каждый агент является носителем собственного вычислительного маршрута определенной на модели задачи (формулы), а новые ветвления возможных вычислительных маршрутов порождают новых агентов. В докладе была представлена реляционная семантика Крипке, описаны свойства отношений CTLK-фрейма, формульная характеризация некоторых свойств отношений, а также показана финитная аппроксимируемость данной логики.
Следующим был доклад В.В. Долгорукова14 «Тезис Кобэма-Эдмондса с точки зрения параметризованной теории сложности вычислений». Данный тезис утверждает, что задача должна считаться нетрудноразрешимой, если существует алгоритм, который позволяет решить эту задачу с полиномиальными затратами по времени. Однако, как подчеркнул автор доклада, данный тезис сталкивается с затруднениями эпистемологического характера: целый ряд успешно решаемых на практике когнитивных задач относится к трудноразрешимым сложностным классам. В выступлении был предложен способ решения данного затруднения: переформулировка тезиса Кобэма-Эдмондса средствами параметризованной теории вычислительной сложности.
11 Игорь Анатольевич Горбунов - к.физ.-мат.наук, доцент кафедры функционального анализа и геометрии математического факультета Тверского государственного университета.
12Степан Игоревич Башмаков - к.физ.-мат.н., доцент кафедры алгебры и математической логики Института математики и фундаментальной информатики Сибирского федерального университета.
13Кирилл Александрович Смелых - студент Института математики и фундаментальной информатики Сибирского федерального университета.
14Виталий Владимирович Долгоруков - к.филос.н., доцент Школы философии и культурологии НИУ ВШЭ, заместитель заведующего Международной лабораторией логики, лингвистики и формальной философии.
Завершило первую часть заседаний секции «Символическая логика» выступление Т.Ю. Зверевой15 с докладом «Ступенчатая логика знания LTK.sl: семантическое описание и свойство финитной аппроксимируемости». В докладе была рассмотрена линейная ступенчатая модальная логика знаний агентов LTK.sl. Для данной системы были получены семантическое описание, описание свойств LTK.sl-фреймов и получена формульная характеризация этих свойств через модальные формулы в логике.
Первым докладом второй части заседания секции, председателем которой выступила Н.Е. Томова, стало выступление Н.Н. Непейводы16 - «Ме-талогика комбинирования многозначных логик оценок». В докладе была рассмотрена металогика для комбинирования различных логик Т-норм и ее применение в медицине. Во врачебной практике все время возникает проблема неопределенности и нечеткости высказываний и данных. Теоретически адекватна была бы здесь мультимодальная логика, но ее системы, отмечает автор доклада, отличаются большой вычислительной сложностью. По этой причине было решено воспользоваться логикой на базе T-норм, вариант которой естественно интерпретируется в многомерной системе предпочтений.
Доклад А.Ю. Коновалова17 «Некорректность базисной арифметики относительно строгой примитивно-рекурсивной реализуемости для языка базисной логики» был посвящен доказательству того, что базисная арифметика BA некорректна относительно строгой примитивно-рекурсивной реализуемости для языка базисной логики.
В докладе И.И. Мухаметшиной18 «Выразительные возможности А-оператора и поссибилистских кванторов в модальных логиках первого порядка» сравнивались выразительные возможности двух языков перво-порядковой модальной логики: первый содержит А-оператор и актуалист-ские кванторы, а второй не содержит А-оператор, но содержит два вида кванторов (актуалистские и поссибилистские) и предикат равенства. Был предложен перевод с первого языка на второй, сохраняющий истинностное значение, и показано, что обратного перевода не существует.
15 Татьяна Юрьевна Зверева - аспирантка кафедры алгебры и математической логики Института математики и фундаментальной информатики Сибирского федерального университета.
16Николай Николаевич Непейвода - д.физ.-мат.н., главный научный сотрудник ИПС им. А.К. Айламазяна РАН.
17Александр Юрьевич Коновалов - к.физ.-мат.н., младший научный сотрудник Лаборатории математических проблем искусственного интеллекта механико-математического факультета МГУ имени М.В. Ломоносова.
18Индира Исканедровна Мухаметшина - студентка философского факультета Национального исследовательского Томского государственного университета.
Выступление Ю.М. Сметанина19 «Решение задачи Буля в силлогистике Ls2» было посвящено указанной задаче, областью интерпретации которой являются дискретные диаграммы Венна. Модельные множества и универсум представлены множествами неотрицательных целых чисел, что позволяет легко рассчитывать диаграммы на компьютере, наглядно их изображать и модифицировать.
С последним докладом секции «Символическая логика» - «Тезис Суш-ко в семантике самореферентных предложений» выступил В.А. Степанов20. В докладе была последовательно представлена многозначная логика через аппроксимацию самореферентных предложений динамическими системами, что привело к философской точке зрения, известной как тезис Сушко. Были показаны трехзначные таблицы истинности, соответствующие сильным трехзначным таблицам Клини-Приста.
3. Философская логика
Заседания секции «Философская логика» прошли 23 и 24 июня, председателем первого заседания выступил В.Л. Васюков.
Открыл работу секции доклад А.Г. Кислова21 «Деонтическая характеристика действий без парадокса А. Росса», в котором предлагалось рассмотреть несколько версий определений деонтических характеристик действий, основывающихся на семантике пропозициональной динамической логики. Одно из них, комплексное по своей природе, позволяет избежать известного для исследований по деонтической логике парадокса А. Росса.
В докладе Ю.В. Ивлева22 «Эмпирическое и теоретическое знания в логике» было показано различие эмпирического и теоретического знания на примере логики. Основная особенность теоретического знания - моделирование объектов познания. Модель в чем-то сходна с моделируемым объектом и в чем-то его искажает для упрощения познания.
19Юрий Михайлович Сметанин - к.физ.-мат.н., доцент, заведующий кафедрой математического анализа Института математики, информационных технологий и физики Удмуртского государственного университета.
20 Владимир Алексеевич Степанов - научный сотрудник, Вычислительный центр имени А.А. Дородницына РАН.
21 Алексей Геннадьевич Кислов - к.филос.н., доцент, заведующий кафедрой онтологии и теории познания Департамента философии Уральского государственного университета.
22Юрий Васильевич Ивлев - д.филос.н., профессор кафедры логики философского факультета МГУ имени М.В. Ломоносова.
Следующим был доклад И.Ю. Слюсарева23, подготовленный совместно с О.М. Григорьевым24 и А.А. Беликовым «О проблеме симуляции отрицаний в паранепротиворечивых и параполных логиках». В докладе была рассмотрена возможность семантического моделирования таких унарных связок, чья двойная итерация была бы способна симулировать свойства других хорошо известных унарных связок: классического, паранепротиворечивого и параполного отрицаний.
Н.Е. Томова25 в своем докладе «О критериях паранепротиворечиво-сти и параполноты логик» рассмотрела различные аспекты, связанные с определениями паранепротиворечивости и параполноты логик, взаимосвязь различных определений и случаи их эквивалентности. Были отмечены определенные параллели и аналогии в определениях параполных и паранепротиворечивых логик.
Доклад В.В. Задорина26 и И.Г. Томаревой27 «В.А. Смирнов о рекур-сивности понятия предложения» был посвящен позиции В.А. Смирнова о рекурсивности или рекурсивной перечислимости понятия предложения -она помещается в ближайший контекст истории логики и науки в целом. Было рассказано о хронологии ряда публикаций, предшествующих формированию этой позиции, в частности, трудов по структурной лингвистике.
Завершил первую часть работы секции «Философская логика» доклад О.В. Черкашиной28 на тему «Отношение независимости и Аристотелевы отношения между высказываниями об п-местных отношениях». В докладе рассматривались логические отношения между высказываниями об п-местных отношениях (п > 1, п - целое число) и была представлена для таких высказываний система, сходная с силлогистикой, а также описаны свойства построенного для них аналога логического квадрата - логического многоугольника.
23Иван Юрьевич Слюсарев - студент философского факультета МГУ имени М.В. Ломоносова.
24Олег Михайлович Григорьев - к.филос.н., доцент кафедры логики философского факультета МГУ имени М.В. Ломоносова.
25Наталья Евгеньевна Томова - к.филос.н., старший научный сотрудник сектора логики Института философии РАН.
26Вячеслав Владимирович Задорин - к.филос.н., доцент кафедры социологии, общей и юридической психологии.
27Ирина Геннадиевна Томарева - преподаватель ЦЛиПК ИПНБ РАНХиГС.
28Оксана Викторовна Черкашина - к.юрид.н., Московский центр исследования сознания.
Второе заседание секции, председателем которого выступила Е.Г. Драгалина-Черная, открыл доклад Н.И. Стешенко29 «Автоматическое порождение гипотез и индуктивные рассуждения (70-80 гг. ХХ в.)». Доклад был посвящен описанию GUHA-метода (General Unary Hypotheses Automaton) автоматического порождения гипотез в исследованиях по искусственному интеллекту в 70-80 гг. ХХ в.
Доклад А.А. Овчинниковой30 «На пути к решению проблемы Гича» был посвящен проблеме интенционального тождества, которую впервые сформулировал П. Гич. Однако его пример порождает неадекватные следствия в процессе формализации. В докладе была реконструирована его теория квантификации по аспектам, на основе которой можно сформулировать решение проблемы, и было показано, почему подход Гича не справляется с поставленной задачей.
В докладе М.А. Смирнова31 «О видах отрицания de re» была показана необходимость разграничения двух видов отрицания как операции de re. Один вид, обозначенный как «универсальное отрицание», в теоретико-множественной семантике связывается с операцией взятия дополнения множества. Другой вид, обозначенный как «классовое отрицание», обладает иной семантической природой. Была предложена семантическая структура, не основывающаяся на теории множеств, позволяющая зафиксировать и исследовать свойства классового отрицания.
Следующим был доклад А. Гынгова32 «Принцип телеологической кру-говости в философской логике континентальной традиции», посвященный указанному принципу, обоснованному и проявляющемуся в работах по философской логике основных представителей континентальной традиции. Были рассмотрены: фундаментальный круг с телеологическим значением при развертывании категорий в спекулятивной логике Гегеля, структура круга при движении от абстрактного к конкретному всеобщему и от особенного к всеобщему в диалектической логике капитала по Марксу и другие примеры.
Закрывали первый день работы секции «Философская логика» два доклада на английском языке: "Anti-Diodorean Quantum Spacetime Logic"
29Николай Иванович Стешенко - к.филос.н., доцент кафедры философии и методологии науки Института философии и социально-политических наук Южного федерального университета.
30 Анна Александровна Овчинникова - стажер-исследователь в Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ.
31 Михаил Алексеевич Смирнов - Межрегиональная общественная организация «Русское общество истории и философии науки».
32Александр Гынгов - PhD, профессор, заведующий кафедрой логики, этики и эстетики Софийского университета «Святого Климента Охридского», София, Болгария.
В.Л. Васюкова33, посвященный анти-диодоровой логике, в которой временные понятия трактуются как модальные; и доклад "Empty validity all the way up: an easy road" Л.Э. Гонсалеса34 и К.Р. Родригеса35, посвященный различию в определениях пустых логик.
Председателем последнего заседания секции, прошедшего 24 июня, выступил И.В. Микиртумов, и было заслушано пять докладов. Открыл работу секции доклад В.И. Маркина36 «Критерии полноты для множества силлогистических констант». Сами эти константы понимаются как знаки отношений между двумя непустыми множествами. Были введены понятия выразимости силлогистической константы в «локальном» языке, содержащем лишь некоторые из таких констант, и полноты множества исходных констант «локального» языка. Были сформулированы критерии полноты произвольного множества силлогистических констант.
Доклад В.И. Шалака37 «Обобщение тьюринговой модели вычислимости» был посвящен логическому анализу целенаправленного поведения, которое приводит к построению абстрактной Т-машины, являющейся обобщением машин Тьюринга и способной вычислять функции, невычислимые на обычных машинах. С философской точки зрения получается распространение алгоритмических понятий на многие явления живой природы.
Следующим было выступление В.О. Шангина38 с докладом «Об определении правдоподобных следований», посвященное способам определения правдоподобных следований, которые входят в отечественные учебники по философской логике (Бочарова В.А., Маркина В.И., Войшвилло Е.К., Дегтярева М.Г. и Ивлева Ю.В.).
В докладе А.В. Пыльцина39 «Обобщенные правила вывода и теоретико-доказательственные свойства натуральных исчислений» были рассмотрены подходы различных авторов к исследованию теоретико-доказатель-
33Владимир Леонидович Васюков - д.филос.н., профессор, ведущий научный сотрудник сектора логики и заведующий кафедрой истории и философии науки Института философии РАН.
34Луис Эстрада Гонсалес - PhD, научный сотрудник факультета философии и литературы Национального автономного института Мексики.
35 Кристиан Ромеро Родригес - аспирант-исследователь факультета философии и литературы Национального автономного института Мексики.
36Владимир Ильич Маркин - д.филос.н., профессор, заведующий кафедрой логики философского факультета МГУ имени М.В. Ломоносова.
37Владимир Иванович Шалак - д.филос.н., руководитель сектора логики Института философии РАН.
38Василий Олегович Шангин - к.филос.н., доцент кафедры логики философского факультета МГУ имени М.В. Ломоносова.
39 Артур Витальевич Пыльцин - аспирант кафедры логики философского факультета МГУ имени М.В. Ломоносова.
ственных свойств натуральных исчислений, содержащих в себе так называемые обобщенные правила вывода, описаны преимущества и недостатки таких систем.
Закрывал работу секции «Философская логика» доклад А.С. Бобровой40 на тему «Теория графов Пирса и теория ментальных моделей: история взаимодействия». В докладе была описана связь между теорией ментальных моделей и теорией экзистенциальных графов, теории комбинирования и исключения моделей. Первая часть выступления была посвящена ответу на вопрос, почему теория экзистенциальных графов является источником теории ментальных моделей, в то время как вторая часть - почему она до сих пор может быть полезна для этой психологической теории.
4. Логика научного познания
В рамках международной конференции «XIII Смирновские чтения по логике» состоялись три заседания секции «Логика научного познания», в которых участвовали более 30 ученых из Москвы, Санкт-Петербурга, Калининграда, Воронежа. В ходе работы секции было заслушано 17 докладов. Большинство докладчиков и слушателей составили постоянные участники Смирновских чтений. Заседания секции проходили онлайн.
Первое заседание секции под названием «Логика и аргументация» состоялось 23 июня и было посвящено обсуждению исследований научного коллектива проекта РНФ № 20-18-00158 «Формальная философия аргументации и комплексная методология поиска и отбора решений спора». Модерировала заседание руководитель проекта Е.Н. Лисанюк41. Было заслушано 8 докладов.
В докладе Е.Н. Лисанюк «Два режима работы алгоритма поиска и отбора решений спора и «псевдоистинность» А.Н. Колмогорова в анализе аргументации» был представлен способ устранения некоторых затруднений в трехэтапном алгоритме поиска и отбора решений в аргументативном споре. Затруднения касались унификации проверки обоснованности и корректности демонстративных и недемонстративных аргументов, а также полноты критических вопросов к аргументам относительно их способов демонстрации и схем аргументации. Трехэтапный алгоритм поиска и отбора решений спора использует дунговы фреймы аргументации для ее визуализации
40Ангелина Сергеевна Боброва - к.филос.н., доцент, ведущий научный сотрудник Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ.
41 Лисанюк Елена Николаевна - д.филос.н., ведущий научный сотрудник Института философии РАН, профессор Национального исследовательского университета «Высшая школа экономики».
и поиска исходов спора, совместно с методикой критических вопросов, генерируемых относительно схем аргументации аргументов, а также вычислительные семантики - для отбора решений спора из его исходов. Суть доклада состояла в разделении работы алгоритма на два режима. Первый режим ограничивается проверкой обоснованности аргументов, то есть истинности посылок и поддержки ими заключения, а оценка приемлемости аргумента относительно конкретных схем или способа демонстрации, то есть «псевдоистинности» - в терминах А.Н. Колмогорова, составляет задачу второго режима, уточняющего корректность аргументов. В дискуссии по докладу Боброва А.С. и Зайцев Д.В. подняли вопрос о том, каким образом подразумеваемая в алгоритме оценка аргументов учитывает развиваемую в неформальной логике трехкомпонентную оценку аргументов как приемлемых, релевантных и достаточных. Лисанюк Е.Н. указала на два отличия. Во-первых, оценка аргументов в неформальной логике сводится к оценке отдельных аргументов, а в трехкомпонентном алгоритме является частью поиска и отбора решений спора, и, во-вторых, предлагаемые два режима позволяют отказаться от идеала дедуктивной корректности в оценке аргументов.
Зайцев Д.В.42 в докладе «К построению логики не-следования» наметил синтаксический подход формальной экспликации отношения следования по модулю. По его мнению, решение такой задачи требует введения особого отношение невыводимости и его аксиоматизации. Один вариант формальной экспликации аргументативного следования ранее был получен на основе так называемых «рассуждений по модулю», когда заключение следует из множества посылок при условии принятия определенных дополнительных условий. Другой вариант представляет его как трехместное семантическое отношение следования по модулю на синтаксическом уровне в виде комбинации двух отношений - классической выводимости и невыводимости. В дискуссии по докладу обсуждались вопросы связи между предложенными подходами к логике не-следования и немонотонной логикой, а также другими недедуктивными формализмами. Докладчик отметил, что развиваемые им варианты решения формальной экспликации аргументативного следования нуждаются в уточнении.
Беликов А.А.43 в докладе «О понятии аргумента в контексте структурированной аргументации» представил обобщенное понятие аргумента,
42Зайцев Дмитрий Владимирович - д.филос.н., профессор Московского государственного университета.
43Беликов Александр Александрович - к.филос.н., старший преподаватель Московского государственного университета.
которое дает возможность в рамках теории структурированной аргументации формализовать аргументы, имеющие форму непрямых рассуждений -сложных рассуждений, составленных из нескольких единичных умозаключений. Докладчик рассмотрел несколько подходов к формальному анализу аргументации, включая дунговы фреймы, которые абстрагируются от разграничения между единичными и непрямыми аргументами. В отличие от этого, определение аргумента, используемое в рамках структурированной аргументации, не позволяет формализовать аргументы, имеющие вид непрямых рассуждений. При помощи обобщенного понятия аргумента Беликов А.А. выдвинул новые определения отношений между аргументами, призванные обогатить методологию оценки аргументации. Развиваемый А.А. Беликовым формализм вызвал оживленную дискуссию. Д.филос.н. проф. В.И. Маркин интересовался, связан ли он с предложенной проф. Ивлевым Ю.В. концепцией разграничения между формальным умозаключением и неформальным рассуждением, представляющим, по сути, сложное умозаключение. Проф. Зайцев Д.В. указал на некоторые шероховатости базовых определений и постулатов, а Лисанюк Е.Н. подняла вопрос о семантике формализма.
В докладе «Когда картинки работают как аргументы?» Боброва А.С.44 представила примеры визуальной аргументации и указала на затруднения ее анализа. Уточнив понимание визуального аргумента и показав, каким образом его толкования позволяют работать с различными техниками оценки аргументов, докладчица отметила главную особенность визуальных аргументов - это не статичные, а движущиеся картинки, так как именно движение дает возможность увидеть схему аргумента, и, значит, анализировать и оценить его. Успехи в изучении визуальной аргументации позволили теории аргументации сформулировать идею мультимодального аргумента, передаваемого через любую систему знаков, которыми может оперировать человек в силу своих органов чувств. Базовые представления семиотики этому процессу не противоречат, но судить о результатах на этой ранней стадии становления нового направления пока сложно. В дискуссии по докладу обсуждались вопросы перевода визуальной аргументации в текстовую, включая движущиеся картинки, а также проблемы интерпретации картинок как аргументов в целом. Денисова В.Г. предложила для обсуждения произведение фотоискусства «Логика рук» в контексте визуальной аргументации.
44Боброва Ангелина Сергеевна - к.филос.н., доцент РГГУ и НИУ «Высшая школа экономики».
Денисова В.Г.45 в докладе «Аргумент как элемент метакогнитивно-го процесса» рассмотрела аргумент как часть метакогнитивного процесса агента и предложила расширить понимание аргумента в связи с результатами когнитивных наук. Докладчица оценила применимость различных понятий об аргументе для работы с руминациями - повторяющимися автоматическими мыслями у пациентов с депрессией, в рамках когнитивно-поведенческих психотерапевтических сессий. Денисова В.Г. трактовала аргумент как элемент метакогнитивных процессов, под которыми понимается познавательная деятельность человека, направленная на собственную психику, и обосновывала тезис о том, что метакогнитивный взгляд на аргумент является новой трактовкой по сравнению с описанными Е.Н. Лисанюк тремя трактовками аргумента. Денисова В.Г. планирует использовать полученные результаты для диагностики и терапии депрессивного расстройства и видит актуальность изучения аргументации как части метакогни-ций, а именно «мышления о мышлении», в связи с исследованиями в психологии и психиатрии. Зайцев Д.В. интересовался отличием когнитивной терапии от метакогнитивной терапии, а также ролью психотерапевта в процессе выдвижения и оспаривания тех или иных аргументов. В дискуссии затрагивались вопросы сходства и различия между психологизмом в логике в XIX в. и современным новым психологизмом.
Карпов Г.В.46 в докладе «Мультимодальные аргументы: автоматизм, перевод и способ обращения» обратился к сложностям, с которыми сталкивается теория аргументации, когда пытается анализировать и оценивать мультимодальные аргументы - убеждающие конструкции, объединяющие написанный текст, звучащую речь, визуальные и иные элементы. Он усомнился как в оптимизме исследователей мультимодальной аргументации, так и в пессимизме критиков этого направления. По его мнению, первые ошибочно полагают, что с такого рода аргументами можно работать как и со всеми прочими, так как их можно выразить в языке, осуществив перевод модального компонента в привычный, вербальный, а вторые ошибочно отметают такого рода аналитическую работу, объявляя ее невозможной на том основании, что невозможен полный перевод модальной составляющей. Докладчик предложил взгляд на мультимодальный аргумент, исходящий из его оценки в духе вопросно-ответных протоколов. В дискуссии Зайцев Д.В. интересовался подробностями предлагаемых процедур
45 Денисова Виктория Геннадьевна - магистр наук по логике (Университет Амстердама), аспирант, стажер-исследователь Национального исследовательского университета «Высшая школа экономики».
46Карпов Глеб Викторович - к.филос.н., старший преподаватель, заведующий Кафедрой логики Санкт-Петербургского Государственного Университета.
оценки аргументов, В.Г. Денисова - применимостью визуальной аргументации для маркетинговых целей в социальных сетях. Прозвучали скептические оценки в отношении применимости указанных протоколов на практике. Е.Н. Лисанюк предложила организовать обсуждение тематики визуальной аргументации в рамках форума «Дни философии в Санкт-Петербурге» в ноябре 2023 г.
Фролов К.Г.47 в докладе «Формальные модели мета-аргументации» представил модель расширенной структуры аргументации С. Модгила (S. Modgil), позволяющую выражать атаки со стороны мета-аргументов на атаки между аргументами объектного уровня. Отличительные особенности данного подхода таковы: 1) возможность для одного и того же аргумента выступать в качестве аргумента объектного уровня в рамках одних атак и в качестве мета-аргумента в рамках других атак; 2) возможность для атаки быть «убитой» при том, что и атакующий, и атакуемый аргументы могут остаться «живы». В дискуссии по докладу обсуждались вопросы оценки повторяющихся в споре аргументов, на которых настаивают их авторы, а также разграничения между уровнями аргументации, особенно в контексте предвзятости сторон.
Завершал заседание доклад Микиртумова И.Б.48 «Паттерны аргументации в спорах о повестке». Согласно развиваемой им концепции, споры о повестке представляют собой первый этап коммуникации, вторым является спор по существу, третьим - делиберация о решении. Спор о повестке существенно затрагивает социальный статус сторон, поэтому в этом споре стороны выступают носителями политической субъектности. Паттерны аргументации определяются тем, какие интересы продвигают вопрос в повестку, и складываются из отношений между публичным и частным интересами и интересом самого института делиберации. Отвечая на вопросы, докладчик уточнил особенности выделенных им видов споров и рассказал, какие агенты спора выделяются в связи с паттернами аргументации.
23-24 июня состоялись два заседания секции «Логика научного познания», посвященные актуальным методологическим, теоретическим и прикладным проблемам исследований научного познания. Заседания мо-дерировали д.филос.н. Чалый В.А. (23 июня) и д.филос.н. Ю.В. Ивлев (24 июня). Было заслушано 9 докладов, сконцентрированных в границах двух тематических полей:
47Фролов Константин Геннадьевич - к.филос.н., научный сотрудник Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ.
48Микиртумов Иван Борисович - д.филос.н., профессор Санкт-Петербургской школы гуманитарных наук и искусств НИУ ВШЭ, профессор Санкт-Петербургского Государственного Университета.
1. Общие вопросы методологии научного познания, в т.ч. логико-философских проблем математики (К.И. Бахтияров, С.Н. Жаров, С.Л. Ка-тречко, П.А. Павлухина).
2. Логика естественных дискурсивных процессов и вопросов применения научного и философского инструментария к их анализу (А.А. Ильин, Е.Б. Кузина, Л.С. Сироткина, Д.В. Хизанишвили, В.А. Чалый).
Второе заседание секции «Логика научного познания» открыл доклад К.И. Бахтиярова 49 «Икс-эффект подсознания». Многообразие авторских идей и ассоциаций было сфокусировано вокруг двух центральных утверждений: об универсальности проявлений подсознания; об исключительной роли подсознательных процессов в научном познании, в т.ч. открытии. Придавая огромное значение подсознательным явлениям, докладчик настойчиво проводил оригинальный подход к интерпретации некоторых объектов точных и естественных наук, заключающийся в усмотрении в их знаковых и содержательных контурах проявлений эффектов подсознания.
Доклад К.И. Бахтиярова положил начало вектору анализа вопросов философии математики.
Философия математики на втором заседании секции была представлена докладами С.Н. Жарова50 «Онтологические истоки математики в свете философской феноменологии» и С.Л. Катречко «Геделевская теорема о неполноте Математики: может ли математика (арифметика) быть полной?».
В фокусе внимания С.Н. Жарова были онтологические истоки математики. Проблема, побудившая автора к размышлениям, связана с единством математических структур и структур физической реальности. Докладчик подчеркнул, что общий исток математического и естественно-научного мышления не может быть обнаружен в предметном бытии, в связи с чем основная проблема доклада была оформлена в виде вопроса о том, что собой представляет это общее основание. В ходе доклада автор предложил ракурс рассмотрения проблемы онтологического статуса математики, преодолевающий традиционную оппозицию платонизма-конструктивизма: делая отсылку к философской феноменологии хайдеггеровского типа, докладчик выдвинул гипотезу о том, что в качестве общего истока идей математики и физики выступает бытие в модусе непредметности. С.Н. Жаров подчеркнул, что единым онтологическим источником математики и естествознания, теоретических инноваций в них является гуссерлевский
49Бахтияров Камиль Ибрагимович - д.филос.н., профессор, Российский государственный аграрный университет ТСХА им. К.А. Тимирязева.
50Жаров Сергей Николаевич - д.филос.н., профессор, Воронежский государственный университет.
«жизненный мир», рассматриваемый как горизонт неоформленных бытийных смыслов, способных получить предметное оформление в виде логических структур. Именно в этом горизонте, по мнению докладчика, коренится источник интуиции, играющей огромную роль в математическом познании. Доклад был поддержан К.И. Бахтияровым, в выступлении которого содержались созвучные идеи о роли интуиции в математическом познании.
С.Л. Катречко51 подчеркнул вскрывающееся в условиях постнеклас-сической науки противоречие, которое проблематизирует вопрос о неполноте математики при рассмотрении последней в контексте человеческой деятельности: с одной стороны, теорема Геделя как теоретический конструкт принята научным сообществом, с другой, идея неполноты математики не ограничивает деятельность самих математиков. Анализируя коллизию между формальной неполнотой и прагматической полнотой, автор сформулировал задачу преодоления этого парадокса и предложил стратегию ее решения. Подход, охарактеризованный в докладе, развивается автором в рамках стратегии «ослабления» неполных математических теорий - С.Л. Катречко подчеркнул необходимость «сузить» множество собственно математических предложений, исключив из него самореферентные. Апеллируя к методологии, описанной И. Лакатосом, автор предложил рассматривать такие выражения как «монстров» и применить к ним методы исправления и устранения монстров. Основанием для такой квалификации самореферентных выражений является, согласно позиции докладчика, подход А.С. Есенина-Вольпина, в соответствии с которым дифференцируются формулы и формулоиды как выражения метаязыка, и самореферентные предложения признаются формулоидами. Формулоиды исключаются из множества математических предложений, и обосновывается полнота для оставшейся части математики.
Доклад С.Л. Катречко был поддержан К.Е. Бахтияровым, который одобрил использование методологии «исключение монстров» И. Лакатоса. А.А. Ильин задал вопрос относительно статуса теоремы Гёделя, уточнив, чем подход докладчика отличается от общепринятого.
Доклад П.А. Павлухиной52 (заседание 24 июня) стал финальным в рамках общеметодологического направления работы секции. Автор обратилась к проблеме дифференциальных признаков знания, подчеркнув, что классическое его определение как истинного обоснованного мнения некорректно,
51 Катречко Сергей Леонидович - к.филос.н., доцент, Государственный академический университет гуманитарных наук.
52Павлухина Полина Андреевна - студентка Института философии Санкт-Петербургского государственного университета, исследователь Межрегиональной общественной организации «Русское общество истории и философии науки».
поскольку с концептом «знание» соотносит объекты, таковыми не являющиеся. В этой связи основные идеи доклада были сфокусированы на проблеме Геттиера. Автор отметила, что эта проблема требует разрешения в связи с необходимостью точного определения концепта «знание» и в то же время сама может и должна быть объектом критики, в частности, ее онтологические и семантические предпосылки. Семантические предпосылки докладчик связала с интенсиональностью контекста геттиеровских контрпримеров. Различая de dicto и de re утверждения в контрпримере Гетти-ера, она обратила внимание на неустойчивость примера, рассматриваемого в семантическом ракурсе. П.А. Павлухина подчеркнула, что при анализе проблемы конститутивных признаков знания, в определенном смысле происходит подмена философского анализа концепта «знание» анализом установки «знать, что». В завершение выступления автор отметила открытость проблемы Геттиера и указала, что для ее решения можно предпринять попытки установить ложность ее предпосылок.
Доклад П.А. Павлухиной вызвал дискуссию в развитие идей, высказанных на пленарном заседании И.Б. Микиртумовым: участники заседания подняли проблему валидности дихотомии de re - de dicto применительно к семантическому анализу высказываний естественного языка, включая утверждения о знании. Е.Б. Кузина отметила недостаточность двух позиций для точной оценки семантических свойств высказывания и указала на проблему дифференциации de re установок. В дискуссии рассматривался вопрос о возможности избежать применения бинарного подхода в семантическом анализе.
Проблемы, связанные с использованием естественного языка, составили основное содержание доклада Е.Б. Кузиной53, выступившего своего рода связующим звеном между двумя магистральными тематическими направлениями секции «Логика научного познания» и открывшего третье заседание (24 июня).
Сообщение «О логической реконструкции отрицания в русскоязычных предложениях» было посвящено вопросу о корреляции структур естественного и искусственного языков в аспекте проблемы отрицания. Используя яркий иллюстративный материал, автор охарактеризовала многообразие и многоаспектность естественных отрицаний, вариативность возможных трактовок отрицательных выражений как источник затруднений понимания и интерпретации текстов. Предлагая в качестве инструмента анализа логической макроструктуры естественных высказываний интеррогативный
53Кузина Елена Борисовна - к.филос.н., доцент, Московский государственный университет им. М.В. Ломоносова.
подход, докладчица сформулировала и обосновала тезис о том, что частное отрицание внутри предиката относится ко всему предикату и, таким образом, многообразие естественных отрицаний может быть корректно выражено тремя отрицаниями классической логики.
Доклад Е.Б. Кузиной вызвал дискуссию вокруг проблемы логического анализа языка. Ю.В. Ивлев54 отметил, что важной целью такого анализа является изменение правил языка, и сослался на сформулированное им ранее предложение изменить правила написания частицы «не» с русскими существительными и глаголами. Слитное или раздельное написание, по мнению Ю.В. Ивлева, должно быть дифференцирующим, а определять его должна семантика отрицательного выражения, чтобы отражать это в знаковой форме.
Проблемные аспекты процессов коммуникации были освещены в докладах А.А. Ильина55 «Избыточные ответы и их прагматическая оправданность» и В.А. Чалого56 «Немонотонность в делиберации по первой формуле категорического императива» (заседание 23 июня). Апеллируя к теории вопросов и ответов Ю.В. Ивлева, А.А. Ильин акцентировал внимание на логически правильных и одновременно избыточных ответах. Автор проиллюстрировал разнообразными примерами целесообразность таких ответов в некоторых интеррогативных ситуациях. Докладчик подчеркнул, что избыточные ответы играют особую роль применительно к тенденциозным вопросам, призванным скомпрометировать адресата вопроса: ответ, сообщающий незапрашиваемую в вопросе информацию, способен «обезвредить» тенденциозный вопрос.
Содержание доклада А.А. Ильина вызвало живой интерес слушателей. Л.С. Сироткина интересовалась, можно ли считать корректными неполные ответы на вопросы. Е.Б. Кузина предложила описания конкретных интеррогативных ситуаций и спросила о том, каким образом докладчик оценивает корректность и некорректность вопросов, заданных в этих ситуациях. В ходе совместного анализа эмпирического материала возникла необходимость в прояснении и уточнении некоторых теоретических вопросов. Докладчик подчеркнул, что он не ставил задачи теоретического анализа интеррогации, но сфокусировал внимание на тенденциозных вопросах и значении избыточных ответов на них в выстраивании коммуникации.
54Ивлев Юрий Васильевич - д.филос.н., профессор, Московский государственный университет им. М.В. Ломоносова.
55Ильин Алексей Алексеевич - старший преподаватель, Московский государственный университет им. М.В. Ломоносова.
56Чалый Вадим Александрович - д.филос.н., профессор, Балтийский федеральный университет им. И. Канта.
Проблема расхождения некоторого теоретического положения и практики его применения в сферах практической философии и морального суждения была поднята в докладе В.А. Чалого «Немонотонность в де-либерации по первой формуле категорического императива». Один из ракурсов этой проблемы докладчик связал с невозможностью применения без противоречий кантовского правила моральной делиберации в практическом действии. Разрешение коллизии, по мнению В.А. Чалого, возможно посредством экспликации скрытой немонотонности кантовской модели: немонотонная интерпретация принципа морального действия предполагает, что введение некоторых положений, основанных на учете параметров целостной ситуации практического действия, может менять результирующую оценку действия на противоположную. Применяя метод мысленного эксперимента, автор показал, что немонотонная интерпретация позволяет сохранять максимы в статусе действующих регуляторов делиберативных игр.
Доклад В.А. Чалого явился яркой демонстрацией применения неклассических логических принципов к анализу идей практической философии с целью придания им статуса таких норм философии действий, которые осуществимы в социальных практиках. На анализе естественных дискурсивных практик и естественных мыслительных процессов были сфокусированы два доклада - Л.С. Сироткиной57 , 23 июня, и Д.В. Хизанишвили, 24 июня. В сообщении «Когнитивные стратегии решения силлогистических задач» Л.С. Сироткина изложила результаты исследования, выполненного в рамках экспериментальной логики. Вниманию слушателей была представлена типология вариантов рассуждающего реагирования агентов в ответ на предъявление силлогистической задачи. Продемонстрировав преобладание неформальных способов рассуждений, докладчик охарактеризовала когнитивно значимые параметры задач и описала зависимости актуализации типа стратегии решения от степени содержательной «зашумленности» условия и архитектуры посылок.
Доклад вызвал живой отклик аудитории, было задано большое количество вопросов, значительная часть была нацелена уточнить методику экспериментального исследования. В.Г. Денисова подчеркнула возможное влияние состояния внимательности на успешность решения силлогистических задач и предложила сконструировать тестовые материалы, в которые была бы введена данная переменная. Д.В. Хизанишвили поддержал предложение В.Г. Денисовой и спросил, формировался ли у респондентов первичный опыт решения подобных задач. Е.Б. Кузина заинтересовалась
57Сироткина Людмила Сергеевна - к.филос.н., Балтийский федеральный университет им. И. Канта.
целями и перспективами исследования. Л.С. Сироткина отметила, что перспективы исследования связывает с поиском ответа на вопрос о врожденности силлогистических процедур, по крайней мере, по совершенной первой фигуре.
Закрывал работу секции доклад Д.В. Хизанишвили58 «Имеет ли предвзятость подтверждения функцию?». Критикуя интеракционистскую теорию рассуждений, автор выдвинул тезис о необоснованности утверждения об адаптивной природе предвзятости подтверждения (ПП) и гипотезу о неизбежности ПП в силу ограничений, налагаемых основными архитектурными характеристиками разума. Д.В. Хизанишвили предложил в качестве способа обоснования соответствующего тезиса поиск когнитивных механизмов, лежащих в основе большинства когнитивных процессов человека. Автор выразил согласие с Фестингером в том, что принципами, регулирующими все когнитивные процессы, являются тенденции к уменьшению когнитивных усилий и сохранению когнитивной согласованности. В ходе выступления докладчик высказал мысль о том, что эти два механизма обязательно дают совокупность характеристик, которые обычно ассоциируются с ПП.
Несмотря на значительное разнообразие проблемных полей, в рамках которых ведут исследования докладчики, работа в рамках заседаний секции «Логика научного познания» была дискуссионно насыщенной и, как и в предыдущие годы, весьма плодотворной. Одним из важнейших результатов стала демонстрация возможностей научно-результативного применения новых подходов и методов к изучению хорошо известных и относительно новых объектов и проблем, а также обозначение интересных перспектив, в т.ч. и для научного сотрудничества.
5. История логики
Заседания секции «История логики» проходили 23 июня, председателем первого из них выступила Л.Г. Тоноян. Открыл работу секции доклад В.А. Бажанова59 «О логических интересах Н.И. Лобачевского». Было показано, что Лобачевский был знаком с основами логического знания в изложении И. Кизеветтера, который, в свою очередь, фактически воспроизводил взгляды на логику И. Канта.
58Хизанишвили Давид Васильевич - независимый исследователь, г. Калининград.
59Валентин Александрович Бажанов - д.филос.н., заведующий кафедрой философии факультета гуманитарных наук и социальных технологий Ульяновского государственного университета.
Доклад «Тезисы Насиреддинна Туси об "определении" в трактате "Извлечение из логики"» А.А. Бабаева60 и В.Ф. Меджлумбековой посвящен понятию «определения» в работах выдающегося средневекового мусульманского схоласта Насиреддинна Туси, который систематизировал и комментировал работы Аристотеля.
В докладе Н.Л. Кварталовой61 «Влияние логических идей Бертрана Рассела на развитие логики в Китае» была рассмотрена историческая ситуация, сложившаяся в логике в Китае в начале ХХ в., и основные моменты появления в Китае математической логики, которое произошло в большой степени под влиянием "Principia Mathematica" Б. Рассела и А. Уайтхеда.
Выступление А.В. Коньковой62 с докладом «Суждения о существовании в воображаемой логике Н.А. Васильева» было посвящено варианту рассмотрения суждений воображаемой логики через суждения о существовании. Была сформулирована логическая система ILY, заданы ее язык, семантика, и был предложен аналитико-табличный способ проверки умозаключений.
Доклад С.М. Кусковой63 «Аристотель и логический позитивизм» был посвящен анализу категорий Аристотеля в контексте анализа терминов логического позитивизма. Показано, что проект первой философии Аристотеля удовлетворяет строгим условиям неопозитивистов, отвергающих метафизику.
Последним докладом первой части заседания секции стало выступление О.И. Невдобенко64 с докладом «Логоцентризм, априоризм и возможность познания природы в поэме парменида "О природе"». В докладе был предложен ответ на вопрос «Зачем описывать объект, о котором не может быть истинного знания, а может быть лишь неустойчивое, меняющееся мнение?», исходящий из разделения утверждений о мире мнения на кван-тифицированные и утверждения о единичных объектах. Было показано, что первые, в рамках концепции элейца, обладают большей стабильностью в отношении присваиваемого им истинностного значения.
60 Али Аваз оглы Бабаев - д.филос.н., доцент Института математики и механики НАН Азербайджана.
61Наталия Леонидовна Кварталова - к.филос.н., ведущий научный сотрудник Центра изучения культуры Китая и современной Азии РАН.
62 Антонина Викторовна Конькова - аспирант кафедры логики философского факультета МГУ имени М.В. Ломоносова.
63Светлана Михайловна Кускова - к.филос.н., доцент Московского института психоанализа.
64Оксана Ивановна Невдобенко - к.филос.н., доцент кафедры философии МГТУ имени Н.Э. Баумана.
Председателем второго заседания секции «История логики» выступил В.А. Бажанов, а открыл его доклад З.А. Сокулер65 «Квантифика-ция в "Логико-философском трактате"». Было показано, что в «Логико-философском трактате» Витгенштейн озабочен не построением особого исчисления, но философией логики, то есть правильным пониманием того, чем являются логические константы и предложения, и что проблема кван-тификации для него - это проблема истолкования формул с кванторами.
В докладе Л.Г. Тоноян66 «Древо Порфирия в древнерусских источниках» показано, что практически во всех древнерусских источниках подробно излагается такой важный для усвоения логики раздел, как иерархическое деление понятий и его применение для решения философских и богословских проблем.
В докладе «О теории значения К. Твардовского» К.Д. Скрипник67 рассказал о некоторых базовых характеристиках логико-семиотических идей Твардовского, в частности, семиотическом понимании термина "Vorstellung", знака как содержания презентации, интенционального характера процесса передачи презентации.
Доклад А.В. Шевцова68 «Логико-гносеологическое учение Л.Е. Габриловича в свете рецензии Леопольда Левенгейма» был посвящен логико-гносеологической концепции сочинения русского ученого и философа Леонида Евгеньевича Габриловича «О математическом мышлении и понятии актуальной формы», 1914. Был сделан вывод, что Габрилович разработал и предложил оригинальную гносеологическую теорию «актуальных форм», которую он сделал центральным пунктом концепции своего сочинения. Отмечено философское сходство с логико-гносеологической концепцией исследований Л.Е. Габриловича с результатами Л. Левенгейма.
Заключительным докладом секции «История логики» стало выступление Д.А. Синицкого69 «Экспликация теории эстетического восприятия Д. Юма в терминах формализованной модели эмоций ОСС». В докладе было проведено уточнение юмовской концепции эстетического восприятия средствами одной из современных теорий, предлагающих своеобразную
65Зинаида Александровна Сокулер - д.филос.н., профессор кафедры онтологии и теории познания философского факультета МГУ имени М.В. Ломоносова.
66 Лариса Грачиковна Тоноян - к.филос.н., научный сотрудник Российской христианской гуманитарной академии.
67Константин Дмитриевич Скрипник - д.филос.н., профессор кафедры философии и методологии науки Института философии и социально-политических наук Южного федерального университета.
68Александр Викторович Шевцов - к.филос.н., старший преподаватель кафедры философии Московского авиационного института.
69Дмитрий Анатольевич Синицкий - к.филос.н., доцент Института атомной энергетики НИЯУ МИФИ.
когнитивно-психологическую модель эмоций. Такое уточнение потребовало сравнительного анализа теории аффектов Д. Юма, теории эмоций А. Ортони, Дж.Л. Клора и А. Коллинза и формализации модели эмоций ОСС, выполненной Б. Штейнбринком, М. Дастани и Дж.-Дж. Мейером.
Всего в работе конференции приняло участие около 200 человек со всей России и ближнего зарубежья, включая докладчиков из Мексики, Болгарии и Азербайджана. Подробно ознакомиться с материалами конференции можно в сборнике материалов конференции [Материалы конференции, 2023]70.
Литература
Материалы конференции, 2023 - Тринадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 22-24 июня 2023 г. (редкол.: О.М. Григорьев, Д.В. Зайцев, Ю.В. Ивлев, В.И. Шалак, Н.Е. Томова; отв. ред. В.И. Маркин). М.: Издатель А.В. Воробьёв, 2023. 292 с.
70 Сборник доступен на сайте конференции по ссылке: https://smirnovreadings.ru/
Viktoria G. Denisova, Maria M. Legeydo, Elena N. Lisanyuk,
Liudmila S. Sirotkina
Review of the international scientific conference "XIII Smirnov's Readings on Logic"
Viktoria G. Denisova
National Research University Higher Shcool of Economics, 20 Myasnitskaya str., 101000, Moscow, Russian Federation. E-mail: [email protected]
Maria M. Legeydo
Lomonosov Moscow State University,
27/4 Lomonosovskiy prospect, Moscow, 119991, Russian Federation. E-mail: [email protected]
Elena N. Lisanyuk
Institute of Philosophy of the Russian Academy of Sciences, 12/1 Goncharnaya Str., Moscow, 109240, Russian Federation. National Research University Higher Scool of Economics, 20 Myasnitskaya str., 101000, Moscow, Russian Federation. E-mail: [email protected]
Liudmila S. Sirotkina
Immanuel Kant Baltic Federal University,
14 Alexander Nevsky str., 236041, Kaliningrad, Russian Federation. E-mail: [email protected]
Abstract: The article briefly highlights the International scientific conference "XIII Smirnov's Readings on Logic" that took place in June 2023. Short abstracts of the reports read at the plenary session and within the sessions "Symbolic Logic", "Philosophical Logic", "Logic of Scientific Knowledge" and "History of Logic" are presented.
Keywords: Smirnov's readings, symbolic logic, philosophical logic, history of logic, review
For citation: Denisova V.G., Legeydo M.M., Lisanyuk E.N., Sirotkina L.S. "Obzor mezh-dunarodnoi nauchnoi konferentsii 'XIII Smirnovskie chteniya po logike'" [Review of the international scientific conference "XIII Smirnov's Readings on Logic"], Logicheskie Issledovaniya / Logical Investigations, 2024, Vol. 30, No. 1, pp. 104-129. DOI: 10.21146/2074-1472-2024-301-104-129 (In Russian)
Acknowledgements. The research of E.N. Lisanyuk was supported by the Russian Science Foundation, project № 20-18-00158 "Formal Philosophy of Argumentation and a Comprehensive Methodology for the Search and Selection of the Dispute Resolutions", implemented at St. Petersburg State University.
References
Conference proceedings, 2023 - Trinadtsatye Smirnovskie chteniya: materialy Mezh-dunarodnoi nauchnoi konferentsii, Moskva, 22-24 iyunya 2023 g. [13tn Smirnovs readings on logic: proceedings of the international scientific conference. Moscow, June 22-24 2023.] (ed. by O. Grigoriev, D. Zaitsev, Yu. Ivlev, V. Shalak, N. To-mova, V. Markin). Moscow, Published by A. Vorobyev, 2023. 292 pp.
