Xan> А ты можешь рассказать (как в школе учили), что "аксиома это то, что принимается на веру, без доказательства".
Кстати, именно аксиома может помочь местным братьям по неразуму понять, что "вера в несуществование" эквивалентна "неверию в существование".
Фактически "вера в несуществование" - это "примем за истину, что объект не существует",
"неверие в существование" - это "примем за ложь, что объек существует"
Легко видеть, что:
1. "примем за истину, что объект не существует"
2. "примем за ложь, что объек существует"
Всегда ОДНОВРЕМЕННО ИСТИННЫ или ЛОЖНЫ, поэтому они эквивалентны.
У местных сектантов почему появляется ТРУДНОСТЬ, потому что они ПУТАЮТ "веру" и "уверенность"
Для "уверенности" не проходит фокус с контрадикторностью, как и для "знания"
3. "Уверен, что объект существует"
4. "Уверен, что объект не существует"
Не контрадикторны
Потому что если 3 - ложно (не уверен, что объект существует), то 4 - может быть как истинным, так и ложным.
Для такой модальности, как "уверен", существует группа модальной полноты (Уверен, допускаю сомневаюсь) и формулы, выражающие эквивалентность:
"Уверен в несуществовании Х" <-> "не допускаю существование Х"

"Допускаю несуществование Х" <-> "не убежден в существовании Х"

- квадратик обозначает УВЕРЕН

- Ромбик - это ДОПУСКАЮ
¬ (перевернутая скобка) - это знак отрицания (не)
P - это высказывание о "несуществовании Х" (Х не существует)
¬P - Отрицание от P.
¬P = ¬(Х не существует) = Х существует
<-> - знак эквивалентности для высказываний
Всё это я уже разжевывал вот тут:
… … Вера и неверие - контрадикторны, никакого третьего не дано. Либо веришь, либо нет. Если хотите ТРЕТЬЕ СОСТОЯНИЕ, то тогда надо говорить: Я не уверен в существовании Бога Тут уже расклад иной, потому что "не убежден (не уверен) в существовании Х" и "убежден (уверен) в несуществовании Х" образуют свою группу модальной полноты: "Убежден", "допускает", "сомневается" Модальность суждений имеет ряд модальных понятий. Они достаточно хорошо изучены и систематизированы. При этом в основу…
// Лунные космические программы