Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.

М. : Русское общество истории и философии науки, 2021.

Ответственный редактор: Маркин В. И.

В книге представлены материалы международной научной конференции «Двенадцатые Смирновские чтения по логике», посвященной памяти В. А. Смирнова (1931 – 1996) и Е.Д. Смирновой (1929 – 2017), выдающихся российских ученых, профессоров кафедры логики философского факультета МГУ, блестящих педагогов, оставивших после себя большое количество учеников. В. А. и Е. Д. Смирновы обладали крупнейшим научным авторитетом как в нашей стране, так и за ее пределами, являясь, в то же время, талантливыми организаторами науки. Во многом благодаря их многолетней самоотверженной деятельности сложилась отечественная научная школа, объединяющая в настоящее время специалистов из самых разных областей логики и философии.

Главы книги

Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера

Запрягаев А. А., В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. С. 16–18.

Мы рассматриваем многомерные интерпретации линейных порядков в стандартной модели (N, +) арифметики Пресбургера. Устанавливается, что всякий такой порядок переводится определимым изоморфизмом в сужение лексикографического порядка Z 𝑛 на некоторое определимое множество для достаточно большого 𝑛. Это даёт более простое доказательство гипотезы Виссера об определимом изоморфизме тождественной всякой интерпретации самой арифметики Пресбургера в (N, +). ...

Добавлено: 28 июня 2021 г.

Knowledge and Time: Evolutionary Epistemic Model

Попова Е. Л., , in: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. P. 134–137.

Данная статья посвящена формализации широкого спектра сценариев изменения знаний с течением времени. Мы исследуем комбинации временных и эпистемических модальностей, отражающих различные свойства рассуждений рациональных агентов. Для этой цели вводим модель 𝐸𝐸𝑀 – эволюционную эпистемическую модель. ...

Добавлено: 28 июня 2021 г.

О трудностях определения потенциального знания группы

Долгоруков В. В., В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. С. 86–89.

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

Добавлено: 28 июня 2021 г.

Логика дизайна и истинная индукция Фрэнсиса Бэкона

Драгалина-Черная Е. Г., Лисанюк Е. Н., В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. С. 169–173.

Спустя 400 лет после публикации в 1620 году «Нового Органона» Ф. Бэкона и 460 лет со дня его рождения мы предлагаем поверить его утверждению о том, что выдвигая истинную индукцию в качестве Нового Органона новой науки, он создает новую логику, которая, обращаясь к ограничениям в исследовании природы, свойственным неидеальным познающим субъектам, предстает как технология последовательных ...

Добавлено: 28 июня 2021 г.

Эпистемическая STIT-логика без типов действий

Хайтович Д. Г., В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. С. 145–148.

В литературе существует несколько эпистемических расширений stit-логики. Один из наиболее популярных вариантов -- kstit-логика Пэкета и Хорти -- предлагает ввести аппарат действий-токенов и действий-типов, а также установить ряд семантических ограничений на связь эпистемических и исторических отношений. В данной статье мы выведем несколько контринтуитивных теорем, доказуемых в kstit-логике, и предложим свой вариант эпистемического расширения, избегающего их. ...

Добавлено: 21 сентября 2021 г.

Ключевые слова: логика, logic