Тема 4. Суждение как форма мышления. Категория высказывания в современной логике

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

Общая характеристика суждения как формы мышления. Структура суждений. Простые и сложные суждения.

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

Отношения между простыми суждениями: сравнимые и несравнимые, совместимые и несовместимые. Виды совместимости: эквивалентность, подчинение, частичная совместимость. Виды несовместимости: противоположность, противоречие. «Логический квадрат».

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

Понятие модальности суждений. Фактическая (онтологическая) и логическая модальности. Алетическая модальность: необходимость, возможность, случайность. Эпистимическая модальность: достоверные и проблематические суждения. Деонтическая модальность: обязывание, запрещение, разрешение. Деонтическая характеристика правовых норм, их логический анализ.