Виды простых суждений. По характеру признака, выражаемого предикатом суждения, выделяют три вида простых суждений:

По характеру признака, выражаемого предикатом суждения, выделяют три вида простых суждений:

1. Атрибутивные – суждения, в которых признак связан с наличием или отсутствием свойства. Например: « Москва – столица России », « Студенты, как правило, находчивые люди ».

2. Реляционные или с отношением – это суждения, в которых признак связан с наличием или отсутствием отношения. Например: « Лето этого года теплее лета прошлого года », « Иван выше Петра », « 2 в степени три равно 8 ».

3. Экзистенциальные или существования – это суждения, в которых выражено существование или несуществование объектов. Например: « Да, были люди в наше время », « Безвыходных ситуаций нет ».

Особое значение в логике имеет деление простых суждений на виды по характеру связки (ее качеству) и характеру субъекта (его количеству, объему).

Виды суждений по качеству. Качество суждений – одна из важнейших его логических характеристик. Под ним понимается самая общая логическая форма простых суждений: утвердительная или отрицательная. Определяется качество суждений характером связки: какая она – утвердительная или отрицательная. В зависимости от этого суждения делятся на утвердительные и отрицательные. В утвердительных суждениях раскрывается наличие какой-либо связи между субъектом или предикатом. Общая формула: « S есть Р ». Например: « Студенты сдали экзамен по логике », « Киты – млекопитающие ». В отрицательных суждениях, наоборот, раскрывается отсутствие той или иной связи между субъектом или предикатом. Общая формула: « S не есть Р ». Например: « Студенты не сдали экзамен по логике », « Киты не рыбы ». Важно уяснить, что частица « не » в отрицательных суждениях относится к связке. Если же она входит в состав предиката (или субъекта), то это означает, что предикат (субъект) выражен отрицательным (а не положительным) понятием, в целом же суждение будет утвердительным. Например: « Некоторые законы бездействуют », « Профсоюзы независимы ».

Виды суждения по количеству. Количество суждений – другая важнейшая характеристика суждений. Под количеством понимается логический объем субъекта. В зависимости от этого выделяются общие, частные и единичные суждения.

Общие суждения – это суждения, в которых предикат относится ко всему объему субъекта суждения. Показателем количества (объема) субъекта выступает кванторное слово, которое в русском языке для общих суждений выражается словами: « все », « всякий », « каждый » (если суждение утвердительное) или « ни одни », « никто », « никакой » (если суждение отрицательное) и называется квантором общности – « «. Формулы общих суждений: « Все S есть Р », « Ни одно S не есть Р ». Например: « Все адвокаты - юристы », « Никто не хотел умирать ». В мыслительной практике кванторное слово нередко опускается. В этом случае для определения количественной характеристики суждения его мысленно следует восстановить, поставив перед субъектом слово « каждый », если суждение утвердительное, или слово « ни один », если суждение отрицательное.

Частные суждения – это суждения, в которых предмет относится лишь к части объема субъекта, лишь к некоторым его элементам. И в этом случае показателем объема субъекта выступает кванторное слово, называемое в современной логике квантором существования и обозначаемое символом « «. В русском языке он выражается такими словами как: некоторые, не все, большинство, часть и т.п. Например: « Некоторые войны справедливы », « Большинство студентов учатся добросовестно ».

Единичные суждения – это суждения, в которых субъект выражен единичным понятием, для которых в русском языке используются собственные имена или слово « это ». Например: « Это – картина Шишкина », « Московский Кремль – самый красивый в мире », « Уголовный кодекс РФ давно не пересматривался ». Нередко в этих случаях субъект может быть выражен собирательным понятием, например: « Большая медведица – созвездие », « Солнечная система – не единственная планетная система в нашей Галактике ».

Количественная характеристика суждений имеет важное значение для уточнения, определенности наших мыслей в практике мышления. Не уточнив количество суждения нельзя осуществить ни опровержение, ни доказательство исходного суждения, ибо в зависимости от изменения количественной характеристики суждения изменяются способы его доказательства и опровержения. Так, при использовании в дискуссии, споре суждения « Человек имеет преступные наклонности », необходимо уточнение его количественной характеристики, путем приведения к одному из видов: « Этот человек имеет преступные наклонности », « Некоторые люди имеют преступные наклонности » или « Все люди имеют преступные наклонности ». Понятно, что способы доказательства для них будут разными.

Суждения, у которых количество и качество может быть точно определено, называются категорическими [6] суждениями.

Качество и количество суждений тесно связаны. Поэтому в логике большое значение придается объединенной классификации категорических суждений по их количеству и качеству. При этом, единичные суждения приравниваются к общим на том основании, что те и другие высказываются обо всем объеме субъекта (Объем субъекта единичных суждений состоит из одного элемента).

Возможны четыре вида категорических суждений: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные. Еще в средневековье в логике были введены буквенные обозначения этих четырех видов категорических суждений. Они происходят от гласных букв, входящих в латинские слова affirmo – утверждаю и nego – отрицаю. Общеутвердительные суждения получили обозначение А, общеотрицательные – Е, частноутвердительные – I, частноотрицательные – О.

Общеутвердительное суждение (А) – это суждение общее по количеству (характеру субъекта) и утвердительное по качеству (характеру связи), т.е. суждение по логической форме: « Все S есть Р ». Например: « Все адвокаты - юристы », « Каждый студент нашей группы получает стипендию ».

Общеотрицательное суждение (Е) – общее по количеству и отрицательное по качеству, т.е. суждение по форме: « Ни одно S не есть Р ». Например: « Ни один студент нашей группы не получает стипендию ».

Частноутвердительное суждение (I) – частное по количеству и утвердительное по качеству, т.е. суждение по форме: « Некоторые S есть Р ». Например: « Некоторые студенты нашей группы получают стипендию ».

Частноотрицательное суждение (О) – частное по количеству, отрицательное по качеству, т.е. по форме: « Некоторые S не есть Р ». Например: « Некоторые студенты нашей группы не получают стипендию ».

Чтобы в практике мышления правильно оперировать суждениями, необходимо знать распределенность в них терминов – субъекта и предиката. Распределенным считается термин, взятый в полном объеме, нераспределенным – если он мыслится не в полном объеме, а частично. Полный объем понятия означает, что данное понятие полностью включается или по л ностью исключается из объема другого понятия.

В общеутвердительных суждениях (А): « Все S есть Р » субъект распределен, а предикат не распределен. В общеутвердительных суждениях субъект в полном объеме включается в предикат. Это означает, что общеутвердительное суждение дает информацию обо все объеме субъекта, но лишь о части объема предиката. Поэтому субъект (как понятие) распределен, а предикат нераспределен.

В общеотрицательных суждениях (Е): « Ни одно S не есть Р » - субъект и предикат распределены, поскольку каждый из терминов исключен из другого. Иными словами, суждение дает информацию обо всем объеме субъекта и обо всем объеме предиката, поэтому оба термина распределены.

В частноутвердительном суждении (I): « Некоторые S есть Р » - субъект и предикат не распределены. Субъект и предикат такого суждения только частично включаются один в другой. Суждение дает информацию лишь о части объемов своих субъекта и предиката, т.е. они оба не распределены.

В частноотрицательном суждении (О): « Некоторые S не есть Р » - субъект нераспределен, а предикат – распределен. В таком суждении предикат в полном объеме исключен из той части объема субъекта, о которой идет речь. На этом основании предикат в частноотрицательном суждении считается распределенным, а субъект нераспределенным.

Итак: субъект распределен (берется в полном объеме) в общих суждениях, в предикат распределен в отрицательных.

3. Сложные суждения: логическая структура и виды

Сложные суждения – это суждения, образованные их простых посредством той или иной логической связи. Структура сложных суждений отличается от структуры простых суждений. Основными структурообразующими элементами здесь выступают не понятия (термины – субъект и предикат), а самостоятельные простые суждения, внутренняя субъектно-предикатная структура которых уже не учитывается. Связь между элементами сложного суждения осуществляется с помощью логических союзов: «и», «или»; «если..., то...»; «если и только если..., то»; «неверно, что...», которые близки к соответствующим грамматическим союзам, но полностью с ними не совпадают. Главное их отличие состоит в том, что логические союзы однозначны, тогда как грамматические союзы имеют множество смыслов и оттенков.

Эти типы связи простых суждений выражаются соответствующими логическими связками: конъюнкцией («и»), дизъюнкцией («или»), строгой дизъюнкцией («либо,...либо»), импликацией («если..., то»), эквиваленцией (тогда и только тогда, когда...», отрицанием («неверно, что...»). Логические связки обозначают символами: ~ соответственно. Каждый из этих логических союзов, за исключением отрицания, является бинарным, т.е. соединяет только два суждения, независимо от того простые они или сами, в свою очередь, сложные, имеющие внутри себя собственные союзы.

Сложные суждения рассматриваются в логике только с точки зрения их истинностных значений, которые зависят от истинностных значений простых суждений, входящих в него, а также от характера связи этих суждений. Характер связи определяется смыслом логических союзов, который состоит в ответе на вопрос: при каких условиях сложное суждение будет истинно, а при каких – ложно. Иначе говоря, при каких сочетаниях истинности и ложности простых суждений, входящих в сложное, данный логический союз дает истинную связь, а при каких - ложную. Смысл логических союзов можно определить с помощью, так называемой истинностной таблицы, в которой на входе (см. Табл.1, столбцы 1,2) выписываются все возможные комбинации истинностных значений простых суждений (входящих в рассматриваемое сложное), а на выходе (Таблица 1 – столбцы 3 – 9) – значения сложного суждения, образованного из данных простых с помощью соответствующего логического союза. При этом, исходные простые суждения обозначают буквами: А,В,С,D..., а значения истинности символами: « и » - истино; « л » - ложно.

Таблица 1.