Логика (Лекция 5)

1.

Логика
Лекция 5

2.

Библиография
• Логика. Учебник. Под ред. А.И. Мигунова и
др. Москва: Проспект, 2011. 680 с.
• Википедия

3.

Простой категорический силлогизм:
правила (с. 161)

4.

Правила (с. 160)

5.

Фигуры (с. 160)

6.

Модусы первой фигуры
Barbara
Celarent
Darii
Ferio

7.

BARBARA

8.

CELARENT

9.

DARII
• Все котята игривые.
• Некоторые домашние животные — котята.
• Некоторые домашние животные —
игривые.

10.

FERIO
• Ни одна домашняя работа не весела.
• Некоторое чтение — домашняя работа.
• Некоторое чтение не весело.

11.

Модусы второй фигуры
Cesare
Camestres
Festino
Baroco

12.

CESARE

13.

CAMESTRES

14.

FESTINO
• Ни один ленивый человек не сдаёт
экзамены.
• Некоторые студенты сдают экзамены.
• Некоторые студенты не ленивы.

15.

BAROCO
• Все информативные вещи полезны.
• Некоторые сайты не полезны.
• Некоторые сайты не информативны.

16.

Модусы третьей фигуры
Darapti
Disamis
Datisi
Felapton
Bocardo
Ferison
МЕНЬШАЯ ПОСЫЛКА ДОЛЖНА БЫТЬ УТВЕРДИТЕЛЬНОЙ!

17.

DARAPTI
• Все фрукты питательны.
• Все фрукты вкусны.
• Некоторые вкусные продукты питательны.

18.

DISAMIS
• Некоторые кружки красивы.
• Все кружки полезны.
• Некоторые полезные вещи красивы.

19.

DATISI
• Все прилежные мальчики в этой школе
рыжие.
• Некоторые прилежные мальчики в этой
школе — пансионеры.
• Некоторые пансионеры в этой школе
рыжие.

20.

FELAPTON
• Ни один кувшин в этом шкафу не нов.
• Все кувшины в этом шкафу треснутые.
• Некоторые треснутые вещи в этом шкафу не
новы.

21.

BOCARDO
• Некоторые кошки бесхвосты.
• Все кошки — млекопитающие.
• Некоторые млекопитающие бесхвосты.

22.

FERISON
• Ни одно дерево не съедобно.
• Некоторые деревья зелёные.
• Некоторые зелёные вещи не съедобны.

23.

Модусы четвертой фигуры
Bramantip
Camenes
Dimaris
Fesapo
Fresison

24.

BRAMANTIP
• Все яблоки в моём саду полезны.
• Все полезные фрукты зрелы.
• Некоторые зрелые фрукты — яблоки в
моём саду.

25.

CAMENES
• Все яркие цветы ароматны.
• Ни один ароматный цветок не выращен в
помещении.
• Ни один выращенный в помещении цветок
не ярок.

26.

DIMARIS
• Некоторые небольшие птицы питаются
мёдом.
• Все питающиеся мёдом птицы цветные.
• Некоторые цветные птицы небольшие.

27.

FESAPO
• Ни один человек не совершенен.
• Все совершенные существа мифические.
• Некоторые мифические существа не люди.

28.

FRESISON
• Ни один компетентный человек не
ошибается.
• Некоторые ошибающиеся люди работают
здесь.
• Некоторые работающие здесь люди
некомпетентны.

29.

Благодарю за внимание!