Логика
Шрифт:
Структура суждения позволяет рассмотреть типологию простых суждений.
1. Деление суждений по объему субъекта:
• единичное -> объем субъекта включает только один предмет, например: «Москва – столица России». Логическая схема таких суждений: «Это S есть Р» и «Это S не есть Р»;
• частное -> объем субъекта включает часть (может быть неопределенной и определенной) класса предметов, имеющих общие существенные признаки. Логическая схема неопределенных суждений: «По крайней мере некоторые S суть Р». Например,
«Некоторые
• общее -> что-либо утверждается или отрицается обо всех предметах данного класса; общие суждения бывают регистрирующими, которые фиксируют утверждение или отрицание в отношении предметов класса, в котором этих предметов определенное (ограниченное) число, например: «Все студенты восьмой группы сдавали экзамен по логике»; в нерегистрирующих что-либо утверждается или отрицается о предметах, которых в данном классе неопределенное (неограниченное) число. Например: «Суды выполняют функции защиты прав и свобод граждан»; а также нерегистрирующие – утверждают или отрицают что-то о классе с неопределенным числом элементов.
2. Деление суждений по качеству связки:
• утвердительное («S есть Р») -> связка «есть», «существуют», «бывают». Суждение, в котором утверждается принадлежность предмету некоторого признака, например: «Добросовестный труд и ответственность – источник благосостояния и могущества общества»;
• отрицательное («S не есть Р») – > связка «не есть», «не существует», «не бывает». Суждение, в котором отрицается связь между предметом и его признаком или между предметами, например: «На свете смерти нет».
Стоит отличать отрицательное суждение от негативной формы утвердительного суждения. Например:
«Злоупотребление служебным положением не может быть оправданным» («S не есть Р») и «Использование ресурсов общества и государства в личных целях незаконно» («S есть Р»).
Наконец, бывают отрицающие суждения, например,
«Неправда, что все чиновники коррупционеры» («Неверно, что S есть Р»).
3. Деление суждений по содержанию предиката:
• экзистенциальное -> содержит информацию о том, что предмет нашей мысли либо действительно существует, либо нет.
Например: «В России существуют различные виды собственности»; «… На свете смерти нет…»;
• атрибутивное -> суждения свойства – утверждение или отрицание принадлежности предмету каких-либо свойств или признаков. Например: «Совершенствование правовой культуры у граждан – важнейший компонент формирования гражданского общества в стране»; суждения включения выражают принадлежность предмета классу предметов или одного класса другому классу предметов. Например: «Российская академия правосудия – федеральное государственное бюджетное образовательное учреждение высшего профессионального образования»;
• релятивное -> выражает различные отношения между предметами по месту, величине,
Например: «Моральные нормы порой важны не меньше правовых».
Умение точно определить все перечисленные параметры является обязательным компонентом логической характеристикой простого суждения.
3. Деление суждений по типу логических союзов. Такого рода деление относится к сложным суждениям, включающим два и более простых.
Наглядно отношение всех типов сложных суждений, рассмотренных ниже, принято отражать в так называемых таблицах истинности.
Один из обязательных элементов такой таблицы – «шапка» – верхняя строка, в которой последовательно (слева направо), как правило, строчными латинскими буквами указываются все простые суждения, из которых состоит рассматриваемое сложное. Затем, если внутри сложного есть другие сложные, указываются в виде формул (например, а b) и они. В конце верхней строки («шапки») помещается итоговая формула, отражающее все рассматривоемое сложное суждение. При этом каждая буква, обозначающая просто суждение, и каждая формула, обозначающая сложное суждение, помещаются в отдельных ячейках. Таким образом определяется число столбцов таблицы. Количество строк таблицы, помимо шапки, определяется по формуле: «2n», где n – количество простых суждений, из которых состоит сложное.
Затем ячейки в столбцах, показывающих возможные значения простых суждений, заполняются символами «и» (вариант, когда простое суждение оказывается истинным) и «л» (когда оно ложное) таким образом, чтобы в строках сочетания «и» и «л» с одной стороны, не повторялись, с другой – чтобы отразить все возможные сочетания «истинности» и «ложности» простых суждений в данном сложном.
Их структура обусловлена структурой простых суждений, а также типом логических союзов, которые отражают характер связи между простыми суждениями внутри сложного:
• соединительное (конъюктивное) – > один или оба термина состоят из двух или нескольких понятий, соединенных союзом «и» (иногда «ни»).
Например: «Высокая организованность и творчество студента – залог успеха в учебе и в последующей профессиональной практике»(«S1 S2 есть Р1 Р2»).
В естественном языке соединительные суждения могут быть выражены одним из трех способов:
– элементы сложного субъекта, состоящего из конъюктивно связанных субъектов: «S1 S2 есть Р» (П. Иванов и Е. Строкова – студенты);
– конъюктивно связанные понятия (признаки) в сложном предикате: «S есть P1 P2» (Судья должен быть компетентным юристом и высоконравственным человеком);
– и элементы сложного субъекта и понятия в сложном предикате: «S1 S2 есть P1 P2» (К. К. Рокосовский и А. М. Василевский были великими полководцами и патриотами нашей страны).
Соединительное суждение считается истинным, если истинно каждое из составляющих его простых суждений, и ложно во всех остальных случаях, то есть при ложности хотя бы одного из них.