Путь от непротиворечивой логики к большему, чем она, и обратный путь к непротиворечивой логике несимметричны: Логикой опровергнуть большее, чем она, нельзя, но большее может верифицировать логику. Таким образом, на краю фундаментальные положения теоретической науки являются окончательными, верифицируемыми из самих себя, в экспериментальной проверке не нуждающимися. В экспериментальном, эмпирическом подтверждении нуждаются частичные знания, относящиеся к конкретным фактам и явлениям в пространстве-времени. Можно, находясь в келье и не имея никаких знаний о внешнем мире, вывести «из ничего» все краевые, фундаментальные законы природы. Но при невозможности наблюдения, невозможности эмпирической проверки, нельзя ничего достоверно сказать о том, что же конкретно находится за стенами кельи (это, конечно, при отсутствии у человека транс-сознания, отсутствии способности к транс-восприятию). Аналогично (из самих себя) верифицируются при введении понятия полноты и легитимации краевой логической противоречивости аксиомы философии. «Семантику» протокода (конкретику того, что за стенами кельи) мы можем взять из опыта (и тогда вопрос о правоте того или иного мыслителя решается однозначно). При этом главную роль играет адекватное представление мыслителя о конкретике исследуемой области (к таким представлениям мы относим, например, представление В.И. Моисеева об онто-изолятах), его «точка входа». Краевой же «синтаксис» протокода определяется в рамках теории полных сущностей, принципа четырех фундаментальных интенций8. Соответственно, синтаксис, краевая схема, краевая структура протокода определяется в Интегралике однозначно; важной задачей остается правильный 8 См., например, в конце настоящей работы (в разделе «О краевом синтаксисе. Четыре фундаментальные интенции»). 68
69 Publizr Home