Similar presentations:
Сложные суждения. Суждение
1. Тема №3
СуждениеЛекция 2
2. План
1. Отношения между суждениями.2. Сложные суждения.
3. Модальность суждений.
3. Отношения между суждениями.
СужденияНесравнимые (с разными терминами)
Сравнимые (с одинаковыми терминами)
4. Отношения между суждениями.
Сравнимые суждения вступают вследующие отношения:
1) Подчинение (субординация)
2) Противоположность (контрарность)
3) Подпротивоположность
(субконтрарность)
4) Противоречие (конрадикторность)
5. « Логический квадрат» графическое изображение отношений между суждениями
6. 1. Отношение подчинения (субординация)
A - I, E - O, где соответствующиеподчиняющие – общие (A, Е) ,
подчиненные – частные (I, O)
При истинности общего суждения частное всегда
будет истинным.
При ложности общего суждения частное может
быть как ложным, так и истинным.
При истинности частного суждения общее может
быть как истинным, так и ложным,
При ложности частного общее суждение
необходимо ложно
7. 2. Отношение противоположности (контрарность)
А-ЕСуждение А утверждает определенный вид
отношения S к P, а суждение Е отрицает любое
отношение между ними.
Поэтому
оба суждения не могут быть одновременно
истинными, но могут быть одновременно
ложными.
Или
истинность одного из противоположных суждений
определяет ложность другого.
(закон непротиворечия)
8. 3. Отношение подпротивоположности (субконтрарности )
I-ОЭти суждения могут быть одновременно
истинными, но не могут быть оба
одновременно ложными.
При ложности одного из таких суждений
второе будет истинным.
9. 4. Отношение противоречия (контрадикторность)
Е - I, А - ОЕсли одно из противоречащих суждений
истинно, то второе – ложно.
(закон исключенного третьего)
10. « Логический квадрат» графическое изображение отношений между суждениями
11. Вопрос 2. Виды сложных суждений
Сложное суждение – это суждение,состоящее из нескольких простых
суждений, связанных логическими
союзами.
12. Главные логические союзы:
Конъюнкция («и»);Дизъюнкция («или», «либо»);
Импликация («если…, то…»);
Эквиваленция («тогда и только тогда,
когда…»).
13. Алфавит логики высказываний
а, b, c… простые суждения (логическиепеременные)
&, v, v , → , ↔
логические союзы
(логические константы)
¬ знак отрицания
( ), - технические символы
14. Классификация сложных суждений
1) соединительные (конъюнктивные)суждения (а & в);
2) разделительные (дизъюнктивные)
суждения (а v в);
3) условные (импликативные)
суждения (а → в);
4) эквивалентные суждения (а ↔ в);
15. Соединительные (конъюнктивные) суждения
Соединительное суждение – суждение,полученное из любых двух других суждений при
помощи логического союза «и».
Пример: «Сверкнула молния и загремел гром».
Формула: А & В.
Условия истинности конъюнктивного
суждения:
истинно тогда, когда истинны оба
составляющих его других суждения, в
остальных случаях – это суждение
принимает значение «ложь».
16. Таблица истинности конъюнктивного суждения
АВ
А&В
Истинно (1)
Истинно (1)
Истинно (1)
Истинно (1)
Ложно (0)
Ложно (0)
Ложно (0)
Истинно (1)
Ложно (0)
Ложно (0)
Ложно (0)
Ложно (0)
17. Разделительные суждения:
Исключающе-разделительные суждения(строгая дизъюнкция)
Неисключающе-разделительные суждения
(нестрогая дизъюнкция)
18. Исключающе-разделительные суждения.
Исключающе-разделительное суждение –суждение, полученное из двух любых
других суждений при помощи логического
союза «либо…, либо…».
Формула: а v в.
Условие истинности:
суждение истинно, когда только одно из
составляющих его суждений истинно, а
другое ложно.
19. Таблица истинности исключающее-разделительного cуждения (строгая дизъюнкция)
АВ
АvВ
Истинно (1)
Истинно (1)
Ложно (0)
Истинно (1)
Ложно (0)
Истинно (1)
Ложно (0)
Истинно (1)
Истинно (1)
Ложно (0)
Ложно (0)
Ложно (0)
20. Неисключающе-раделительные суждения (нестрогая дизъюнкция)
Неисключающе-разделительное суждение– суждение, полученное из двух любых при
помощи логического союза «или»,
имеющего соединительный смысл.
Формула: а v в
Такое суждение ложно тогда, когда ложны
оба составляющих его суждения, и
истинно во всех остальных случаях.
21. Таблица истинности неисключающе-разделительных суждений
АВ
АVВ
Истинно
Истинно
Истинно
Истинно
ложно
Истинно
ложно
Истинно
Истинно
ложно
ложно
ложно
22. Условные (импликативные) суждения.
Условное суждение – суждение,полученное из двух любых других
суждений посредством логического союза
«если…, то».
формула: А → В.
Суждение «А» – основание (антецедент)
суждение «В» - следствие (консеквент).
Импликативное суждение ложно тогда,
когда его основание истинно, а следствие
ложно; и истинно в остальных случаях.
23. Таблица истинности условных суждений
АВ
А→В
Истинно (1)
Истинно (1)
Истинно (1)
Истинно (1)
Ложно (0)
Ложно (0)
Ложно (0)
Истинно (1)
Истинно (1)
Ложно (0)
Ложно (0)
Истинно (1)
24. Суждения эквивалентности
Суждение эквивалентности – такоесуждение, которое получено из любых
двух других суждений при помощи
логического союза «тогда и только тогда,
когда…». Эквивалентность обозначается
символом ↔.
формула : А ↔ В.
Суждение эквивалентности истинно, когда
оба составляющих его простых суждения
истинны, или когда оба они ложны. В
прочих случаях это суждение ложно.
25. Таблица истинности суждений эквивалентности
АВ
А↔В
Истинно (1)
Истинно (1)
Истинно (1)
Истинно (1)
Ложно (0)
Ложно (0)
Ложно (0)
Истинно (1)
Ложно (0)
Ложно (0)
Ложно (0)
Истинно (1)
26. Выводы
сложное суждение – логическая конструкция,включающая несколько простых суждений,
связанных логическими союзами;
различают четыре вида логических союзов:
конъюнкция, дизъюнкция, импликация и
эквивалентность;
знание логической структуры суждения и умение
анализировать эту структуру для любого человека
– необходимая ступень на пути
совершенствования навыков логического
мышления.
27. Вопрос 3. Модальность суждений
Явно или неявно выраженная в суждениидополнительная информация о степени
его обоснованности, логическом или
фактическом статусе, о регулятивных,
оценочных и др. характеристиках.
28. Виды модальностей
ЭпистемическаяДеонтическая
Алетическая
29. Эпистемическая модальность
-это выраженная в суждении информацияоб основаниях ее принятия и степени ее
обоснованности
Внелогические основания (суждения,
основанные на мнениях) - выражают веру
Логические основания (логически
обоснованные суждения) - выражают
знание.
30. По степени обоснованности
Достоверные сужденияПроблематичные
- достаточно
обоснованные истинные
или ложные суждения
«доказано»,
«обосновано»
суждения – суждения,
которые нельзя
считать достоверными
в силу их
недостаточной
обоснованности
«по-видимому»,
«вероятно»
Доказано, что сумма
углов в треугольнике
равна 180º
Вероятно, завтра
пойдет снег
31. Деонтическая модальность
- это выраженная в суждении просьба,совет, приказ или предписание,
побуждение к конкретным действиям
Характеристики правоотношений
выражают с помощью деонтических
операторов:
O – обязывание
F – запрещение
P – разрешение
32. Деонтические операторы
Обвязывание (O)«обязан», «должен», «надлежит», «признается»
(правообязывающие нормы)
Водитель обязан остановиться на красный свет
Запрещение (F)
– «запрещается», «не вправе», «не может», «не допускается»
(правозапрещающие нормы)
Запрещается управление автомобилем в нетрезвом состоянии
Разрешение (P)
«имеет право», «может иметь», «может применять»
(правопредостовляющие нормы)
Сотрудник милиции имеет право проверять документы граждан
33. Алетическая модальность
информация о возможности –невозможности, случайности –
необходимости
Операторы «необходимо»,
«возможно», «невозможно»
-
Например:
«Необходимо, что вода закипает при 100º С»
«На Луне, возможно, есть кислород»
«Случайно свидетель запомнил номер»
34. Виды модальностей
Аксиологическая(хорошо, плохо, ценностно нейтрально)
Времени
(дата, время суток и т.п.)
Места
(указание местоположения, адрес и т.п.)
35. Аксиологическая модальность
Лобовиков В.О.Логико-математические модели
государственно-правового и
морально-правового управления
экономикой. Екатеринбург, 2003.
36. Выводы:
Суждение – основная логическая форма, служащая дляпостроения мыслительного процесса; это такая форма
мышления, посредством которой устанавливается
принадлежность или непринадлежность признака
(отношения, свойства) предмету (явлению, процессу);
Языковая форма выражения суждения –
повествовательное предложение, либо риторический
вопрос;
Суждение бывает простым и сложным: они
различаются по логической структуре;
Суждение объективно является либо истинным, либо
ложным, при этом непременно одним из двух.
Отношения между суждениями бывают четырех видов:
подчинение, противоположность, субконтрарность и
противоречие.
Суждения могут включать модальность, либо
рассматриваться как категорические.