
- •Введение
- •Задания для самостоятельной работы понятие
- •Дайте логическую характеристику понятий.
- •Определите отношения между понятиями и изобразите их в круговых схемах Эйлера.
- •Подберите понятия, отношения меду которыми можно изобразить в круговых схемах Эйлера так:
- •В каждой из приведенных ниже групп понятий подчеркните понятие с наибольшим объемом.
- •В каждой из приведенных ниже групп понятий подчеркните понятие с наибольшим содержанием.
- •В каждой из приведенных ниже групп понятий подчеркните тождественные понятия.
- •Логические операции с понятиями
- •В приведенных ниже определениях подчеркните определяющее понятие одной чертой, определяемое – двумя, укажите родовое понятие (род) и видовое отличие (вид).
- •Проверьте правильность приведенных ниже определений. В случае неправильного определения укажите, какое правило нарушено, а также в чем заключается ошибка.
- •Проверьте правильность выполненного деления. В случае неправильного деления, укажите характер ошибки.
- •Выполните ограничение и обобщение приведенных понятий.
- •Проверьте правильность ограничения понятий. В случае неправильного ограничения укажите характер ошибки.
- •Проверьте правильность обобщения понятий. В случае неправильного обобщения укажите характер ошибки.
- •Суждение
- •Выполните превращение приведенных ниже суждений.
- •Умозаключение
- •Сделайте полный разбор силлогизма: укажите заключение, меньшую и большую посылки, средний, меньший и больший термины, фигуру и модус. Изобразите в круговых схемах отношения между терминами.
- •Сделайте вывод из посылок, определите фигуру и модус силлогизма.
- •Сделайте вывод из посылок. Проверьте силлогизм разными способами (по фигуре и модусу, с помощью кругов Эйлера, по общим правилам силлогизма).
- •Справочный материал
Справочный материал
ВИДЫ ПОНЯТИЙ
ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ ПО ОБЪЕМУ
ПРАВИЛА ОПРЕДЕЛЕНИЯ
Соразмерность.
Определение должно быть соразмерным: объем определяемого должен быть равен объему определяющего.
Ошибки:
слишком широкое: объем определяющего больше объема определяемого;
слишком узкое: объем определяемого больше объема определяющего.
Запрет отрицания.
Определение не должно быть только отрицательным. Если без отрицания в определении обойтись невозможно (например, в случае отрицательного понятия), то наряду с отрицанием в определении должна быть утверждающая часть.
Запрет круга.
Нельзя определять понятие само через себя.
Запрет неясности.
Определение должно быть четким и ясным, не должно содержать неясных понятий.
ПРАВИЛА ДЕЛЕНИЯ
Соразмерность.
Объем делимого понятия должен исчерпываться объемами понятий – членов деления.
Ошибки:
деление с недостающими членами;
деление с лишними членами.
Деление должно производиться по одному основанию.
Деление должно быть последовательным и непрерывным: при делении объема понятия от родового понятия следует переходить к ближайшему виду, а лишь затем к подвиду.
Ошибка: скачок в делении.
Члены деления должны исключать друг друга: члены деления должны быть несовместимыми понятиями.
ОБОБЩЕННАЯ КЛАССИФИКАЦИЯ СУЖДЕНИЙ (по количеству и качеству). РАСПРЕДЕЛЕННОСТЬ ТЕРМИНОВ В СУЖДЕНИИ
A – общеутвердительное E – общеотрицательное
В
S++
P-
S+
P+
I – частноутвердительное O – частноотрицательное
Н
S-
S-
P-
S-
P+
Распределенным является термин, представленный в суждении в полном объеме.
ЛОГИЧЕСКИЕ ОПЕРАЦИИ С СУЖДЕНИЯМИ
Обращение – это преобразование суждения путем перестановки его субъекта и предиката. При этом качество суждения не меняется, а количество может измениться.
Формулы обращения суждений:
(A) Все S есть P (E) Ни одно S не есть P
( I ) Некоторые P есть S (E) Ни одно P не есть S
( I ) Некоторые S есть P (O) Некоторые S не есть P
( I ) Некоторые P есть S НЕ ОБРАЩАЕТСЯ
Превращение – это преобразование суждения путем изменения его качества. При этом количество суждения не меняется, субъект и предикат остаются на своих местах, а понятие предиката меняется на противоположное.
Формулы превращения суждений:
(A) Все S есть P (E) Ни одно S не есть P
( E) Ни одно S не есть не-P (A) Все S есть не-P
( I ) Некоторые S есть P (O) Некоторые S не есть P
( O ) Некоторые S не есть не-P ( I ) Некоторые S есть не-P
Л
ОГИЧЕСКИЙ КВАДРАТ
Закономерности отношений
А – I, Е – О – подчинение
из истинности подчиняющего суждения следует истинность подчиненного, но не наоборот;
из ложности подчиненного суждения следует ложность подчиняющего, но не наоборот.
Схемы вывода: AИ IИ, EИ OИ, IЛАЛ, OЛEЛ
I – О – частичная совместимость
Суждения могут быть одновременно истинными, но не могут быть одновременно ложными.
Схемы вывода: IЛ OИ, OЛ IИ
А – Е – противоположность
Суждения не могут быть одновременно истинными, но могут быть одновременно ложными.
Схемы вывода: AИEЛ, EИ ®АЛ
А – О, Е – I – противоречие
Суждения не могут быть одновременно ни истинными, ни ложными.
Схемы вывода: AИ ®OЛ, AЛ® OИ, EИ® IЛ , EЛ® IИ, OЛ® AИ, OИ® AЛ,
IЛ ® EИ, IИ ® EЛ
КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ
Фигуры силлогизма
1-я фигура 2-я фигура 3-я фигура 4-я фигура
Таблица правильных модусов
-
1-я фигура
AAA, EAE, AII, EIO
2-я фигура
EAE, AEE, EIO, AOO
3-я фигура
AAI, IAI, AII, OAO, EAO, EIO
4-я фигура
AAI, AEE, EAO, EIO, IAI
Правила силлогизма
Правила терминов
В силлогизме должно быть только три термина.
Ошибка: учетверение терминов.
Средний термин должен быть распределен хотя бы в одной из посылок.
Термин распределен в заключении тогда и только тогда, когда он распределен в посылке.
Правила посылок
Из двух отрицательных посылок нельзя сделать заключение.
Из двух частных посылок нельзя сделать заключение.
Если одна из посылок отрицательная, то и заключение отрицательное
Если одна из посылок частная, то и заключение частное.
ЛОГИЧЕСКИЕ ЗАКОНЫ
Закон тождества: всякая мысль тождественна самой себе.
Закон противоречия: два противоположных суждения об одном и том же предмете, взятом в одно и тоже время и в одном и том же отношении, не могут быть одновременно истинными, по крайней мере одно из них необходимо ложно.
Закон исключенного третьего: два противоречащих суждения не могут быть одновременно ложными: одно из них – необходимо истинно, другое – необходимо ложно, третьего не дано.
Закон достаточного основания: всякая истинная мысль имеет достаточное основание.