а.60     ЛОГИЧНЫЙ И НЕЛОГИЧНЫЙ ВЫВОД

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1.  Одноклассники — это ученики, которые учатся в од­но и то же время в одном и том же классе одной и той же школы.

2.  В настоящее время Вася и Петя учатся в 7 «В» классе средней школы   № 27 г. Могилева.

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

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

Вася и Петя являются одноклассниками, потому что они учатся в одном и том же классе одной и той же школы в одно и то же время.

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

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

Вопрос: «Являются или не являются Таня и Аня родными сестрами, и почему они являются или не являются родными сестрами?

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

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

1.  Родные сестры — это сестры, родившиеся от одной и той же матери и от одного и того же отца.

2.  Таня и Аня родились от одной и той же матери Натальи, но от двух разных отцов, одного из которых зовут Михаил, а другого — Гавриил.

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

И, сделав такой вывод, этот некто дает такой ответ на вышеизложенный вопрос:

Таня и Аня являются родными сестрами, потому что они ро­дились от одной и той же матери.

Этот вывод является нелогичным, потому что он содержит в себе противоречие по отношению к утверждению номер один, ибо в процессе него не учтено, что у Тани и Ани разные отцы. У одной — отец Михаил, а у другой — отец Гавриил.

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

 Содержание