Сложные суждения. Суждение

Содержание

Слайд 2

План 1. Отношения между суждениями. 2. Сложные суждения. 3. Модальность суждений.

План

1. Отношения между суждениями.
2. Сложные суждения.
3. Модальность суждений.

Слайд 3

Отношения между суждениями. Суждения Несравнимые (с разными терминами) Сравнимые (с одинаковыми терминами)

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

Суждения
Несравнимые (с разными терминами)
Сравнимые (с одинаковыми терминами)

Слайд 4

Отношения между суждениями. Сравнимые суждения вступают в следующие отношения: 1) Подчинение

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

Сравнимые суждения вступают в следующие отношения:
1) Подчинение (субординация)
2)

Противоположность (контрарность)
3) Подпротивоположность (субконтрарность)
4) Противоречие (конрадикторность)
Слайд 5

« Логический квадрат» графическое изображение отношений между суждениями

« Логический квадрат» графическое изображение отношений между суждениями

Слайд 6

1. Отношение подчинения (субординация) A - I, E - O, где

1. Отношение подчинения (субординация)

A - I, E - O, где соответствующие
подчиняющие

– общие (A, Е) ,
подчиненные – частные (I, O)
При истинности общего суждения частное всегда будет истинным.
При ложности общего суждения частное может быть как ложным, так и истинным.
При истинности частного суждения общее может быть как истинным, так и ложным,
При ложности частного общее суждение необходимо ложно
Слайд 7

2. Отношение противоположности (контрарность) А - Е Суждение А утверждает определенный

2. Отношение противоположности (контрарность)

А - Е
Суждение А утверждает определенный вид

отношения S к P, а суждение Е отрицает любое отношение между ними.
Поэтому
оба суждения не могут быть одновременно истинными, но могут быть одновременно ложными.
Или
истинность одного из противоположных суждений определяет ложность другого.
(закон непротиворечия)
Слайд 8

3. Отношение подпротивоположности (субконтрарности ) I - О Эти суждения могут

3. Отношение подпротивоположности (субконтрарности )

I - О
Эти суждения могут быть

одновременно истинными, но не могут быть оба одновременно ложными.
При ложности одного из таких суждений второе будет истинным.
Слайд 9

4. Отношение противоречия (контрадикторность) Е - I, А - О Если

4. Отношение противоречия (контрадикторность)

Е - I, А - О
Если одно из

противоречащих суждений истинно, то второе – ложно.
(закон исключенного третьего)
Слайд 10

« Логический квадрат» графическое изображение отношений между суждениями

« Логический квадрат» графическое изображение отношений между суждениями

Слайд 11

Вопрос 2. Виды сложных суждений Сложное суждение – это суждение, состоящее

Вопрос 2. Виды сложных суждений

Сложное суждение – это суждение, состоящее

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

Главные логические союзы: Конъюнкция («и»); Дизъюнкция («или», «либо»); Импликация («если…, то…»);

Главные логические союзы:
Конъюнкция («и»);
Дизъюнкция («или», «либо»);
Импликация («если…, то…»);
Эквиваленция («тогда и только

тогда, когда…»).
Слайд 13

Алфавит логики высказываний а, b, c… простые суждения (логические переменные) &,

Алфавит логики высказываний

а, b, c… простые суждения (логические переменные)
&, v,

v , → , ↔ логические союзы (логические константы)
¬ знак отрицания
( ), - технические символы
Слайд 14

Классификация сложных суждений 1) соединительные (конъюнктивные) суждения (а & в); 2)

Классификация сложных суждений

1) соединительные (конъюнктивные) суждения (а & в);
2) разделительные (дизъюнктивные)

суждения (а v в);
3) условные (импликативные)
суждения (а → в);
4) эквивалентные суждения (а ↔ в);
Слайд 15

Соединительные (конъюнктивные) суждения Соединительное суждение – суждение, полученное из любых двух

Соединительные (конъюнктивные) суждения

Соединительное суждение – суждение, полученное из любых двух

других суждений при помощи логического союза «и».
Пример: «Сверкнула молния и загремел гром».
Формула: А & В.
Условия истинности конъюнктивного суждения: истинно тогда, когда истинны оба составляющих его других суждения, в остальных случаях – это суждение принимает значение «ложь».
Слайд 16

Таблица истинности конъюнктивного суждения

Таблица истинности конъюнктивного суждения

Слайд 17

Разделительные суждения: Исключающе-разделительные суждения (строгая дизъюнкция) Неисключающе-разделительные суждения (нестрогая дизъюнкция)

Разделительные суждения:

Исключающе-разделительные суждения (строгая дизъюнкция)
Неисключающе-разделительные суждения (нестрогая дизъюнкция)

Слайд 18

Исключающе-разделительные суждения. Исключающе-разделительное суждение – суждение, полученное из двух любых других

Исключающе-разделительные суждения.

Исключающе-разделительное суждение – суждение, полученное из двух любых других суждений

при помощи логического союза «либо…, либо…».
Формула: а v в.
Условие истинности:
суждение истинно, когда только одно из составляющих его суждений истинно, а другое ложно.
Слайд 19

Таблица истинности исключающее-разделительного cуждения (строгая дизъюнкция)

Таблица истинности исключающее-разделительного cуждения (строгая дизъюнкция)

Слайд 20

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

Неисключающе-раделительные суждения (нестрогая дизъюнкция)

Неисключающе-разделительное суждение – суждение, полученное из двух любых

при помощи логического союза «или», имеющего соединительный смысл.
Формула: а v в
Такое суждение ложно тогда, когда ложны оба составляющих его суждения, и истинно во всех остальных случаях.
Слайд 21

Таблица истинности неисключающе-разделительных суждений

Таблица истинности неисключающе-разделительных суждений

Слайд 22

Условные (импликативные) суждения. Условное суждение – суждение, полученное из двух любых

Условные (импликативные) суждения.

Условное суждение – суждение, полученное из двух любых других

суждений посредством логического союза «если…, то».
формула: А → В.
Суждение «А» – основание (антецедент) суждение «В» - следствие (консеквент).
Импликативное суждение ложно тогда, когда его основание истинно, а следствие ложно; и истинно в остальных случаях.
Слайд 23

Таблица истинности условных суждений

Таблица истинности условных суждений

Слайд 24

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

Суждения эквивалентности

Суждение эквивалентности – такое суждение, которое получено из любых двух

других суждений при помощи логического союза «тогда и только тогда, когда…». Эквивалентность обозначается символом ↔.
формула : А ↔ В.
Суждение эквивалентности истинно, когда оба составляющих его простых суждения истинны, или когда оба они ложны. В прочих случаях это суждение ложно.
Слайд 25

Таблица истинности суждений эквивалентности

Таблица истинности суждений эквивалентности

Слайд 26

Выводы сложное суждение – логическая конструкция, включающая несколько простых суждений, связанных

Выводы

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

союзами;
различают четыре вида логических союзов: конъюнкция, дизъюнкция, импликация и эквивалентность;
знание логической структуры суждения и умение анализировать эту структуру для любого человека – необходимая ступень на пути совершенствования навыков логического мышления.
Слайд 27

Вопрос 3. Модальность суждений Явно или неявно выраженная в суждении дополнительная

Вопрос 3. Модальность суждений
Явно или неявно выраженная в суждении дополнительная

информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и др. характеристиках.
Слайд 28

Виды модальностей Эпистемическая Деонтическая Алетическая

Виды модальностей

Эпистемическая
Деонтическая
Алетическая

Слайд 29

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

Эпистемическая модальность

-это выраженная в суждении информация об основаниях ее принятия и

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

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

По степени обоснованности

Достоверные суждения - достаточно обоснованные истинные или ложные суждения
«доказано»,

«обосновано»
Доказано, что сумма углов в треугольнике равна 180º

Проблематичные суждения – суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности
«по-видимому», «вероятно»
Вероятно, завтра пойдет снег

Слайд 31

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

Деонтическая модальность

- это выраженная в суждении просьба, совет, приказ или предписание,

побуждение к конкретным действиям
Характеристики правоотношений выражают с помощью деонтических операторов:
O – обязывание
F – запрещение
P – разрешение
Слайд 32

Деонтические операторы Обвязывание (O) «обязан», «должен», «надлежит», «признается» (правообязывающие нормы) Водитель

Деонтические операторы

Обвязывание (O)
«обязан», «должен», «надлежит», «признается» (правообязывающие нормы)
Водитель обязан

остановиться на красный свет
Запрещение (F)
– «запрещается», «не вправе», «не может», «не допускается» (правозапрещающие нормы)
Запрещается управление автомобилем в нетрезвом состоянии
Разрешение (P)
«имеет право», «может иметь», «может применять» (правопредостовляющие нормы)
Сотрудник милиции имеет право проверять документы граждан
Слайд 33

Алетическая модальность - информация о возможности – невозможности, случайности – необходимости

Алетическая модальность

- информация о возможности – невозможности, случайности – необходимости
Операторы «необходимо»,

«возможно», «невозможно»
Например:
«Необходимо, что вода закипает при 100º С»
«На Луне, возможно, есть кислород»
«Случайно свидетель запомнил номер»
Слайд 34

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

Виды модальностей

Аксиологическая
(хорошо, плохо, ценностно нейтрально)
Времени
(дата, время суток и

т.п.)
Места
(указание местоположения, адрес и т.п.)
Слайд 35

Аксиологическая модальность Лобовиков В.О. Логико-математические модели государственно-правового и морально-правового управления экономикой. Екатеринбург, 2003.

Аксиологическая модальность

Лобовиков В.О.
Логико-математические модели государственно-правового и морально-правового управления экономикой. Екатеринбург, 2003.