Глава III. Законы (принципы) правильного мышления
Общая характеристика логических законов
Традиционная логика из всех законов, связанных с правильным мышлением, выделяет четыре: тождества, непротиворечия, исключенного третьего, достаточного основания. Первые три из них были сформулированы Аристотелем, а закон достаточного основания – Лейбницем. Эти законы логики выражают важные свойства правильного мышления – определенность, непротиворечивость, обоснованность, четкость, выбор «или-или» в жестких ситуациях.
Формально-логические законы не могут быть отменены или заменены другими. Эти основные черты правильного мышления возникли в результате трудовой, практической деятельности человечества. Кроме названных законов правильное мышление подчиняется основным законам диалектики: закону единства и борьбы противоположностей; закону перехода количественных изменений в качественные и закону отрицания отрицания. Основные четыре закона логики отражают те принципы абстрактного мышления, которые сложились в процессе эволюции сознания людей и имеют общечеловеческий характер. Сущность такого характера состоит в том, что в любую историческую эпоху люди всех классов, всех наций мыслят на их основе, так как эти принципы выражают необходимое условие построения мыслей. Формально-логические законы указывают на то, что результаты познания должны находить свое выражение в мыслях определенным, непротиворечивым, последовательным и доказательным образом. Нарушение хотя бы одного из них приводит к логическим ошибкам, а значит существенным образом сказывается на действиях человека, которые основаны на выводе некоторых умозаключений.
Закон тождества
В процессе определенного рассуждения всякое понятие и суждение должны быть тождественны самим себе. Записывается: «А есть А». Соблюдение этого закона гарантирует определенность и ясность мышления. В мышлении закон тождества выступает в качестве нормативного правила. Он означает, что в процессе рассуждения нельзя подменять одну мысль другой, одно понятие другим. Нарушение закона тождества приводит к двусмысленности, например: «Ноздрев был в некотором отношении исторический человек. Ни на одном собрании, где он был, не обходилось без истории».
В результате отождествления различных понятий возникает логическая ошибка, называемая подменой понятия.
Логическую уловку, умышленно ошибочное рассуждение, которое выдается за истинное, называют софизмом. Например, «Вор не желает приобрети ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего». Вывод основан на двояком смысле слова «приобретение»: в первом случае оно подменяет слово «украсть», во втором – употребляется в смысле законного приобретения. В этом софизме есть еще одна двусмысленность: этическое понятие «дурное» относится к вещи, которую вор желает «приобрести», а этическое понятие «хорошее» относится к поступку, который совершает вор.
При нарушении закона тождества возникает и другая ошибка, называемая подменой тезиса. В ходе доказательства или опровержения выдвинутый тезис умышленно или неосознанно подменяется другим, похожим внешне, но не содержательно.
Закон непротиворечивости
Если человек утверждая что-либо, отрицает то же самое, или утверждает нечто несовместимое с первым, налицо логическое противоречие. Мысль противоречива, если мы об одном и том же предмете в одно и тоже время и в одном и том же отношении нечто утверждаем и отрицаем: «Кама – приток Волги» и «Кама не является притоком Волги».
Однако противоречия не будет, если мы говорим о разных предметах или об одном и том же предмете, взятом в разное время или в разных отношениях. Например, противоречия не будет в случаях:
1) «Осенью дождь полезен для грибов» и «Осенью дождь вреден для уборки урожая».
2) «Саша перворазрядник (по настольному теннису)» и «Саша не является перворазрядником (по бегу)».
Не могут быть одновременно истинными следующие типы суждений:
1. «Данное S есть P» и «Данное S не есть P»;
2. «Ни одно S не есть P» и «Все S есть P»;
3. «Все S есть P» и «Некоторые S не есть P»;
4. «Ни одно S не есть P» и «Некоторые S есть P».
Закон читается так: «Два противоположных суждения не могут быть истинными в одно и тоже время и в одном и том же отношении». Записывается: а Λ ā.