10 и 17 ноября в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View". Иван Пыльцын (стажер-исследователь МЛ ЛогЛинФФ) выступит с докладом: «О сильной эквивалентности арифметики Пеано и теории конечных множеств», https://llfp.hse.ru/announcements/871492202.html

У нас появился постер

Наши друзья организуют категорное кафе

Итак, вчера прошла первая встреча в рамках нашего Категорного кафе. Встреча получилась интересной, а актива было много от всех (в том числе и от онлайн-участников). Поэтому рад объявить о начале проведения наших заседаний на регулярной основе в смешанном формате.

Но прежде постараюсь кратко рассказать о нас.

📌Что мы такое?
Мы студенческое объединение НГУ, встречи-созвоны которого проходят каждый четверг в 18:10 НСК (МСК+4), в рамках которых мы постепенно погружаемся в теорию категорий.

📌На кого мы ориентированы?
Мы ориентированы на любого интересующегося этой невероятно красивой областью знания, будь он школьником, студентом, учителем, преподавателем или любознательным пенсионером.

📌 Какими знаниями должен обладать участник наших встреч, чтобы он смог понять если не всё, то основную часть издаваемого материала?
Никаких предварительных знаний от слушателя не требуется, но познания в теории множеств, универсальной алгебре, теории групп, гомологической алгебре, функциональном анализе, квантовой теории поля, формальной семантике естественных языков, теоретическом программировании и философии математики приветствуются, но, повторюсь, ни в коем случае не является обязательными. Встречи этого семестра будут направлены на формирование элементарных знаний.

📌 Ваш формат не предполагает структуры похожей на спецсеминары/элективы в университетах и, соответственно, системы распределения баллов и зачёты?
Нет, наши встречи не являются спецсеминарами/элективами в строгом смысле слова. Их не получится зачесть в качестве таковых ни в НГУ, ни в других университетах. Ключевой особенностью наших встреч является горизонтальная структура наших встреч: вас никто не оценивает, однако вопросы докладчику и поправки в его адрес не просто допустимы, но являются желательными при условии их релевантности.

📌 Почему кафе?
Во-первых, это отсылка сразу к двум явлениям. Первое - это групповой блог, посвящённый теории категорий в контексте математики, физики и философии. Второе - это один из способов организации философских диалогов и встреч и обсуждений философских книг и статей; один из примеров как раз такого явления в русскоязычном пространстве является замечательное сообщество Философское кафе (к тому же издающее потрясающий журнал Финиковый компот). В будущем наши встречи также предполагают совместные обсуждения прочитанного в рамках докладов или обмена мнениями. Во-вторых, мы приносим на встречи еду и напитки, это может сделать любой участник, чему мы несомненно будем очень рады. А раз в месяц предполагается неформальный разговор в рамках посиделок в баре или прогулок.

📌 Как устроены ваши встречи? Что вы на них делаете?
На данный момент (и до конца семестра) ваш покорный выступает в роли экскурсовода по прибрежным водам теоретико-категорного океана. В дальнейшем предполагаются доклады на какие-то более специализированные темы —докладчиком можете выступить вы сами или какой-либо из других участников, который по совместительству интересуется теми же топиками, что и вы — зависит от того, как вы договоритесь между собой, сообща об этом на встрече.

📌 У меня нет возможности участвовать в ваших встречах очно, но я хочу быть слушателем или докладчиком. Могу ли я это делать?
Да, можете, наш формат предполагает онлайн-участие. Мы созваниваемся в Jitsi. Если вы хотите участвовать в наших встречах, напишите об этом мне и я включу вас в рассылку.

📌 Я пропустил встречу. Есть ли у меня возможность узнать что на ней было?
Да, мы ведём запись, которая выкладывается на гугл диск, ссылку на который (в частности с записью первой встречи) я оставлю в одном из следующих постов.

Что ж, объявляю наше Категорное кафе открытым.

8 декабря в 18:30 состоится заседание исследовательского семинара «From the Logical Point of View» Международной лаборатории логики, лингвистики и формальной философии. Иван Рыгаев (Институт проблем передачи информации РАН) выступит с докладом: «Семантико-прагматический подход к синтаксическим структурам», https://llfp.hse.ru/announcements/877988429.html

Конкурс на позицию постдока в Международной лаборатории логики, лингвистики и формальной философии, заявки принимаются до 31 января, https://iri.hse.ru/ru/Postdoc38

В эту субботу состоится очередная встреча ридинг-семинара Analytics. Более подробная информация по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6

15 января в Международной лаборатории логики, лингвистики и формальной философии пройдет научный семинар, приуроченный ко Всемирному Дню Логики. К участию в семинаре приглашаются как студенты, аспиранты и молодые ученые, так и опытные исследователи. Заявки принимаются до 25 декабря. https://llfp.hse.ru/announcements/878220889.html

Александр Запрягаев: «Как работает поэзия в языках мира?» - Московский фестиваль языков 2023, https://www.youtube.com/watch?v=WlH64bM4tU4

Напоминаем, что мы проводим семинар в честь Дня Логики, заявки принимаются до 25 декабря, https://llfp.hse.ru/announcements/878220889.html

Поздравляем стажёров-исследователей с победой в конкурсе НИРС!

Иван Соболев стал победителем в номинации «Лучшая научно-исследовательская работа по философии для студентов бакалавриата и специалитета», Георгий Филатов стал лауреатом в номинации «Лучшая научно-исследовательская работа по философии» для студентов магистратуры и выпускников 2023 года.

Подробно с итогами Конкурса научно-исследовательских работ студентов (НИРС-2023) можно ознакомиться по ссылке. 

Завтра в 17.00 в Международной лаборатории логики, лингвистики и формальной философии состоится семинар в честь Всемирного Дня Логики.
https://llfp.hse.ru/announcements/878220889.html

Место проведения: Старая Басманная, 21/4, А-206

Можно принять участие в семинаре как онлайн, так и оффлайн.

Ссылка для подключения:
https://us06web.zoom.us/j/81144333974?pwd=qGNM7y0tIDgboWwl9O3ORTt1IfVXk4.1
Идентификатор конференции: 811 4433 3974
Код доступа: 797913

Регистрация для прохода в здание: https://llfp.hse.ru/polls/866468233.html

19 января в 18:30 состоится 80-е заседание научно-теоретического семинара «Формальная философия». Зоран Огнянович (Математический институт Сербской академии наук и искусств) выступит с докладом
«A Probabilistic Temporal Epistemic Logic», llfp.hse.ru/announcements/887812977.html

15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики, https://llfp.hse.ru/news/888753708.html

Опубликована запись доклада Зорана Огняновича, https://youtu.be/hOx6g96M7vo?si=_fZrUznFGpOR_jqd

26 января (пятница) в 18.30 состоится заседание семинара «Формальная философия». Семинар пройдет в форме дискуссии (докладчики: Анна Моисеева и Михаил Смирнов) на тему «Ситуационная семантика для естественных рассуждений».  Первая часть дискуссии будет посвящена теме «Релевантность и логическое следование с точки зрения ситуационной семантики».

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

https://llfp.hse.ru/announcements/891014824.html

27 января (суббота) в 18.10 состоится очередная встреча ридинг-семинара Analytics. Подходит к концу чтение статьи "Belief. What is it good for?" Джона Макфарлена.
Присоединиться можно как онлайн, так и офлайн.
Более подробная информация доступна по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
Ждем вас!