- •Раздел 1. Логика как наука
- •Вопрос 2. Значение формальной логики.
- •Вопрос 3. Структура формальной логики.
- •Раздел 2. Понятие
- •Тема 2. Логическая характеристика понятия.
- •Вопрос 1. Понятие как форма мышления. Понятие и слово.
- •Вопрос 2. Содержание и объем понятий.
- •Вопрос 3. Виды понятий.
- •Вопрос 4. Отношения между понятиями.
- •Тема 3. Операции с понятиями.
- •Вопрос 1. Обобщение и ограничение понятий. Отрицание понятий.
- •Вопрос 2. Определение понятий.
- •Вопрос 3. Деление понятий.
- •Раздел 3. Суждение.
- •Тема 4. Структура и виды суждений.
- •Вопрос 1. Общая характеристика суждения. Состав суждений.
- •Вопрос 2. Виды суждений (общая классификация).
- •Вопрос 3. Виды простых категорических суждений.
- •Тема 5. Сложные суждения.
- •Вопрос 1. Виды сложных суждений.
- •Вопрос 2. Проблема истинности сложных суждений.
- •Вопрос 3. Сравнение сложных суждений
- •Раздел 4. Умозаключение.
- •Тема 6. Умозаключение как форма мышления. Виды умозаключений.
- •Вопрос 1. Понятие умозаключения. Состав умозаключений.
- •Вопрос 2. Основные виды умозаключений.
- •Тема 7. Непосредственные умозаключения.
- •Вопрос 1. Выводы по логическому квадрату.
- •Вопрос 2. Выводы с преобразованием внутренней структуры суждений.
- •Тема 8.Опосредованный вывод. Категорический силлогизм.
- •Вопрос 1. Простой категорический силлогизм: строение, правила.
- •Вопрос 2. Фигуры и модусы категорического силлогизма.
- •Вопрос 3. Сокращенные, сложные и сложносокращенные категорические силлогизмы.
- •Тема 9. Другие виды дедуктивных умозаключений
- •Вопрос 1. Условные умозаключения.
- •Вопрос 2. Разделительные умозаключения.
- •Вопрос 3. Условно- разделительное умозаключение.
- •Вопрос 4. Выводы из суждений с отношениями.
- •Тема12 Логика предикатов.
- •Вопрос 1.
- •Тема 11. Индуктивные умозаключения.
- •Вопрос 1. Виды индуктивных умозаключений.
- •Вопрос 2. Научная индукция, и ее способы.
- •Вопрос 3. Метод аналогий и статистические обобщения.
- •Раздел 5. Законы логики.
- •Тема 12. Основные формально-логические законы.
- •Вопрос 1. Понятие логического закона.
- •Вопрос 2. Основные законы классической логики.
Вопрос 3. Виды простых категорических суждений.
Наиболее распространенными в практике являются простые категорические суждения, тем более что многие виды других суждений можно интерпретировать через структуры категорических и поэтому выяснение видов категорических суждений имеет большую значимость.
Самой известной в логике является следующая классификация категорических суждений:
А) ОБЩЕУТВЕРДИТЕЛЬНЫЕ суждения. Обозначаются буквой «А». Эти суждения имеют структуру:
Все S суть Р.
Общим оно является, потому что говорит обо всем классе субъекта: «Все S». Вместо квантора «все» допускаются и слова: «каждый», «всякий» имеющие то же самое значение. Например, «все граждане России равны перед законом», «всякий человек смертен».
Утвердительным оно является в силу того, что связка в данном суждении утверждает о принадлежности предикату субъекту.
Это суждение будет истинным при следующих соотношениях между субъектом и предикатом (на круговых схемах):
1)
2)
Б) ОБЩЕОТРИЦАТЕЛЬНЫЕ суждения. Обозначаются буквой «Е». Они имеют структуру:
Все S не суть Р.
Опять же общим оно является потому что говорит о всем классе субъекта. Здесь вместо слова «Все» очень часто употребляется слово «ни один»: «Ни один человек, совершивший преступление не должен избежать справедливого наказания».
Отрицательным суждение делает отрицательная связка.
Круговые схемы истинности общеотрицательного суждения:
1)
2)
3)
В) ЧАСТНОУТВЕРДИТЕЛЬНЫЕ суждения. «I». Они имеют структуру:
Некоторые S суть Р.
Частным оно называется потому, что говорит лишь о части класса субъекта. Вместо слова «некоторые» могут употребляться слова «часть», «большинство», «меньшинство». Утвердительно оно в силу утвердительности связки. Например, «некоторые люди имеют преступные наклонности»; «большинство млекопитающих живет на суше».
Круговые схемы истинности частноутвердительного суждения:
а)
б)
в)
г)
Г) ЧАСТНООТРИЦАТЕЛЬНЫЕ суждения. «О». Они имеют структуру:
Некоторые S не суть Р.
Частным оно является из-за того, что говорит лишь о части класса субъекта. Поскольку связка в этом суждении является отрицательной, то и суждение называется отрицательным. Примеры: «некоторые лебеди не являются белыми»; «некоторые приговоры суда не имеют обвинительного характера».
Круговые схемы истинности частноотрицательного суждения:
а)
б)
в)
г)
д)
Суждения с единичными терминами, типа: «Сидоров является…», «Этот стол не является…» в логике относят не к частным суждением, а к ОБЩИМ суждениям (общеотрицательным или общеутвердительным). Это надо хорошо запомнить, так как по этой причине возникает много ошибок при решении логических задач.
Распределённость терминов в суждениях
Термин распределен, если он взят в полном объеме
Термин нераспределен, если он взят только в части объема
+ распределен
- нераспределен
A Все S суть P S+ P-
E Ни одно S не суть P S+ P+
I Некоторые S суть P S- P-
O Некоторые S не суть P S- P+
Литература к теме.
Основная:
Кириллов В. И. Логика. Гл. 4, с. 63 – 78; 86 – 107.
Иванов Е. И. Логика. Раздел 2. С. 94 – 123; 133 – 140.
Дополнительная:
Брюшинкин В. Н. Практический курс логики для гуманитариев. Гл. 8, с. 106 – 123.
Контрольные вопросы к теме.
1. В чем заключается отличие суждения от предложения?
2. Приведите собственные примеры сложных и простых суждений.
3. Из каких суждений состоят следующие суждения, определите в каждом из них субъект, предикат и связку:
а) Если Петров не знает логику, то он не решит этой задачи;
б) Сегодня брат готовится к экзамену по философии;
в) Либо ты поедешь сегодня на дачу, либо мы с тобой пойдем в театр.
4. Являются ли эти предложения суждениями? Если да, то какого они вида? Если нет, то почему:
а) Был ли Наполеон французским императором?;
б) Водители, не нарушайте правил дорожного движения!;
в) Если А ровесник В, то В ровесник А;
г) «И какой же русский не любит быстрой езды? (Н. В. Гоголь);
д) Возможно, что на Марсе есть жизнь.
5. Образуйте суждение:
а) типа I, где субъект «пьяный водитель», а предикат «опасность для пешехода»;
б) типа Е, где субъект «копытное животное», а предикат «хищник».
