Международная конференция "Формальная философия 2024"

С 7 по 9 ноября 2024 в Международной лаборатории логики, лингвистики и формальной философии пройдет ежегодная конференция  «Формальная философия». В 2024 конференция «Формальная философия» пройдет в 7-й раз.

Даты: 7 – 9 ноября 2024

Место проведения: г. Москва, ул. Старая Басманная,  д. 21/4, А-307  +  Zoom

Формат проведения: гибридный  (возможно как очное, так и дистанционное участие)

Рабочие языки: русский и английский  

«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии c 2018 года.  Конференция посвящена обсуждению проблематики:

• философской логики
• формальной эпистемологии и эпистемической логики
• формальной онтологии
• философии логики
• математической логики и филоcофии математики

• 07.11

  11.00-12.00

  Zoran Ognjanović, Probability logics, stong completeness and decidability

  12.00–12:30

  кофе-брейк

  12:30-12:50

  Михаил Рыбаков, Дарья Серова, Предикатная логика Гёделя-Дамметта: бедные неразрешимые фрагменты

  12:50–13:10

  Александр Беликов, Гиперконнексивность, композициональность и недетерминистская семантика

  13:10–13:30

  Наталья Томова, К вопросу о дуальности логических систем   

  13:30–13:50

   Илья Гущин, Некоторые особенности фикций и свободная логика

  15:00–15:20

   Владимир Шалак, О расширении понятия закона науки

  15:20-15:40

  Иван Соболев, Подразумеваемое значение: в поисках естественной формализации

  15:40–16:00

  Ольга Козырева, Способы выражения субъективности: попытки формализации различия de re и de se прочтений высказываний с пропозициональными установками

  16:00–16:20

  Григорий Золотков, Ограниченность человеческих возможностей и философская загадка непрерывности: Л. Витгенштейн о проблеме континуума

  16:20-16:40

  Светлана Кускова, Семиотическое истолкование идеальных объектов

  16:40–17:00

  Кирилл Габрусенко, Логицизм Б. Больцано

  17:30–17:50

  Micol Pasti, Logical Pluralism from 'outside of logic'

  17:50–18:10

   JJ Snodgrass, On the Hyperintensions of Properties

  18:10–18:30

  Armin Heydari, Objects in the Spectral Presheaf: From Radical to Structures-First Ontic Structural Realism

  18:30–18:50

  Charlie Dorémieux, Hybrid Necessitism

  18:50–19:10

  José da Mata, Object, Essence and Substance

• 08.11

  10:00–10:20

  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.30–12:30

  Itala Loffredo D'Ottaviano, Horizons of Logic for the 20th Century: Russian contributions to non-classical logics - Valery Glivenko

  13:00–14:00

  Marcelo Esteban Coniglio, On First-Order Ivlev-like Modal Logics

  15:00–15:20

  Daniyar Shamkanov, Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs

  15:20-15:40

  Olga Cherkashina, Constructing an analogue of Blanche hexagon for propositions about relations. Many-place Aristotelian relations. 

  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

  17:00-18:00

  Vladimir Vasyukov, Horizons of Scientific Pluralism: Logics, Ontology, Mathematics.

  18:20–19:00

   Valentin Bazhanov, The History of  N.A. Vasiliev's 'Imaginary Logic (Selected papers)' Book Making Up. 

• 09.11

  10:00–10:30

  Постерная секция

  10:30-10:50

  Федянин Д. Н. Эффект деформации онтологии,  обусловленной поиском  обоснования прагматическим  рассуждениям

  10:50–11:10

  Никитина И.А., Боброва А.С. Место логических теорий в решении проблемы фрейминг эффекта

  11:10–11:30

  Лисанюк Е.Н. Объективация дискуссий, мета-аргументация и поиск решений в строгих и нестрогих спорах.

  11:30–11:50

  Глеб Карпов, Виды энтимем и способ обращения с ними

  11:50–12:10

  Ольга Шапиро, Как работает аргумент «к авторитету»?

  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

  Daniil Tiskin, Some Implications of the Set Representation of Ambiguity

  15:30–16:30

  Elia Zardini, Vagueness across the Type Hierarchy

  17:00–18.00

   Itala Loffredo D'Ottaviano,  Horizons of Logic for the 20th Century: Russian contributions to non-classical logics - Dmitry Bochvar

Приглашенные докладчики

Евгений Борисов

Марсело Конильо

Зоран Огнянович

Итала Лоффредо Д'Оттавиано

Заявки

• Заявки принимаются до 30 октября
• Заявки принимаются через EasyChair: https://easychair.org/conferences/?conf=formphil2024
• Для прохождения процедуры слепого рецензирования, пожалуйста, убедитесь, что в тексте тезисов нет идентифицирующей информации.
• Формат заявки: не более 1000 слов.
• Пожалуйста, обратите внимание, что заявки можно подавать на английском или русском языке.
• В программе предусмотрена постерная секция. Если вы хотите принять участие в постерной секции, то, пожалуйста, укажите это в тексте заявки.

Подать заявку