Формальная философия
520 subscribers
314 photos
294 links
Международная лаборатория логики, лингвистики и формальной философии

https://llfp.hse.ru
Download Telegram
Опубликована программа международной конференции "Формальная философия 2023" (11–13 октября) https://llfp.hse.ru/formalphilosophy/2023#programme
Зарегистрироваться в качестве слушателя можно на сайте конференции до 18.00 10 октября
20 октября в 18:10 состоится заседание исследовательского семинара «From the Logical Point of View». Григорий Золотков
(стажер-исследователь МЛ ЛогЛинФФ)
выступит с докладом: «Об основных направлениях рецепции философии Витгенштейна в витгенштейнианстве», https://llfp.hse.ru/announcements/866468447.html
🔥41
Опубликованы записи пленарных докладов международной конференции "Формальная философия 2023"https://www.youtube.com/playlist?list=PLKxDxbEElp0531uOY4v84bBqoeVRO71_c
9
27 октября и 3 ноября состоятся заседания семинара «Формальная философия». С.О. Сперанский (МИАН) выступит с докладом «Об одном модальном подходе к рассуждениям о "произвольных" натуральных числах»
https://llfp.hse.ru/announcements/867867301.html
🔥21
10 декабря в актовом зале на Старой Басманной 21/4 пройдет Московский международный фестиваль языков, на котором стажер-исследователь Александр Запрягаев сделает 3 доклада: «Откуда берутся новые иероглифы?» , «Классический китайский язык (вэньянь)​​​​​​​»,
«Как работает поэзия в языках мира?», https://llfp.hse.ru/announcements/868582780.html
5
Наши студенты и сотрудники организуют ридинг-семинар Analytics. Идея - создать пространство для совместного чтения современных статей по аналитической философии и соприкасающимся с ней областям. Первая встреча состоится 11 ноября в 18.10 по адресу ул. Старая Басманная, д. 21/4, каб А-121. Для чтения была выбрана статья Ханса-Йоханна Глока “Was Wittgenstein an Analytic Philosopher?” Более подробная информация по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
3
10 и 17 ноября в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View". Иван Пыльцын (стажер-исследователь МЛ ЛогЛинФФ) выступит с докладом: «О сильной эквивалентности арифметики Пеано и теории конечных множеств», https://llfp.hse.ru/announcements/871492202.html
👍5❤‍🔥2🤔1
Forwarded from Irina Nikitina
У нас появился постер
🔥71👍1
Наши друзья организуют категорное кафе
4
Итак, вчера прошла первая встреча в рамках нашего Категорного кафе. Встреча получилась интересной, а актива было много от всех (в том числе и от онлайн-участников). Поэтому рад объявить о начале проведения наших заседаний на регулярной основе в смешанном формате.

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

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

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

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

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

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

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

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

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

Что ж, объявляю наше Категорное кафе открытым.
5
8 декабря в 18:30 состоится заседание исследовательского семинара «From the Logical Point of View» Международной лаборатории логики, лингвистики и формальной философии. Иван Рыгаев (Институт проблем передачи информации РАН) выступит с докладом: «Семантико-прагматический подход к синтаксическим структурам», https://llfp.hse.ru/announcements/877988429.html
🔥2
Конкурс на позицию постдока в Международной лаборатории логики, лингвистики и формальной философии, заявки принимаются до 31 января, https://iri.hse.ru/ru/Postdoc38
🔥3
В эту субботу состоится очередная встреча ридинг-семинара Analytics. Более подробная информация по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
👍321
15 января в Международной лаборатории логики, лингвистики и формальной философии пройдет научный семинар, приуроченный ко Всемирному Дню Логики. К участию в семинаре приглашаются как студенты, аспиранты и молодые ученые, так и опытные исследователи. Заявки принимаются до 25 декабря. https://llfp.hse.ru/announcements/878220889.html
4