Существует некая жёстко заданная аксиоматика нашего мира. В систему аксиом входят рациональные члены и иррациональные. Т.е. по Инину аксиоматика виртуальная, по мне - с иррациональными членами. Что позволяет решить предельную теорему Гёделя о неполноте.
Иррациональные аксиомы тоже в принципе понятны: микрочастицы, человеческий разум, Бог. Скорее всего система аксиом колебательная - период полного описания, но противоречивости - период непротиворечивости, но неполного описания.
В систему жёстко заданных рациональных аксиом входят тесно связанные с понятием времени: причинно-следственная аксиома и аксиома невозможности одномоментного существования взаимоисключающих событий (классический материализм). В противоречивых моделях такое возможно, на практике за всю историю не зафиксировано ни одного случая. В этом случае противоречивая модель либо строится на иной аксиоматике, не присущей нашему миру, либо ошибочна.
Строго говоря, систему аксиом можно выстраивать произвольную. Скажем, 2+2=5... И в рамках этой системы аксиом выстраивать логику и модели. Вообще, аксиомы, по сути, заданные в системе ограничения. Но рациональная аксиоматика нашего мира уже задана и не нами. Поэтому ей присуща определённая логика. Не логика вообще, а логика нашего мира. Оттого НиТим про логику в строгом смысле прав, она может быть любой. Только при этом она также может не иметь какого-либо отношения к объекту рассмотрения. И тем более нет никакой абсолютной логики. Она также конкретна, привязана к системе, т.е. имеет некие ограничения.
Модели со временем в качестве базиса задают некую аксиоматику, в рамках данной аксиоматики они непротиворечивы и с какой-то долей приближения могут соответствовать неким процессам феменологии мира, в котором мы живём.
Что же происходит, когда гордыня разума начинает апроксимировать ограниченные модели за рамки ограничений, абсолютизировать рабочие в принципе модели на все остальные процессы, для которых эти модели не создавались?
Появляются противоречия. Иными словами практика становится не соответствующей "истине", возникают парадоксы. Естественно в моделях. Чему подтверждения многочисленные парадоксы временных моделей.
Модель противоречива - перейти на более объемлющую модель рассмотрения, в которой рассматриваемая является частным случаем. В приложении ко времени - исключение его из базиса разрешает многие противоречия, впрочем, то же самое с пространством. В системе аксиом, в которой происутствует и МИМ, как рациональные базисы противоречий пока не накопилось, кроме противоречия предела теоремы Гёделя о неполноте, что впрочем, напрямик к базису не относится.
|