Сложные суждения и их логическая структура

Сложные суждения – это суждения, которые содержат в качестве своей правильной части некоторое (по крайней мере, одно) другое суждение.

Отношения между суждениями. Различают отношения логические и фактические. Для каждого вида логического отношения есть некоторый аналог фактического отношения. Первые зависят от логических форм высказываний, вторые – от их конкретных содержаний.

Высказывания А и В находятся в отношении контрарной противоположности, если и только если В эквивалентно отрицанию С. Высказывания А и В контрарно противоположны, если и только если никакие высказывания, которые имеют те же логические формы, что А и В, не могут быть вместе истинными, но могут быть вместе ложными. Таковы, например, высказывания вида «Все S есть Р» и «Ни одно S не есть Р». Очевидно, что здесь «Ни одно S не есть Р» эквивалентно отрицанию «Некоторые
S есть Р».

Суждение вида «Все S есть Р» и «Ни одно S не есть Р» не могут быть оба истинными, но могут быть оба ложными. Отличие контрарной противоположности от контрадикторной состоит в том, что контрадикторно противоположные суждения не могут быть не только оба истинными, но и оба ложными. Для контрарных же суждений возможность ложности обоих не исключена.

Отношения совместимости/несовместимости высказываний по истинности, а также совместимости их по
ложности.

Совместимы по истинности такие высказывания А и В, которые могут быть оба истинными.

Высказывания А и В совместимы по ложности, если и только если они могут быть оба ложными.

Отношения логического следования и эквивалентности – это виды отношения совместимости по истинности, а контрарная и контрадикторная противоположности – виды отношения несовместимости по истинности.

Суждения ассерторические и модальные

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

В ассерторическихсуждениях мы отвлекаемся от подобных характеристик рассматриваемых ситуаций.