Логика сексуации Лакана частично относится к модальной логике, и он записывает модальную категорию невозможного следующим образом: «не перестаёт не быть». Как невозможное, сексуальная связь не перестаёт не записываться. Любовь — это когда происходит переворот: связь перестаёт не записываться. Это эффект миражей, иллюзии, случайный эффект, рожденный из случайной встречи. Кэтрин Милло, «Логика и любовь», 2023 Жак Лакан (Jacques Lacan, 1901–1981) — французский психоаналитик, психиатр и философ, один из самых влиятельных теоретиков психоанализа XX века...

В основу машинной модальной многозначной пропозициональной логики возьмём аксиологическую логику, разработанную профессором А.А. Ивиным из Москвы. Согласно аксиологической логики определим, что машинный язык позволяет логически описать внешний мир и пространство. Его можно употреблять, как для описания действительности, характеризуемое в терминах или , так также осуществить их оценку выступающую как стандарт, перспектива, план действий. Машинное описание и машинная оценка являются двумя полюсами, между которыми имеется множество переходов. Машинные экспрессивы близки к машинным описаниям...