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