Тема № 3. Суждения: виды, состав, логические отношения
Цель изучения темы: формирование базовых представлений о суждении как форме мышления, понимание основ их классификации, установление тех операций, которые проводятся над суждениями. Перевод сложного суждения на язык логики высказываний, их проверка на истинность с использованием таблицы истинности.
Значение изучения темы для практической деятельности сотрудников ОВД: знание логических союзов, умение выявлять логическую форму того или другого правового закона может значительно помочь при истолковании законодательства. Можно даже утверждать, что без знания логической формы закона выяснить его смысл вообще невозможно. Если юрист хочет не только прочитать закон, выучить его, но и понять, о чем в нем идет речь, тогда внимание нужно уделять не только анализу содержания этого документа. Не менее важна роль логической экспертизы любых юридических документов, поскольку только логический закон, включенный в юридический закон, даст возможность последнему быть выполненным в полном объеме.
Основные термины и понятия: атрибутивное суждение, дизъюнкция, импликация, истинное суждение, квантор, квантор общности, квантор существования, конъюнкция, ложное суждение, модальное суждение, несовместимые суждения, несравнимые суждения, общеотрицательное суждение, общеутвердительное суждение, отношение противоположности (контрарности), отношение под-противоположности (субконтрарности), отношение противоречия (контрадикторность), предикат суждения, простое суждение, связка, сложное суждение, совместимые суждения, сравнимые суждения, субъект познания, суждение, суждение с отношением, суждение существования, частноотрицательное суждение, частноутвердительное суждение, эквиваленция.
Основное содержание:приступая к изучению темы «Суждения, виды, состав, логические отношения», прежде всего следует дать определение понятию «суждение» как форме мышления.
Суждение – это мысль, в которой утверждается наличие или отсутствие свойств у предметов[11], отношения между предметами, связей между ситуациями, или суждение – это такая форма мышления, которая раскрывает связь между предметом и его признаком.
Как и понятие, суждение имеет свою специфическую структуру, которую можно изобразить при помощи следующей формулы:
 |
Например:Все курсанты являются знающими логику людьми.
Таким образом: логическая структура суждения состоит из субъекта «S», предиката «Р» и логической связки «есть / не есть» или «являются/не являются».
Схематично это записывается в виде такой формулы:
«S есть Р» или «S не есть Р» – Где: «S» и «Р» называются терминами суждения[12].
Проводя аналогию с понятием, можно утверждать, что суждение имеет несколько видов. Когда мы высказываемся об окружающем мире или говорим о внутреннем мире, мы, так сказать, «судим» о нем – отсюда происходит и название этой логической формы. Дескриптивное суждение может быть истинным или ложным. Истинное суждение соответствует действительности: «Российская Федерация является федерацией». Ложное суждение не соответствует действительности: «Российская Федерация является монархией». Логика не определяет истинность или ложность суждений – это дело конкретных наук или практики. Задача логики состоит в обеспечении формальных условий и методов сохранения истины на протяжении всего процесса рассуждения.
Первое из таких условий состоит в дифференциации простых и сложных суждений.
Рассмотрим все многообразие простых суждений, которые можно классифицировать по следующим основаниям:
1. По объему субъекта: единичные, общие и частные.
2. По содержанию предиката: суждения существования, атрибутивные суждения, суждения отношения.
3. По количеству связки: отрицательные, утвердительные и отрицающие.
4. По модальности: объектные (суждения действительности, суждения возможности, суждения необходимости) и логические (суждения достоверные и суждения проблематичные).
Рассмотрим более подробно суждения по характеру признаков, которые представлены предикатом суждения.
Атрибутивным называется такое простое суждение, предикат которого представляет свойство. Можно еще и так определить атрибутивное суждение: «Атрибутивным суждением называется такой вид простых суждений, в которых речь идет о наличии у предмета каких-то свойств, или их отсутствие у предмета» (Например: Преступление должно быть раскрытым).
Суждением с отношением называется такой вид простого суждения, в котором предикатом выступает отношение (Например: Мой приятель не знает моего брата. В суждении идет отрицание отношения знания между моим приятелем и моим братом).
Суждением существования называется вид простого суждения, в котором предикат выражает наличие (бытие) предмета (Например: Есть люди, которые могут прогнозировать будущее. Не существует жизни на Луне)[13].
Остановимся на анализе атрибутивных суждений. Интерес к атрибутивным суждениям в традиционной логике был вызван тем, что они выступили исходным материалом в построении Аристотелем первой теории логического вывода – силлогистики. В значительной мере это предопределило и то, что простые суждения (суждения с отношениями и суждения существования) после соответствующих синтаксических реконструкций толковались как атрибутивные.
Атрибутивные суждения делятся на виды по количеству и качеству.
По качеству выделяют: утвердительные и отрицательныеатрибутивные суждения (Например: Преступление является общественно опасным поступком – утвердительное суждение).
По количеству различают: единичные, общие и частные атрибутивные суждения.
Единичным называется такое атрибутивное суждение, в котором субъектом выступает единичное понятие. (Например:Следователь Петров хороший человек).
Общим называется такое атрибутивное суждение, в котором субъектом выступает общее понятие (Например: Преступление общественно опасное деяние).
Частным называется атрибутивное суждение, в котором субъект представляет часть класса исследуемых предметов (Например:Некоторые приговоры несправедливы)[14].
Эти две типологии атрибутивных суждений выделяются в методических целях. В практике рассуждения они существуют во взаимодействии, поэтому специально выделяют типологию атрибутивных суждений по объединенному признаку качественно-количественной характеристики:
· общеутвердительные,
· частноутвердительные,
· общеотрицательные,
· частноотрицательные атрибутивные суждения.
| + | - | |
| Все | Аsp | Esp |
| Некоторые | Isp | Osp |
Общеутвердительным называется суждение, которое по количеству является общим, а по качеству утвердительным (Например: Все курсанты хорошо учатся. Логическая структура общеутвердительного суждения такая: «Все S есть Р». Обозначается этот вид суждений буквой «А»).
Частноутвердительным суждением называется такое атрибутивное суждение, которое по количеству является частичным, а по качеству – утвердительным (Например: Некоторые преступления являются должностными. Логическая структура частноутвердительного суждения имеет такой вид: «Некоторые S есть Р». Обозначается это суждение буквой «І»). Общеотрицательным называется атрибутивное суждение, которое по количеству является общим, а по качеству – отрицательным (Например: Ни один мой знакомый не был среди участников преступления. Логическая структура общеотрицательного суждения имеет такой вид: «Ни один S не есть Р». Обозначается это суждение буквой «Е»).
Частноотрицательным называется атрибутивное суждение, которое по количеству является частичным, а по качеству – отрицательным (Например:Некоторые мои знакомые не были участниками демонстрации. Логическая структура частноотрицательного суждение такая: Некоторые S не являются Р. Обозначается это суждение буквой «О»)[15].