В прошлых уроках рассказывалось о том, как правильно работать с понятиями и определениями. Хотя операции над ними очень важны и встречаются повсеместно, сами по себе они ещё не составляют рассуждений. В этом уроке мы как раз приблизимся к теме того, как правильно рассуждать. Мы будем рассматривать рассуждения на примере силлогистики. Силлогистика – это самая древняя логическая система. Она была изобретена древнегреческим философом Аристотелем в IVвеке до н.э. До сих пор она остаётся одной из самых понятных, приближенных к естественному языку и лёгких для изучения логических систем. Одно из главных её достоинств – возможность применения в повседневных ситуациях без особых усилий.
Суждения и высказывания
Что такое рассуждение? Можно было бы сказать: вывод, умозаключение, размышление, доказательство и т.д. Всё это верно, но, пожалуй, самым очевидным ответом было бы: рассуждение – это последовательность суждений, которые в идеале должны быть связаны между собой согласно правилам логики. Поэтому обучение правильному рассуждению нужно начинать с того, что такое суждения и как ими корректно пользоваться.
Суждение – это мысль об утверждении или отрицании наличия некоторой ситуации в мире.
В естественном языке суждения передаются с помощью повествовательных предложений, или высказываний. Примеры суждений, выраженных в высказываниях: «Пришла осень», «Катя не знает английского языка», «Я люблю читать», «Трава зелёная, а небо голубое». Одно и то же суждение может быть выражено с помощь разных высказываний, в частности: «Небо голубое» и «The sky is blue» – разные высказывания, но суждение они выражают одно и то же, так как они передают одну и ту же мысль. Точно также высказывания «Никто не покидал дома» и «Все оставались дома» разные, но они передают одно суждение.
Поскольку высказывания посредством суждений фиксируют какое-то положение дел в мире, в отличие от понятий и определений, мы можем оценивать их с точки зрения их истинности и ложности. Так высказывание «Бил Гейтс основал компанию “Microsoft”» – истинное, а высказывание «Апельсины фиолетовые» – ложное.
Если вспомнить треугольник Фреге, то высказывание будет находиться на вершине, обозначающей знак, суждение будет составлять его смысл, а истина и ложь – значение.
Существует множество типов суждений и, соответственно, высказываний. Разные логические системы концентрируются на их разных аспектах. Силлогистика работает с так называемыми категорическими атрибутивными высказываниями. Категорические высказывания противопоставляются гипотетическим. Гипотетические высказывания говорят о возможности наличия или отсутствия какой-то ситуации в мире: «Возможно, пойдёт дождь». Категорические высказывания безапелляционно утверждают о том, что какая-то ситуация имеется или не имеется: «Пошёл дождь». Термин «атрибутивный» означает, что эти высказывания говорят о наличии либо отсутствии у предмета или класса предметов некоторого свойства. Примеры категорических атрибутивных высказываний: «Моя машина синего цвета», «Парк около нашего дома большой», «Никто не любит рыбий жир», «Некоторые люди считают, что они самые умные». Хотя на первый взгляд может показаться, что из-за концентрации именно на категорических атрибутивных высказываниях, применение силлогистики ограничено, это не так. Огромный пласт рассуждений не выходит за рамки подобных высказываний, а потому знания силлогистики оказывается достаточно для того, чтобы научиться размышлять логично и не давать ввести себя в заблуждение.
Суждения по типу высказывания
Как известно, по типу высказывания выделяют три типа предложений: повествовательное, побудительное и вопросительное. Например, предложение «Я помню чудное мгновенье» относится к повествовательному типу. Целесообразно предложить, что такое суждение также будет повествовательным. Оно содержит определенную информацию, сообщает об определенном событии.
В свою очередь, вопросительное предложение содержит в себе вопрос, подразумевающий ответ: «Что день грядущий мне готовит?» При этом оно ничего не констатирует и не отрицает. Соответственно, утверждение, что такое суждение является вопросительным, ошибочно. Вопросительное предложение в принципе не содержит в себе суждения, так как вопрос не может дифференцироваться по принципу истинности/ложности.
Побудительный тип предложений образуется в том случае, когда имеет место определенное побуждение к действию, просьба либо запрет: «Восстань, пророк, и видь, и внемли». Что касается суждений, то по мнению одних исследователей, они не содержатся в предложениях подобного типа. Другие же считают, что речь идет о разновидности модальных суждений.
Состав и виды категорических атрибутивных высказываний
Категорические атрибутивные высказывания состоят из терминов, предицирующих связок и кванторов.
Термины делятся на субъект и предикат.
- Субъект – это термин, обозначающий предмет или группу предметов, о которых нечто утверждается или отрицается. Обычно субъект изображается с помощью буквы S.
- Предикат – это термин, обозначающий собственно то, что утверждается или отрицается о субъекте, некоторое свойство, признак, наличие или отсутствие которого приписывается субъекту. Предикат изображается с помощью буквы P.
Предицирующие связки, как, возможно, вы помните из первого урока, это связки «есть» и «не есть». В естественном языке они могут выражаться с помощью разных слов и конструкций: «есть», «являться», «суть», «это», «выступать», знака тире, глаголов, либо вообще опускаться.
Кванторы – это слова, указывающие на количественные характеристики субъекта. Существует два вида кванторов: квантор общности («все», «каждый», «любой», «ни один», «никто») и квантор существования («некоторые», «не все», «какой-либо», «многие»). Также как и предицирующие связки, кванторы в естественной речи могут опускаться. Мы можем сказать: «Люди равны перед законом», подразумевая, что «Все люди равны перед законом»; или «Дети любят сладкое» – подразумевая, что «Многие дети любят сладкое». Зачастую лучше всего уточнить у вашего собеседника, какой именно квантор он имеет в виду, так как это будет сказываться на условиях истинности его высказываний.
Давайте разберём следующее высказывание: «Кошки мурлычут, когда им приятно». «Кошки» – это субъект, «существа, мурлычущие, когда им приятно» – это предикат. Также здесь присутствует невидимая связка «есть», которая соединяет субъект с предикатом, и невидимый квантор общности «все». Так, если записать это высказывание в соответствии с его логической формой, то получим: «Все кошки есть существа, которые мурлычут, когда им приятно». Благодаря этому примеру становится ясно, что прежде чем определять, истинно высказывание или ложно, нужно выявить его логическую форму и преобразовать исходное высказывание так, чтобы все четыре элемента (квантор, субъект, связка, предикат) были на своих местах.
В зависимости от свойств логических и нелогических терминов, входящих в состав категорических атрибутивных высказываний, их можно разделить на несколько видов.
- В зависимости от характера субъекта категорические атрибутивные высказывания делятся на единичные и множественные. Если в качестве субъекта выступает имя, то речь идёт о единичном высказывании («Сократ был философом»). Единичные высказывание не имеют квантора перед субъектом. Если же субъект – это термин, обозначающий множество предметов, то высказывание называют множественным. Множественные высказывания в свою очередь делятся на частные и общие в зависимости от того квантора, который стоит перед ним. Если используется квантор существования, то высказывание будет частным («Некоторые девушки красивы»), если квантор общности – то общим («Все люди стремятся к счастью»).
- В зависимости от предицирующей связки высказывания делятся на утвердительные и отрицательные. Если утверждается наличие какого-то свойства у субъекта, то высказывание утвердительное («Петя – настоящий друг»), если отрицается – то отрицательное («Ни один студент не пришёл на первую пару!»).
Если мы скомбинируем эти виды между собой, то получается, что всего существует шесть видов категорических атрибутивных высказываний:
- Единичноутвердительные: s есть P. Александр Пушкин – это русский писатель.
- Единичноотрицательные: s не есть P. Сервантес не был художником.
- Общеутвердительные: Все S есть P. Все квартиры в этом доме имеют высокие потолки.
- Общеотрицательные: Ни один S не есть P. Ни один студент из нашей группы не сдал экзамен на пятёрку.
- Частноутвердительные: Некоторые S есть P. Некоторые машины из нашего автопарка нуждаются в срочном ремонте.
- Частноотрицательные: Некоторые S не есть P. Некоторые тексты песен не имеют смысла.
Раздел второй. Суждение
Природа простых суждений
. Простые суждения, поскольку в них раскрывается безусловная связь между предметами мысли, называются еще иначе
категорическими
. С точки зрения функций они служат отражением той или иной относительно самостоятельной связи объективного мира – независимо от того, какая это связь по своему содержанию. С точки зрения структуры простые категорические суждения, будучи далее неделимыми на еще более простые суждения, включают в себя в качестве составных частей лишь понятия, образующие субъект и предикат.
Однако простые суждения весьма многообразны по своим проявлениям. Они делятся на виды по следующим основным логическим признакам: характеру связки, субъекта, предиката, а также по отношению между субъектом и предикатом. Особое значение в логике придается делению простых суждений на виды по характеру связки (ее качеству) и субъекта (по его количеству).
Виды суждений по качеству и количеству
. Качество суждения – одна из важнейших его логических характеристик. Под ним разумеется не фактическое содержание суждения, а его самая общая логическая форма – утвердительная или отрицательная. В этом проявляется наиболее глубокая сущность всякого суждения вообще – его способность раскрывать наличие или отсутствие тех или иных связей и отношений между мыслимыми предметами. А определяется это качество характером связки – «есть» или «не есть». В зависимости от этого простые суждения делятся по характеру связки (или ее качеству) на утвердительные и отрицательные.
В утвердительных
суждениях раскрывается наличие какой-либо связи между субъектом и предикатом. Выражается это посредством утвердительной связки «есть» или соответствующими ей словами, тире, согласованием слов. Общая формула утвердительного суждения – «S есть Р». Например: «Киты – млекопитающие».
В отрицательных суждениях, наоборот, раскрывается отсутствие той или иной связи между субъектом и предикатом. И достигается это с помощью отрицательной связки «не есть» или соответствующими ей словами, а также просто частицей «не». Общая формула – «S не есть Р». Например: «Киты не рыбы». Важно при этом подчеркнуть, что частица «не» в отрицательных суждениях стоит непременно перед связкой или подразумевается. Если же она находится после связки и входит в состав самого предиката (или субъекта), то такое суждение все равно будет утвердительным. Например: «Мои стихи живит не ложная свобода», «Не всякий плод сладок».
В связи с этим выделяются две основные разновидности утвердительных суждений: а) суждения с предикатом, который выражен положительным понятием. Формула «S есть Р». Пример: «Судьи самостоятельны»; б) суждения с предикатом, представляющим собой отрицательное понятие. Формула «S есть не-Р». Пример: «Судьи независимы». Другие примеры: «Многие законы действуют», «Некоторые законы бездействуют».
Отрицательные суждения тоже имеют две разновидности: •а) суждения с положительным предикатом. Формула: «S не есть Р». Пример: «Петров не есть патриот»; б) суждения с отрицательным предикатом: «Петров не есть непатриот». Еще примеры: «Органы местного самоуправления не входят в систему органов государственной власти» и «Федеральное Собрание не является негосударственным органом».
Деление суждений на утвердительные и отрицательные в известной степени относительно. Любое утверждение содержит в себе в скрытом виде отрицание. Вспомним афоризм: «Determinatio est negatio». И наоборот. Так, если «Это слон», то, значит, «это» не какое-то другое животное – лев, жираф и т. д. А если «Это не слон», то, значит, «это» другое животное – лев, жираф и т. п. Вот почему утвердительное суждение можно выразить в форме отрицательного и наоборот. Например: «Петров – патриот» – «Петров не есть непатриот». Здесь как в математике: двойное отрицание равно утверждению.
Познавательное значение утвердительных и отрицательных суждений определяется их особенностями, которые носят объективный характер. Утвердительные суждения (если они истинные) дают знания о том, что именно представляет собой предмет мысли, какова его качественная определенность, выделяющая его среди других предметов. А так как в природе и обществе все взаимосвязано, то из любого утверждения вытекают соответствующие, и притом многообразные, последствия. Так, говоря, что «Это человек», мы в то же время утверждаем, что «Это животное, способное к труду, одаренное разумом и речью» и т. д.
Отрицательные (истинные) суждения, вопреки мнению некоторых логиков, тоже имеют рациональный смысл, если не иметь в виду суждений типа «Роза не верблюд». Они важны прежде всего сами по себе, так как отражают объективное отсутствие чего-либо у чего-то. Недаром говорят: «Отрицательный результат тоже результат». Но они не менее важны в их отношении к утвердительным суждениям. Установление того, чем не является предмет мысли, – ступень к раскрытию его действительной сущности. Так, суждение: «Киты – не рыбы» диалектически связано с суждением: «Киты – млекопитающие», служит его предпосылкой.
И все же утвердительные суждения информационно более насыщенны, а следовательно, обладают большей познавательной силой. Из отрицательного суждения далеко не всегда определенно следует, чем непосредственно является предмет. А из утвердительного вполне определенно следует не только то, чем он является, но и то, чем не является.
Знание особенностей утвердительных и отрицательных суждений имеет не только теоретическую, но и практическую значимость. Взять для примера известный юридический принцип презумпции невиновности
. Как правильнее, сильнее, категоричнее, а следовательно, гуманнее и демократичнее его сформулировать: «Обвиняемый считается невиновным» или «Обвиняемый не считается виновным»? В законодательстве нашей страны была принята первая его формулировка – утвердительная. В процессе обсуждения проекта новой Конституции Российской Федерации некоторые авторы предлагали дать ему иную, отрицательную. При этом делалась ссылка на конституции некоторых государств, в частности Италии, Польши, Югославии. И все же в принятом ныне тексте Конституции России принцип презумпции невиновности дан в утвердительной форме: «Каждый обвиняемый в совершении преступления считается невиновным, пока его виновность не будет доказана в предусмотренном федеральным законом порядке и установлена вступившим в законную силу приговором суда» (ст. 49). Сделано это, разумеется, правильно, так как утвердительная форма суждения так или иначе «сильнее» отрицательной.
Помимо исходного, фундаментального деления простых категорических суждений по качеству существует еще их деление по количеству.
Количество
суждения – это его другая важнейшая логическая характеристика. Под количеством здесь разумеется отнюдь не какое-нибудь конкретное число мыслимых в нем объектов (например, число дней недели, месяцев или времен года, планет Солнечной системы и т.д.), а характер субъекта, т.е. его логический объем. В зависимости от этого выделяются общие, частные и единичные суждения.
Общими
называются суждения, в которых что-либо утверждается обо всей группе предметов, и притом в разделительном смысле. В русском языке такие суждения выражаются словами «все», «всякий», «каждый», «любой» (если суждения утвердительные) или «ни один», «никто», «никакой» и др. (в отрицательных суждениях). В символической логике такие слова называются
кванторами
(от лат. quantum – сколько). В данном случае это
квантор общности
. Для его обозначения используется символ ∀ (от англ, all – все). Формула «∀ хР(х) интерпретируется так: «для всех х имеет место Р(х)». В традиционной логике общие суждения выражаются формулой «Все S есть Р» («Ни одно S не есть Р»).
Примеры
: «Все люди смертны», «Ни один человек не бессмертен».
Юридические примеры
: «Все адвокаты – юристы»; «Никто не может нести ответственность за деяние, которое в момент его совершения не признавалось правонарушением». Кванторное слово нередко опускается, его можно подставить лишь мысленно. Так, в суждении: «Кто ясно мыслит, тот ясно излагает» имеется в виду «всякий», «любой». У Пушкина в суждении «Острая шутка не есть окончательный приговор» подразумевается «никакая». Общими суждениями этого же типа являются афоризмы: «Сравнение – не доказательство», «Невежество – не аргумент» и др.
Юридические документы часто содержат подобные суждения: «Граждане Российской Федерации…» (имеются в виду «все») или «Судьи неприкосновенны» (тоже относится к «каждому»).
Общие суждения имеют свои разновидности. Прежде всего они могут быть выделяющими и невыделяющими.
В выделяющих
нечто говорится лишь о данной группе. В русском языке они выражаются словами «только», «лишь», «лишь только» и т. д. Примеры: «Только люди – разумные существа на Земле» (это означает, что других разумных существ на Земле нет); «Только суд осуществляет в Российской Федерации правосудие»; «Лишь лицо, совершившее общественно опасное деяние, может быть признано виновным в преступлении».
В невыделяющих
то, что сказано о данной группе, может быть отнесено и к другим группам: «Все люди смертны» (это означает, что смертны не только люди, но и животные, и растения). «Все адвокаты – юристы» (означает, что юристами могут быть прокуроры, судьи, следователи и т. д.).
Частные
суждения – те, в которых что-либо высказывается о части какой-то группы предметов. В русском языке они выражаются такими словами, как «некоторые», «не все», «большинство», «часть», «отдельные» и др. В символической логике такие слова носят наименование «квантор существования» и обозначаются символом «Ǝ» (от англ, exist – существовать). Формула Ǝ х Р(х) читается так: «Существует х такой, что имеет место Р(х)» или «Для некоторых х имеет место Р(х)». В традиционной логике принята следующая формула частных суждений: «Некоторые S есть (не есть) Р».
Примеры
: «Некоторые войны справедливы», «Некоторые войны несправедливы» или «Некоторые свидетели правдивы», «Некоторые свидетели не правдивы», «Некоторые таможенники – юристы», «Некоторые таможенники – не юристы». Кванторное слово здесь тоже может опускаться. Поэтому, чтобы определить, имеется ли налицо частное или общее суждение, надо мысленно подставить соответствующее слово. Например, латинская пословица: «Errare humanum est» («Людям свойственно ошибаться») не означает, что это относится к каждому человеку. Здесь понятие «люди» взято в собирательном смысле. В другой латинской пословице: «Quod licet Jovi, non licet bovi» («Что дозволено Юпитеру, то не дозволено быку») предполагается не «всё», лишь «кое-что».
Нетрудно понять, что кванторные слова частных суждений, логически тождественные, фактически по-разному характеризуют объем субъекта. Поэтому на практике они далеко не взаимозаменяемы. Так, суждения: «Большинство населения проголосовало за Конституцию» и «Меньшинство населения проголосовало за Конституцию» в логическом отношении оба – частные, но их конкретный смысл принципиально различен. Поэтому их политические и юридические последствия прямо противоположны: «Конституция принята» или «Конституция не принята».
Подобную разницу тонко уловила одна из моих слушательниц Вера Аксенова. Она рассказала, как однажды проводилась проверка работы отдела предпринимательской деятельности Комитета по управлению госимуществом г. Истра. В результате выявилось, что «Некоторые
предприятия зарегистрированы без представления необходимых документов» (из 30 предприятий таких оказалось 5). Однако в акте проверки записано, что «
Большинство
предприятий было зарегистрировано без представления необходимых документов». Разумеется, и то и другое суждение – частные. Но если первое суждение, основанное на фактах, истинно, то второе – ложно.
Частные суждения тоже имеют свои разновидности. Они делятся на определенные и неопределенные.
В определенных
частных суждениях что-либо говорится лишь о части какой-то группы предметов и не может быть распространено на всю группу предметов в целом. Слово «некоторые» здесь понимается в смысле «только некоторые». Примеры: «Некоторые люди красивы»; «Некоторые книги не интересны»; «Некоторые юристы – депутаты Государственной Думы».
В неопределенных
частных суждениях что-либо высказывается о части предметов так, что может быть отнесено ко всей их группе вообще. Слово «некоторые» используется здесь в другом смысле: «По крайней мере некоторые, а может быть, и все». Например, увидев на первых столах студенческой аудитории новый учебник логики, я уже могу высказать суждение: «Некоторые студенты имеют учебник логики». Опросив остальных, я могу убедиться в том, что «Все студенты имеют учебник логики». Значит, предыдущее суждение было неопределенно-частным.
Разумеется, в живой практике мышления не всегда так просто можно решить, в каком смысле высказывается частное суждение. Возьмем для примера пословицу: «Не все то золото, что блестит». Ясно, что это частное суждение. Но какое? Найдем вначале субъект и предикат суждения, а для этого выразим его в соответствующей грамматической форме: «Не все то, что блестит, есть золото», т. е. «Лишь некоторые блестящие вещи есть золото». Теперь ясно, что это определенное частное суждение.
Единичные
суждения – такие, в которых нечто высказывается об отдельном предмете мысли. В русском языке они выражаются словами «это», именами собственными и т.д. Формула «Это S есть (не есть) Р». Примеры: «Это кремль»; «Московский Кремль – самый красивый в мире»; «Санкт-Петербург не является столицей России». Юридические примеры: «Уголовный кодекс Российской Федерации пересмотрен», «Пенсионный фонд России работает успешно».
Единичные суждения, так же как общие и частные, имеют свои разновидности. Одна из них – суждения об индивидуальном предмете: «Это Солнце», «Солнце – источник жизни на Земле», «Луна – не планета». Другую составляют суждения о совокупности предметов, рассматриваемых как единое целое и выражаемых собирательными понятиями. Например: «Солнечная система – не единственная планетная система в нашей Галактике»; «Большая Медведица – созвездие». Поскольку в том и другом случае нечто говорится о предмете мысли в целом, единичные суждения в логике приравниваются к общим и отдельному логическому анализу не подлежат.
Между частными и общими суждениями тоже нет абсолютной грани. Например: «Все студенты, не считая двоих, пришли на семинар по логике». Какое это суждение? С одной стороны, здесь кванторное слово «все». Значит, это по форме общее суждение. А с другой – слова «не считая двоих». Значит, не «все», а «некоторые». Следовательно, по существу это частное суждение. Подобные суждения, носящие промежуточный характер, называются в логике исключающими
. Они выражаются в русском языке словами: «исключая», «кроме», «помимо» и т.п. В юридической практике такие суждения нередки. Например: «Как правило, закон обратной силы не имеет» (т.е. бывают исключения); «Разбирательство дел во всех судах открытое, за исключением случаев, когда это противоречит интересам охраны государственной тайны»; «Потерпевший, как правило, допрашивается ранее свидетелей».
Наконец, относительна грань между частными и единичными суждениями. Так, словесное выражение частного суждения «по крайней мере некоторые» означает «хотя бы один». Например, достаточно кому-либо в научной или философской литературе, средствах массовой информации и т.д. высказать какое-либо мнение, чтобы можно было сказать: «Некоторые авторы выдвигают такое мнение…» Или если хотя бы в одной из конституций стран мира записана какая-либо статья, то можно сказать: «В некоторых конституциях…»
Познавательная ценность общих, частных и единичных суждений различна, но по-своему велика. Так, в единичных суждениях содержатся знания об отдельных предметах и явлениях: исторических событиях, великих личностях, фактах современной общественной жизни. Юридическая практика, по существу, вся основывается на единичных суждениях: например, гражданские и уголовные дела – на отдельных фактах, лицах, вещах. Единичные суждения дают также знания и о целых Совокупностях, «ансамблях» предметов, а следовательно, могут выражать определенные общие закономерности, приобретать огромное мировоззренческое значение. Например: «Земля – рядовое небесное тело» (а не центр мироздания, как полагали до Коперника); «Солнечная система не вечна» (а возникла из первоначальной гигантской туманности, как предполагал И. Кант); «Вселенная нестационарна» (как доказывал на основе теории относительности А. Эйнштейна А. Фридман).
Частные суждения содержат знания о типах, формах, видах, разновидностях и т.д. той или иной группы предметов. Например: «Некоторые металлы легче воды», «Некоторые млекопитающие живут в воде», «Некоторые люди гениальны». При определенных условиях частные суждения могут превращаться в общие. Например: «Некоторые металлы электропроводны» – «Все металлы электропроводны».
В общих суждениях выражаются общие свойства (или целые совокупности свойств) мыслимых предметов, общие связи и отношения между предметами, включая и объективные закономерности. Форму общих суждений принимают юридические законы, указы, другие нормативные акты. Так, в форме общих суждений выражены конституционные права и обязанности граждан Российской Федерации, статьи Трудового кодекса, Уголовного кодекса, Таможенного кодекса и т. п.
В процессе познания и общения единичные, частные и общие суждения взаимодействуют между собой. На основе единичных суждений возникают обобщения в виде частных и общих суждений. Так, кропотливое исследование фактов преступности в стране позволяет сделать общие выводы о ее причинах, характере, тенденциях развития, возможных последствиях. В свою очередь, наличие общих суждений становится основой для подведения отдельных случаев под общее правило.
Рассмотренные в методических целях порознь, качество и количество суждения тесно связаны. Поэтому в логике большое значение придается объединенной классификации суждений по их количеству и качеству
. Возможны четыре вида таких суждений: общеутвердительные, частноутвердительные, общеотрицательные и частноотрицательные.
Общеутвердительными
называются суждения, по количеству, т. е. по характеру субъекта, общие, а по качеству, т. е. характеру связки, утвердительные. Например: «Все адвокаты – юристы».
Частноутвердительные
суждения – частные по количеству, утвердительные по качеству. Например: «Некоторые свидетели дают достоверные показания».
Общеотрицательные
суждения – общие по количеству, отрицательные по качеству. Пример: «Ни один обвиняемый не оправдан».
Наконец, частноотрицательные
суждения – частные по количеству, отрицательные по качеству. Пример: «Некоторые свидетели не дают верных показаний».
Для формульной записи этих видов суждений в логике используются гласные буквы двух латинских слов «affirmo» («утверждаю») и «nego» («отрицаю»). Конкретно они означают суждения:
А – общеутвердительные,
I – частноутвердительные,
Е – общеотрицательные,
О – частноотрицательные.
Чтобы правильно понимать смысл суждений и правильно оперировать ими, необходимо знать распределенность терминов
в них – субъекта и предиката.
Распределенным
считается термин, мыслимый во всем объеме;
нераспределенным
– если он мыслится не во всем объеме, а частично.
В общеутвердительных суждениях (А): «Все S есть Р» – субъект распределен, а предикат не распределен. Это видно на графической схеме (штриховкой отмечена степень их распределенности).
Исключение составляют лишь случаи, когда суждение – общевыделяющее. Например: «Только люди – разумные существа на Земле». Здесь распределены и субъект, и предикат.
В частноутвердительных суждениях (I): «Некоторые S есть Р» – субъект и предикат не распределены.
Исключение составляют лишь случаи, когда субъект по объему шире предиката. Например: «Некоторые смертные существа – люди», «Некоторые юристы – адвокаты». В них субъект не распределен, а предикат распределен.
В общеотрицательных суждениях (Е): «Ни одно S не есть Р» – субъект и предикат распределены.
Наконец, в частноотрицательных суждениях (О): «Некоторые S не есть Р» – субъект не распределен, предикат распределен.
Обобщая сказанное, можно вывести следующие закономерности, характеризующие распределенность терминов в суждениях:
а) субъект распределен в общих и не распределен в частных суждениях)
б) предикат распределен в отрицательных и не распределен в утвердительных суждениях.
Знание распределенности терминов в суждениях имеет большое значение в практике мышления. Оно необходимо, во-первых, для правильного преобразования суждений и, во-вторых, для проверки правильности умозаключений (см. об этом ниже).
Виды суждений по характеру предиката
. Предикат суждения, будучи носителем новизны, может иметь самый различный характер. С этой точки зрения во всем многообразии суждений выделяются три наиболее распространенные группы: атрибутивные, реляционные и экзистенциальные.
Атрибутивные
суждения (от лат. attributum – свойство, признак), или суждения о свойствах чего-либо, раскрывают наличие или отсутствие у предмета мысли тех или иных свойств (или признаков). Например: «Все республики бывшего СССР объявили о своей независимости»; «Содружество Независимых Государств (СНГ) непрочно». Поскольку понятие, выражающее предикат, имеет содержание и объем, атрибутивное суждение может рассматриваться в двух планах: содержательном и объемном.
В содержательном плане это суждение о том, обладает или не обладает предмет мысли совокупностью свойств или отдельным свойством. В зависимости от этого различаются две разновидности атрибутивных суждений. В одной из них предикат выражен конкретным понятием, т. е. понятием о самих предметах и явлениях в строгом смысле этого слова. Например: «Ртуть – металл» (т. е. она обладает всеми свойствами металлов).
В другой разновидности предикат – абстрактное
понятие. Например: «Ртуть электропроводна» (т.е. она обладает отдельным свойством – электропроводности). Нетрудно, однако, заметить относительность различий между этими разновидностями. Достаточно сравнить следующие пары суждений: «Человек – мыслящее существо» и «Человеку свойственно мыслить»; «Всякое преступление – общественно опасное деяние» и «Всякое преступление обладает общественной опасностью».
В объемном плане атрибутивные суждения – это суждения о том, входит или не входит предмет мысли в тот или иной класс предметов. Они именуются тогда «суждениями включения
(или невключения) в класс предметов». В зависимости от объемных отношений различаются тоже две их разновидности. Для одной характерно включение (или невключение)
подкласса в класс
. Например: «Все металлы электропроводны» (здесь подкласс металлов включается в класс электропроводных веществ). В другой устанавливается
принадлежность
(или непринадлежность)
элемента классу
. «Данное вещество – металл». В символической логике те и другие суждения выражаются формулами: S ⊂ Р (читается: объем S входит в объем Р) и S ∈ Р (читается: S принадлежит Р).
Правда, грань между этими двумя разновидностями суждений включения (невключения) в класс также относительна. Например, «Все металлы электропроводны» означает, что любой предмет, являющийся элементом класса металлов, является также элементом класса электропроводных веществ.
Реляционные суждения
(от лат. relatio – отношение), или суждения об отношениях чего-либо к чему-то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету (или нескольким предметам). Поэтому они обычно выражаются специальной формулой:
х R у
, где
х
и
у
– предметы мысли, a
R
(от relatio) – отношение между ними. Например: «СНГ не равно СССР», «Москва больше Санкт-Петербурга», «Дураку закон не писан».
У реляционных суждений тоже есть свои разновидности. Одну из них составляют суждения об отношениях между двумя предметами
. Например: «Рязань меньше Москвы», «Знания подобны деньгам» (чем больше их имеешь, тем больше хочется иметь); «Даже самые незначительные проступки порождают великие преступления». Или, как подметил Козьма Прутков, «легче держать вожжи, чем бразды правления». В отличие от «одноместного» предиката атрибутивных суждений предикат в них называется «двухместным». Другая разновидность реляционных суждений –
суждения об отношениях между тремя и более предметами
. Например: «Рязань находится между Москвой и Тамбовом». Предикат здесь – «многоместный».
Относительность различий между атрибутивными и реляционными суждениями проявляется в их способности превращаться друг в друга. Так, атрибутивные суждения можно представить как частный случай реляционных, поскольку в них связка «есть» («не есть») раскрывает отношение тождества (принадлежности, включения и т.д.) между мыслимыми в S и Р предметами. А реляционное суждение, в свою очередь, можно представить как частный случай атрибутивного.
Примеры
. Суждение «Все металлы электропроводны» можно превратить в суждение «Все металлы подобны электропроводным телам». В свою очередь, суждение «Рязань меньше Москвы» можно превратить в суждение «Рязань принадлежит к городам, которые меньше Москвы». Или: «Знания есть то, что подобно деньгам». В современной логике имеется тенденция свести реляционные суждения к атрибутивным.
Экзистенциальные
суждения (от лат. existentia – существование), или суждения о существовании чего-либо, – это такие, в которых раскрывается наличие или отсутствие самого предмета мысли. Предикат здесь выражается словами «существует» («не существует»), «есть» («нет»), «был» («не был»), «будет» («не будет») и др. Например: «Дыма без огня не бывает», «СНГ существует», «Советского Союза нет». В процессе судопроизводства решается прежде всего вопрос: имело ли место событие: «Преступление есть» («Доказательств нет»).
Несомненно, экзистенциальные суждения обладают определенной спецификой. Однако их целесообразнее рассматривать как частный случай атрибутивных суждений. Так, суждение «СНГ существует» означает, что «СНГ обладает свойством существовать», или в объемной трактовке: «СНГ принадлежит к классу существующих межгосударственных объединений». Вот почему в последующем логическом анализе экзистенциальные суждения самостоятельно не рассматриваются.
Познавательное значение рассмотренных видов суждений по характеру предиката трудно переоценить. В атрибутивные суждения облекаются знания о все новых открываемых свойствах бесконечно разнообразных предметов мысли. Например, Пьер и Мария Кюри установили, что полоний, как и уран, обладает свойством радиоактивности, и тем самым значительно расширили горизонт наших знаний. Выявление тех или иных свойств исследуемых предметов или особенностей тех или иных лиц важно, например, в криминалистике.
В реляционных суждениях отражается бесконечное богатство отношений между предметами мысли: пространственные и временные, природные и социальные, а среди социальных – производственные и непроизводственные (политические, нравственные, религиозные, семейные и т. д.). С их помощью выражается вся гамма правовых отношений между людьми: отношения кредитора и должника, продавца и покупателя, начальника и подчиненного, родителей и детей, участников судебного процесса и др. Например: «Иван взял взаймы у Петра», «Петров заключил договор с Сидоровым», «Судья задал вопрос свидетелю».
Особое значение имеют экзистенциальные суждения. Первое, с чем сталкивается человек в своей практической деятельности, – это существование (или отсутствие) тех или иных предметов и явлений. И в настоящее время нас волнуют вопросы: есть ли жизнь на других планетах, есть ли другие разумные существа во Вселенной, существуют ли «снежный человек», «биополе», «телепатия», «полтергейст» и многое другое. В судебной практике установление факта преступления, трудового или гражданского спора – начало всего последующего разбирательства.
Знание особенностей атрибутивных, реляционных и экзистенциальных суждений имеет, таким образом, важное значение для всякого человека вообще и юриста в частности.
Виды суждений по модальности
. В заключение – еще одно деление простых суждений на виды – по модальности (от лат. modus – образ, способ). Юристам хорошо известен основанный на этом слове юридический термин «modus vivendi». Под ним имеется в виду определенный образ жизни или способ существования. Это такая совокупность условий, при которой возможны пусть временные, но более или менее нормальные, мирные взаимоотношения сторон (если при сложившейся ситуации нельзя добиться постоянного или исчерпывающего их соглашения между собой).
Логический же термин «модальность суждений», тоже производный от слова «modus», означает, что помимо основного конкретного содержания всякое суждение так или иначе несет с собой дополнительную смысловую нагрузку. Это информация об объективном характере (или способе) связи между субъектом и предикатом, раскрываемой в суждении, о субъективном отношении к ней человека, характере и степени вероятности заключенного в суждении знания и т. д. В русском языке модальность суждения выражается посредством огромного множества слов, таких как «возможно», «разрешено», «ценно» и им подобных, а также их отрицаний: «невозможно», «не разрешено» и др. Они называются в логике «модальными операторами». Нередко их заменяет контекст.
Наиболее важными и распространенными выступают такие виды модальности, как алетическая, деонтическая, аксиологическая и эпистемическая.
Алетическая
, или истинная, модальность (от греч. aleteja – истина) выражает характер связи между мыслимыми предметами, а следовательно, между субъектом и предикатом суждения. Модальными словами в русском языке служат «возможно», «необходимо», «случайно» и их синонимы.
С точки зрения алетической модальности различают следующие разновидности суждений:
а) ассерторические
суждения, или суждения о факте, действительности чего-либо. Например: «Россия переходит к рыночной экономике». В таких суждениях модальность не выражена, а констатируется лишь самый факт чего-либо;
б) проблематические
суждения, или суждения о возможности чего-либо. Например: «Россия может перейти к рыночной экономике»;
в) аподиктические
суждения, или суждения о необходимости чего-либо. Например: «Россия по необходимости перейдет к рыночной экономике».
Разумеется, различия между этими разновидностями относительны. Возможное способно стать необходимым, необходимое –случайным и т. д.
Во взаимоотношениях модальных суждений можно подметить определенные закономерности – например, несбалансированность (несимметричность). Так, что действительно, то и возможно, но не наоборот; то, что необходимо, то и действительно, но не наоборот.
Деонтическая
, или нормативная, модальность (от греч. deon – нужное, должное) относится непосредственно к деятельности людей, нормам их поведения в обществе, как нравственным, так и правовым. Она выражается в русском языке с помощью таких слов, как «разрешается», «запрещается», «обязательно» и их аналогов.
В зависимости от характера социальных норм деонтическая модальность имеет разновидности. Так, любое правоотношение, как «двуликий Янус», предполагает, с одной стороны, какое-либо право, а с другой – соответствующую обязанность. Поэтому недаром говорят: «Нет прав без обязанностей, и нет обязанностей без прав». С учетом этого принципа вся совокупность правовых норм может быть разбита на две важнейшие группы: уполномочивающие, т. е. правопредоставляющие (или запрещающие) и обязывающие нормы. Отсюда по крайней мере две основных разновидности деонтической модальности:
а) суждения о наличии (или отсутствии) какого-либо права
. Они формулируются с помощью слов «разрешено», «запрещено», «вправе» и др. Например: «Каждый имеет право на жизнь»; «В Российской Федерации признается идеологическое многообразие» (правопредоставляющие нормы). Или: «Принудительный труд запрещен»; «Никто не может быть повторно осужден за одно и то же преступление»; «Никакая идеология не может устанавливаться в качестве государственной…» (правозапрещающие нормы). Модальное слово может и отсутствовать: «Труд свободен». Диалектика наличия-отсутствия прав отражена в известной формуле: «Разрешено все, что не запрещено законом». Правда, она предполагает наличие правового государства, обладающего развитой системой законодательства, которое охватывало бы все сферы общественной жизни и, следовательно, четко очерчивало бы «запретную зону». Распространяясь лишь на отдельных граждан и их объединения, она дополняется формулой: «Запрещено все, что не разрешено законом» для должностных лиц и государственных органов;
б) суждения о наличии (или отсутствии) какой-либо обязанности
. Они формулируются посредством слов «обязан», «должен», «необходимо» и др. Например: «Государственные органы… обязаны всемерно содействовать профессиональным союзам в их деятельности»; «Основное общее образование обязательно» (правообязывающие нормы). Без модального слова: «Право частной собственности охраняется законом».
Между правами и обязанностями должна быть так называемая «деонтическая сбалансированность». Под ней разумеется соответствие каждому праву какой-либо обязанности, а каждой обязанности – какого-либо права. В противном случае правовая система может быть неэффективной.
Эпистемическая
, или познавательная, модальность (от греч. episteme – знание) означает характер и степень вероятности знания. Она выражается при помощи слов: «знаю», «верю» («считаю», «полагаю») и им подобных. В связи с этим можно выделить, по крайней мере, тоже две основные разновидности суждений эпистемической модальности в соответствии с двумя видами знаний – объективными (научными) и субъективными (мнениями):
а) суждения, основанные на вере
. При этом не имеет значения, религиозная она или нерелигиозная. Например: «Верю, что Бог существует», «Считаю, что есть загробная жизнь», «Христос воскрес» или «Верю в наступление лучшей жизни», «Полагаю, что я счастливый человек»;
б) суждения, основанные на знании
, независимо от того, проблематичные они или достоверные. Например: «Знаю, что существует закон всемирного тяготения»; «Во Вселенной, по-видимому, есть другие разумные существа», «Телепатия, вероятно, существует»; «На Марсе достоверно отсутствие жизни».
Аксиологическая
, или ценностная, модальность (от греч. axios – ценный) выражает отношение человека к ценностям – материальным и духовным. Она фиксируется такими словами, как «хорошо», «плохо», «безразлично» (в ценностном отношении), «лучше», «хуже» и др. Например: «Хорошо смеется тот, кто смеется последним»; «Хорошо учиться осторожности на ошибках других»; «Плохо жить без друзей», «К сожалению, демократия – несовершенная форма правления, но она лучше других».
Разумеется, сказанным не исчерпаны все формы проявления модальности суждений. Они подробно исследуются так называемой «модальной логикой»: это обширная, относительно самостоятельная и быстро развивающаяся отрасль современной логики, имеющая большое теоретическое и практическое значение, в том числе, как отмечено выше, и для юристов.
Условия истинности для категорических атрибутивных высказываний в традиционной силлогистике
Следует начать с того, что традиционная силлогистика накладывает два ограничения на используемые термины, а именно: они должны быть непусты и неуниверсальны, то есть если под термин не подпадает ни один объект из универсума рассмотрения или, наоборот, подпадают все объекты универсума, то они не могут быть предметом рассмотрения. Посмотрим на рисунки:
Первый рисунок изображает ситуацию, когда термин А пуст, поэтому весь квадратик (универсум рассмотрения) остался белым. Второй рисунок показывает случай, когда объём термина А совпадает с объёмом универсума рассмотрения, поэтому весь квадрат заштрихован. Последний рисунок репрезентирует термин А, который является непустым и в то же время неуниверсальным. Заштрихованая область соотвествует объёму А. Традиционная силлогистика работает только с терминами, которые соотвествуют третьему рисунку. Такое условие ставится для того, чтобы исключить из рассмотрения высказывания, которые невозможно оценить как истинные либо ложные. Возьмём высказывание: «Все дети Ивана лысые». Вроде бы с высказыванием всё впорядке, однако представьте, что у Ивана нет детей. Мы не можем в данном случае просто сказать, что высказывание ложное. Если назвать его ложным, то тем самым мы подразумеваем, что не все дети Ивана лысые, а это не так. В то же время мы не можем сказать, что оно истинное. Выход из этого затруднительного положения состоит как раз в том, чтобы указать на пустоту термина «дети Ивана». Поскольку у Ивана нет детей, этот термин пуст, и мы не можем построить с ним корректное высказывание.
Непустота и неуниверсальность термина будут определяться не только контекстом, но и выбранным универсумом рассмотрения. Если наш квадратик представляет собой универсум живых существ или материально существующих предметов, то, конечно, такие термины как «русалка», «хоббит», «дракон» и т.п. окажутся пустыми, и мы не сможем их рассматривать. Однако, если универсум рассмотрения – это мифологические или сказочные существа, то все эти термины перестают быть пустыми. То же самое верно и для универсальности. Термин «люди» может рассматриваться как универсальный, что исключает его из области традиционной силлогистики. Однако если мы хотим сказать «Сократ – человек», то в качестве универсума рассмотрения вполне можно взять живых существ. На универсуме живых существ, термин «люди» уже не будет универсальным.
Кроме того, нужно помнить, что субъект и предикат должны задаваться на одном и том же универсуме рассмотрения.
Теперь посмотрим, при каких условиях разные типы категориальных атрибутивных высказываний будут истинными. Для этого советуем ещё раз заглянуть в урок, посвящённый отношениям между понятиями. По большому счёту, субъект и предикат – это термины, представляющие некоторые понятия. Соответственно, если соединить эти понятия в одном предложении с помощью предицирующих связок и кванторов, то, чтобы узнать будут эти предложения истинными или ложными, достаточно посмотреть на диаграммы, иллюстрирующие отношения между этими двумя понятиями. Итак, преступим.
Единичноутвердительные высказывания формы «s есть P» истинны, только если термины s и P находятся в следующем отношении:
Другими словами, единичноутвердительные высказывания истинны, если точка, представляющая собой имя s, находится внутри кружочка, изображающего объём термина P. Например, возьмём высказывание «Лев Толстой проповедовал вегетарианство». «Лев Толстой» – это субъект, имя s. «Человек, проповедующий вегетарианство» – это предикат, термин P. Это высказывание истинно, так как точка s будет входить в объём термина P. Если же взять высказывание «Николай Гоголь – это великий русский композитор», то точка s, представляющая имя («Николай Гоголь»), не будет входить в объём термина P («великие русские композиторы»). Поэтому это высказывание ложно.
Единичноотрицательные высказывания, имеющие форму «s не есть P» истинны, если термины s и P находятся в следующем отношении:
Как видно из рисунка, здесь имеет место ситуация, прямо противоположная условиям истинности единичноутвердительных высказываний. Если точка, представляющая имя s, находится вне объёма термина P, то высказывание истинно. В обратном случае, оно ложно. Пример истинного единичноотрицательного высказывания: «Александр Пушкин никогда не был во Франции». Ложным единичноотрицательным высказыванием будет: «Иван Бунин не получил Нобелевскую премию по литературе».
Общеутвердительные высказывания формы «Все S есть P» истинны, если термины S и P находятся в одном из следующих отношений:
Первый рисунок изображает отношение равнообъёмности, второй – обратного подчинения. Если объёмы двух терминов совпадают (S и P делят один кружочек) или объём термина S полностью входит в объём термина P (кружочек S полностью включается в P), то общеутвердительное высказывание истинно. Если термины S и P находятся в каком-либо другом отношении, то общеутвердительные высказывания не могут быть истинными. В качестве иллюстрации истинных высказываний можно привести: «Все хвойные растения имеют шишки», «Все киты – это млекопитающие». Пример ложных высказываний: «Все политики – обманщики», «Все девушки мечтают выйти замуж за миллионера». В этих примерах термины, обозначающие субъект и предикат, не находятся ни в одном из указанных выше отношений.
Общеотрицательные высказывания, имеющие форму «Ни один S не есть P» истинны, только если термины S и P находятся в следующих отношениях:
На первом рисунке представлено отношение противоречия, а на втором – соподчинения. Как видно, у S и P нет общих элементов, их объёмы не пересекаются. К примеру, истинными будут высказывания: «Ни один павлин не относится к числу певчих птиц», «Ни один человек младше восемнадцати лет не является совершеннолетним в России». Пример ложного высказывания: «Ни один гуманитарий не разбирается в математике». Высказывание ложно, так как термины «гуманитарий» и «люди, разбирающиеся в математике» не находятся ни в отношении противоречия, ни в отношении соподчинения.
Частноутвердительные высказывания формы «Некоторые S есть P» истинны, если термины S и P находятся в следующих отношениях:
Рисунки последовательно представляют отношения: пересечения, дополнительности, подчинения, равнообъёмности и обратного подчинения. С первыми тремя картинками всё должно быть довольно ясно: видно, что объёмы терминов S и P пересекаются, поэтому в области пересечения находятся элементы, которые одновременно обладают и признаком S и признаком P. Примеры истинных высказываний таких типов: «Некоторые актёры хорошо поют», «Некоторые автомобили с ценой ниже миллиона стоят больше шестисот тысяч», «Некоторые грибы съедобны».
Что касается отношений равнообъёмности и обратного подчинения, то может возникнуть вопрос, почему они тоже представляют собой условия истинности для частноутвердительных высказываний, если на картинках, обозначающих их, чётко видно, что не только некоторые S есть P, но все S есть P. Правда, естественный язык толкает нас к идее, что если некоторые S есть P, то ещё существуют и другие S, которые не есть P: некоторые грибы съедобны, а некоторые несъедобны. Для логиков такое заключение неверно. Из высказывания «Некоторые S есть P» нельзя вывести заключение, что некоторые S не есть P. Зато из высказывания «Все S есть P» можно заключить, что и некоторые S есть P, потому что если что-то верно относительно всех элементов объёма термина, то оно будет верно и относительно некоторых отдельных элементов. Поэтому в силлогистике слово «некоторые» употребляется в значении «по крайней мере некоторые», но не в значении «только некоторые». Таким образом, из высказывания «Все папоротники размножаются спорами» можно смело вывести и высказывание «Некоторые папоротники размножаются спорами», а из высказывания «Все ученики пятого класса являются пионерами» – высказывание «Некоторые ученики пятого класса являются пионерами».
Частноутвердительные высказывания будут ложными, только если термины S и P находятся в отношении противоречия или соподчинения: «Некоторые тракторы – это самолёты», «Некоторые ложные высказывания истинны».
Частноотрицательные высказывания типа «Некоторые S не есть P» истинны, если термины S и P находятся в следующих отношениях:
Это отношения: пересечения, дополнительности, включения, противоречия и соподчинения. Очевидно, что первые три отношения совпадают с тем, что было верно и для частноутвердительных высказываний. Все они как раз представляют случаи, когда некоторые S есть P, и в то же время некоторые S не есть P. Примеры подобных истинных высказываний: «Некоторые здоровые люди не употребляют алкоголь», «Некоторые наши работники из категории младше сорока ещё не достигли возраста и двадцати пяти», «Некоторые деревья не являются вечнозелёными».
По тем же причинам, по которым отношения равнообъёмности и обратного подчинения представляли собой условия истинности для частноутвердительных высказываний, отношения противоречия и соподчинения будут верны для частноотрицательных высказываний. Из высказывания, имеющего форму «Некоторые S не есть P» нельзя логично вывести высказывание «Некоторые S есть P». Однако из высказывания «Все S не есть P» можно перейти к высказыванию «Некоторые S не есть P», так как на основании информации, которой мы обладаем обо всех элементах объёмов терминов S и P, можно сделать вывод и об их отдельных представителях. Поэтому верными будут высказывания: «Некоторые журналы не являются книгами», «Некоторые глупцы не являются умными» и т.п.
Частноотрицательные высказывания будут ложными, только если термины S и P находятся в отношениях равнообъёмности и обратного подчинения. Примеры ложных высказываний: «Некоторые рыбы не умеют дышать под водой», «Некоторые яблоки не являются фруктами».
Итак, мы выяснили, при каких условиях высказывания той или иной формы будут истинными и ложными. При этом стало понятно, что не всегда истинность и ложность высказываний с логической точки зрения совпадает с нашими интуитивными представлениями. Иногда одинаковые на первый взгляд высказывания оцениваются совершенно по-разному, так как за ними скрываются разные логические формы и, следовательно, разные отношения между входящими в них терминами. Эти условия истинности важно запомнить. Они пригодятся, когда в следующем уроке мы научимся складывать высказывания в цепочки рассуждений и будем пытаться найти такие формы умозаключений, которые будут всегда правильными.
Классификация простых суждений
Простые суждения в логике могут быть следующих видов: атрибутивные, суждения с отношениями, экзистенциальные, модальные.
Атрибутивные (суждения-свойства) направлены на утверждение/отрицание наличия у предмета определенных свойств (атрибутов), видов деятельности. Данные суждения имеют категорическую форму и не подвергаются сомнению: «Нервная система млекопитающих состоит из головного мозга, спинного мозга и отходящих нервных путей».
В суждениях с отношениями рассматриваются определенные отношения между предметами. Они могут иметь пространственно-временной контекст, причинно-следственный и др. Например: «Старый друг лучше новых двух», «Водород легче углекислого газа в 22 раза».
Экзистенциальное суждение – это утверждение существования/несуществования предмета (как материального, так и идеального): «Нет пророка в своем отечестве», «Луна является спутником Земли».
Модальное суждение – это форма утверждения, в составе которого присутствует определенный модальный оператор (необходимо, хорошо/плохо; доказано, известно/неизвестно, запрещено, верю, и др.). Например:
- «В России необходимо проведение образовательной реформы» (алетическая модальность – возможность, необходимость чего-либо).
- «Каждый имеет право на личную неприкосновенность» (деонтическая модальность – нравственные нормы общественного поведения).
- «Небрежное отношение к государственному имуществу приводит к его утрате» (аксиологическая модальность – отношение к материальным и духовным ценностям).
- «Мы верим в вашу невиновность» (эпистемическая модальность – степень достоверности знаний).
Упражнения
Прочитайте следующие категориальные атрибутивные высказывания. Определите, к какому типу они относятся. С помощью диаграмм покажите, истинны они или ложны.
- Всё действительное разумно, всё разумное действительно.
- Соль – это яд.
- Яд – это соль.
- Все музыканты имеют хороший слух.
- Некоторые музыканты имеют хороший слух.
- Все люди, имеющие хороший слух, – музыканты.
- Некоторые люди, имеющие хороший слух, – музыканты.
- Некоторые вампиры опоздали на работу.
- Волколаки – это разновидность оборотней.
- Все круглые квадраты не имеют углов.
- Никто не любит, когда у него болят зубы.
- Ни один попугайчик не пьёт виски.
- Некоторым не нравится их работа.
- Иван Иванович поссорился с Иваном Никифоровичем.
- Фильмы Тарковского считаются классикой русского кино.
- Достоевский никогда не играл в карты.
- Некоторые куздры совсем не глокие.
- Каждый сотрудник мечтает о повышении.
- Некоторые псы умеют читать.
- Все счастливые семьи похожи друг на друга, каждая несчастливая семья несчастлива по-своему.
- Некоторые акулы – это рыбы.
- Некоторые люди не летали на Марс.
Суждение
Суждение как форма мышления предполагает подтверждение или отрицание какого-то факта, события, свойства, особенности, связи. Проявляется оно во фразах, но нужно помнить, что не каждая фраза является суждением. Так, междометие или односложное предложение не относится к этой форме мышления (примеры: «Ой!», «Как же так?»).
Предложения, как правило, имеют повествовательный характер: «Земля вращается вокруг Солнца».
Суждение может быть истинным или ложным, что определяется логикой. Первое предполагает наличие одного субъекта с характеристиками или сравнение двух субъектов.
При разделении простого суждения слова перестают нести смысловую нагрузку. Пример: «Мышь меньше кошки». Если это предложение разделить на два, смысл теряется.
Суждения сложные представляют собой различные комбинации, которые состоят из сложного и простого, двух сложных или двух простых суждений. Примеры: «Если пройдет град, растения могут пострадать». Здесь «растения могут пострадать» выступает в качестве простого суждения.
Суждение как форма мышления сложного характера невозможно без грамматических связок («но», «или», «и», «если так, то…», «когда…, то…» и т. д.).
Необходимо различать суждение и другие логические формы мышления: понятие выражается словом, а умозаключение выводом.
Эта форма мышления также может быть:
- утвердительной («Ботаника – наука о растениях», «Тигр является хищником»);
- отрицательной («Это предложение построено неправильно», «В российских городах не гуляют медведи на улицах»).
Существует и другая классификация. Общее суждение предполагает утверждение (отрицание), которое относится к явлениям, субъектам, объединенных с помощью общего понятия («Все здоровые кошки имеют четыре лапы»). Частное подразумевает часть предметов, субъектов, явлений, которые объединены понятием («Какие-то поэты являются графоманами»). В единичном суждении выражено индивидуальное свойство («Ф.М. Достоевский – автор «Преступления и наказания»»).
По сути суждение открывает содержание понятия (или нескольких) – поэтому для высказывания необходимо знать содержание всех используемых понятий.
Умозаключение
Умозаключения как форма мышления образуется при помощи нескольких суждений. Таким образом, имеющаяся информация дает возможность получать новые знания.
Эта форма мышления относится к высшим, так как соединяет в себе понятия и суждения.
Умозаключение может быть правильным или неправильным. Когда говорят об этом свойстве, то имеют в виду теоретическую возможность проверки, так как правильность вывода – это субъективное явление, которое может проверяться в течение продолжительного времени посредством экспериментов и логических рассуждений.
Между суждением и умозаключением существует тесная связь, так как без первого невозможно второе. Умозаключения бывают:
- дедуктивными, являющимися результатом процесса мыслерассуждения от общего к частному;
- индуктивными – обобщение происходит от частного к общему;
- построенными на аналогии, которая использует свойство явлений и объектов, имеющих схожие признаки.
Взаимодействующие между собой понятие, суждение и умозаключение формируют картину человеческого сознания, восприятия и являются основой для развития интеллекта.
Суждение
Суждение — высказывание; умственный акт, выражающий отношение говорящего к содержанию высказываемой мысли.
Вынося суждение, мы создаем те опоры, которые считаем соответствующими действительности и потому позволяющими двигаться к истине.
Суждение — это отражение связей между предметами и явлениями действительности или между свойствами и признаками. Например, суждение «Металлы при нагревании расширяются», выражает связь между изменениями температуры и объемом металлов. Устанавливая таким образом различные связи и отношения между понятиями, суждения являются высказываниями чего-то о чем-то. Они утверждают или отрицают какие-либо отношения между предметами, событиями, явлениями действительности. Например, когда мы говорим: «Земля вращается вокруг Солнца», мы тем самым утверждаем наличие определенной объективной связи в пространстве между двумя небесными телами.
Общие, частные и единичные суждения
Суждения бывают общими, частными и единичными. В общих суждениях что-либо утверждается (или отрицается) относительно всех предметов данной группы, данного класса, например, «Все рыбы дышат жабрами». В частных суждениях Утверждение или Отрицание относится уже не ко всем, а лишь к некоторым предметам, например: «Некоторые студенты — отличники»; в единичных суждениях — только к одному, например: «Этот ученик плохо выучил урок».
Непосредственные и опосредованные суждения
Суждения образуются двумя основными способами:
- Непосредственно, когда в них выражают то, что воспринимается.
- Опосредствованно — путем умозаключений или рассуждений.
В первом случае мы видим, например, стол коричневого цвета и высказываем простейшее суждение: «Этот стол коричневый». Во втором случае с помощью рассуждения из одних суждений выводят, получают другие (или другое) суждения. Например, Д.И. Менделеев на основании открытого им периодического закона чисто теоретически, лишь с помощью умозаключений вывел и предсказал некоторые свойства еще неизвестных в его время химических элементов.
