[Промузг]

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

Самый простой пример применения иной логике в жизни - это использование в расчётах не Евклидовой, а геометрии Лобачевского. Какие ограничения необходимо ввести, чтобв её использовать в повседневной жизни? Это вопрос о доверии своим моделям реального мира и их соответствия ему с выбранными ограничеями. В случае практического применения геометрии Евклида - ведь доступный на данный момент для наблюденя мир. Можем ли мы утверждать, что и за пределами наблюдаемого мира она верна? Да. Почему? На основе единства мира и принципов его построения. Если это не так, то ... он не един. Этим грешит современная физика, вводя различное число измерений для макро-, мезо- и микромира.