Иванов Е.А., Логика. Учебник Москва Издательство бек, 199 8
Скачать 3.32 Mb.
|
Противопоставление субъекту. Так называется преобразование суждения путем обращения и последующего превращения. Приведем для краткости лишь один пример. Если суждение «Все адвокаты — юристы» сначала обратим в суждение «Некоторые юристы — адвокаты», а это последнее, в свою очередь, превратим в суждение «Некоторые юристы не есть неадвокаты» (хотя есть и прокуроры, и судьи, и др.), то получим противопоставление субъекту. Предикат заключительного суждения — «неадвокаты» противопоставляется субъекту исходного суждения — «адвокаты». Отсюда название самой операции.|А v | В. Например: «Неверно, что Петров адвокат и в то же время судья». Это равнозначно суждению «Петров не адвокат или он не судЬя». Обратим внимание, что дизъюнкция здесь не исключающая. Поэтому может быть так, что Петров и не адвокат, и не судья, а, например, прокурор;б) дизъюнкция может быть выражена через конъюнкцию: отрицание дизъюнкции эквивалентно конъюнкции отрицаний. Формула:! (AvB) =1А л 1 В. Например: «Неверно, что Петров изучал логику в вузе или что он изучал ее самостоятельно». Это равносильно суждению: «Петров не изучал логики в вузе, и он не изучал ее самостоятельно»; в) импликация может быть выражена через конъюнкцию: импликация эквивалентна отрицанию конъюнкции антецедента (основания) и ложного консеквента (следствия). Формула: А dB si (AaIb). Пример: «Если Петров юрист, то он знает логику». Это равноценно суждению: «Неверно, что Петров юрист и он не знает логики»; г) импликация может быть выражена через дизъюнкцию: импликация эквивалентна дизъюнкции ложного антецедента и консеквента. Формула: АзВ =1 AvB. Пример: «Если Петров адвокат, то он имеет специальное юридическое образование» — «Или Петров не адвокат, или он имеет специальное юридическое образование». Конъюнкция и дизъюнкция, в свою очередь, могут быть выражены через импликацию. Возможны и иные, самые разнообразные преобразования сложных суждений в другие. Важно при этом учитывать, что в процессе преобразования может меняться лишь логическая форма сложного суждения, его логический союз. Что же касается смысла самого суждения, то он должен оставаться тем же самым. В противном случае это будет уже новое суждение с иным смыслом. Как же устанавливается эквивалентность суждений? Это достигается с помощью таблиц истинности. Так, если мы сравним таблицы истинности конъюнкции и (слабой) дизъюнкции (см. выше), то заметим, что сложное суждение конъюнкции АдВ истинно только тогда, когда истинны оба исходных суждения А и В; а суждение дизъюнкции AvB ложно только в том случае, когда ложны как А, так и В. Следовательно, логические союзы конъюнкции л и дизъюнкции v находятся, можно сказать, в обратной зависимости. Учитывай это, конъюнкцию можно выразить через дизъюнкцию, а дизъюнкцию через конъюнкцию. При этом получаются именно эквивалентные формы, т. е. такие, которые истинны и ложны при одних и тех же значениях составляющих их суждений. Установление подобных эквивалентностей с помощью таблиц истинности открывает возможность, уже не обращаясь всякий раз непосредственно к сопоставлению самих таблиц, преобразовывать одни суждения в другие. Для чего это нужно? Благодаря замене одних суждений другими, эквивалентными им, можно упрощать сложные рассуждения, используя одни логические союзы вместо других. Так, в любом, самом сложном суждении можно, пользуясь правилом замены одних логических союзов другими, устранить все знаки, кроме только знаков конъюнкции и отрицания, или лишь дизъюнкции и отрицания, или же импликации и отрицания. Этим обстоятельством широко пользуются в современной символической логике — прежде всего логике высказываний.
Кроме преобразования суждений другую важнейшую логическую операцию с ними представляет собой отрицание суждений, или инверсия (от лат. inversio — переворачивание). Естественно, что как логическая операция оно и сходно с преобразованием суждений, и отлично от него. В чем состоит сходство? В том, что результатом отрицания выступает тоже новое суждение. А в чем отличие? В процессе преобразования суждения, как мы видели, так или иначе меняется лишь его логическая форма, тогда как смысл остается тем же самым. В процессе же отрицания меняется не только форма суждения, но и самый его смысл: оно становится противоречащим исходному, исключающим его. Таким образом, если в основе преобразования суждений лежит их эквивалентность по смыслу, то в основе отрицания — их несовместимость. Отрицание простых суждений. Рассмотрим вначале отрицание простых атрибутивных суждений. Сущность этой логической операции здесь составляет замена одного исходного суждения другим, не только несовместимым с ним, но и противоречащим ему. Языковыми средствами выражения такой операции служат обороты речи типа «неверно, что...» или частица «не» и ей подобные. Если формула простого атрибутивного утвердительного суждения— «S есть Р», то^формулой отрицания его будет: «Неверно, что S есть Р» или «S не есть Р». В символической записи: 1А (читается: «неверно, что А» или «не-А»), Например: «Все судьи справедливы» — «Неверно, что все судьи справедливы» или «Не все судьи справедливы» (это равносильно признанию, что «Некоторые судьи несправедливы»). Отрицанию могут подвергаться и отрицательные суждения. Если формула отрицательного суждения — «S не есть Р», то его отрицание будет выражено формулой: «Неверно, что S не есть Р» (что равносильно утверждению: «S есть Р»), Символически: 1 (1 А). Уже отсюда явствует, что отрицание нельзя отождествлять с отрицательными суждениями. Когда мы говорим об отрхщатель- ном суждении, то имеем в виду один из видов суждений по характеру связки, т. е. по качеству. Причем в этом случае речь идет о качестве самого суждения безотносительно к утвердительному, а именно: о непринадлежности какого-либо свойства предмету мысли, о невключении мыслимого предмета в класс предметов и т. д. А когда говорится об отрицании, то разумеется особая логическая операция с суждениями. Она предполагает наличие определенного исходного суждения и определенное отношение к нему — именно отношение отрицания. В этом случае исходное суждение называется отрицаемым, а новое суждение —отрицающим. При этом безразлично, какое именно по качеству суждение отрицается: утвердительное или отрицательное. Может отрицаться и то и другое. Пример отрицания утвердительного суждения: «Россия — демократическое государство» — «Неверно, что Россия — демократическое государство» или: «Россия — не демократическое государство». Пример отрицания отрицательного суждения: «Демократия — не политическое явление» — «Неверно, что демократия —- не политическое явление» или: «Демократия не есть неполитическое явление» (и здесь двойное отрицание равносильно утверждению: «Демократия —политическое явление»). Подобно тому как утвердительное и отрицательное суждения могут быть истинными и ложными, отрицание одного суждения другим может быть истинным или ложным. Но если истинность или ложность утвердительного или отрицательного суждения определяется лишь их отношением к действительности, соответствием или несоответствием ей, то с отрицанием дело* обстоит иначе. Его истинность или ложность определяется лишь отношением к другому, исходному суждению, зависит всецело от того, истинно оно или ложно. Закономерностью здесь становится взаимная обратная зависимость: если исходное суждение истинно, то его отрицание ложно, и наоборот, если исходное суждение ложно, то его отрицание истинно. Вот таблица (матрица) их истинности:
Исходя из этой закономерности нетрудно определить, какие из простых атрибутивных суждений могут считаться отрицаниями, а какие нет. Так, в отношении взаимного отрицания находятся противоречащие суждения: общеутвердительные (А) и частноотрицательные (О), общеотрицательные (Е) и частноутвердительные (I). Ведь, как отмечалось выше, если истинно одно из них, то ложно другое, и наоборот. Таким образом, нетрудно сделать вывод, что в процессе отрицания меняется и количество, и качество исходного суждения. Что же касается противоположных суждений — общеутвердительных (А) и общеотрицательных (Е), то они не находятся в отношении взаимного отрицания: хотя они не могут быть вместе истинными, но могут быть вместе ложными. Точно так же нет отношений взаимного отрицания между субконтрарными суждениями. Хотя они могут быть вместе истинными, но не могут быть вместе ложными. Их отношения, вспомним, это как бы «зеркальное» отражение отношений противоположных суждений. Аналогично атрибутивным отрицаются |