Доклады стажеров-исследователей МЛ ЛогЛинФФ на XXI Бразильской Логической Конференции
с 9 по 16 мая в городах Сан-Паулу и Серра Негра (Бразилия) прошли школа по логике и XXI Бразильская Логическая Конференция, в которой приняли участие стажеры-исследователи Рамазан Аюпов и Елена Попова.
Доклад Пирмина Штекелера-Вайтхофера "Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals"
16 мая на семинаре «Формальная философия» Пирмин Штекелер-Вайтхофер (Лейпцигский университет) выступил с докладом "Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals".
Поздравляем Дениса Федянина с защитой диссертации!
12 мая в диссертационном совете 24.1.107.03 ИПУ РАН Денис Федянин защитил диссертацию на соискание ученой степени кандидата технических наук.
Конференция «Скептицизм, здравый смысл и рациональность: 315 лет Томасу Риду»
26 апреля в корпусе НИУ ВШЭ на Старой Басманной (ауд. А-307) прошла научная конференция «Скептицизм, здравый смысл и рациональность: 315 лет Томасу Риду».
Доклад Александра Поддьякова на семинаре «Формальная философия»
25 апреля на семинаре «Формальная философия» ведущий научный сотрудник МЛ ЛогЛинФФ Александр Поддьяков выступил с докладом «Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ...».
Доклад Рамазана Аюпова на семинаре «Современные проблемы математической логики» ВШЭ
25 апреля Рамазан Аюпов выступил с докладом «Логика каузальной импликации Р. Сильвана — Н. да Косты» на научном семинаре «Современные проблемы математической логики» в ВШЭ.
Доклад Ирины Никитины на заседании семинара ИФ РАН «Современная аналитическая философия»
24 апреля Ирина Никитина выступила на заседании семинара Института философии РАН «Современная аналитическая философия» с докладом «Формализовывать или не формализовывать, вот в чём вопрос: формальные методы в философии».
Опубликована статья Данияра Шамканова «A realization theorem for the modal logic of transitive closure K+»
В журнале «Известия Российской академии наук. Серия математическая» вышла статья Данияра Шамканова «A realization theorem for the modal logic of transitive closure K+».
Предзащита докторской диссертации Михаила Рыбакова
23 апреля на логическом семинаре лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ) прошла предзащита докторской диссертации Михаила Рыбакова «Моделирование логических систем средствами их фрагментов».
Опубликована статья Рамазана Аюпова «Джон Сёрл о семантике имен собственных»
В журнале «История философии» опубликована статья Рамазана Аюпова «Джон Сёрл о семантике имен собственных: Джон Серл. Имена собственные».