ГЛАВА 4

      КЛАССИФИКАЦИЯ ТЕОРЕТИЧЕСКИХ ЛОГИЧЕСКИХ ВЫВОДОВ. ДОМЫСЛИВАЕМЫЕ И НЕДОМЫСЛИВАЕМЫЕ СЛОВА, СЛОВОСОЧЕТАНИЯ И ЗНАКИ. КЛАССИФИКАЦИЯ АКСИОМНЫХ И ВЫВОДНЫХ ТЕОРЕМ. ОСОБЕННОСТИ ПРОЦЕССА МЫШЛЕНИЯ В РАЗНЫХ ВИДАХ ТЕОРЕМ

 

d.1 ПРОСТОЙ И СЛОЖНЫЙ ТЕОРЕТИЧЕСКИЙ ЛОГИЧЕСКИЙ ВЫВОД. ПРАВИЛО ОФОРМЛЕНИЯ ПРОСТОГО ТЕОРЕТИЧЕСКОГО ЛОГИЧЕСКОГО ВЫВОДА. ПРАВИЛО ОФОРМЛЕНИЯ СЛОЖНОГО ТЕОРЕТИЧЕСКОГО ЛОГИЧЕСКОГО ВЫВОДА.

 

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

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

 

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

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

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

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

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

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

 

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

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

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

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

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

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

 

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

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

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

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

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

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

 

Простые теоретические логические выводы изложены в теоремах: а.5.1, а.5.2, а.6.2, а.6.3, а.7.2, а.7.3, а.8.2, а.9.2, а.10.а, а.10.b.1, а.10.b.2, а.10.b.3, а.11, а.12.1,а.12.2, а.14.1, а.14.2, а.18, а.21, а.23.2, а.26.2, а.26.3, а.28, а.29.1, а.29.2, а.34, а.35.1, а.35.2, а.35.4, а.36.1, а.36.2, а.37, а.38, а.39 (определение 1), а.39 (определение 2), а.40.2, а.41.1, а.41.2, а.42, а.44, а.45.1, а.48.1, а.48.2, а.48.3, а.49.1, а.49.2, а.49.3, а.50.1, а.50.2, а.50.3, а.51.1, а.51.2, а.51.3, а.55, а.56, а.57, а.59.1, а.59.2, а.59.3, а.60.1, а.60.2, а.60.3, а.61.1, а.61.2, а.61.3, а.62, а.63.1, а.63.2, а.63.3, а.64.1, а.64.2, а.66.1, а.66.2, а.66.3, а.67.1, а.67.2, а.67.3, а.69.1, а.69.2, а.70.1, а.70.2, а.70.3, а.71.1, а.71.2, а.71.3, а.72.1, а.72.2, а.72.3, а.73.2, а.75.1, а.75.2, а.75.3, а.76.1, а.76.2, а.77, а.78.1, а.78.2, а.78.3, а.79.1, а.79.2, b.4.1, b.4.2, b.5.1, b.5.2, b.7.1, b.7.2, b.7.3, b.8.1., b.8.2, b.8.3, b.10.2, b.10.а.1, b.10.b.2, b.11.1, b.11.2, b.11.3, b.12.2, b.13.2, b.14.1, b.14.3, b.15.1, b.15.2, b.15.3, b.15.4, b.15.5, b.16.1, b.16.2, b.16.3, b.16.4, b.16.5, b.17, b.18.1, b.18.2, b.18.3, b.19.1, b.19.2, b.19.3, b.20.1, b.20.2, b.20.3, b.21.1, b.21.2, b.22.1, b.22.2, b.22.3, b.23.1, b.23.2, b.24.1, b.24.2, b.24.3, b.25.1, b.25.2, b.25.3, b.28, b.29.1, b.29.2, b.29.3, b.30, b.31.2, b.34, с.1.1, с.1.2, с.1.3, с.2.1, с.2.2, с.2.3, с.3.1, с.3.2, с.3.3, с.5.2, с.6.2, с.7.2, с.8.1, с.8.2, с.9.1, с.9.2, с.10.1, с.10.2, с.11.2, d.1.1, d.1.2, d.1.3, d.2.1, d.2.2, d.2.3, d.8.1, d.8.2, d.8.3, d.9.1, d.9.2, d.10.1, d.10.2, d.10.3, d.13.1, d.13.2, d.13.3, d.14.1, d.14.2, d.14.3, е.1.1, е.1.2, е.1.3, е.3.1, е.3.2, е.3.3, е.4.1, е.4.2, е.4.3, е.5.1, е.5.2, е.5.3, е.6.1, е.6.2, е.6.3, е.8.2, е.9.2, е.11.1, е.11.2, е.11.3, е.12.1, е.12.2, е.12.3 – итого 221.

Сложные теоретические выводы изложены в теоремах: а.4.1, а.4.2, а.13.1, а.13.2, а.15.1, а.15.2, а.17, а.20, а.22.5, а.25, а.33, а.36.3, а.35.3, а.40.а.1, а.41.2, а.45.3, а.47, а.53, а.58, а.68,а.80, в.3, в.5.3, в.10.1, в.14.2, в.14.4, в.26.1, в.26.2, в.35, в.36, с.5.1, с.6.1, с.7.1, с.11.1 – итого 34.

Запомните и выполняйте следующие правила теоретической логики.

Правило оформления простого теоретического логического вывода.

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

  

 Правило оформления сложного теоретического логического вывода.

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

 

 Содержание