Логика
Докладчики:
1. Конькова Антонина Викторовна (Московский государственный университет имени М.В.Ломоносова): Система правил для альтернативного варианта Воображаемой логики (Логики понятий)
2. Копнев Кирилл Михайлович (Московский государственный университет имени М.В.Ломоносова): Два парадигмальных взгляда на доказательство и их влияние на программы развития математики
3. Парамонов Данила Вячеславович (Московский государственный университет имени М.В.Ломоносова): Проблема анализа суждений о несуществующих объектах
4. Плиев Муса Ибрагимович (Московский государственный университет имени М.В.Ломоносова): Семантические подходы в аутоэпистемических логиках
5. Пшатова Арина Ивановна (Национальный исследовательский Томский государственный университет): Подход М. Фара к формализации верификационистского принципа
6. Шкаброва Мария Васильевна (Санкт-Петербургский государственный университет): Роль концепции "знакомства" в разрешении логических парадоксов
Участники
16:30 ‐ 20:00
Дистанционно
Логика