Модальность суждений
Модальность - характеристика суждения, которая определяется принципом различения объективно возможно, действительного и необходимого.
Идет речь об объективной модальности. А формальную логику интересует прежде всего логическая модальность, которая заключается в степени установленной достоверности мыслей благодаря той или другой разновидности суждения.
За объективной модальностью суждения разделяются на суждение необходимости, действительности и возможности.
Например: "После весны наступит лето" суждения необходимости; "Лето в этом году теплое" суждение действительности; "В нынешнем тысячелетии человечество может навсегда отказаться от войн" суждения возможности.
За логической модальностью, то есть в зависимости от степени их доказанности, суждения разделяется на проблематичных вероятных и достоверных.
Проблематичное суждение - суждение, в котором что-то утверждается или отрицается в определенной степенью предположения. Например: "Причиной массовой гибели огурцов, по-видимому, является низкая температура". Проблематичные суждения надо отличать от суждений возможности. Они фактически являются суждениями о суждении.
Достоверное суждение - суждение, которое содержит знания, обоснованные, проверенные практикой.
Например: "Животные дышат кислородом". Сложное суждение - суждение, в состав которого входят два и больше субъектов, или два и больше предикатов, или два и больше и субъектов, и предикатов. Сложные суждения разделяются а безусловные и условные.
Безусловные суждения разделяются на связующие, разделительные, разделяющие и множественные.
В связующих суждениях, а отмену от простых, имеющееся утверждение или отрицание о принадлежности предмету двух или больше признаков. Поскольку в связующих суждениях может идти речь как об одном предмете, так и о множестве полном или неполную предметов, то они, так же, как и простые, разделяются на единичных, общих и частичных.
В предикате разделительного суждения, как и в предикате связующего, указывается на две или больше признаков. Однако, в отличие от связующего в разделительном суждении не утверждается, о все эти признаки принадлежат предмету суждения.
Разделяющие суждения принадлежат к разделительным. Их специфика заключается усталость, что в них дается полный перечень разновидностей предмета мысли.
Во множественных суждениях субъект всегда является сложным, а предикат может быть как составленным, так и простым. Например: "Железо, свинец и некоторые другие металлы тонут в воде".
Условное суждение - суждение, в ком отображается зависимость того или другого явления от тех или других обстоятельств и в котором основание и следствие соединяются с помощью логического сполучника "если, то.". .
Например: "Если все металлы находятся в твердом состоянии, то это касается и ртути". В условном суждении надо различать основание и следствие.
Да, в приведенном примере основанием служит мысль "если все металлы являются твердыми телами", а следствием - "то и ртуть является твердым телом".
Для понимания сущности условных суждений важно осмыслить связь между основанием и следствием : зависимость следствия от основания и основания от следствия.