[ШЫЛОВ+]

вот тут
я видел фразу:

Аксиоматику безусловно можно задавать разную. Но самые глубинные аксиомы - исключённого третьего - не трогали с древнейших времён. Т.е. по факту отрицалась возможность парадокса в окружающем мире.

Глянул.

Закон исключённого третьего непосредственно связан с законом противоречия , согласно которому два взаимно противоречащих высказывания не могут быть истинными в одно и то же время и в одном и том же отношении (то есть одно из них должно быть ложным). Оба эти закона были впервые сформулированы Аристотелем в его «Метафизике» ...

Скрытый текст:

..Впоследствии эти законы наряду с законом тождества («A есть A») были приняты схоластами в качестве основных законов логики. Оригинальная формулировка Аристотеля: «Оба утверждения A и не-A не могут быть одновременно ложны». Наряду с этим, в «Метафизике» встречается (не как закон, а как способ рассуждения) другая формулировка, в настоящее время более употребимая: «Одно из утверждений A или не-A должно быть истинным». Эта формулировка известна как сильный закон исключённого третьего и получила в схоластической логике название tertium non datur...
...Брауэр был убеждён, что логические законы не являются абсолютными истинами, не зависящими от того, к чему они прилагаются. Возражая против закона исключённого третьего, он настаивал на том, что кроме утверждения и его отрицания имеется ещё третья возможность, которую нельзя исключить: она обнаруживает себя при рассуждениях о бесконечных множествах объектов. Ограничение Брауэром сферы действия этого закона существенно сужало круг тех способов рассуждения, которые применимы в математике и это сразу же вызвало резкую оппозицию многих математиков. Первое формальное доказательство брауэрова закона дал В. И. Гливенко (1928). Критика Брауэром закона исключённого третьего положила начало новому направлению в формальной логике (см. Логика формальная) — интуиционистской логике. В ней не принимается данный закон и отбрасываются все те способы рассуждения, которые с ним связаны.

В целом, закон исключённого третьего представляется теперь спорным законом логики, более того, в некоторых рассуждениях его следует считать ложным. Общая критика закона (в его сильной форме) сводится к следующим положениям. Он применим для рассмотрения терминов в фиксированной обстановке с фиксированной точки зрения. Он не подходит для меняющейся обстановки и субъективных понятий. Он не допустим даже для терминов, если исследователя интересует не просто доказательство, а построение. Тем не менее, во всех указанных случаях иногда его использование корректно и весьма эффективно, но требует дополнительных обоснований....

Далее, в конце поста:

...Так как практика не подтвердила ещё ни разу в нашем мире, что аксиома исключённого третьего не является аксиомой этого мира.

Тема - исключительно интересная. И знаковая. Ибо ни концепция КОБ МВ, ни т.н. "Библейская" на дух не переносят наличие какой бы то ни было третьей концепции в изложении кого бы-то ни было...

Так ты говоришь, что они обе могут быть ложными?
A Ты знаешь. я в этом с тобой категорически согласен!