• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Иллюстрация к новости: Доклад стажёра-исследователя Максима Евстигнеева

Доклад стажёра-исследователя Максима Евстигнеева

18 октября стажёр-исследователь МЛ ЛогЛинФФ Максим Евстигнеев выступил с докладом «Я. Хинтикка и кантовская философия математики» на заседании теоретического семинара «Формальная философия».

Иллюстрация к новости: Хорхе Луис Мендес-Мартинес выбран на должность Исследователя для Мексики («Investigador por México»)

Хорхе Луис Мендес-Мартинес выбран на должность Исследователя для Мексики («Investigador por México»)

Хорхе Луис Мендес-Мартинес, научный сотрудник МЛ ЛогЛинФФ, стал победителем в конкурсе Национального совета по наукам, технологиям и гуманитарным наукам Мексики.

Иллюстрация к новости: МЛ ЛогЛинФФ на Международном партнерском дне Россия — Бразилия

МЛ ЛогЛинФФ на Международном партнерском дне Россия — Бразилия

14 октября состоялся Международный партнерский день Россия — Бразилия, организованный в НИУ ВШЭ совместно с посольством Бразилии в Москве. 

Иллюстрация к новости: Стажировка Виктории Денисовой в Центре логики, эпистемологии и истории науки Университета Кампинаса, Бразилия

Стажировка Виктории Денисовой в Центре логики, эпистемологии и истории науки Университета Кампинаса, Бразилия

Под руководством профессоров Фабио Майя Бертато и Италы Лоффредо д’Оттовиано стажер-исследователь МЛ ЛогЛинФФ Виктория Денисова работает над формализмами для рассуждений с кондиционалами.

Иллюстрация к новости: Доклад Луи Поль Дж. Вервурта «Gettier's problem and Quine's epistemic holism: a unified account»

Доклад Луи Поль Дж. Вервурта «Gettier's problem and Quine's epistemic holism: a unified account»

11 октября Луи Поль Дж. Вервурт (НИУ ВШЭ) выступил с докладом «Gettier's problem and Quine's epistemic holism: a unified account» на заседании теоретического семинара «Формальная философия».  

Иллюстрация к новости: Доклад Арнольда Григоряна «Унивалентные основания и конструктивная теория типов»

Доклад Арнольда Григоряна «Унивалентные основания и конструктивная теория типов»

4 октября Арнольд Григорян (НИУ ВШЭ) выступил с докладом «Унивалентные основания и конструктивная теория типов» на научном семинаре лаборатории «From the Logical Point of View». 

Иллюстрация к новости: Доклад стажера-исследователя Юрия Казакова

Доклад стажера-исследователя Юрия Казакова

27 сентября Юрий Казаков выступил с докладом «Динамические эпистемические подходы к решению парадокса неожиданного экзамена» на научном семинаре лаборатории «From the Logical Point of View». 

Иллюстрация к новости: Доклад Павла Астафьева на семинаре «From the Logical Point of View»

Доклад Павла Астафьева на семинаре «From the Logical Point of View»

20 сентября Павел Астафьев выступил с докладом «Дизъюнкция в естественном языке, эксклюзивность и альтернативные вопросы».

Иллюстрация к новости: Доклад Михаила Рыбакова на семинаре «Нестандартные логики» в Институте математики им. С.Л.Соболева СО РАН

Доклад Михаила Рыбакова на семинаре «Нестандартные логики» в Институте математики им. С.Л.Соболева СО РАН

19 сентября Михаил Рыбаков выступил с докладом «Неразрешимость QLC с двумя переменными» на семинаре «Нестандартные логики» в Институте математики им. С.Л.Соболева СО РАН в г. Новосибирске.

Иллюстрация к новости: Доклад Ивана Пыльцына «Формализация парадокса неожиданной казни»

Доклад Ивана Пыльцына «Формализация парадокса неожиданной казни»

Иван Пыльцын выступил с докладом на научно-исследовательском семинаре «From the Logical Point of View», который состоялся 13 сентября.