• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

18+

С 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

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

    16:20-16:40

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

    16:40–17:00

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

    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 слов.
  • Пожалуйста, обратите внимание, что заявки можно подавать на английском или русском языке.
  • В программе предусмотрена постерная секция. Если вы хотите принять участие в постерной секции, то, пожалуйста, укажите это в тексте заявки.

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

Добавить в календарь