Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва

М. : Современные тетради, 2019.

Научный редактор: В. И. Маркин

Ответственный редактор: В. И. Маркин, Д. В. Зайцев, Ю. В. Ивлев, Е. Б. Кузина, В. И. Шалак

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

Главы книги

Теоретико-игровой подход к определению конвенций Д. Льюиса и проблема выбора равновесия

Гладышев М. А., В кн.: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. С. 11–13.

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

Добавлено: 30 июня 2019 г.

Соответствие на счетных структурах и запросы к теориям

Золин Е. Е., В кн.: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. С. 24–26.

В модальной теории соответствия [1, Sect. 3.5] говорят, что формула первого порядка с одной свободной переменной 𝑞(𝑥) сигнатуры {𝑅,=}, где 𝑅 – бинарный предикатный символ, соответствует модальной формуле 𝐴, если для любой шкалы Крипке 𝐹 = (𝑊,𝑅) и точки 𝑤 ∈ 𝑊, имеем: 𝐹 |= 𝑞(𝑤) ⇔ 𝐹,𝑤 |= 𝐴. Будем обозначать соответствие 𝑞(𝑥)!𝐴, следуя [4], где ...

Добавлено: 30 июня 2019 г.

Giles's Game for Ablelian Logic A

Павлова А. М., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 34–37.

Добавлено: 30 июня 2019 г.

Extra-Logical Proof-Theoretic Semantics in Homotopy Type Theory

Родин А. В., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 42–43.

Добавлено: 30 июня 2019 г.

Philosophy and Logic: Interdisciplinary Approach

Васюков В. Л., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 60–61.

Добавлено: 30 июня 2019 г.

Epistemic Planning in Network Muddy Children Puzzle

Федянин Д. Н., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 87–89.

Добавлено: 30 июня 2019 г.

Внутренние отношения в логическом пространстве Витгенштейна

Драгалина-Черная Е. Г., В кн.: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. С. 103–104.

Обосновывается непсихологический характер истолкования внутренних отношений на всех этапах творческой эволюции Витгенштейна и прослеживается влияние этой эволюции на демаркацию им границ логики и логического пространства. ...

Добавлено: 30 июня 2019 г.

Как возможна логика открытия: метафора шахмат как средство от предубеждения против логики открытия

Шумилина В. А., В кн.: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. С. 185–187.

Дискуссии о различении контекста открытия и контекста обоснования, аргументы о невозможности логики открытия, развиваемые Венским кружком, Берлинским кружком и критическим рационализмом [1, 2] в середине двадцатого века приостановили поиски логики открытия в рамках философии науки. Во многом на отказ философов науки от исследований логики, ориентированной на приращение знания, повлияла сформированная устойчивая привычка осмысливать процессы человеческого мышления в определенных ...

Добавлено: 30 июня 2019 г.

Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал

Рыбаков М. Н., Шкатов Д. П., В кн.: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. С. 43–45.

Утверждается существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал, обсуждается контекст вопроса. ...

Добавлено: 6 октября 2019 г.

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