а.64 ДОКАЗАТЕЛЬСТВО ПРИНАДЛЕЖНОСТИ К ТЕОРЕТИЧЕСКОЙ НАУКЕ И ОПРОВЕРЖЕНИЕ ПРИНАДЛЕЖНОСТИ К НЕЙ

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

В теоремах статей а.53 и а.55 мы установили, что такое теоретическое утверждение и что такое не принадлежащее единой всеобщей теории утверждение. А это позволит нам сформулировать обоснованные ответы на вопросы: «Что такое доказательство принадлежности к теоретической науке?» и «Что такое опровержение принадлежности к теоретической науке?», что мы и сделаем ниже.

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

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

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

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

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

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

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

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

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

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

Для обоснования ответа на этот вопрос обратимся к определению понятия «непринадлежащее единой всеобщей теории утверждение», выведенному в теореме а.55, которое гласит: «Нетеоретическое утверждение, или непринадлежащее единой всеобщей теории утверждение – это утверждение, которое не претендует на роль исходного или выводного утверждения единой всеобщей теории; либо это утверждение, которое претендует на роль исходного или выводного утверждения единой всеобщей теории, но которое не принадлежит данной теории из-за своей противоречивости таким ее исходным и выводным утверждениям, которые имеют с ним общие теоретические понятия».  

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

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

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

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

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

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

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

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

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

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

 Содержание