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

Размещено на http://www.allbest.ru

Размещено на http://www.allbest.ru

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

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

Простейшим типом сложного суждения является отрицание

1. Отрицание - "не", "неверно, что …" "Неверно, что Земля квадратная". Обычно обозначается знаком "¬" или "~"

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

Табл. 1. Таблица истинности для отрицания

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

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

Табл. 2. Таблица истинности для конъюнкции

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

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

- Слабая дизъюнкция

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

Табл. 3. Таблица истинности для слабой дизъюнкции

Слабая дизъюнкция истинна, когда истинен хотя бы один из членов дизъюнкции, и ложна, когда все ее члены - ложны.

- Сильная дизъюнкция.

Обычно обозначается знаком "v".

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

Члены такой дизъюнкции называются альтернативами.

С целью усиления дизъюнкции до альтернативного значения употребляют удвоенные союзы "или…или…", "либо… либо…".

Табл. 4. Таблица истинности для сильной дизъюнкции

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

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

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

Табл. 5. Таблица истинности для импликации

Импликативные суждения истинны во всех случаях, кроме одного когда антецедент - истинен, а консеквент - ложен. То есть в случае, когда причина возникла, а следствие не наступает, вся импликация является ложной.

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

"Если плохо одевать зимой, то можно заболеть" - если основание ложно, то следствие неопределенно.

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

Обычно обозначается знаком "?".

Табл. 6. Таблица истинности для эквиваленции

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

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

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

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

Модальная логика относится к неклассическим логикам (классическая логика двузначна, а модальная - многозначна).

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

o алетическая (от греч. "алетейя" - истина),

o аксиологическая (от греч. axios - ценный),

o деонтическая (от греч. deonte - как должно быть),

o эпистемическая (от греч. "episteme" - достоверное знание).

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), т.е. проблематичность р означает, что р не доказано и не опровергнуто.

Размещено на Allbest.ru