b.31 ПОЛНОЦЕННАЯ И НЕПОЛНОЦЕННАЯ ЛОГИКА ТЕОРЕТИЧЕСКОЙ НАУКИ

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

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

Определительно-причинная аксиомная теорема b.31.1

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

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

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

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

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

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

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

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

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

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

На основании этого критерия в полноценной теоретической логике формулируется такое определение понятия «теоретическая истина», исходя из которого очевидно, какое утверждение и почему именно оно принадлежит теоретической науке, а какое утверждение и почему именно оно ей не принадлежит.

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

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

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

Логика, основные положения которой изложены в работе, — это полноценная логика теоретической науки.

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

Эта логика полноценная, во-вторых, потому что в ней, исходя из указанного выше критерия истинности, сформулировано такое определение понятия «теоретическая истина», на основании которого очевидно, какое утверждение и почему именно оно принадлежит теоретической науке, а какое утверждение и почему именно оно не принадлежит ей.

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

Все остальные имеющиеся в настоящее время логики являются неполноценными теоретическими логиками, потому что:

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

во-вторых, ни одна из них не имеет такого определения понятия «теоретическая истина», исходя из которого очевидно, какое утверждение и почему именно оно принадлежит теоретической науке, а какое утверждение и почему именно оно не принадлежит ей;

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

 Содержание