34.Суждения возможности.

К суждениям объективной модальности относятся суждения возможности, суждения действительности и суждения необходимости.

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

Примерами суждений возможности могут быть следующие высказывания: «В Южной Америке в этом году возможно землетрясение»; «Хоккейная команда X может победить команду У»; «При активной профилактической работе антиобщественные проступки в данном районе могут быть сведены к минимуму».

Суждения возможности могут быть позитивными (например: «Завтра возможен дождь») и негативным (например: «Не исключается, что завтра не будет дождя», или другими словами: «Возможно, что высказывание «завтра будет дождь» является ложным»).

35. Суждения действительности.

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

36.Суждения необходимости.

К суждениям объективной модальности относятся суждения возможности, суждения действительности и суждения необходимости.

Суждения необходимости. К необходимым относятся суждения, в которых выражены научные законы, обобщения или вытекающие из них следствия. Примерами таких суждений могут служить следующие: «Вода в условиях обычного атмосферного давления кипит при 100°С»; «Сумма внутренних углов треугольника равна 180°».

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

Суждения необходимости могут быть представлены в позитивной и негативной формах. Примером позитивного суждения необходимости является суждение «Кислород необходим для поддержания жизнедеятельности организма». А примером негативного суждения необходимости является высказывание «Необходимо неверным будет суждение о том, что вода не кипит при 100°С в условиях обычного атмосферного давления».

37.Деление суждений по типу логических союзов.

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

Соединительное (конъюнктивное) суждение это суждение, в котором утверждается одновременно наличие двух ситуаций. Чаще всего такие суждения выражаются посредством предложений, соединенных союзом “и”. Формула А и В (А L В), где символ L читается “и”. Это знак конъюнкции.

Разделительные суждения это суждения в которых утверждается наличие одной их двух ситуаций. Формула А или В. 

Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным или строго дизъюнктивным. Чаще всего утверждение первого типа осуществляется посредством предложений с союзом “или”, а второе с союзом “или..., или...”, (“либо..., либо...”), но может выражаться и посредством предложений с союзом “или”, если ясно, что имеет место утверждение о наличии ровно одной из двух ситуаций. Союз “или”, посредством которого выражается утверждение первого типа, обозначается символом Ъ (читается “или”), знак нестрогой дизъюнкции, а союз “или..., или...”, посредством которого выражается утверждение второго типа, символом   называется знаком строгой дизъюнкции.

Союз “или” может быть не только двухместным, но и более чем двухместным.

Условные суждения это суждения, в которых утверждается, что наличие одной ситуации обуславливает наличие другой. Условные суждения чаще всего выражаются предложением с союзом “если..., то...”. Первая часть суждения (до частицы “то”), называется основанием, вторая следствием.

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

Условный союз “если... то ...” может обозначаться стрелкой (®), или символом “Й“. Этот символ называется знаком (материальной) импликации, а суждение с этим символом импликативным. Основание импликативного суждения называется интецендентом, а следствие консеквентом.