• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Тема «достижения»

Иллюстрация к новости: Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»

Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»

С 11 по 13 октября проходила Международная конференция «Формальная философия 2023», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.

Иллюстрация к новости: Выступление Александра Запрягаева на конференции «Дни слабых арифметик» в Греции

Выступление Александра Запрягаева на конференции «Дни слабых арифметик» в Греции

Александр Запрягаев выступил с докладом «On Interpretations in Büchi Arithmetics» на конференции 42ème Journées sur les Arithmétiques Faibles (Дни слабых арифметик), которая проходила 25-27 сентября (Карловаси, Самос, Греция).

Иллюстрация к новости: Александр Запрягаев успешно защитил кандидатскую диссертацию

Александр Запрягаев успешно защитил кандидатскую диссертацию

Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).

Итоги конкурса лучших преподавателей 2023

Сотрудники МЛ ЛогЛинФФ стали лучшими преподавателями в конкурсе 2023 года. 

Михаил Смирнов успешно защитил кандидатскую диссертацию

Поздравляем стажера-исследователя МЛ ЛогЛинФФ Михаила Смирнова с успешной защитой кандидатской диссертации на тему «Онтологические основания семантики событий» (научный руководитель: Е.Г. Драгалина-Черная). 

Иллюстрация к новости: Елена Драгалина-Черная номинирована в Исполнительный комитет Отделения логики, методологии и философии науки и технологии

Елена Драгалина-Черная номинирована в Исполнительный комитет Отделения логики, методологии и философии науки и технологии

Елена Драгалина-Черная номинирована в Исполнительный комитет Отделения логики, методологии и философии науки и технологии (Division for Logic, Methodology and Philosophy of Science and Technology, DLMPST) Международного союза истории и философии науки и технологии (International Union of History and Philosophy of Science and Technology, IUHPST). Выборы Исполнительного комитета пройдут в июле 2023 года.  

Проект «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ

Проект фундаментальных научных исследований «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ!

Поздравляем победителей конкурса НИРС

Подведены итоги Конкурса научно-исследовательских работ студентов (НИРС-2022). Среди победителей Егор Емельянов (научный руководитель: Елена Драгалина-Чёрная) и Елена Попова (научный руководитель: Виталий Долгоруков)

Проект Константина Фролова "Практическая аргументация: модели и оценка" поддержан РНФ

"Задачей проекта является исследование специфики аргументации по поводу действий (практической аргументации), которая возникает в связи с тем, что среди посылок такой аргументации используются не только когнитивные установки рассуждающего агента, такие как его знания и убеждения, но и некогнитивные установки, такие как его желания и цели". 

Иллюстрация к новости: Прошла предварительная защита кандидатской диссертации Александра Запрягаева "Interpretations of Weak Arithmetical Theories"

Прошла предварительная защита кандидатской диссертации Александра Запрягаева "Interpretations of Weak Arithmetical Theories"

25 ноября на заседании научного семинара "Современные проблемы математической логики" в ВШЭ состоялась предварительная защита кандидатской диссертации Александра Запрягаева, написанной под
руководством Льва Беклемишева.