Четвертый день осенней школы «Логика и формальная философия»
История паранепротиворечивой логики, приложения к неклассическим логикам и модальная логика предикатов: фоторепортаж с четвертого дня школы МЛ ЛогЛинФФ.
Третий день осенней школы «Логика и формальная философия»
Фоторепортаж с третьего дня школы МЛ ЛогЛинФФ.
Второй день осенней школы «Логика и формальная философия»
Кросс-мировая предикация, теория игр и ситуационная семантика.
Сотрудники МЛ ЛогЛинФФ выступили на КМУЧ-2024. Пространства и взаимодействия
15-16 октября сотруднки МЛ ЛогЛинФФ приняли участие в работе XXII Международной конференции молодых ученых в области гуманитарных и социальных наук.
Доклад стажёра-исследователя Максима Евстигнеева
18 октября стажёр-исследователь МЛ ЛогЛинФФ Максим Евстигнеев выступил с докладом «Я. Хинтикка и кантовская философия математики» на заседании теоретического семинара «Формальная философия».
Хорхе Луис Мендес-Мартинес выбран на должность Исследователя для Мексики («Investigador por México»)
Хорхе Луис Мендес-Мартинес, научный сотрудник МЛ ЛогЛинФФ, стал победителем в конкурсе Национального совета по наукам, технологиям и гуманитарным наукам Мексики.
Стажировка Виктории Денисовой в Центре логики, эпистемологии и истории науки Университета Кампинаса, Бразилия
Под руководством профессоров Фабио Майя Бертато и Италы Лоффредо д’Оттовиано стажер-исследователь МЛ ЛогЛинФФ Виктория Денисова работает над формализмами для рассуждений с кондиционалами.
Доклад Луи Поль Дж. Вервурта «Gettier's problem and Quine's epistemic holism: a unified account»
11 октября Луи Поль Дж. Вервурт (НИУ ВШЭ) выступил с докладом «Gettier's problem and Quine's epistemic holism: a unified account» на заседании теоретического семинара «Формальная философия».
Опубликовано интервью Елены Драгалиной-Черной
В издании академического блока Вышки «Schola» опубликовано интервью Елены Драгалиной-Черной, посвященное совместному научному проекту Международной лаборатории логики, лингвистики и формальной философии и Центра логики, эпистемологии и истории науки Университета Кампинас «Pluralistic Perspectives on Logic and Formal Philosophy».
Доклад Арнольда Григоряна «Унивалентные основания и конструктивная теория типов»
4 октября Арнольд Григорян (НИУ ВШЭ) выступил с докладом «Унивалентные основания и конструктивная теория типов» на научном семинаре лаборатории «From the Logical Point of View».