с.11 СМЕЖНЫЕ ТЕОРЕТИЧЕСКИЕ ОТВЕТЫ ДАННОГО ОТВЕТА НА НЕКОТОРЫЙ ТЕОРЕТИЧЕСКИЙ ВОПРОС, С КОТОРЫМИ У ДАННОГО ОТВЕТА НЕ МОЖЕТ БЫТЬ ТЕОРЕТИЧЕСКИХ ПРОТИВОРЕЧИЙ. НЕНУЖНОСТЬ ПРОВЕРКИ НА ПРЕДМЕТ ВЗАИМНОЙ ТЕОРЕТИЧЕСКОЙ ИСТИННОСТИ МЕЖДУ ДАННЫМ ОТВЕТОМ НА НЕКОТОРЫЙ ТЕОРЕТИЧЕСКИЙ ВОПРОС И ТЕМИ СМЕЖНЫМИ С НИМ ТЕОРЕТИЧЕСКИМИ ОТВЕТАМИ, С КОТОРЫМИ У ДАННОГО ОТВЕТА НЕ МОЖЕТ БЫТЬ ТЕОРЕТИЧЕСКИХ ПРОТИВОРЕЧИЙ

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

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

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

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

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

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

Ответ на этот вопрос будем формулировать, исходя из того, что теоретические противоречия могут образовываться только:

1. Между данным ответом на некоторый теоретический вопрос и другими аксиоматическими или выводными теоретическим ответами на этот же теоретический вопрос, изложенными при помощи иных вариантов сочетаний теоретических понятий, чем данный ответ (теорема с.4.1);

2. Между данным ответом на некоторый теоретический вопрос и теми исходными и выводными теоретическими утверждениями, из которых он следует в результате вывода (теорема с.4.2);

3. Между данным ответом на некоторый теоретический вопрос и ответами, являющимися теоретическими определениями понятий, входящих в его состав (теорема с.4.3);

4. Между определениями тех понятий, которые входят в состав данного ответа на некоторый теоретический вопрос (теорема с.4.4);

5. Между данным ответом на некоторый теоретический вопрос и ответом на дилеммный теоретический вопрос, относящимся к понятию, входящему в его состав (теорема с.4.5).

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

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

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

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

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

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

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

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

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

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

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

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

Первый пример.

В этом примере мы приведем вопрос и ответ теоремы а.36.1 и смежный ему ответ на вопрос теоремы а.34 и установим, почему между данными смежными ответами невозможно теоретическое противоречие.

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

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

Ответ на вопрос теоремы.

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

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

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

Ответ на вопрос теоремы.

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

Данный ответ на вопрос теоремы а.36.1 является смежным по отношению к ответу на вопрос теоремы а.34, так как имеет с ним общие теоретические понятия «утверждение» и «теоретическая наука»:

Но ответ на вопрос теоремы а.36.1 не может противоречить ответу теоремы а.34, смежному с ним в теоретических понятиях «утверждение» и «теоретическая наука»:

во-первых, потому что ответы на вопросы теорем а.36.1 и а.34 не являются ответами на некоторый один и тот же теоретический вопрос, изложенными при помощи различных вариантов сочетаний теоретических понятий, а они являются ответами на разные теоретические вопросы;

во-вторых, потому что ответ на вопрос теоремы а.34 не является одним из тех ранее установленных утверждений теоретической науки, из которых следует  в результате вывода ответ на вопрос теоремы а.36.1;

в-третьих, потому что ответ на вопрос теоремы а.34 не является теоретическим определением одного из понятий, входящих в состав ответа теоремы а.36.1

В свою очередь ответ на вопрос теоремы а.34 не может теоретически противоречить ответу на вопрос теоремы а.36.1:

во-первых, потому что ответы на вопросы теорем а.34 и а.36.1 не являются ответами на некоторый один и тот же теоретический вопрос, изложенными при помощи различных вариантов сочетаний теоретических понятий, а они являются ответами на разные теоретические вопросы;

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

в-третьих, потому что ответ на вопрос теоремы а.36.1 не является теоретическим определением одного из понятий, входящих в состав ответа теоремы а.34;

в-четвертых, потому что ответ на вопрос теоремы а.36.1 не является ответом на дилеммный теоретический вопрос, относящийся к какому-либо понятию, входящему в состав ответа теоремы а.34.

Поскольку по вышеизложенным причинам между ответами теорем а.36.1 и а.34, смежными в теоретических понятиях «утверждение» и «теоретическая наука», не могут возникнуть теоретические противоречия, то эти смежные ответы не нужно проверять на предмет их взаимной теоретической истинности.

Второй пример.

В этом примере приведем вопрос и ответ теоремы b.19.2 и смежный ему ответ на вопрос теоремы b.5.2 и установим, почему между данными смежными ответами невозможно теоретическое противоречие.

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

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

Ответ на вопрос теоремы.

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

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

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

Ответ на вопрос теоремы.

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

Данный ответ на вопрос теоремы b.19.2 является смежным по отношению к ответу на вопрос теоремы b.5.2, так как имеет с ним общее теоретическое понятие «теоретический вопрос». Но ответ на вопрос теоремы b.19.2 не может противоречить ответу теоремы b.5.2 смежному с ним в теоретическом понятии «теоретический вопрос»:

во-первых, потому что ответы на вопросы теорем b.19.2 и b.5.2 не являются ответами на некоторый один и тот же теоретический вопрос, изложенными при помощи различных вариантов сочетаний теоретических понятий, а они являются ответами на разные теоретические вопросы;

во-вторых, потому что ответ на вопрос теоремы b.5.2 не является одним из тех ранее установленных утверждений теоретической науки, из которых следует в результате вывода ответ на вопрос теоремы b.19.2;

в-третьих, потому что ответ на вопрос теоремы b.5.2 не является теоретическим определением одного из понятий, входящих в состав ответа теоремы b.19.2;

в-четвертых, потому что ответ на вопрос теоремы b.5.2 не является ответом на дилеммный теоретический вопрос, относящимся к какому-либо понятию, входящему в состав ответа теоремы b.19.2.

В свою очередь ответ на вопрос теоремы b. 5.2 не может теоретически противоречить ответу на вопрос теоремы b. 19.2:

во-первых, потому что ответы на вопросы теорем b. 5.2 и b. 19.2 не являются ответами на некоторый один и тот же теоретический вопрос, изложенными при помощи различных вариантов сочетаний теоретических понятий, а они являются ответами на разные теоретические вопросы;

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

в-третьих, потому что ответ на вопрос теоремы b. 19.2 не является теоретическим определением одного из понятий, входящих в состав ответа теоремы b. 5.2;

в-четвёртых, потому что ответ на вопрос теоремы b. 19.2 не является ответом на дилеммный теоретический вопрос, относящимся к какому-либо понятию, входящему в состав ответа b. 5.2.

Поскольку по вышеизложенным причинам между ответами теорем b. 19.2 и b. 5.2, смежными в теоретическом понятии «теоретический вопрос», не могут возникнуть теоретические противоречия, то эти смежные ответы не нужно проверять на предмет их взаимной теоретической истинности.

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

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

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

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

****

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

В теоремах а.64.1 и а. 64.2 мы установили, что такое доказательство принадлежности  к теоретической науке и доказательство непринадлежности к ней. В теоремах с.5.2 и с. 8.2 выяснили, что такое доказательство теоретической истинности и что такое доказательство теоретической ложности.

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

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

В этом же издании показаны различия между данными понятиями, зафиксированные в их определениях. Поэтому полагаем, что, перечитав в случае необходимости содержание статей а. 64 и с. 5 - с. 10, вы хорошо уясните разницу между этими видами теоретических доказательств и поймёте специфику каждого из них, а также усвоете, что все эти виды доказательств входят в род явлений, названный понятием «теоретическое доказательство».

 Содержание