b.29 САМОДОСТАТОЧНАЯ И НЕСАМОДОСТАТОЧНАЯ ЛОГИКА

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 Содержание