В реальном процессе мышления содержание и форма мысли существуют в неразрывном единстве. Нет «чистого», лишенного формы содержания, нет «чистых», бессодержательных логических форм. Однако в целях специального анализа мы вправе отвлечься от конкретного содержания мысли, сделав предметом изучения ее форму.
Исследование логических форм безотносительно к их конкретному содержанию и составляет важнейшую задачу науки логики.
Рассмотрев понятие логической формы, следует уточнить понятия «мысль» и «рассуждение».
Мысль — это результат процесса познания в форме понятия или суждения. Рассуждение — умозаключение или несколько взаимосвязанных умозаключений, переход от посылок к заключению.
Мысль может быть истинной или ложной. Мысль является истинной, если она соответствует действительности. Мысль, не соответствующая действительности, является ложной. Так, суждение «Франция — европейская страна» истинно, оно соответствует действительности. Суждение «Мозамбик — европейская страна» — ложно, оно не соответствует действительному географическому положению этой страны.
Ошибки, связанные с содержанием мыслей, называются фактическими ошибками. Они появляются вследствие незнания предмета, неосведомленности о реальном положении дел.
Истинность мыслей по содержанию — необходимое условие достижения верных результатов в процессе рассуждения. Другим необходимым условием является логическая правильность рассуждений. Если это условие не соблюдается, то ложный результат может быть получен из истинных мыслей.
Например, из истинных мыслей: «Некоторые промышленно развитые страны находятся в Европе» и «Япония — промышленно развитая страна» следует ложный вывод: «Япония находится в Европе». Рассуждение неправильно, необходимая связь посылок, из которой выведено заключение, отсутствует.
Логическая правильность рассуждений обусловлена законами мышления.
Закон мышления, или логический закон, — это необходимая, существенная связь мыслей в процессе рассуждения.
Ошибки, связанные с нарушением законов логики, называются логическими ошибками. Они делятся на паралогизмы и софизмы. Паралогизм (от греч. paralogismos — возле, около логики) — это непреднамеренная логическая ошибка. Она возникает в результате недостаточно высокой культуры мышления: в неясной формулировке мыслей, в непоследовательности и необоснованности в рассуждениях. Софизм (от греч. sophisma — хитрость, уловка) — преднамеренная логическая ошибка, позволяющая неверное рассуждение выдать за истинное. Умение разоблачать софизмы — важная задача логики.
В отличие от законов как нормативно-правовых актов, устанавливаемых государством, законы мышления не устанавливаются людьми; они формируются независимо от воли и желания человека. Их объективной основой являются относительная устойчивость, качественная определенность, взаимообусловленность предметов действительности. Вместе с тем, отражая определенные стороны действительности, логические законы не являются законами самих вещей. Это своеобразное отражение реальных связей, опосредованное многовековой практикой человеческого познания.
Законы, изучаемые формальной логикой (их называют также формально-логическими), следует отличать от диалектических законов мышления: Формально-логические законы, которые в современной логике рассматриваются как тождественно-истинные высказывания, или логические тавтологии, обуславливают правильность рассуждений. Благодаря их действию выведение новых знаний из истинных и проверенных суждений с необходимостью приводит к истине. Законы диалектики — единства и борьбы противоположностей, взаимного перехода количественных и качественных изменений, отрицания отрицания — являются не только законами объективного мира, но и законами мышления, они являются предметом изучения диалектической логики. Сознательное применение этих законов в процессе познания позволяет воспроизвести в мышлении диалектику материального мира: взаимосвязь явлений, их изменение и развитие, присущие им противоречия и т. д.
Познавая сложные диалектические процессы объективною мира, мышление вместе с тем подчиняется формально-логическим законам, без соблюдения которых нельзя правильно рассуждать о диалектике объективного мира.
1. Что такое логическая форма? В каких логических формах мыслится содержание?