Доклад Юрия Казакова «Эпистемические модели вопросов и ответов»
23 сентября прошло заседание научно-исследовательского семинара, на котором стажер-исследователь Юрий Казаков выступил с докладом «Эпистемические модели вопросов и ответов».
Поздравляем Максима Евстигнеева с защитой кандидатской диссертации!
Максим Евстигнеев защитил кандидатскую диссертацию по теме «Идиома "путь идей" в нововременной философии от Р.Декарта до Т.Рида».
Доклад Михаила Сафронова «Тонкая красная линия: оккамистский ответ на проблему эпистемического фатализма»
16 сенября прошло 125-е заседание научно-теоретического семинара «Формальная философия».
Препринт Александра Поддьякова
Опубликован препринт Александра Поддьякова «Расплывчатые стимулирующие идеи, образы и метафоры в научном мышлении: работа исследователей с горизонтами неясного знания».
Доклад Ивана Соболева «Периодическая таблица утверждений: структура и классификация некооперативной речи»
9 сенября прошло 124-е заседание научно-теоретического семинара «Формальная философия».
Доклад Михаила Рыбакова на конференции «Новиков–125»
26 августа в рамках международной конференции, посвящённой 125-летию П.С. Новикова (МИАН, Москва), Михаил Рыбаков выступил с докладом «Логики для описания вычислений: синтаксис, семантика и вычислительная сложность проблемы разрешения».
Доклад Анастасии Оноприенко и Михаила Рыбакова в Казани
21 августа на VI Конференции математических центров России в Казани Анастасия Оноприенко и Михаил Рыбаков представили доклад, посвящённый сложности логики HC — гибридной системы, объединяющей классическую и интуиционистскую логики, а также её фрагментов.
Доклад Михаила Рыбакова и Дмитрия Шкатова на конференции «Автоматический вывод в количественных неклассических логиках» (Лиссабон, Португалия)
24 июля конференции в Лиссабоне Дмитрий Шкатов и Михаил Рыбаков представил доклад об алгоритмических свойствах модальных логик первого порядка для классов деревьев.
Опубликована статья Виктории Денисовой в соавторстве с сербским ученым Николой Петровичем «Когнитивные искажения не являются логическими ошибками: концептуальное прояснение»
В «Журнале рационально-эмотивной и когнитивно-поведенческой терапии» опубликована статья Виктории Денисовой и Николы Петровича «Когнитивные искажения не являются логическими ошибками: концептуальное прояснение».
Опубликована статья Михаила Рыбакова «Суперинтуиционистские предикатные логики линейных шкал Крипке: неразрешимость с двумя индивидными переменными»
В журнале «Анналы чистой и прикладной логики» (Annals of Pure and Applied Logic) опубликована статья Михаила Рыбакова.