20. Отношения между простыми суждениями. «Логический квадрат».

Сравнимые суждения– это суждения, имеющие одинаковые термины, но различающиеся по количеству и качеству. Среди сравнимых суждений возникают отношения совместимости и несовместимости.

Совместимость суждений означает что они могут быть вместе истинными. К такому типу относятся отношения подчинения и противности (субконтрарности).

Несовместимость – не могут быть вместе истинными. Несовместимыми являются отношения противоположности (контрарности) и противоречия (контрадикторности).

1) Отношение между А и I, а также между Е и О называется подчинением. Его основные свойства таковы: если подчиняющее суждение (А или Е) истинно, то и подчиненное суждение (I или О) истинно, но не наоборот. Если подчиненное суждение ложно, то и подчиняющее суждение ложно, но не наоборот.

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

3) Суждения I и О находятся в отношении противности (субкотрарности), т. е. они могут быть вместе истинными, но не могут быть вместе ложными.

4. Контрадикторные - являются отрицанием друг друга

21. Модальность суждений. Виды модальностей.

Модальность - это явно или неявно выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках.

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

Алетическая модальность выражает характер связи между мыслимыми предметами, а следовательно, между субъектом и предикатом суждения. Модальными словами в русском языке, в этом случае, являются «возможно», «случайно» и их синонимы.

Деонтическая модальность распространяется только на деятельность лю­дей, нравственные и правовые нормы их поведения в обществе. Она выра­жается с помощью таких слов, как «разрешается», «запрещается», «обяза­тельно» и т. п.

Эпистемическая модальность характеризует степень достоверности зна­ния. Она выражается с помощью слов «доказано», «недоказуемо», «опро­вергнуто» и им подобных.

Аксиологическая модальность выражает отношение человека к матери­альным и духовным ценностям. Она включает такие слова, как «хорошо», «плохо» и т.п.

22.Основные эквивалентности для алетических и эпистемических модальностей

По эпистемической модальности, выражающей степень обоснованности суждения, суждения делятся на достоверные и проблематичные (вероятные). Достоверные суждения выражаются с помощью операторов: доказано (верифицировано)- V и опровергнуто (фальсифицировано)- F (Vp- доказано, что р; V p- доказано, что не-р; Fp- опровергнуто, что р; F p- опровергнуто, что не-р). Проблематичные суждения выражаются с помощью оператора вероятно- Р (Рр- вероятно, что р; Р р- вероятно, что не-р). Достоверные суждения могут быть выражены с помошью оператора опровергнутости: Vp≡F p и Vp≡Fp, проблематичные суждения- с помощью оператора доказанности и опровергнутости: Рр≡Vр ^Fp.

Алетическая модальность выражается в терминах "необходимо", "случайно", "возможно", "невозможно" и делится на логическую и фактическую, которая выражается операторами: необходимо (□р- необходимо р, □р- необходимо не-р), случайно (□р и □ р); возможно ( «знак ромбик» р, «знак ромбик»р),невозможно ( «знак ромбик» р, «знак ромбик» р)