3 ноября15:00
Старая Басманная улица, 21/4с1, Россия, Москва
Международная лаборатория логики, лингвистики и формальной философии (ЛогЛинФФ, LLFP) является центром междисциплинарного сотрудничества, в котором философов, математиков и лингвистов объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии — истина, знание, обоснование, рациональность, нормативность. Международным партнером лаборатории является
Центр логики, эпистемологии и истории науки Университета Кампинаса, Бразилия. В ЛогЛинФФе действуют несколько регулярных семинаров (в том числе студенческих). Мы проводим международные конференции, летние и осенние школы. Также в ЛогЛинФФе действуют несколько программ стажировок различного уровня.
Новости
31 октября прошло заседание научно-теоретического семинара «Формальная философия».
31 октября
Как прошел финальный день конференции.
30 октября
В журнале «Студиа Логика» ("Studia Logica") опубликована статья Сайянтана Роя «Абстрактные модельные структуры и теоремы компактности».
30 октября
Как прошел третий день конференции.
29 октября
Фоторепортаж со второго дня конференции.
28 октября
В журнале «Вестник Томского государственного университета. Философия. Социология. Политология» опубликована статья Михаила Смирнова.
28 октября
27 октября началась конференция «Формальная философия 2026».
27 октября
22 октября А.Н. Поддьяков выступил с докладом «Теория абдуктивного познания Лоренцо Маньяни и психологические исследования любознательности и экспериментирования» на Международной научно-практической конференции «Философское, психологическое и педагогическое наследие и современность: к юбилеям Л.С. Выготского и Ж. Пиаже», организованной философским и психологическим факультетами МГУ.
23 октября
21 октября прошло заседание теоретического семинара «Формальная философия».
22 октября
7 и 14 октября прошли заседания научно-исследовательского семинара «С логической точки зрения».
15 октября
6 и 13 октября Михаил Рыбаков сделал доклад на семинаре Добрушинской лаборатории ВШМ МФТИ на тему «Логики, описывающие вычисления: их синтаксис, семантика и сложность».
14 октября
В интервью Элиа Дзардини рассказывает о решении классических логических головоломок, о своём опыте работы в Москве и о предстоящей конференции «Формальная философия».
13 октября
3 октября прошел второй день работы секции Философия сознания, где научный сотрудник Максим Горбачев выступил с докладом «Номологическая зависимость и проблемы аргументов представимости».
5 октября
24 сентября М.Н.Рыбаков сделал доклад «Логики для описания вычислений: синтаксис, семантика, сложность» на семинаре «Нестандартные логики» имени Л.Л.Максимовой, проходящем в ИМ СО РАН.
25 сентября
23 сентября прошло заседание научно-исследовательского семинара, на котором стажер-исследователь Юрий Казаков выступил с докладом «Эпистемические модели вопросов и ответов».
23 сентября
Максим Евстигнеев защитил кандидатскую диссертацию по теме «Идиома "путь идей" в нововременной философии от Р.Декарта до Т.Рида».
17 сентября
16 сенября прошло 125-е заседание научно-теоретического семинара «Формальная философия».
17 сентября
16 сентября на логическом семинаре лаборатории имени Ю.И.Манина, проходящем в ВШМ МФТИ, И.А.Горбуновым и М.Н.Рыбаковым был представлен доклад «Минимальная вполне-определённая логика и её теории».
17 сентября
Опубликован препринт Александра Поддьякова «Расплывчатые стимулирующие идеи, образы и метафоры в научном мышлении: работа исследователей с горизонтами неясного знания».
10 сентября
9 сенября прошло 124-е заседание научно-теоретического семинара «Формальная философия».
10 сентября
26 августа в рамках международной конференции, посвящённой 125-летию П.С. Новикова (МИАН, Москва), Михаил Рыбаков выступил с докладом «Логики для описания вычислений: синтаксис, семантика и вычислительная сложность проблемы разрешения».
27 августа
21 августа на VI Конференции математических центров России в Казани Анастасия Оноприенко и Михаил Рыбаков представили доклад, посвящённый сложности логики HC — гибридной системы, объединяющей классическую и интуиционистскую логики, а также её фрагментов.
22 августа
24 июля конференции в Лиссабоне Дмитрий Шкатов и Михаил Рыбаков представил доклад об алгоритмических свойствах модальных логик первого порядка для классов деревьев.
24 июля
В «Журнале рационально-эмотивной и когнитивно-поведенческой терапии» опубликована статья Виктории Денисовой и Николы Петровича «Когнитивные искажения не являются логическими ошибками: концептуальное прояснение».
15 июля
В журнале «Анналы чистой и прикладной логики» (Annals of Pure and Applied Logic) опубликована статья Михаила Рыбакова.
13 июля
В журнале «Эпистемология и философия науки» опубликована статья Ивана Соболева «Фронтир семантики и прагматики в философии языка».
7 июля
3 июля Рамазан Аюпов выступил с докладом «Аналитичность и современные формальные теории: типология Хинтикки и теория типов» на конференции «Логический коллоквиум», которая прошла в Университете Свонси (Уэльс, Великобритания).
4 июля
Михаил Рыбаков и Дарья Серова выступили с докладом «Ненормальные модальные логики: странные миры и вычислительная сложность» на семинаре, который прошел 29 июня на ФКН НИУ ВШЭ.
30 июня
В журнале «Математические заметки» вышла статья Анастасии Оноприенко «Интуиционистская эпистемическая логика с точки зрения классической логики».
29 июня
В «Философском журнале» вышли статьи Лолиты Макеевой и Максима Горбачева.
19 июня
В ней представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки.
18 июня
17 июня прошло 123-е заседание теоретического семинара «Формальная философия».
18 июня
10 июня в 18:10 прошло 122-е заседание теоретического семинара «Формальная философия».
11 июня
3 июня прошло заседание научно-исследовательского семинара «С логической точки зрения» («From the Logical Point of View»).
4 июня
В журнале «Праксема. Проблемы визуальной семиотики» опубликована статья Ангелины Бобровой и Екатерины Волынской «"Хореография танца" и "кинофильмы мыслей", или о причинах отсутствия общепризнанной танцевальной нотации».
1 июня