Основы логики теоретической науки. Тайное знание. Русин Владимир Васильевич.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вопрос: «Является или не является Иван Петрович Сидоров человеком пенсионного возраста, и почему он является или не является человеком пенсионного возраста»?

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

Ранее установлено:

1. Людьми пенсионного возраста считаются люди, достигшие шестидесятилетнего возраста.

2. Ивану Петровичу Сидорову исполнился шестьдесят один год.

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

Отсюда следует такой нетеоретический ответ на вышеизложенный нетеоретический вопрос.

Иван Петрович Сидоров является человеком пенсионного возраста, потому что он достиг шестидесятилетнего возраста.

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

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

Содержание