This media is not supported in your browser
VIEW IN TELEGRAM
На случай если вы интересовались, куда можно добраться на машине Тьюринга
Душный синтаксис
Мальбранш* )
Да какой ещё Мальбранш, ну вы чего
(Вдруг это Белнап - классик релевантной логики)
(Вдруг это Белнап - классик релевантной логики)
Если наш мир - такой возможный мир, где вы бы хотели присоединиться к чтениям, то заходите
Forwarded from Матклуб
Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M.
Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.
Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.
Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.
Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.
Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Душный синтаксис
Как думаете, аргумент валиден?
Некоторые из вас уже писали мне, но всё же было бы интересно, если бы и другие написали в лс - почему вы считаете, что верен тот вариант ответа, что вы избрали