В ближайшую субботу 16 ноября в 16:20 состоится очередное заседание ридинг-семинара "Analytics": оно будет посвящено статье Рут Милликан "Neuroscience and Teleosemantics". Встреча пройдет в гибридном формате - в Zoom и по адресу ул. Старая Басманная, д. 21/4, каб. А121. Подробности можно узнать по ссылке: https://www.group-telegram.com/+B3UPwOcK5ao0Y2E6

23 ноября стартует научно-учебный семинар «Математическая Логика и Теория Категорий»!

Семинар нацелен на совместное изучение основ и актуальных результатов в сфере категорной логики, теории типов и теории моделей. Особое внимание уделяется изучению проблем и подходов, находящихся на пересечении математики, формальной философии, логики и теоретической информатики. В рамках семинаров предполагается введение в основные понятия и темы математических дисциплин напрямую связанных с категорной логикой. Основная задача семинара — совместное изучение основ категорной логики, поэтому участие не предполагает специальных знаний в указанных выше сферах.

Если Вы хотите присоединиться к семинару или выступить с докладом, то свяжитесь с организаторами ([email protected] / [email protected]). Семинар проходит по субботам в 11:30 в аудитории A-121. Семинар проводится в гибридном формате. Обязательно свяжитесь с организаторами, если Вам нужен пропуск.

Ссылка на чат семинара: https://www.group-telegram.com/+q7rhQuAMOcs0MTYy

22 ноября (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".

Тема заседания: Логический квест "Алиса"
Докладчик: В.В. Селиверстов (НИУ ВШЭ)

Ждём вас в кабинете А121 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/988578575.html

Как прошла Международная конференция «Формальная философия 2024»

https://llfp.hse.ru/news/988556487.html

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

https://llfp.hse.ru/news/988542754.html

Соединяя математику и философию: российско-бразильский проект по логическому плюрализму

https://www.hse.ru/en/news/research/991897549.html

29 ноября (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".

Тема доклада: "Семантика видовой референции"
Докладчик: Аркадий Шалдов (НИУ ВШЭ)

Ждём вас в кабинете А121 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/991740802.html

6 декабря (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"

Тема доклада: "К вопросу о значении автореферентности для онтологического аргумента"
Докладчик: Данияр Шамканов (НИУ ВШЭ)

Ждём вас в кабинете А121 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/993289661.html

Хорхе Мендес-Мартинес, научный сотрудник МЛ ЛогЛинФФ,  стал победителем конкурса Национального совета Мексики по науке и технологиям. О своей научной работе Хорхе рассказал в интервью порталу НИУ ВШЭ, https://llfp.hse.ru/news/994289970.html

13 декабря (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"

Тема доклада: "Kant and the problem of metaphysics"
Докладчик: Денис Маслов (НИУ ВШЭ)

Ждём вас в кабинете А121 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/995844852.html