Подсекция "Логика"
-
Андрей Викторович Ерёмин, Москва, философский факультет МГУ,
О строго позитивных логиках естественных теоретико-доказательственных операторов -
Анастасия Васильевна Евсеева, Москва, философский факультет МГУ,
Системы силлогистики и логика суждений существования -
Бястинова Екатерина Вячеславовна, Москва, философский факультет МГУ,
Роль структурного свойства при экспликации детерминирующей связи -
Арсений Сергеевич Балакин, Москва, философский факультет МГУ,
Выразимость естественных импликаций через естественные импликации и негации -
Чижевский Ярослав Игоревич, Москва, философский факультет МГУ,
Сталнакер, коннексивность и инфекционность -
Арсентий Александрович Тимохин, Москва, философский факультет МГУ,
Гиперконнексивность, естественные рассуждения и экспериментальная философия -
Зданевич Андрей Вячеславович, Москва, философский факультет МГУ,
Формальные объяснения в искусственном интеллекте -
Игорь Васильевич Зайцев, Москва, факультет гуманитарных наук ВШЭ,
Содержательно истинные (non-vacuously true) и бессодержательно истинные (vacuously true) кондициональные связки в интуиционистском контексте: несравнимость языков
12:00 ‐ 16:00
Шуваловский корпус МГУ - ауд. Г255
Москва, Ломоносовский проспект, дом 27, корпус 4
40.2 Логика