Публикации по теме 'metaphysics'
P-Zombie для пользователей Python
«P-Zombie» — это лингвистическая программа, написанная мной для Python, которая автоматизирует метафизический процесс: по сути, виртуальный философ без сознательных способностей.
P-Zombie для пользователей Python (изучающих философию) youtube.com
Бесчисленное количество способов, которыми я использовал этот скрипт для учебы, бесконечное количество вариантов использования, которые я мог придумать, и просто общее желание поделиться чем-то..
Почему система T подразумевает аксиому B:
(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..