Логика

• экзистенциальное -> содержит информацию о том, что предмет нашей мысли либо действительно существует, либо нет.

Например: «В России существуют различные виды собственности»; «… На свете смерти нет…»;

• атрибутивное -> суждения свойства – утверждение или отрицание принадлежности предмету каких-либо свойств или признаков. Например: «Совершенствование правовой культуры у граждан – важнейший компонент формирования гражданского общества в стране»; суждения включения выражают принадлежность предмета классу предметов или одного класса другому классу предметов. Например: «Российская академия правосудия – федеральное государственное бюджетное образовательное учреждение высшего профессионального образования»;

• релятивное -> выражает различные отношения между предметами по месту, величине, времени, причинной зависимости и т. д.

Например: «Моральные нормы порой важны не меньше правовых».

Умение точно определить все перечисленные параметры является обязательным компонентом логической характеристикой простого суждения.

3. Деление суждений по типу логических союзов. Такого рода деление относится к сложным суждениям, включающим два и более простых.

Наглядно отношение всех типов сложных суждений, рассмотренных ниже, принято отражать в так называемых таблицах истинности.

Один из обязательных элементов такой таблицы – «шапка» – верхняя строка, в которой последовательно (слева направо), как правило, строчными латинскими буквами указываются все простые суждения, из которых состоит рассматриваемое сложное. Затем, если внутри сложного есть другие сложные, указываются в виде формул (например, а b) и они. В конце верхней строки («шапки») помещается итоговая формула, отражающее все рассматривоемое сложное суждение. При этом каждая буква, обозначающая просто суждение, и каждая формула, обозначающая сложное суждение, помещаются в отдельных ячейках. Таким образом определяется число столбцов таблицы. Количество строк таблицы, помимо шапки, определяется по формуле: «2ⁿ», где n – количество простых суждений, из которых состоит сложное.

Затем ячейки в столбцах, показывающих возможные значения простых суждений, заполняются символами «и» (вариант, когда простое суждение оказывается истинным) и «л» (когда оно ложное) таким образом, чтобы в строках сочетания «и» и «л» с одной стороны, не повторялись, с другой – чтобы отразить все возможные сочетания «истинности» и «ложности» простых суждений в данном сложном.

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

• соединительное (конъюктивное) -> один или оба термина состоят из двух или нескольких понятий, соединенных союзом «и» (иногда «ни»).

Например: «Высокая организованность и творчество студента – залог успеха в учебе и в последующей профессиональной практике»(«S1 S2 есть Р1 Р2»).

В естественном языке соединительные суждения могут быть выражены одним из трех способов:

– элементы сложного субъекта, состоящего из конъюктивно связанных субъектов: «S1 S2 есть Р» (П. Иванов и Е. Строкова – студенты);

– конъюктивно связанные понятия (признаки) в сложном предикате: «S есть P1 P2» (Судья должен быть компетентным юристом и высоконравственным человеком);

– и элементы сложного субъекта и понятия в сложном предикате: «S1 S2 есть P1 P2» (К. К. Рокосовский и А. М. Василевский были великими полководцами и патриотами нашей страны).

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

Таблица истинности коньюнктивного суждения, состоящего из двух простых суждений, выглядит так:

• разделительное (дизъюнктивное) -> имеет альтернативный характер, образуется из простых суждений, термины в которых соединяются союзом «или», отличаются неопределенностью, удобно использовать, если нужно избежать конкретности и однозначности вывода.

Например: «С такой подготовкой к экзамену студент может получить или «удовлетворительно», или, максимум, «хорошо» («S есть Р1 Р2 Р3»).

Разделительные суждения делятся на:

– строго разделительные (строго дизъюнктивные – связка «или» употребляется только в разделительном значении (обозначается символом ).

Например: «Подозреваемый может быть виновным или невиновным».

Строго разделительное суждение истинно, если одно из простых составляющих суждений истинное, а другое – ложное.