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

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, то есть отношение противоположности не сводится к отрицанию одного суждения другим. Поэтому противоположные суждения могут быть одновременно ложными. Приведём пример. а) «Все соки представляют собой жидкость» и б) «Ни один сок не является жидкостью». При условии истинности одного суждения (из противоположных (контрарных) суждений) другое обязательство ложно. Другой пример: «Все книги изготовлены из бумаги» (А) и «Ни одна книга не изготовлена из бумаги» (Е). Здесь оба суждения ложны

4. Субконтрарность - (частичное совпадение) - логическое отношение между двумя простыми сравнимыми суждениями, в которых объемы субъектов частные, а связки противоположны друг другу.

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

Модальные понятия, или модальности — понятия, выражающие контекстную рамку суждения: время суждения, место суждения, знание о суждении, отношение говорящего к суждению.

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

В зависимости от модальности выделяются следующие основные виды суждений:

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

«S, вероятно, есть Р» (возможность). Пример: «Возможно падение метеорита на Землю».

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

Деонтическая (нормативная) модальность отражает связь утверждаемого в суждении с нормами морали, права, конкретными обязательствами ("должен", "обязан", "может", "допустимо", "запрещено", "разрешено"), а также может выражать приказ, побуждение к определенным действиям.

Эпистемическая модальность отражает степень обоснованности содержания суждения в знании (от "доказано" или "опровергнуто" до "вероятно", "проблематично", "маловероятно" т. п.), а также способ принятия информации, содержащейся в суждении ("знаю", "верю", "убежден", "сомневаюсь" и т.п.).

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

Достоверные суждения - это достаточно обоснованные суждения истинные или ложные суждения.

Их модальность можно выразить с помощью двух операторов:

V - оператор доказанности (верифицированности),

F - оператор опровергнутости (фальсифицированности).

"Доказано, что Земля круглая" - V(p).

"Опровергнуто, что Земля плоская" - F(q).

Операторы V и F могут быть выражены друг через друга: V(p)≡F(~p), V(~p)≡F(p).

Проблематичные суждения - это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности.