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

Наука

Иллюстрация к новости: Фоторепортаж с первого дня Российско-Бразильской конференции по логическому плюрализму памяти Ньютона да Косты

Фоторепортаж с первого дня Российско-Бразильской конференции по логическому плюрализму памяти Ньютона да Косты

Завершился первый день конференция по логическому плюрализму памяти Ньютона да Косты. 

Иллюстрация к новости: Сотрудники МЛ ЛогЛинФФ выступили на КМУЧ-2024. Пространства и взаимодействия

Сотрудники МЛ ЛогЛинФФ выступили на КМУЧ-2024. Пространства и взаимодействия

15-16 октября сотруднки МЛ ЛогЛинФФ приняли участие в работе XXII Международной конференции молодых ученых в области гуманитарных и социальных наук.

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

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

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

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

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

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

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

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

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

Иллюстрация к новости: Доклад Луи Поль Дж. Вервурта «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». 

РИД сотрудников МЛ ЛогЛинФФ Дениса Федянина и Валерии Николаевой

Разработанный сотрудниками лаборатории программный комплекс впервые был официально зарегистрирован в качестве программы для ЭВМ. 

Нетранзитивные отношения доминирования и аксиома транзитивности: опубликована статья Александра Поддьякова

В журнале «Human Arenas» опубликована статья Александра Поддьякова «Are Mathematicians, Physicists and Biologists Irrational? Intransitivity Studies vs. the Transitivity Axiom».