Доклад Паоло Манкосу "Three applications of Zermelo's theorem on part-whole"
18 октября прошло заседание научно-учебного семинара «Математическая логика и теория категорий», на котором выступил Паоло Манкосу.
Доклад Георгия Филатова на XXIII Международной конференция молодых ученыхв области гуманитарных и социальных наук: «Факты и интерпретации»
Стажер-исследователь МЛ ЛогЛинФФ Георгий Филатов выступил с докладом «Логические факты и их интерпретация: логико-философские метафоры “Трактата” Витгенштейна» на XXIII Международной конференция молодых ученыхв области гуманитарных и социальных наук: «Факты и интерпретации» (КМУЧ-2025) в Новосибирске, которая проходила 14 и 15 октября.
Доклад Ивана Пыльцына «Нефундированная система исчисления на примере интуиционистской и модальных логик»
15 октября на семинаре «From the Logical Point of View» стажер-исследователь МЛ ЛогЛинФФ Иван Пыльцын выступил с докладом «Нефундированная система исчисления на примере интуиционистской и модальных логик».
Опубликована статья Александра Поддьякова с соавторами
В журнале «Новые психологические исследования» вышла статья Александра Поддьякова с соавторами «Цифровой театр абсурда: могут ли нейросети поставить новую научную проблему перед психологией? Кейс-сравнение ChatGPT и DeepSeek».
Доклад Арсения Савелова «П.Ф. Стросон и инструменталистский подход к моральной ответственности»
8 октября прошло 101-е заседание научно-теоретического семинара «Формальная философия».
Доклад Джозефа Халперна «Actual Causality: A Survey»
4 октября состоялось заседание семинара «Математическая логика и теория категорий», на котором профессор факультета компьютерных наук Корнеллского университета Джозеф Халперн выступил с докладом «Actual Causality: A Survey».
Опубликована статья Георгия Филатова и Максима Евстигнеева
В журнале «Philosophy Journal of the Higher School of Economics» вышла статья Георгия Филатова и Максима Евстигнеева «Грамматика, карта, терапия. Метафоры философского анализа в творчестве Л. Витгенштейна, Г. Райла и П.Ф. Стросона».
Вышла статья Анастасии Оноприенко
В журнале «Успехи математических наук» опубликовала статья Анастасии Оноприенко «Невозможность погружения логики HC в логику IEL^+ с сохранением классической импликации».
Доклад Игоря Зайцева «Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств»
Стажер-исследователь Игорь Зайцев выступил с докладом «Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств» на научно-исследовательском семинаре «From the Logical Point of View».
Доклады научных сотрудников МЛ ЛогЛинФФ на конференции «Актуальные проблемы аналитической философии» в Томске.
25 сентября сотрудники лаборатории Михаил Смирнов и Анна Моисеева выступили на конференции «Актуальные проблемы аналитической философии» в Томске.