Логика - [4]

Под S и Р можно мыслить любые предметы и их признаки, под знаком «—» — любую связь (и утвердительную, и отрицательную). Таким образом, суждение представляет собой способ связи понятий, выраженный в форме утверждения или отрицания.

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

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

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

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

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

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

Закон мышления

Рассмотрев понятие логической формы, следует уточнить понятия «мысль» и «рассуждение».

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

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

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

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

Например, из истинных мыслей: «Некоторые промышленно развитые страны находятся в Европе» и «Япония — промышленно развитая страна» следует ложный вывод: «Япония находится в Европе». Рассуждение неправильно, необходимая связь посылок, из которой выведено заключение, отсутствует.

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

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

Ошибки, связанные с нарушением законов логики, называются логическими ошибками. Они делятся на паралогизмы и софизмы. Паралогизм (от греч. paralogismos — возле, около логики) — это непреднамеренная логическая ошибка. Она возникает в результате недостаточно высокой культуры мышления: в неясной формулировке мыслей, в непоследовательности и необоснованности в рассуждениях. Софизм (от греч. sophisma — хитрость, уловка) — преднамеренная логическая ошибка, позволяющая неверное рассуждение выдать за истинное. Умение разоблачать софизмы — важная задача логики.

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

Законы, изучаемые формальной логикой (их называют также формально-логическими), следует отличать от диалектических законов мышления: Формально-логические законы, которые в современной логике рассматриваются как тождественно-истинные высказывания, или логические тавтологии, обуславливают правильность рассуждений. Благодаря их действию выведение новых знаний из истинных и проверенных суждений с необходимостью приводит к истине. Законы диалектики — единства и борьбы противоположностей, взаимного перехода количественных и качественных изменений, отрицания отрицания — являются не только законами объективного мира, но и законами мышления, они являются предметом изучения диалектической логики. Сознательное применение этих законов в процессе познания позволяет воспроизвести в мышлении диалектику материального мира: взаимосвязь явлений, их изменение и развитие, присущие им противоречия и т. д.