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

Библиография

Логика. Учебник. Под ред. А.И. Мигунова и др. Москва: Проспект, 2011.

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

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

Фигуры (с. 160)

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

BARBARA

CELARENT

DARII

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

FERIO

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

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

CESARE

CAMESTRES

FESTINO

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

BAROCO

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

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

DARAPTI

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

DISAMIS

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

DATISI

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

FELAPTON

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

BOCARDO

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

FERISON

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

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

BRAMANTIP

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

CAMENES

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

DIMARIS

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

FESAPO

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

FRESISON

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