16. Выделяющие и исключающие суждения.

Выделяющие суждения — выражают тот факт, что признак, выраженный предикатом, принадлежит (или не принадлежит) только данному, и никакому другому, предмету: Единичное выделяющее суждение — Только Васькин является свидетелем происшествия (S, и только S, есть Р); субъект и предикат этого суждения имеют одинаковый объем. Исключающие суждения — суждение, в котором отражается принадлежность (или непринадлежность) признака все предметам, за исключением некоторой их части — Все студенты нашей группы, кроме Волкова, сдали экзамен по логике (Все S, кроме (за исключением, помимо, не считая) S₁, суть Р).

18. Отношения между суждениями.

Основу отношений между суждениями составляет их сходство по смыслу и логическим значениям (истинности и ложности). В силу этого отношения устанавливаются не между любыми, а лишь между сравнимыми, т.е. имеющими общий смысл, суждениями. Учитывая структурные различия, рассмотрим вначале отношения между про­стыми, а затем между сложными суждениями. К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совмести­мость (субконтрарность) и 3) подчинение.

19. Логический квадрат.

1.Отношение подчинения, в котором находятся суждения A и I, E и O. Суждения А и Е – подчиняющие, а суждения I и O подчинённые. Если общее суждение истинно, то истинно одинаковое и ним по материи и качеству чистое, но не наоборот. 2.Отношение противоречия между суждениями E и I, O и A. Здесь суждения E и I, а также O и A относятся друг к другу как утверждение и отрицание. Поэтому в каждом из этих двух суждений одно является обязательно истинным, а другое 0 обязательно ложным. 3.Отношение контрарности между суждениями А и Е. В первом из них утверждается определённый вид отношения S к P, а именно, что объём S полностью содержится в P, а во втором, то есть в суждении Е, отрицается как этот вид отношения между S и P, так и отношение перекрещивается между объёмов S и P, то есть отношение противоположности не сводится к отрицанию одного суждения другим. Поэтому противоположные суждения могут быть одновременно ложным. Так называемый, «логический квадрат» показывает все рассмотренные отношения между суждениями.

20. Модальность суждений (алетическая, логическая, фактическая).

Модальными называются суждения, в которых даётся характеристика связи между субъектом и предикатом или выражается отношение к ней автора суждения, а не только отмечается сама связь. Aлeтuчecкaя модальность — это выраженная в суждении в терминах необходимости-случайности либо возможности-невоз­можности информация о логической или фактической детермини­рованности (обусловленности) суждения. Логическая модальность – это логическая детерминированность суждения. Истинность или ложность, которого зависит от его структуры самого суждения или от других суждений в определенной логической системе знаний. К логически истинным (L_и) относятся суждения, выражающие законы логики. К логически ложным (L_л) относятся сужения, противоречащие законам логики. Фактическая модальность связана с объективной или физической детерминированностью суждений, когда их истинность или ложность определяется положением дел в реальной действительности. Например, «Останкинская телебашня находится в г. Москве» - фактически истинное суждение. Суждение «Ни один студент не знает азбуку Морзе» является фактически ложным.