назад
КУДА УГОДНО

далее

ЛЕКЦИЯ 5. СЛОЖНОЕ СУЖДЕНИЕ

ПЛАН:

  1. Виды сложных суждений и таблицы истинности.
  2. Модальность суждений: сущность и виды.

1. Виды сложных суждений и таблицы истинности.

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

       1. Отрицание - "не", "неверно, что …" "Неверно, что Земля квадратная". Обычно обозначается знаком "¬" или "~"
       Условия истинности сложных суждений, состоящих из простых основываются на допущении двузначности и задаются при помощи таблиц истинности, где p, q - пропозициональные переменные, обозначающие простые суждения, т.е. р - (S есть P) и q - (S есть P). И - истина, Л - ложь. В первых двух столбцах р и q берутся как независимые.

Таблица истинности для отрицания
p
¬p
и
л
л
и


      Если исходное суждение истинно, то его отрицание - ложно, и наоборот.

       2. Конъюнкция (соединительное суждение) - лог. "и" ("а", "но", "да", "вместе с тем") Обычно обозначается знаком "&" или "Λ".

Таблица истинности для конъюнкции
p
q
p&q
и
и
и
и
л
л
л
и
л
л
л
л


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

       3. Дизъюнкция (разъединительное суждение) - лог. "или".
      Поскольку связка "или (либо)" употребляется в естественном языке в двух значениях - соединительно-разъединительном и исключающе-разделительном, то следует различать и два типа дизъюнкции: слабую (нестрогую) и сильную (строгую).

      - Слабая дизъюнкция
Обычно обозначается знаком "v"
Слабая дизъюнкция - это такая дизъюнкция, где суждения могут быть одновременно истинными - "В корзине лежали яблоки или груши"

Таблица истинности для слабой дизъюнкции
p
q
pvq
и
и
и
и
л
и
л
и
и
л
л
л

      Слабая дизъюнкция истинна, когда истинен хотя бы один из членов дизъюнкции, и ложна, когда все ее члены - ложны.
      - Сильная дизъюнкция
Обычно обозначается знаком "v"
Сильная дизъюнкция - это такая дизъюнкция, где одновременно истинными два суждения быть не могут - "Пациент либо жив либо мертв".
Члены такой дизъюнкции называются альтернативами.
С целью усиления дизъюнкции до альтернативного значения употребляют удвоенные союзы "или…или…", "либо… либо…".

Таблица истинности для сильной дизъюнкции
p
q
pvq
и
и
л
и
л
и
л
и
и
л
л
л

      Сильная дизъюнкция истинна только при разных логических значениях членов дизъюнкции и ложна при одинаковых.

       4. Импликация (условное суждение) - лог. связка "Если…, то…" Обычно обозначается знаком "→".
"Если перерезать провод, то лампа погаснет" - первое суждение "перерезать провод" называется основание (антецендент), второе - "лампа погаснет" - следствие (консеквент).

Таблица истинности для импликации
p
q
p→q
и
и
и
и
л
л
л
и
и
л
л
и

      Импликативные суждения истинны во всех случаях, кроме одного когда антецедент - истинен, а консеквент - ложен. То есть в случае, когда причина возникла, а следствие не наступает, вся импликация является ложной.
      Зависимость между основанием и следствием характеризуется свойством достаточности: истинность основания обусловливает истинность следствия (1-я строка таблицы), но не необходимости: при ложности основания следствие может быть как истинным, так и ложным (3-я и 4-я строки в таблице).
"Если плохо одевать зимой, то можно заболеть" - если основание ложно, то следствие неопределенно.

       5. Эквиваленция (двойная импликация) - лог. связка "если и только если…, то…" ("тогда и только тогда, когда…")
Обычно обозначается знаком "≡".

Таблица истинности для эквиваленции
p
q
p≡q
и
и
и
и
л
л
л
и
л
л
л
и

      Эквивалентные суждения являются равнозначными. Поэтому они истинны при равных значения членов эквиваленции и ложны - при разных.

2. Модальность суждений: сущность и виды.

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

      Наиболее распространенными являются модальности:


      1. Алетическая модальность выражается с помощью операторов (функторов) "необходимо"(□), "возможно"(◊), "случайно"(Ñ). Основными алетическими понятиями принято считать понятия возможности и необходимости. Для выражения возможности в русском языке употребляются слова "возможно", "может быть", "вероятно" и др. Для выражения необходимости употребляются слова "необходимо", "должно быть", "следовательно" и др.
      2. Аксиологическая (оценочная) модальность высказывания с точки зрения определенной системы ценностей. Аксиологический статус высказывания выражается абсолютными ("хорошо", "плохо", "неплохо", "безразлично") или относительными ("лучше", "хуже", "равноценно") оценочными понятиями.
      3. Деонтическая (нормативная) модальность отражает связь утверждаемого в суждении с нормами морали, права, конкретными обязательствами ("должен", "обязан", "может", "допустимо", "запрещено", "разрешено"), а также может выражать приказ, побуждение к определенным действиям.

Деонтические опрераторы:
О - обязывание
F - запрещение
Р - разрешение


      4. Эпистемическая модальность отражает степень обоснованности содержания суждения в знании (от "доказано" или "опровергнуто" до "вероятно", "проблематично", "маловероятно" т. п.), а также способ принятия информации, содержащейся в суждении ("знаю", "верю", "убежден", "сомневаюсь" и т.п.).
      По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.
      Достоверные суждения - это достаточно обоснованные суждения истинные или ложные суждения.
      Их модальность можно выразить с помощью двух операторов:
V - оператор доказанности (верифицированности),
F - оператор опровергнутости (фальсифицированности).
      "Доказано, что Земля круглая" - V(p).
      "Опровергнуто, что Земля плоская" - F(q).
Операторы V и F могут быть выражены друг через друга: V(p)≡F(~p), V(~p)≡F(p).
      Проблематичные суждения - это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности.
      Проблематичность суждения можно выразить оператором Р, сходным с оператором вероятности в математике. Выражение Р(р) читается: "Вероятно, р", или "По-видимому, р". Ее можно выразить также через операторы V и F: Р(р) = ~V(p) л ~F(p), т.е. проблематичность р означает, что р не доказано и не опровергнуто.


далее наверх