Forwarded from Формальная философия
23 ноября стартует научно-учебный семинар «Математическая Логика и Теория Категорий»!
Семинар нацелен на совместное изучение основ и актуальных результатов в сфере категорной логики, теории типов и теории моделей. Особое внимание уделяется изучению проблем и подходов, находящихся на пересечении математики, формальной философии, логики и теоретической информатики. В рамках семинаров предполагается введение в основные понятия и темы математических дисциплин напрямую связанных с категорной логикой. Основная задача семинара — совместное изучение основ категорной логики, поэтому участие не предполагает специальных знаний в указанных выше сферах.
Если Вы хотите присоединиться к семинару или выступить с докладом, то свяжитесь с организаторами ([email protected] / [email protected]). Семинар проходит по субботам в 11:30 в аудитории A-121. Семинар проводится в гибридном формате. Обязательно свяжитесь с организаторами, если Вам нужен пропуск.
Ссылка на чат семинара: https://www.group-telegram.com/+q7rhQuAMOcs0MTYy
Семинар нацелен на совместное изучение основ и актуальных результатов в сфере категорной логики, теории типов и теории моделей. Особое внимание уделяется изучению проблем и подходов, находящихся на пересечении математики, формальной философии, логики и теоретической информатики. В рамках семинаров предполагается введение в основные понятия и темы математических дисциплин напрямую связанных с категорной логикой. Основная задача семинара — совместное изучение основ категорной логики, поэтому участие не предполагает специальных знаний в указанных выше сферах.
Если Вы хотите присоединиться к семинару или выступить с докладом, то свяжитесь с организаторами ([email protected] / [email protected]). Семинар проходит по субботам в 11:30 в аудитории A-121. Семинар проводится в гибридном формате. Обязательно свяжитесь с организаторами, если Вам нужен пропуск.
Ссылка на чат семинара: https://www.group-telegram.com/+q7rhQuAMOcs0MTYy
Сегодня, как известно, день философии, с чем я искренне поздравляю всех сопричастных. А вчера, между прочим, была годовщина смерти великого и ужасного Романа Трахтенберга (надеюсь, когда-нибудь он заслужит отдельного фильма в духе того, что снял Рома Супер про Эдуарда Успенского). Даты, конечно, никак не связанные, но я решил предложить свой скромный анализ крупицы анекдотического наследия известного шоумена, которым делюсь с вами.
https://telegra.ph/K-germenevtike-odnogo-anekdota-11-21
https://telegra.ph/K-germenevtike-odnogo-anekdota-11-21
В Логико-философских штудиях вышла моя статейка про историю таблиц истинности. Если вкратце, то, как водится, первее всех был Пирс, Витгенштейн переоткрыл, Рассел впечатлился и позаимствовал, а потом усилиями Поста и Лукасевича это ушло в народ.
Хочу отдельно поблагодарить Каспера и Глеба Карпова за содержательные замечания и правки.
Хочу отдельно поблагодарить Каспера и Глеба Карпова за содержательные замечания и правки.
Forwarded from Душный синтаксис
Удивительная_история_таблиц_истинности_Арсен_Вольский.pdf
1.1 MB
Читаем