Similar presentations:
4. Суждение и его виды
1. СУЖДЕНИЕ И ЕГО ВИДЫ
ЛогикаСуждение и его виды
СУЖДЕНИЕ И ЕГО ВИДЫ
1.
2.
3.
4.
5.
6.
План:
Понятие суждения. Суждение и предложение.
Простые и сложные суждения. Истинность и
ложность простых суждений.
Виды простых суждений.
Категорические суждения.
Виды сложных суждений.
Таблицы истинности для сложных суждений.
2. Литература:
ЛогикаСуждение и его виды
Литература:
1.
2.
3.
3.
Брюшинкин В.Н. Логика: Учебник. – 3-е изд.
– М.: Гардарики, 2001. С. 110-151.
Ивлев Ю В. Логика для юристов. Учебник.
5-е издание. М.: Проспект, 2016. С. 27-43.
Гетманова А.Д. Логика для юристов. Со
сборником задач. М.: Кнорус, 2016. С.63-90.
Бочаров, В. А., Маркин В.И.
Введение
в логику. Университетский курс: учеб. для
вузов/ В. А. Бочаров, В. И. Маркин. - [2-е
изд., испр. и доп.]. - М.: Форум; М.: ИНФРАМ, 2013.
3. ПОНЯТИЕ СУЖДЕНИЯ. СУЖДЕНИЕ И ПРЕДЛОЖЕНИЕ
ЛогикаСуждение и его виды
1. ПОНЯТИЕ СУЖДЕНИЯ.
СУЖДЕНИЕ И ПРЕДЛОЖЕНИЕ
Что значит
«высказать суждение»?
4.
ЛогикаСуждение и его виды
Суждение и язык
знак
предложение
смысл
суждение
значение
истина/ложь
5.
ЛогикаСуждение и его виды
Предложения:
(а) Стивен Хокинг — великий человек.
(б) Стивен Хокинг не является великим
человеком.
(в) Стань умным как Стивен Хокинг!
(г) Ты хочешь быть умным как Стивен
Хокинг?
Какие предложения выражают суждения?
6.
ЛогикаСуждение и его виды
Суждение выражается в языке при
помощи повествовательных предложений.
7.
ЛогикаОпределение суждения:
Суждение — это мысль, в
которой утверждается или
отрицается связь между
объектами и признаками.
8.
ЛогикаОпределение суждения:
Мысль
Понятие
Суждение
Объекты
Ситуации
9. 2. ПРОСТЫЕ И СЛОЖНЫЕ СУЖДЕНИЯ. ИСТИННОСТЬ И ЛОЖНОСТЬ ПРОСТЫХ СУЖДЕНИЙ
ЛогикаСуждение и его виды
2. ПРОСТЫЕ И СЛОЖНЫЕ СУЖДЕНИЯ.
ИСТИННОСТЬ И ЛОЖНОСТЬ ПРОСТЫХ
СУЖДЕНИЙ
Х говорит: «Я лжец».
X говорит: «Или я лжец,
или Y рыцарь».
10.
ЛогикаСуждение и его виды
Простым называется суждение, которое
содержит не более одного утверждения или
отрицания.
Сложным называется суждение, которое
содержит более одного утверждения или
отрицания.
11.
ЛогикаСуждение и его виды
Предложение/суждение
Пример:
Простое/простое
Московский университет был
создан в эпоху Елизаветы
Петровны.
Простое/сложное
И Иван Грозный, и Петр Первый
расширили границы российской
империи.
Сложное/простое
Когда совершилась Великая
октябрьская соц. революция,
начался новый исторический этап
развития нашей страны.
Сложное/сложное
Петр I прорубил окно в Европу, а
Ермак завоевал Сибирь.
12.
ЛогикаСуждение и его виды
Примеры:
• «Солнце светит».
• «Каждый студент — веселый человек».
• «Некоторые студенты не являются
веселыми людьми».
• «Неверно, что каждый студент веселый
человек».
• «Каждый студент — веселый и
находчивый человек».
13.
ЛогикаСуждение и его виды
Истинность и ложность простых суждений
Суждение истинно, если в нем утверждается
связь между объектом и признаком, имеющая
место в действительности или отрицается
связь, не имеющая места в действительности.
Суждение ложно, если в нем утверждается
связь между объектом и признаком, не
имеющая места в действительности, или
отрицается связь, имеющая место в
действительности.
14. 3. ВИДЫ ПРОСТЫХ СУЖДЕНИЙ. КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ.
ЛогикаСуждение и его виды
3. ВИДЫ ПРОСТЫХ СУЖДЕНИЙ.
КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ.
Признаки
Признаки-свойства
Признаки-отношения
15. Виды простых суждений. Категорические суждения.
ЛогикаСуждение и его виды
Виды простых суждений.
Категорические суждения.
Суждения
Атрибутивные
если признак связан с
наличием или
отсутствием свойства
Реляционные,
или с отношением
если признак связан с
наличием или
отсутствием отношения
16.
ЛогикаСуждение и его виды
Структура атрибутивного суждения:
Пример. «Россия является
суверенным государством».
1. То, о чем говорится в суждении, объект, о котором
идет речь («Россия») - субъект суждения.
2. То, что говорится о субъекте суждения, признак,
наличие которого утверждается или отрицается в
суждении («быть суверенным государством») предикат суждения.
3. То, что связывает субъект и предикат в единое
суждение — связка суждения («есть» или «не
есть»).
17.
ЛогикаСуждение и его виды
Структура атрибутивного суждения:
S (не) есть P
18.
ЛогикаСуждение и его виды
Реляционные суждения, или суждения с
отношением
Примеры:
«Петр - отец Ивана» —
«Отец (Петр, Иван)» —
R(a, b).
«Москва расположена между Петербургом и
Екатеринбургом» —
«Расположена между (Москва, Петербург,
Екатеринбург)» —
R1(a, b, c).
19.
ЛогикаСуждение и его виды
Структура реляционного суждения:
Субъекты реляционного суждения — это понятия
объектов, между которыми утверждается или
отрицается наличие отношения.
Предикат реляционного суждения — это связь,
которая утверждается или отрицается в суждении.
В реляционных суждениях всегда
• более, чем один, субъект,
• один предикат.
20.
ЛогикаСуждение и его виды
Простые суждения
Простое суждение
реляционное
атрибутивное
21. 4. КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ
ЛогикаСуждение и его виды
4. КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ
Качество суждения:
Утвердительными называются
суждения, говорящие о
принадлежности предиката
субъекту суждения.
Отрицательными называются
суждения, говорящие об
отсутствии у субъекта данного
предиката.
22.
ЛогикаСуждение и его виды
Примеры:
• «Эта метафора является удачной».
• «Эта метафора является неудачной».
• «Эта метафора не является удачной».
23.
ЛогикаСуждение и его виды
Количество суждения:
1. Человек имеет преступные наклонности
2. Этот человек имеет преступные
наклонности
3. Каждый человек имеет преступные
наклонности
4. Некоторые люди имеют преступные
наклонности
24.
ЛогикаСуждение и его виды
Количество суждения
Количество суждения — характеристика
суждения, определяющая, в каком объеме
рассматривается субъект суждения.
25.
ЛогикаСуждение и его виды
Количество суждения
Атрибутивное суждение
единичное
неединичное
частное
общее
26.
ЛогикаСуждение и его виды
Количество суждения
Единичные суждения – это суждения,
субъектом которых является единичное
понятие.
Пример:
Депутат Государственной Думы Ирина
Яровая
имеет
высшее
юридическое
образование
27.
ЛогикаСуждение и его виды
Количество суждения
• Неединичные суждения – это суждения,
субъектом которых является общее понятие.
• Общие суждения — это суждения, в которых
предикат высказывается обо всем объеме
субъекта.
Пример:
Все
члены
Комитета
Госдумы
по
законодательству имеют высшее юридическое
образование.
28.
ЛогикаСуждение и его виды
Количество суждения
Частные суждения — это суждения, в которых
предикат высказывается о некоторых элементах
объема субъекта.
Пример:
Некоторые депутаты Государственной
имеют высшее юридическое образование.
думы
29.
ЛогикаСуждение и его виды
Определение категорического суждения:
Категорическим называется суждение, у
которого точно выяснено количество и
качество
30.
ЛогикаСуждение и его виды
Классификация категорических суждений:
A: общеутвердительные - Все S есть P.
E: общеотрицательные - Ни один S не есть P.
I: частноутвердительные - Некоторые S есть P.
O: частноотрицательные - Некоторые S не есть P.
31.
ЛогикаСуждение и его виды
Пример:
«Человек имеет преступные наклонности»
A: «Все люди есть существа, имеющие
преступные наклонности».
E: «Ни один человек не есть существо,
имеющее преступные наклонности».
I: «Некоторые люди есть существа,
имеющие преступные наклонности».
O: «Некоторые люди не есть существа,
имеющие преступные наклонности».
32.
ЛогикаСуждение и его виды
Категорическое суждение
Субъект или предикат категорического суждения мы
будем называть терминами этого суждения.
Термин называется распределенным, если он
рассматривается в данном суждении во всем объеме.
«Во всем объеме» полностью включается в объем другого термина или
полностью исключается из него.
33.
ЛогикаСуждение и его виды
Категорическое суждение
В общих суждениях распределен субъект, а
в отрицательных — предикат.
A
E
I
O
S
+
+
-
-
P
-
+
-
+
34. 5. ВИДЫ СЛОЖНЫХ СУЖДЕНИЙ
ЛогикаСуждение и его виды
5. ВИДЫ СЛОЖНЫХ СУЖДЕНИЙ
Сложное суждение – это суждение, в
котором встречается более чем одно
утверждение или отрицание.
Пример:
«Кража (S) относится к умышленным
преступлениям (P) и мошенничество (S)
относится к умышленным
преступлениям (P)»
35.
ЛогикаСуждение и его виды
Сложное суждение =
простые суждения
+
логические союзы
36.
ЛогикаСуждение и его виды
Логические союзы
Естественный
союз
Логический союз
Символ
Суждение
... и ...
соединительный или
конъюнкция
соединительное
... или ...
разделительный или
дизъюнкция
разделительное
либо..., либо...
строго разделительный
или строгая
дизъюнкция
строго
разделительное
если..., то ...
условный или
импликация
условное
…тогда и только
тогда, когда...
равносильность или
эквивалентность
неверно, что...
отрицание
эквивалентности
отрицательное
37.
ЛогикаСуждение и его виды
Язык логики суждений (ЯЛС)
Язык
Естественный
Искусственный
стихийно возникший,
служащий для
повседневного
общения и познания
специально
построенный для
достижения
определенной цели
38.
ЛогикаСуждение и его виды
Алфавит ЯЛС
1. p, q, r, s, p1, q1, r1, s1, p2, q2, ...,
2. , , , , , –,
3. (, ).
Метаязык — это язык, значением знаков
которого являются знаки другого языка.
Язык, знаки которого обозначают внеязыковые объекты,
называется объектным языком, или языком-объектом.
А, B, C, D, A1 и т.п. – знаки метаязыка, которые
обозначают произвольные выражения объектного языка.
39.
ЛогикаСуждение и его виды
ЯЛС:
1) p, q, r, s, p1, q1, r1, s1, p2, ... — суждения.
2) Если A и B есть суждения, то (А В), (A B),
(A B), (A B), (A B̄), (А) — суждения.
3) Ничто иное не является суждением.
Логической формой сложного сужения будем
называть его запись на языке логики
суждений, в которой простые суждения
заменены на буквы p, q, r, s, p1, q1 и т.п.
40.
ЛогикаСуждение и его виды
Пример записи суждения на ЯЛС:
Суждение: «Если я пойду на лекцию по логике,
то я поеду с тобой на море».
Заменим простые суждения в этом сложном
суждении на переменные нашего языка:
суждение «Я пойду на лекцию по логике» — p
суждение «Я поеду с тобой на море» — q.
Союз, связывающий эти суждения – «если, то»
или импликация ( )
Получаем формулу: p q
41. 6. ТАБЛИЦЫ ИСТИННОСТИ ДЛЯ СЛОЖНЫХ СУЖДЕНИЙ
ЛогикаСуждение и его виды
6. ТАБЛИЦЫ ИСТИННОСТИ
ДЛЯ СЛОЖНЫХ СУЖДЕНИЙ
Каким образом истинность или ложность сложных
суждений зависит от истинности или ложности простых
суждений?
Таблицы истинности:
1. Каждая таблица имеет вход и выход.
2. На входе выписываются все возможные комбинации
истинностных значений суждений, из которых
составлено рассматриваемое сложное суждение.
3. На выходе выписывается значение
сложного
суждения.
42.
ЛогикаСуждение и его виды
1. Соединительное суждение —
конъюнкция — p q
А
В
А В
И
И
Л
Л
И
Л
И
Л
И
Л
Л
Л
43.
ЛогикаСуждение и его виды
2. Разделительное суждение —
дизъюнкция — p q
А
В
А В
И
И
Л
Л
И
Л
И
Л
И
И
И
Л
44.
ЛогикаСуждение и его виды
3. Строго разделительное суждение —
строгая дизъюнкция — p q
А
В
А В
И
И
Л
Л
И
Л
И
Л
Л
И
И
Л
45.
ЛогикаСуждение и его виды
4. Условное суждение —
импликация — p → q
А
В
А→В
И
И
Л
Л
И
Л
И
Л
И
Л
И
И
46.
ЛогикаСуждение и его виды
5. Суждение эквивалентности —
эквивалентность — p q
А
В
А В
И
И
Л
Л
И
Л
И
Л
И
Л
Л
И
47.
ЛогикаСуждение и его виды
5. Отрицательное суждение —
отрицание — p̄
А
А̄
И
Л
Л
И
48.
ЛогикаСуждение и его виды
Построение таблиц истинности для
произвольных сложных суждений
Пример 1.
«Если бы Иван IV был бы зол по природе или не
заботился об интересах государства, то он не
отменил бы опричнины».
• «Иван IV был зол по природе» - p,
• «Иван IV заботился об интересах государства» - q,
• «Иван IV отменил бы опричнину» - r.
49.
ЛогикаСуждение и его виды
(p q̄) → r̄
p
q
r
q̄
r̄
p q̄
(p q̄)→r̄
И
И
И
И
Л
Л
Л
Л
И
И
Л
Л
И
И
Л
Л
И
Л
И
Л
И
Л
И
Л
Л
Л
И
И
Л
Л
И
И
Л
И
Л
И
Л
И
Л
И
И
И
И
И
Л
Л
И
И
Л
И
Л
И
И
И
Л
И
50.
ЛогикаСуждение и его виды
Пример 2.
(((p→q) p)→q)
p
q
p→q (p→q) p
И
И
Л
Л
И
Л
И
Л
И
Л
И
И
И
Л
Л
Л
((p→q) p)→q
И
И
И
И
Сложные суждения, которые во всех строках
таблицы принимают значение «истина»,
назовем логически истинными.
51.
ЛогикаСуждение и его виды
Пример 3.
(p r) → p
p
q
p q (p r) → p
И
И
Л
Л
И
Л
И
Л
И
Л
Л
Л
И
И
И
Л
(p r) → p
Л
Л
Л
Л
Сложные суждения, которые во всех строках
таблицы принимают значение «ложь», назовем
логически ложными.
52.
ЛогикаСуждение и его виды
Таблицы истинности
Сложные суждения, среди
истинностных значений которых
встречаются и истина, и ложь,
назовем фактическими.
Комбинацию значений, которую простые
суждения принимают в какой-либо строке на
входе таблицы, назовем состоянием мира.
53.
ЛогикаСуждение и его виды
Таблицы истинности
Если сложное суждение C принимает значение «истина» в
данной строке, то будем говорить, что С подтверждается
данным состоянием мира.
Если сложное суждение C принимает значение «ложь» в
данной строке, то будем говорить, что С опровергается
данным состоянием мира.
Суждение C назовем подтверждаемым, если оно
подтверждается хотя бы одним состоянием мира.
Суждение C назовем опровержимым, если оно
опровергается хотя бы одним состоянием мира.