е.5    УСТАНОВЛЕННЫЕ И НЕУСТАНОВЛЕННЫЕ СПЕЦИФИЧЕСКИЕ ТЕОРЕТИЧЕСКИЕ ПОНЯТИЯ ТЕОРЕМЫ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Воспроизведем теорему а.45.1, чтобы в ходе ее анализа выявить в ней установленные  и неустановленные специфические теоретические понятия логики теоретической науки.

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

Должен или не должен ответ на теоретический вопрос в единой всеобщей теории излагаться только либо в виде аксиомы этой теории, либо в виде ее выводного положения, и почему ответ на теоретический вопрос в этой теории должен или не должен излагаться только либо в виде аксиомы этой теории, либо в виде ее выводного положения?

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

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

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

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

В этой теореме установленными специфическими теоретическими понятиями являются понятия: единая всеобщая теория (а.5.1), аксиома, или исходное положение (а.41.1), выводное положение (а.41.2), вопрос (а.32), утверждение (а.30), потому что к моменту их употребления в составе вопроса теоремы а.45.1, в составе ее рассуждений и в составе ее ответа эти понятия имеют определения в виде аксиоматических или выводных утверждений логики теоретической науки.

Неустановленными специфическими теоретическими понятиями данной теоремы являются понятия: ответ (b.8.2), теоретический вопрос (b.18.2), закон, т.е. закон теоретической науки (а.68), теорема (b.1), потому что к моменту их употребления в составе вопроса теоремы а.45.1, в составе ее рассуждений и в составе ее ответа эти понятия не имеют определений в виде аксиоматических или выводных утверждений логики теоретической науки.

Очевидно, чем больше в вопросе, рассуждениях и ответе теоремы установленных специфических теоретических понятий и чем меньше неустановленных, тем понятнее содержание всей теоремы и содержание ее вопроса, рассуждений и ответа.

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

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

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

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

 Содержание