Международная конференция "Формальная философия 2024"
С 7 по 9 ноября 2024 в Международной лаборатории логики, лингвистики и формальной философии пройдет ежегодная конференция «Формальная философия». В 2024 конференция «Формальная философия» пройдет в 7-й раз.
Даты: 7 – 9 ноября 2024
Место проведения: г. Москва, ул. Старая Басманная, д. 21/4, 511 + Zoom
Формат проведения: гибридный (возможно как очное, так и дистанционное участие)
Рабочие языки: русский и английский
«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии c 2018 года. Конференция посвящена обсуждению проблематики:
- философской логики
- формальной эпистемологии и эпистемической логики
- формальной онтологии
- философии логики
- математической логики и филоcофии математики
-
07.11
11.00-12.00 Председатель – Виталий Долгоруков
Zoran Ognjanović, Probability logics, stong completeness and decidability, online
12.00–12:30
кофе-брейк, А-121
12:30-12:50
Михаил Рыбаков, Дарья Серова, Предикатная логика Гёделя-Дамметта: бедные неразрешимые фрагменты
12:50–13:10
Александр Беликов, Гиперконнексивность, композициональность и недетерминистская семантика
13:10–13:30
Наталья Томова, К вопросу о дуальности логических систем
13:30–13:50
Илья Гущин, Некоторые особенности фикций и свободная логика
13:50–15:00
Обед
15:00–15:20 Председатель – Анна Моисеева
Владимир Шалак, О расширении понятия закона науки
15:20-15:40
Иван Соболев, Подразумеваемое значение: в поисках естественной формализации
15:40–16:00
Ольга Козырева, Способы выражения субъективности: попытки формализации различия de re и de se прочтений высказываний с пропозициональными установками
16:00–16:20
Григорий Золотков, Ограниченность человеческих возможностей и философская загадка непрерывности: Л. Витгенштейн о проблеме континуума
17:00–17:30
кофе-брейк, А-121
17:30–17:50 Председатель – Angelina Bobrova
Micol Pasti, Logical Pluralism from 'outside of logic', online
17:50–18:10
J.J. Snodgrass, On the Hyperintensions of Properties, online
18:10–18:30
Armin Heydari, Objects in the Spectral Presheaf: From Radical to Structures-First Ontic Structural Realism, online
18:30–18:50
Charlie Dorémieux, Hybrid Necessitism, online
18:50–19:10
José da Mata, Object, Essence and Substance
19:10–19:20
перерыв
19:20–20:00
Valentin Bazhanov, The History of N.A. Vasiliev's 'Imaginary Logic (Selected papers)' Book Making Up.
-
08.11
10:00–10:20 Председатель – Valentin Bazhanov
Louis Vervoort, Causes in neuron diagrams, and causal reasoning tested in ChatGPT. A hint of the future of philosophy
10:20–11.20
Evgeny Borisov, Crossworld predication in first-order modal logic
11.20—11.30
перерыв
11.30–12:30
Itala Loffredo D'Ottaviano, Horizons of Logic for the 20th Century: Russian contributions to non-classical logics - Valery Glivenko
12:30–13:00
кофе-брейк, А-121
13:00–14:00
Marcelo Esteban Coniglio, On First-Order Ivlev-like Modal Logics
14:00–15:00
Обед
15:00–15:20 Председатель - Evgeny Borisov
Daniyar Shamkanov, Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs
15:20-15:40
Oxana Cherkashina, Constructing an analogue of Blanche hexagon for propositions about relations. Many-place Aristotelian relations, online
15:40–16:00
Artem Pimanov, Time representation in the context of determinism
16:00–16:20
Vladimir Stepanov, A simple path to dynamic approximation
16:20–17:00
кофе-брейк, А-121
17:00-18:00
Vladimir Vasyukov, Horizons of Scientific Pluralism: Logics, Ontology, Mathematics
-
09.11
10:10–10:30 Председатель – Lolita Makeeva
Arnold Grigorian, Category Theory and Paraconsistency
10:30-10:50
Денис Федянин, Эффект деформации онтологии, обусловленной поиском обоснования прагматическим рассуждениям
10:50–11:10
Ирина Никитина, Ангелина Боброва, Место логических теорий в решении проблемы фрейминг эффекта
11:10–11:30
Елена Лисанюк, Объективация дискуссий, мета-аргументация и поиск решений в строгих и нестрогих спорах
11:30–11:50
Глеб Карпов, Виды энтимем и способ обращения с ними
11:50–12:10
Ольга Шапиро, Как работает аргумент «к авторитету»?
12:10–12:40
кофе-брейк, А-512
12:40–13:00
Леонид Девяткин, Степень максимальности следования в трехзначных логиках, задаваемых минимальными C-расширяющими матрицами
13:00–13:20
Сергей Лукашов, Рекурсивная неотделимость базисной логики Альберта Виссера первого порядка QBL
13:20–13:40
Михаил Смирнов, Денотативная релевантность как импликативная релевантность в метаязыке
13:40–14:00
Daria Popova, Encoded discourse strategies: factivity in constructions with propositional verbs
14:00–14:20
Daniel Tiskin, Some Implications of the Set Representation of Ambiguity
14:20–15:30
Обед
15:30–16:30 Председатель – Elena Dragalina-Chernaya
Elia Zardini, Vagueness across the Type Hierarchy, online
16:30–17:00
кофе-брейк, А-512
17:00–18.00
Itala Loffredo D'Ottaviano, Horizons of Logic for the 20th Century: Russian contributions to non-classical logics - Dmitry Bochvar
18.00–18.30
Закрытие
Заявки
- Заявки принимаются до 30 октября
- Заявки принимаются через EasyChair: https://easychair.org/conferences/?conf=formphil2024
- Для прохождения процедуры слепого рецензирования, пожалуйста, убедитесь, что в тексте тезисов нет идентифицирующей информации.
- Формат заявки: не более 1000 слов.
- Пожалуйста, обратите внимание, что заявки можно подавать на английском или русском языке.
- В программе предусмотрена постерная секция. Если вы хотите принять участие в постерной секции, то, пожалуйста, укажите это в тексте заявки.