а.63  ПОЯСНЕННОЕ И НЕПОЯСНЕННОЕ ИСХОДНОЕ ПОЛОЖЕНИЕ ТЕОРЕТИЧЕСКОЙ НАУКИ

Обоснование необходимости рассмотрения вопросов теорем этой теоретической статьи.

Аксиомы при их введении в науку могут излагаться в виде ответа на некоторый теоретический вопрос либо вместе с теми рассуждениями, которые представляют собой пояснение исходного положения, либо без всяких рассуждений, сразу вслед за теоретическим вопросом. На этом основании все аксиомы теоретической науки можно поделить между собой на два противоположных друг другу класса, и каждому из этих классов можно дать соответствующее ему название и определение, что мы и сделаем ниже.

Недилеммно-причинная выводная  теорема а.63.1

Как и почему именно так делятся между собой все исходные положения теоретической науки относительно свойства «излагаться в виде ответа на теоретический вопрос не сразу за вопросом, а после тех рассуждений, в которых  ответ поясняется в процессе дотеоретического логического вывода»?

Обоснование выводного теоретического положения, или теоретический логический вывод.

В законе, сформулированном в теореме а.10.1, установлено, что каждое реальное явление обладает свойством непротиворечивости, которое проявляется в том, что всякому реальному явлению либо принадлежит некоторое свойство в какое-то время, либо оно ему в это же время не принадлежит.

А из этого закона следует такой ответ на вопрос теоремы.

Все  исходные положения теоретической науки относительно свойства «излагаться в виде ответа на теоретический вопрос не сразу за вопросом, а после тех рассуждений, в которых ответ поясняется в процессе дотеоретического логического вывода» делятся между собой так, что одни исходные  положения теоретической науки этим свойством обладают, а другие — им не обладают, потому что всякому реальному явлению либо принадлежит некоторое свойство в какое-то время, либо в это же время оно ему не принадлежит. (Выводной неопределяющий закон теоретической науки. Выводная теоретическая истина.)

Определительно-причинная выводная  теорема а.63.2

Что такое поясненное исходное положение теоретической нау­ки, или поясненная аксиома теоретической науки (как один из двух противоположных друг другу видов всех исходных положений теоретической науки)?

Обоснование выводного теоретического положения, или теоретический логический вывод.

В теореме а.63.1 выведен закон, согласно которому есть исходные положения теоретической науки, которые излагаются в виде ответа на теоретический вопрос не сразу за вопросом, а после тех рассуждений, в которых ответ поясняется в процессе дотеоретического логического вывода. Такие исходные положения теоретической науки назовем поясненными.

Отсюда такой ответ на вопрос теоремы.

Поясненное исходное положение теоретической науки, или поясненная аксиома теоретической науки (как один из двух противоположных друг другу видов всех исходных положений теоретической науки) — это исходное положение теоретической науки, которое излагается в виде ответа на теоретический вопрос не сразу за вопросом, а после тех рассуждений, в которых ответ поясняется в процессе дотеоретического логического вывода. (Выводной определяющий закон теоретической науки, выводное теоретические определение. Выводная теоретическая истина.)

Определительно-причинная выводная  теорема а.63.3

Что такое непоясненное исходное положение теоретической науки, или непоясненная аксиома теоретической науки (как один из двух противоположных друг другу видов всех исходных положений теоретической науки)?

Обоснование выводного теоретического положения, или теоретический   логический вывод.

Из закона, выведенного в теореме а.63.1, следует, что есть исходные положения теоретической науки, которые не обладают свойством «излагаться в  виде ответа на теоретический вопрос не сразу за вопросом, а после тех рассуждений, в которых ответ поясняется в процессе дотеоретического логического вывода». Следовательно, эти исходные положения излагаются в виде ответа на теоретический вопрос сразу за вопросом, без всяких рассуждений, поясняющих ответ. Такие исходные положения теоретической науки мы назовем непоясненными.

Отсюда такой ответ на вопрос теоремы.

Непоясненное исходное положение теоретической науки, или непоясненная аксиома теоретической науки (как один из двух противоположных друг другу видов всех исходных положений теоретической науки) — это исходное положение теоретической науки, которое излагается в виде ответа на теоретический вопрос сразу за вопросом, без всяких рассуждений, поясняющих ответ. (Выводной определяющий закон теоретической науки, выводное теоретические определение. Выводная теоретическая истина.)

Примеры поясненных исходных положений теоретической науки приведены в теоремах а.1, а.2, а.24.

Эти теоремы исходных положений включают в себя те непротиворечивые дотеоретические логические рассуждения, при помощи которых поясняется ответ на соответствующий теоретический вопрос. Поэтому эти теоремы исходных положений являются полными. И именно поэтому ответы в данных теоремах излагаются в виде поясненных аксиом теоретической науки.

Примеры непоясненных  положений теоретической науки даны в теоремах а.3.1, а.3.2, а.6.1,а.7.1, а.8.1, а.10.1, а.10.2, а.10.3, а.16 и других неполных теоремах исходного положе­ния.

Все неполные теоремы исходных положений состоят только из теоретического вопроса и ответа на него. Эти теоремы не включают в себя хоть какие-то рассуждения, при помощи которых поясняются изложенные в них ответы. Поэтому эти теоремы исходных положений является неполными. И именно поэтому ответы на вопросы данных теорем представляют собой непоясненные аксиомы.

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

Следует отметить также, что всякое поясненное исходное положение можно изложить либо в виде непоясненного, либо в виде выводного утверждения теоретической науки. В первом случае достаточно просто опустить те рассуждения, при помощи которых поясняется некоторое исходное положение теоретической науки. Во втором случае необходимо те дотеоретические утверждения, из которых в процессе дотеоретического логического вывода следует некоторое поясненное исходное положение, сформулировать в виде аксиом теоретической науки. И тогда вывод, сделанный из этих аксиом теоретической науки, станет теоретическим, а соответствующее исходное положение теоретической науки превратится в ее выводное утверждение. Все поясненные аксиомы, изложенные в теоремах а.1, а.2, а.24, можно было бы представить либо в виде непоясненных аксиом, если опустить в этих теоремах соответствующие поясняющие рассуждения, либо в виде выводных утверждений, если оформить все дотеоретические утверждения, из которых следует та или иная аксиома, в виде соответствующих исходных положений теоретической науки.

Но здесь выбран данный способ введения этих аксиом в теоретическую науку, что не наносит ей никакого ущерба, ибо от этого она не становится противоречивой в своих исходных и выводных утверждениях. В данных теоремах выбран этот способ введения исходных положений в теоретическую науку и для того, чтобы продемонстрировать сам этот способ, и то, каким образом он должен осуществляться.

А каждый, кто станет выстраивать ту или иную теоретическую науку в виде аксиоматической теории, в соответствующем конкретном случае пусть сам выбирает тот или иной способ введения определенного исходного положения.

 Содержание