tgoop.com/roguelike_theory/471
Last Update:
Довольно нишевый контент, но вот думаю о том, можно ли интерпретировать импликацию из линейной логики (леденец ⊸) через вопрос типа «Жизнь или кошелек?», в котором один из вариантов подразумевает утрату сразу обоих. По сути, разве это не «кошелек ⊸ жизнь»? Вот это вот странное «или» в вопросе, которое не совсем обычное «или» из логики — очень похоже на таинственный линейно-логической оператор ⅋…
Столкнувшись с работами Жан-Ива Жирара много лет назад, я не смог не втянуться в секту и не уверовать, что за линейной логикой будущее. Сейчас уже пару лет постоянно на нее натыкаюсь в статьях по информатике и немножко лингвистике, еще нашел интересные пейперы, где ее применяют скажем для формального фундирования нарратива для игр. Но это все как-то пока технично, а для действительно безумного будущего не хватает статьи типа «Формулируем все мутные логические парадоксы Лакана как теоремы линейной логики». Учитывая, кстати, что ЛЛ хорошо отвечает нападкам Бадью на интуиционизм и тому подобным попыткам философов что-то сказать про формальную логику. В итоге иногда часа в три ночи сижу и пытаюсь понять, может, скажем, эти абсурдные лакановские формулы сексуации имеют четкую линейно-логическую формулировку. Хотя, я, конечно, ничего никогда не напишу, а когда кто-нибудь другой до этого же самого догадается и опубликует, закачу глаза только… странное это все занятие, но увлекательное, это уж точно.
BY roguelike theory
Share with your friend now:
tgoop.com/roguelike_theory/471