Серия докладов «Нормативные и дескриптивные модели рассуждений»
26 апреля и 17 мая прошла серия заседаний теоретического семинара «Формальная философия» на тему «Нормативные и дескриптивные модели рассуждений».
Статья Елены Драгалиной-Черной опубликована в серии Studies in Universal Logic издательства Birkhäuser
Статья Елены Драгалиной-Черной «Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran» опубликована в монографии «Universal Logic, Ethics, and TruthEssays in Honor of John Corcoran (1937-2021)», вышедшей в в серии Studies in Universal Logic издательства Birkhäuser.
Статья Виталия Долгорукова и Максима Гладышева опубликована в сборнике трудов AAMAS'24
В сборнике трудов конференции «Autonomous Agents and Multi-Agent Systems 24» (AAMAS) опубликована статья Виталия Долгорукова, Рустама Галимуллина и Максима Гладышева «Dynamic Epistemic Logic of Resource Bounded Information Mining Agents». AAMAS является наиболее крупной и влиятельной конференцией в области моделирования мультиагентных систем и входит в список CORE Computer Science Conference Rankings в ранге A+.
Доклады Елены Драгалиной-Черной и Лолиты Макеевой на Международном Кантовском конгрессе
Елена Драгалина-Черная выступила с докладом «Логика как формальная философия: от Канта к Фреге и Гуссерлю», а Лолита Макеева с докладом «Кант, внутренний реализм Патнэма и метафизика» на Международном Кантовском конгрессе «Мировое понятие философии», который прошел в Балтийском федеральном университете имени Иммануила Канта с 22 по 25 апреля.
Доклады Натальи Тиминой и Ивана Мельникова на семинаре «From the Logical Point of View»
Наталья Тимина и Иван Мельников, студенты 4-го курса ФКН ВШЭ, выступили с докладами «Геометрический подход к эпистемическим задачам» и «Построение безопасного протокола обмена данными во время "Русской карточной игры"» на семинаре «From the Logical Point of View», который прошел 19 апреля.
Доклад Игоря Зайцева «Субординантные маркированные (labelled) натуральные исчисления для кондициональных интуиционистских логик с двумя независимыми контрфактическими связками»
5 и 12 апреля состоялись заседания научно-исследовательского семинара «From the Logical Point of View», на которых Игорь Зайцев (РГГУ) выступил с докладом «Субординантные маркированные (labelled) натуральные исчисления для кондициональных интуиционистских логик с двумя независимыми контрфактическими связками».
«Команды новых проектов имеют все возможности получить выдающиеся научные результаты»
Подведены итоги первого конкурса совместных фундаментальных научных проектов «Международное академическое сотрудничество», который проходил с 11 декабря 2023 года по 8 апреля 2024 года. Участие в нем приняли успешные научные коллективы Вышки, имеющие богатый опыт взаимодействия с зарубежными коллегами. Было представлено 25 заявок от подразделений из разных кампусов университета.
Совместный проект МЛ ЛогЛинФФ и научного коллектива Государственного университета Кампинаса (Бразилия) среди победителей конкурса совместных фундаментальных научных проектов «Международное академическое сотрудничество»
Подведены итоги конкурса совместных фундаментальных научных проектов «Международное академическое сотрудничество» Национального исследовательского университета «Высшая школа экономики».
Опубликован цикл статей о преподавании логики
В журнале «Философия. Журнал Высшей школы философии» опубликован цикл статей о преподавании логики под общей редакцией Ангелины Бобровой и Елены Драгалиной-Черной.
Доклад Георгия Филатова и Максима Евстигнеева на семинаре «From the Logical Point of View»
Георгий Филатов и Максим Евстигнеев выступили с докладом «Три метафоры анализа в работах Г. Райла, Л. Витгенштейна, П. Стросона» на научно-исследовательском семинаре «From the Logical Point of View», который состоялся 22 марта.