← Назад к программе

Подсекция "Логика"

  1. Андрей Викторович Ерёмин, Москва, философский факультет МГУ,
    О строго позитивных логиках естественных теоретико-доказательственных операторов

  2. ​​​​Анастасия Васильевна Евсеева, Москва, философский факультет МГУ,
    Системы силлогистики и логика суждений существования

  3. Бястинова Екатерина Вячеславовна, Москва, философский факультет МГУ,
    Роль структурного свойства при экспликации детерминирующей связи

  4. Арсений Сергеевич Балакин, Москва, философский факультет МГУ,
    Выразимость естественных импликаций через естественные импликации и негации

  5. Чижевский Ярослав Игоревич, Москва, философский факультет МГУ,
    Сталнакер, коннексивность и инфекционность

  6. Арсентий Александрович Тимохин, Москва, философский факультет МГУ,
    Гиперконнексивность, естественные рассуждения и экспериментальная философия

  7. Зданевич Андрей Вячеславович, Москва, философский факультет МГУ,
    Формальные объяснения в искусственном интеллекте

  8. Игорь Васильевич Зайцев, Москва, факультет гуманитарных наук ВШЭ,
    Содержательно истинные (non-vacuously true) и бессодержательно истинные (vacuously true) кондициональные связки в интуиционистском контексте: несравнимость языков

Подсекция "Логика"
Когда
Во сколько

12:00 ‐ 16:00

Где

Шуваловский корпус МГУ - ауд. Г255
Москва, Ломоносовский проспект, дом 27, корпус 4

Секция

40.2 Логика