b.16 ДОСТАТОЧНЫЕ СЛОВА И ЗНАКИ. ИЗЛИШНИЕ СЛОВА И ЗНАКИ. НЕОБХОДИМОСТЬ ВКЛЮЧЕНИЯ В СОСТАВ ДОСТАТОЧНЫХ УТВЕРЖДЕНИЙ ДОСТАТОЧНЫХ СЛОВ И ЗНАКОВ. НЕОБХОДИМОСТЬ ИСКЛЮЧЕНИЯ ИЗ СОСТАВА ДОСТАТОЧНЫХ УТВЕРЖДЕНИЙ ИЗЛИШНИХ СЛОВ И ЗНАКОВ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Должны или не должны достаточные слова и достаточные знаки быть включены в состав достаточных утверждений, и почему они должны или не должны быть включены в состав этих утверждений?

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

Из определения, сформулированного в теореме b.16.2, следует, что достаточные слова и достаточные знаки участвуют в обосновании поясняющей части ответа на вопрос.

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

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

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

Должны или не должны излишние слова и излишние знаки быть исключены из состава достаточных утверждений, и почему они должны или не должны быть исключены из их состава?

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

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

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

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

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

Вопрос Тани к Ане: «Этот мужчина, по-твоему, толстый?»

Обоснование Аней ответа на вопрос:

«Я знаю, что он холостой, но небогатый, и что он носит костюм пятьдесят шестого размера».

Окончательный ответ Ани на вопрос Тани:

«Да, конечно, он толстый, раз носит костюм такого большого размера».

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

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

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

 Содержание