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

M. : -, 2019.

Academic editor: В. И. Маркин

Editor-in-chief: В. И. Маркин, Д. В. Зайцев, Ю. В. Ивлев, Е. Б. Кузина, В. И. Шалак

Chapters

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

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

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

Added: June 30, 2019

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

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

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

Added: June 30, 2019

Giles's Game for Ablelian Logic A

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

In the present paper we introduce a variation of the Giles's game that captures the semantics of the Slaney and Meyer's Abelian logic A [4, 1]. Giles's game is a two-player zero sum game which can be seen as a valuation game, i.e. semantic game that determines truth in a given model. The model is represented by the risk ...

Added: June 30, 2019

Extra-Logical Proof-Theoretic Semantics in Homotopy Type Theory

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

Kant famously argued that elementary geometrical statements such as Euclid's Triangle Angle Sum theorem cannot be deduced from the rst principles by purely logical means because their proofs require extra-logical geometrical constructions [1, A719/B747]. The discovery of non-Euclidean geometries in the 19-th century made Kant's analysis of geometrical reasoning untenable in its original form, and throughout the following 20-th century ...

Added: June 30, 2019

Philosophy and Logic: Interdisciplinary Approach

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

Contemporary science to date is featuring by an interdisciplinary approach that is claimed in many newest scientic programs. Interdisciplinary interaction according to V. S. Stepin is based \on 'paradigmatic grafting' { transfer of notions of the special scientic picture of the world, as well as investigation ideals and norms, from one scientic discipline to another" [1, p. 307]. ...

Added: June 30, 2019

Epistemic Planning in Network Muddy Children Puzzle

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

The basic story of the puzzle is as follows. Three children have muddy faces, and each can see the others' faces, but not his own. A teacher announces to the children: \at least one of you has a muddy face". Then he asks: \Do you know whether your face is muddy or not? If so, raise your hand". ...

Added: June 30, 2019

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

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

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

Added: June 30, 2019

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

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

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

Added: June 30, 2019

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

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

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

Added: October 6, 2019

Keywords: Логика