Основы марксистско-ленинской философии

Образование понятий и процесс мышления, как таковой, невозможны без умозаключения, посредством которого на основе ранее установленного знания, не обращаясь к чувственному опыту, можно приобрести новое знание. Умозаключение — это процесс выведения одних суждений (заключений) из других (посылок), определенная система суждений. В умозаключении выражена способность теоретического мышления выйти за пределы того, что дано ему непосредственным чувственным опытом, наблюдениями и экспериментами. Если бы умозаключение не давало возможности получить новое знание, то человек, например, никогда бы не определил расстояние от Земли до других небесных тел, не знал бы химического состава звезд, не смог бы проникнуть в мир атома и составляющих его элементарных частиц. Как отмечал Ф. Энгельс, «если наши предпосылки верны и если мы правильно применяем к ним законы мышления, то результат должен соответствовать действительности... » ⁶⁹. Заключение вытекает из посылок, но не просто повторяет их, а дает нечто новое, обогащает знание.

Суждения, понятия и умозаключения связаны между собой, изменения одного влекут за собой изменение другого. Эта взаимозависимость проявляется в процессе мышления, которое заключает в себе: 1) выделение свойств, признаков предмета (суждения); 2) подытоживание предшествующего знания, образование научных понятий; 3) переход от одного, ранее достигнутого знания к другому (умозаключение).

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

Функция теории — не только привести в систему достигнутые результаты познания, но и открывать путь к новым знаниям.

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

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

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

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