Иванов Е.А., Логика. Учебник Москва Издательство бек, 199 8
 Скачать 3.32 Mb.
|
|
Отрицание суждений. При характеристике сложных суждений широко используется еще один логический союз: «неверно, что» или просто «не» (знак отрицания 1). В отличие от бинарных союзов он относится к одному суждению. Прибавление его к какому-либо суждению означает образование нового суждения, которое находится в определенной зависимости от исходного. Например, исходное суждение: «Все судьи неподкупны». Его отрицание: «Неверно, что все судьи неподкупны» или «Не все судьи неподкупны». Отрицание истинно, если исходное суждение ложно, и наоборот. Таблица отрицания суждений:
Логические союзы, рассмотренные из методических соображений порознь, в реальной практике мышления нередко переплетаются друг с другом, образуя порой весьма сложные мыслительные конструкции. Например: «Суд не принимает отказа истца от иска, признания иска ответчиком и не утверждает мирового соглашения сторон, если эти действия противоречат закону или нарушают чьи-либо права и охраняемые законом интересы». Здесь налицо сочетание нескольких конъюнкций с дизъюнкцией и импликацией. Или: «Судья, народный заседатель, прокурор, секретарь судебного заседания, эксперт и переводчик не могут участвовать в рассмотрении дела и подлежат отводу, если они лично, прямо или косвенно, заинтересованы в исходе дела или имеются иные обстоятельства, вызывающие сомнения в их беспристрастности». Различия между логическими союзами относительны. Подобно тому как один и тот же логический союз может соединять самые разные по конкретному содержанию суждения, так одно и то же конкретное суждение может быть выражено разными логическими союзами. Например: «День прошел, и настала ночь»; «Если день прошел, то настала ночь»; «Или день не прошел, или настала ночь»; «День не прошел, ночь не настала»; «Если ночь не настала, то день не прошел». Взаимосвязь и взаимозаменяемость логических союзов имеет большое значение для преобразования символических формул в процессе исчисления высказываний .Так же как и между понятиями, между суждениями существуют определенные логические отношения. Они тоже могут быть сравнимыми и несравнимыми, совместимыми и несовместимыми. Но есть и принципиальное различие. Понятия, поскольку они ни истинны, ни ложны, не могут соотноситься друг с другом с точки зрения истинности или ложности. Между суждениями же складываются многообразные отношения прежде всего по истинности и ложности. Причем это касается как простых, так и сложных суждений. Анализ отношений среди тех и других имеет важное теоретическое и практическое значение.
Отношения между простыми суждениями определяются, с одной стороны, их конкретным- содержанием, а с другой — логической формой: характером субъекта, предиката, логической связки. Поскольку по характеру предиката простые суждения делятся прежде всего на атрибутивные и реляционные, то рассмотрим каждый из зтих видов в отдельности. Отношения между атрибутивными суждениями. По своему содержанию атрибутивные суждения могут находиться в двух важнейших отношениях — сравнимости и несравнимости. ^Несравнимые суждения. У них разные субъекты или предикаты или тй й другое вместе. Таковы, например, суждения «Космос необъятен» и «Закон суров». В подобных случаях истинность или ложность одного из суждений непосредственно не зависит от истинности или ложности другого. Она прямо определяется отношением к действительности — соответствием или несоответствием ей. Правда, в условиях универсальной связи и взаимодействия предметов и явлений действительности суждения о них не могут быть абсолютно независимыми друг от друга. Очевидна лишь их относительная самостоятельность и независимость с точки зрения истинности или ложности. Так, если истинно суждение «Энергия сохраняется» (а не исчезает и не возникает из ничего, как гласит закон сохранения и превращения энергии), то будет ложным суждение «Вечный двигательвозможен», хотя по конкретному содержанию они не имеют ничего общего — ни субъекта, ни предиката, а следовательно, являются несравнимыми. К несравнимым относятся также суждения, у которых может быть одинаковым субъект лли предикат. Например: «Закон суров» и «Закон вступил в силу» или «Закон вступил в силу» и «Указ вступил в силу». И хотя смысловое различие здесь меньше, чем в предыдущем случае, они тоже не могут соотноситься между собой по истинности или ложности. Поэтому в дальнейшем их анализ не производится. Сравнимые суждения. Они, наоборот, имеют одинаковые термины — и субъект, и предикат, но могут различаться по количеству и качеству. Это суждения, как говорят, «одинаковой материи», а следовательно, сопоставимы по истинности и ложности. По своей логической форме — прежде всего до количеству и Качеству — сравнимые суждения подразделяются на совместимые и несовместимые. Совместимые суждения содержат одну и ту же мысль — полностью или частично. Между ними возникают следующие логические отношения: эквивалентности, подчинения, частичного совпадения. Эквивалентность (равнозначность) — это отношение между суждениями, у которых субъект и предикат выражены одними и теми же или равнозначными понятиями (хотя и разными словами), причем и количество и качество одни и те же. Таковы, например, общеутвердительные суждения «Все адвокаты — юристы» и «Все защитники в суде имеют специальное юридическое образование». Аналогично может обстоять дело с общеотрицательными, частноутвердительными и частноотрицательными суждениями. Отношения между такого рода суждениями по их истинности или ложности характеризуются взаимнооднозначным соответствием: они или одновременно истинны, или одновременно ложны. Поэтому если истинно одно, то истинно и другое, а если одно ложно, то и другое ложно . Последующие отношения между простыми атрибутивными суждениями — А, Е, I, О — для наглядности изображаются графически в виде «логического квадрата».
|