- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 1. Предмет и основные понятия логики
- •1.2. Структура формальной логики
- •1.3. Предмет формальной логики
- •1.4. Мышление как объект изучения логики
- •1.5. Основные формы мышления
- •1.6. Понятие логической формы
- •1.7. Истинность мысли и формальная правильность рассуждений
- •1.8. Основные свойства правильного мышления. Понятие логического закона
- •1.10. Понятие логического следования
- •1.11. Закон логики как отношение логического следования
- •Глава 2. Логический анализ языка
- •2.1. Мышление и язык
- •2.2. Естественный и искусственный языки
- •2.4. Семантическая классификация терминов
- •2.5. Семантические категории
- •2.6. Разновидности семантических категорий
- •2.7. Семиотика: семантика
- •2.8. Семиотика: синтактика
- •Глава 3. Основные направления и понятия символической (математической) логики
- •3.1. Классическая логика
- •3.2. Классическая логика высказываний
- •3.3. Синтаксис языка логики высказываний
- •3.4. Семантика языка логики высказываний
- •3.5. Семантические таблицы логики высказываний
- •3.6. Семантическая проблема разрешимости
- •3.7. Табличный способ определения типа формул
- •3.8. Логические отношения между формулами
- •3.10. Способ приведения формулы к нормальной форме
- •3.11. Равносильные формулы
- •3.12. Алгоритм приведения формул к КНФ и ДНФ
- •3.13. Аксиоматические исчисления
- •3.14. Натуральные исчисления
- •3.15. Секвенциальные исчисления
- •3.16. Построение секвенции
- •3.17. Законы логики высказываний
- •3.18. Классическая логика предикатов
- •3.19. Основные понятия логики предикатов
- •3.20. Операции над предикатами. Кванторы
- •3.21. Синтаксис языка логики предикатов
- •3.22. Процедура формализации выражений естественного языка в классической логике
- •3.23. Логическая символика
- •Введение. Понятие — форма мышления
- •Глава 4. Общая характеристика понятия
- •4.1. Понятие как форма мышления
- •4.2. Основные семантические характеристики понятия
- •4.3. Логическая структура понятия
- •4.4. Классификация видов понятий
- •4.5. Положительные и отрицательные, относительные и безотносительные понятия
- •4.6. Пустые и непустые, единичные и общие понятия
- •4.7. Универсальные и неуниверсальные, регистрирующие и нерегистрирующие понятия
- •4.8. Абстрактные и конкретные, собирательные и несобирательные понятия
- •Глава 5. Отношения между понятиями
- •5.1. Отношения между понятиями по логическому содержанию
- •5.2. Отношения между сравнимыми понятиями по содержанию
- •5.3. Отношения между понятиями по объемам
- •5.5. Отношения между несовместимыми понятиями по объемам
- •Глава 6. Логические операции с понятиями
- •6.1. Отношения рода и вида
- •6.2. Обобщение и ограничение понятий
- •6.3. Деление понятий
- •6.4. Таксономическое деление
- •6.5. Правила деления и возможные ошибки
- •6.6. Классификация
- •6.7. Операции с множествами (классами)
- •6.8. Операция объединения классов
- •6.9. Операция пересечения классов
- •6.10. Законы операций объединения и пересечения
- •6.11. Операция вычитания
- •6.12. Дополнение к множеству
- •6.13. Операции с классами. Диаграмма Венна
- •Глава 7. Определение
- •7.2. Виды определений (номинальные и реальные определения)
- •7.3. Явные и неявные определения
- •7.4. Виды явных определений
- •7.5. Виды неявных определений
- •7.6. Правила определения и возможные ошибки
- •Введение. Суждение (высказывание)
- •Глава 8. Простые суждения
- •8.1. Структура суждения
- •8.2. Логическая структура простого суждения
- •8.3. Логический анализ предложений, выражающих простые суждения
- •8.4. Виды простых суждений
- •8.7. Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •8.10. Выражение категорических суждений на языке логики предикатов
- •8.12. Суждения с отношениями
- •8.13. Выражение суждений с отношениями на языке логики предикатов
- •Глава 9. Сложные суждения
- •9.2. Соединительные суждения
- •9.3. Разделительные суждения
- •9.4. Условные и импликативные суждения
- •9.5. Суждения эквивалентности
- •9.6. Суждение с внешним отрицанием
- •9.7. Условия истинности сложных суждений
- •9.8. Логическая форма сложного суждения
- •9.9. Выражение одних логических союзов через другие
- •9.10. Формы сложных суждений
- •9.11. Логическая вероятность сложных суждений
- •Глава 10. Отрицание суждений
- •10.1. Отрицание атрибутивных суждений
- •10.2. Отрицание суждений с отношениями
- •10.3. Отрицание сложных суждений
- •Глава 11. Отношения между суждениями
- •11.1. Отношения между суждениями
- •11.2. Отношения между простыми суждениями
- •11.3. Условия истинности для простых суждений
- •11.4. Модельные схемы
- •11.5. Логический квадрат
- •11.6. Логический треугольник
- •11.7. Отношения между сложными суждениями
- •11.8. Отношение эквивалентности сложных суждений
- •11.9. Отношение субконтрарности сложных суждений
- •11.10. Отношение подчинения сложных суждений
- •11.11. Отношение противоположности сложных суждений
- •11.12. Отношение противоречия сложных суждений
- •Глава 12. Модальность суждений
- •12.1. Структура модальных суждений
- •12.2. Алетическая модальность
- •12.3. Эпистемическая модальность
- •12.4. Деонтическая модальность
- •12.5. Сводная таблица видов модальностей
- •12.6. Определения и законы модальной логики. Логические модальные понятия
- •12.7. Физические модальные понятия
- •12.8. Законы и определения логики оценок
- •12.9. Законы и определения логики норм
- •Глава 13. Логические основы вопросно-ответного мышления
- •13.1. Виды вопросов
- •13.2. Виды ответов
- •Глава 14. Общая характеристика и структура умозаключений
- •14.1. Структура умозаключения
- •14.2. Классификация умозаключений по строгости правил вывода
- •14.3. Классификация умозаключений по направленности логического следования
- •14.4. Дедуктивные умозаключения
- •14.5. Обобщенная классификация умозаключений
- •Глава 15. Демонстративные (необходимые) умозаключения
- •15.1. Выводы из сложных высказываний (выводы на основе свойств логических связок)
- •15.2. Чисто условное умозаключение
- •15.6. Условно-разделительные умозаключения
- •15.7. Дилемма
- •15.8. Простая конструктивная дилемма
- •15.9. Простая деструктивная дилемма
- •15.11. Сложная деструктивная дилемма
- •15.12. Проверка правильности умозаключений из сложных суждений
- •15.13. Проверка умозаключений методом аналитических таблиц
- •15.14. Непосредственные умозаключения
- •15.15. Построение непосредственных умозаключений по логическому квадрату
- •15.17. Превращение
- •15.18. Обращение
- •15.19. Противопоставление предикату
- •15.20. Проверка непосредственных умозаключений
- •15.21. Простой категорический силлогизм
- •15.22. Структура силлогизма
- •15.23. Модусы категорического силлогизма
- •15.24. Правила терминов категорического силлогизма
- •15.25. Правила посылок категорического силлогизма
- •15.26. Первая фигура категорического силлогизма
- •15.27. Вторая фигура категорического силлогизма
- •15.28. Третья фигура категорического силлогизма
- •15.29. Четвертая фигура категорического силлогизма
- •15.30. Категорический силлогизм с выделяющими суждениями
- •15.31. Правила логического вывода фигур категорического силлогизма
- •15.32. Алгоритм анализа силлогизма
- •15.34. Способы проверки правильности силлогизмов (поиск и предъявление контрпримера)
- •15.36. Умозаключения из суждений с отношениями
- •15.37. Сокращенный категорический силлогизм (энтимема)
- •15.38. Сложные и сложносокращенные силлогизмы (полисиллогизм, сорит, эпихейрема)
- •15.39. Прогрессивный полисиллогизм
- •15.40. Регрессивный полисиллогизм
- •15.41. Прогрессивный сорит
- •15.42. Регрессивный сорит
- •15.43. Эпихейрема
- •Глава 16. Недемонстративные (правдоподобные) умозаключения
- •16.1. Общая характеристика правдоподобных умозаключений
- •16.2. Отношение подтверждения в правдоподобных умозаключениях
- •16.4. Правдоподобные (индуктивные) умозаключения
- •16.5. Виды индукции
- •16.6. Полная индукция
- •16.7. Математическая индукция
- •16.8. Неполная индукция (популярная)
- •16.9. Научная индукция
- •Глава 17. Индуктивные методы установления причинных связей
- •17.1. Метод единственного сходства
- •17.2. Метод единственного различия
- •17.4. Метод сопутствующих изменений
- •17.5. Метод остатков
- •17.6. Характеристики причинных связей, делающие возможным применение методов научной индукции
- •17.7. Ошибки, встречающиеся при обнаружении причинных связей
- •Глава 18. Умозаключения по аналогии
- •18.1. Аналогия
- •18.2. Структура аналогии
- •18.3. Виды умозаключений по аналогии по характеру информации
- •18.4. Виды умозаключений по аналогии по характеру выводного знания
- •Введение. Логические основы аргументации
- •Глава 19. Общая характеристика аргументации
- •19.1. Обоснование как основа аргументации
- •19.2. Аргументация как способ рассуждения
- •19.3. Аргументация как рациональный процесс
- •19.4. Виды аргументации
- •19.6. Условия доказательности и недоказательности аргументации
- •19.7. Структура доказательства
- •19.8. Способы доказательств
- •19.9. Виды доказательств
- •19.12. Критика и опровержение
- •19.13. Способы опровержения
- •19.16. Правила по отношению к форме доказательства и возможные ошибки
- •Введение. Логика в процессе развития научного знания
- •Глава 20. Проблема
- •20.1. Общая характеристика проблемы
- •20.2. Типология проблем
- •20.3. Обобщенная схема типологии проблем
- •20.4. Процесс решения проблемы
- •Глава 21. Гипотеза
- •21.1. Общая характеристика гипотезы
- •21.2. Построение гипотезы
- •21.3. Условия состоятельности гипотезы
- •21.4. Проверка гипотезы
- •21.5. Логическое доказывание гипотез
- •Глава 22. Теория
- •22.1. Теория, ее элементы и функции
- •22.2. Классификация теорий
- •Практикум
- •Раздел 1. Образцы решения типовых задач
- •Раздел 2. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
15. Демонстративные (необходимые) умозаключения |
187 |
|
|
15.29.Четвертая фигура категорического силлогизма
|
Фигура IV |
Ð |
Ì |
Ì |
S |
Правильные модусы:
ÀÀI, ÀÅÅ, IAI, EAO,
EIO, AEO
В четвертой фигуре средний термин занимает место предиката в большей и место субъекта в меньшей посылке
Ï ð è ì å ð
(А) Все киты (Р) — млекопи- |
|
|
тающие (М). |
Âñå Ð åñòü Ì |
|
(Е) Ни одно млекопитающее |
|
|
(Ì) íå åñòü ðûáà (S). |
Íè îäíî Ì íå åñòü S |
|
|
|
|
(Å) Íè îäíà ðûáà (S) íå åñòü |
|
|
|
||
êèò (Ð). |
|
Íè îäíî S íå åñòü Ð |
Модус АЕЕ — правильный. Следовательно, умозаклю- чение правильное.
Правило четвертой фигуры
Не дает общеутвердительных заключений.
Вывод по четвертой фигуре имеет необходимый характер при соблюдении следующих правил.
1.Если большая посылка утвердительная, то меньшая должна быть общей.
2.Если одна из посылок отрицательная, то большая посылка должна быть общей.
3.Если меньшая посылка утвердительная, то заключение должно быть частным.
Четвертая фигура представляет собой искусственную языковую конструк-
цию, которая получается путем преобразования первой фигуры. В силу этого рассуждения по схеме четвертой фигуры редко встречаются в мыслительноречевой практике.
П р и м е ч а н и е. Четвертая фигура не встречается в сочинениях Аристотеля, который занимался логической теорией реальных рассуждений. Четвертая фигура была введена в
логику позднее. По одним сведениям она была введена в силлогистику перипатетиками Теофрастом и Евдемом, по другим источникам — комментатором трудов Аристотеля римским врачом при дворе Марка Аврелия — Клавдием Галеном.
188 |
IV. Умозаключение |
|
|
15.30. Категорический силлогизм с выделяющими суждениями
Силлогизм с выделяющими суждениями не подчиняется некоторым общим правилам, а также особым правилам фигур.
Наиболее распространенные случаи следующие.
1. Вывод из двух частных посылок
Ï ð è ì å ð
Некоторые животные, и только животные (М–), – пресмыкающиеся (Р+). Некоторые организмы, и только организмы (S–), – животные (М+).
Некоторые организмы (S–) – пресмыкающиеся (Р+).
(Средний термин в одной из посылок распределен, заключение следует с необходимостью).
2. Вывод по 1-й фигуре, в которой большая посылка — частное суждение. (Необходимость заключения в этом силлогизме может быть проиллюстрирована на приведенном примере).
3. Одна из посылок — частное суждение, заключение — общее суждение
Ï ð è ì å ð
Некоторые юристы, и только юристы
(Р–), – адвокаты (М+).
Все участники совещания (S+) — адвокаты (М–).
Все участники совещания (S+) — юристы
(Ж).
(Большая посылка — частноутвердительное выделяющее суждение с распределенным предикатом — средним термином силлогизма).
4. Вывод по 2-й фигуре из двух утвердительных посылок. (Необходимость заключения в этом силлогизме может быть проиллюстрирована на приведенном примере).
5. Вывод по 1-й фигуре, в которой меньшая посылка — отрицательное суждение |
Ï ð è ì å ð |
Лицо, совершившее преступление (М+), привлекается к уголовной ответствен- |
ности (Р+). |
Иванов (S+) не совершал преступления (М+). |
Иванов (S+) не привлекается к уголовной ответственности (Р+). |
(Заключение следует с необходимостью, так как большая посылка — обще- |
утвердительное выделяющее суждение с распределенным предикатом. Предикат — |
больший термин силлогизма — распределен в посылке и в заключении). |
Рассмотренные примеры показывают, что силлогизмы в состав которых входят выделяющие суждения, подчиняются не всем, а лишь некоторым правилам. Это обусловлено отличительной особенностью выделяющих суждений, распределенностью их терминов.
15. Демонстративные (необходимые) умозаключения |
189 |
|
|
15.31.Правила логического вывода фигур категорического силлогизма1
Общие правила
1.Терминов в посылках и заключении должно быть не более и не менее трех.
2.Средний термин должен быть распределен хотя бы в одной из посылок.
3.Какова распределенность терминов в посылках, такова она и в заключении.
4.Из двух отрицательных посылок заключение с необходимостью не следует.
5.Если одна из посылок — отрицательное суждение, то и заключение должно быть отрицательным.
6.Из двух частных посылок заключение с необходимостью не следует.
7.Если одна из посылок — частное суждение, то и заключение должно быть частным.
8.При двух утвердительных посылках нельзя получить отрицательного заклю- чения.
Специальные правила
Ïå ð â à ÿ ô è ã ó ð à
1.Большая посылка должна быть общей (А, Е). Допускается частное суждение только в случае, если оно выделяющее.
2.Меньшая посылка должна быть утвердительной (А, I). Допускается отрица-
тельное суждение только в случае, если большая посылка — общеутвердительное
выделяющее суждение.
Âò î ð à ÿ ô è ã ó ð à
1.Большая посылка должна быть общей (А, Е). Допускается частное суждение
только в случае, если оно – выделяющее.
2.Одна из посылок должна быть отрицательной (Е, О). Допускаются две
утвердительные посылки только в случае, если большая посылка – выделяющее
частное суждение.
Òð å ò ü ÿ ô è ã ó ð à
1.Меньшая посылка должна быть утвердительной (А, I).
2.Заключение — частное суждение (I , О).
× å ò â å ð ò à ÿ ô è ã ó ð à
1.При утвердительной большей посылке (А, I) меньшая посылка должна быть общей (А, Е).
2.При одной (любой) отрицательной посылке (Е, О) большая посылка должна быть общей (А, Е).
3.При утвердительной меньшей посылке (А, I) заключение должно быть частным (I , О).
1 Для анализа любого силлогизма в принципе достаточно знание общих правил логического
вывода в категорическом силлогизме.
190 |
IV. Умозаключение |
|
|
15.32. Алгоритм анализа силлогизма
Логические формы умозаключений не всегда совпадают с формами рассуждений естественного языка. Богатство языковых средств, грамматические нормы построения естественного языка позволяют одно и то же рассуждение излагать посредством различных типов рассуждений. Поэтому языковые обороты, содержащие составные элементы простого умозаключения (посылки, заключение), выражаются в такой форме, в которой трудно определить их логическую функцию. Перевод простого рассуждения, излагаемого естественным языком, в основную логическую форму простого категорического умозаключения — основа логи- ческого анализа простых предложений. Алгоритм такого перевода предполагает следующие операции:
1.Если силлогизм записан в произвольной форме, необходимо проанализировать его содержание и определить заключение, первую и вторую посылки.
2.Переписать силлогизм в правильной форме (1-я посылка, под ней 2-я посылка, разделительная черта, заключение).
3.Определить субъект и предикат заключения, обозначив их соответственно буквами S и Р (составные S и Р подчеркнуть одной сплошной чертой).
4.Перенести обозначения S и Р в посылки и определить средний термин, обо-
значив его буквой М.
Если необходимо, то следует преобразовать посылки и заключение, так чтобы их грамматическая форма соответствовала логической форме.
5.Проверить идентичность среднего термина в обеих посылках. Если средний
термин не идентичен, анализ силлогизма прекращается и делается вывод о том, что умозаключение (силлогизм) неправильное, поскольку нарушено 1-е правило терминов силлогизма, так как произошло учетверение термина. Если средний
термин выражен противоречащими понятиями (М и не-М), то необходимо произвести с одной из посылок операцию превращения. Если средний термин иденти- чен в обеих посылках, то анализ продолжается.
6.Проверить последовательность посылок (большая посылка должна стоять первой). Если необходимо, то следует поменять посылки местами.
7.Определить фигуру и модус силлогизма. Если модус соответствует правильным модусам данной фигуры силлогизма, анализ прекращается и делается вывод, что умозаключение правильно. Если модус не соответствует правильным модусам фигуры силлогизма, то это означает, что умозаключение неправильно.
8.Если оказалось, что силлогизм неправилен, начинаем искать допущенную ошибку,
проверяя последовательно выполнение каждого общего правила силлогизма, пока не обнаружим, какое именно правило нарушено1.
На этом анализ силлогизма заканчивается.
1 Дополнительно проверяем правильность силлогизма с помощью кругов Эйлера .
15. Демонстративные (необходимые) умозаключения |
191 |
|
|
15.33.Способ проверки правильности силлогизмов посредством построения схем для посылок
èзаключения
Построение круговых схем для посылок и совмещение их на одной схеме
(А) Все ужи (Р) — пресмыкающиеся (М). (Е) Это животное (S) не является прес-
мыкающимся (М).
(Е) Это животное(S) не является ужом (Р).
2-я фигура, модус АЕЕ
Совмещение этих схем дает следующий результат.
Ì
ÀÅÅ |
S |
Ð |
|
|
Ì
(A)
Ð
(E) S |
M |
В ы в о д. Других отношений между S и Р быть не может, т.е. получен однозначный результат и заключение истинно (истинно, что ни одно S
íå åñòü Ð).
Общий критерий правильности силлогизмов: силлогизм является правильным, если нельзя построить такую совмещенную круговую схему, на которой обе посылки являются истинными, а заключение — ложным.
Критерий неправильности силлогизмов: силлогизм является неправильным, если можно построить хотя бы одну круговую схему, на которой обе посылки являются истинными, а заключение — ложным.