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

Наука

Иллюстрация к новости: Доклад Станислава Сперанского на семинаре "Формальная философия-71"

Доклад Станислава Сперанского на семинаре "Формальная философия-71"

20 и 27 мая на 71-м заседании теоретического семинара "Формальная философия" Станислав Сперанский выступил с докладом "О теории истины по Крипке" в двух частях.

Иллюстрация к новости: Доклад Виталия Долгорукова и Елены Поповой на семинаре «Теория управления организационными системами» института проблем управления им. В. А. Трапезникова

Доклад Виталия Долгорукова и Елены Поповой на семинаре «Теория управления организационными системами» института проблем управления им. В. А. Трапезникова

19 мая Виталий Долгоруков и Елена Попова выступили с докладом «Эпистемическая темпоральная логика для агентов с задержкой в осведомленности» семинаре «Теория управления организационными системами» Института проблем управления им. В. А. Трапезникова РАН.

Иллюстрация к новости: Сотрудники МЛ ЛогЛинФФ приняли участие в международной конференции "uAnalytiCon-2022: Абстрактные объекты"

Сотрудники МЛ ЛогЛинФФ приняли участие в международной конференции "uAnalytiCon-2022: Абстрактные объекты"

Международная конференция "uAnalytiCon-2022: Абстрактные объекты" проходила с 13 по 14 мая в Уральском федеральном университете в Екатеринбурге.

Иллюстрация к новости: Константин Шишов выступил с докладом на семинаре "Алгебраическая и категорная логика" МИАН им. Стеклова

Константин Шишов выступил с докладом на семинаре "Алгебраическая и категорная логика" МИАН им. Стеклова

Константин Шишов представил доклад "Генценовские системы ортомодулярной квантовой логики" на семинаре С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика". 

Прошла апрельская серия докладов "From the Logical Point of View"

Стажёры-исследователи МЛ ЛогЛинФФ выступили с докладами на научно-исследовательском семинаре "From the Logical Point of View".

Стажёры-исследователи лаборатории стали победителями конкурса командных исследовательских проектов "Научная инициатива"

Вероника Пригоркина и Елена Попова, стажеры-исследователи МЛ ЛогЛинФФ, а также Владислав Аксиотис, стажёр-исследователь Института когнитивных нейронаук и Центра биоэлектрических интерфейсов, будут работать над проектом "Логика в лаборатории: модели для психологии рассуждений". 

Вышла статья Виталия Долгорукова

В журнале "Интеллектуальные системы. Теория и приложения" вышла статья Виталия Долгорукова "Крипке+ДеГроот: эпистемико-доксатическая модель социального влияния".

Опубликована статья Галы Максудовой-Елисеевой

В "Философском журнале" вышла статья Галы Максудовой-Елисеевой "Логика как нормативная наука: между биологией и социальной критикой (случай нейроразнообразия)".

Иллюстрация к новости: Состоялся доклад Даниила Хайтовича на семинаре "From the Logical Point of View"

Состоялся доклад Даниила Хайтовича на семинаре "From the Logical Point of View"

Даниил выступил с докладом "Аксиоматизация стратегического фрагмента классической stit логики".

Опубликована статья Елены Поповой

В журнале "Логико-философские штудии" вышла статья Елены Поповой "Merging Epistemic and Temporal Models: a History-Free Approach".