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