Русин Владимир Васильевич. ОСНОВЫ ЛОГИКИ ТЕОРЕТИЧЕСКОЙ НАУКИ. ТАЙНОЕ ЗНАНИЕ.

СОДЕРЖАНИЕ


ПРЕДИСЛОВИЕ

КНИГА 1

ГЛАВА 1

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

ГЛАВА 2

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

ПОСЛЕСЛОВИЕ

КНИГА 2

ГЛАВА 3

Противоречие и непротиворечие. Виды противоречий и непротиворечий. Теоретическая истина и теоретическая ложь. Доказательство теоретической истинности и доказательство теоретической ложности. Виды теоретических истин и теоретической лжи. Виды теоретических доказательств

ГЛАВА 4

Классификация теоретичекских логических выводов. Домысливаемые и недомысливаемые слова, словосочетания и знаки. Классификация аксиомных и выводных теорем. Особенности процесса мышления в разных видах теорем

ГЛАВА 5

Чистая и нечистая теоретическая наука. Язык чистой теоретической науки. Наиболее характерные особенности языка чистой теоретической науки. Понимаемый и непонимаемый язык теоретической науки. Цели развития языка чистой теоретической науки. Прозрачная и непрозрачная теоретическая наука. Вопросно-ответная аксиоматическая теоретическая наука

ПОСЛЕСЛОВИЕ

КНИГА 3

ВСТУПИТЕЛЬНОЕ СЛОВО

ГЛАВА 6

Первое послание в научные, образовательные и иные учреждения Республики Беларусь, а также в редакции ряда научных журналов. Ответы на него. Авторские комментарии ответов на первое послание и сопровождающие их статьи

ГЛАВА 7

Второе послание в научные и образовательные учреждения Республики Беларусь. Ответы на это послание. Авторские комментарии и предложения оппонентам и рецензентам

ГЛАВА 8

Третье послание в научные и образовательные учреждения Республики Беларусь. Ответы и неответы на это послание

ГЛАВА 9

Четвёртое послание в научные и образовательные учреждения Республики Беларусь

ГЛАВА 10

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

КНИГА 4

ГЛАВА 11

Необходимое дополнение к сказанному

ГЛАВА 12

Пятое послание в научные и образовательные учреждения Республики Беларусь

ГЛАВА 13

Практика как один из критериев истинности и правдивости. Соответствие изложенного в работе «Основы логики теоретической науки» данному критерию

ГЛАВА 14

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

ГЛАВА 15

Ещё одно послание в научно – образовательные учреждения Беларуси. Ответы на него и на письмо в Высшую аттестационную комиссию Республики Беларусь от 12.05.2009

ГЛАВА 16

Некоторые обобщения

Обращение

 

 

Скачать книгу целиком

 

Контактная информация

Свои предложения, замечания, рецензии, отзывы, комментарии прошу высылать по адресу: 212003, Республика Беларусь, г. Могилёв, а/я 20, а также вы можете связаться со мной по телефону: (+375 29) 5449345 и (8 0222) 314954.

а.53 ТЕОРЕТИЧЕСКОЕ УТВЕРЖДЕНИЕ, ИЛИ  ПРИНАДЛЕЖАЩЕЕ         ТЕОРЕТИЧЕСКОЙ НАУКЕ УТВЕРЖДЕНИЕ     

 

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

 

Цель теоретической научной деятельности, как мы установили в теореме а.3.1, состоит в адекватном отражении явлений реальности в сознании людей. А адекватное отражение явлений действительности в контексте теоретической науки может быть заключено только в теоретических утверждениях. Поэтому нам необходимо сформулировать обоснованное определение понятия «теоретическое утверждение», что мы сделаем в нижеизложенной теореме.

 

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

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

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

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

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

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

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

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

С учетом этого вывода, окончательный ответ на вопрос теоремы должен звучать так.

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

 

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

1. Рысь принадлежит к роду кошек.

2. Род кошек принадлежит к млекопитающим животным.

3. Пресмыкающиеся животные не являются млекопитающими животными.

4. Рысь — это пресмыкающееся животное.

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

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

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

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

1. Серебро — это металл.

2. Водород является газом.

3. Лягушка принадлежит к земноводным животным.

4. Обезьяна принадлежит к млекопитающим.

5. Квадрат — это ромб, у которого все углы прямые.

6. Ель — это голосемянное растение.

7. Тигр принадлежит к роду кошек.

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

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

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

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

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