Четырнадцатые Смирновские чтения по логике

С 19 по 21 июня 2025 года на философском факультете состоится международная научная конференция "Четырнадцатые Смирновские чтения по логике", посвященная памяти В. А. Смирова (1931–1996) и Е. Д. Смирновой (1929–2017), выдающихся российских учеых, профессоров кафедры логики философского факультета МГУ.

Программа конференции

Пленарное заседание:

  • Пленарное заседание (А-307, 11.00-14.00). Председатель – д.ф.н. Д. В. Зайцев
  • Вступительное слово
  • Carnielli W. A Survey of the Brazilian Paraconsistency Program and Its Potentialities
  • Coniglio M. E. On Morgado and Sette’s implicative hyperlattices as models of da Costa logic 𝐶𝐶
  • Speranski S. Negation as a modality in a quantified setting
  • Кофе-брейк (А-306) 14.00-15.00
  • Пленарное заседание (А-307, 15.00-18.00). Председатель – д.ф.н. В. И. Маркин
  • Григорьев О. М. Системы обобщенных онтоэпистемических истинностных значений
  • Кудинов А. В. Окрестностная семантика эпистемической логики
  • Финн В. К. Об аксиомах ДСМ-метода автоматизированной поддержки исследований
  • Вечерняя лекция (А-307, 18.30-19.30)
  • Непейвода Н. Н. Уроки 120 лет конструктивизма
     

Сайт конференции