«P-Zombie» — это лингвистическая программа, написанная мной для Python, которая автоматизирует метафизический процесс: по сути, виртуальный философ без сознательных способностей. P-Zombie для пользователей Python (изучающих философию) youtube.com Бесчисленное количество способов, которыми я использовал этот скрипт для учебы, бесконечное количество вариантов использования, которые я мог придумать, и просто общее желание поделиться чем-то..

(CT) Следствие T: T → (∀Q)(Q → ◊Q) Правило необходимости: (∀Q)(⊢Q → □Q) Определение 1: B = (∀P)(P → □◊P) A1 (предположение 1): T D1 (Modus Ponens, A1, CT): (∀Q)(Q → ◊Q) A2 (предположение 2): ~(∀P)(P → □◊P) 1 (Существенное значение, A2): ~(∀P)(~PV□◊P) 2 (Изменение квантификатора, 1): (∃P)~(~PV□◊P) 3 (Закон Де Моргана, 2): (∃П)(~~П&~□◊П) 4 (двойное отрицание, 3): (∃P)(P&~□◊P) 5 (Экзистенциальное воплощение, 4): П&~□◊П 6 (Упрощение, 5): P 7..