- •Содержание
- •Тема 1. Предмет логики как науки 10
- •Тема 2. Высказывания и имена 23
- •Тема 3. Выводы 124
- •Тема 4. Диалог 201
- •Предисловие
- •Тема 1. Предмет логики как науки Лекция 1. Предмет логики как науки
- •Определение логики как науки. Понятие схемы (логической формы) мысли.
- •Все s суть р
- •Если р, то q
- •Если р, то q; следовательно, если не - q, то не - р
- •Упражнения:
- •Правильные рассуждения
- •Если р, то q; следовательно, если не - q, то не - р
- •Если p, то q; следовательно, если не – p, то не – q
- •Упражнения:
- •Правильность и истинность мысли. Ошибки в мышлении
- •Упражнения:
- •Логическая культура
- •Контрольные вопросы по теме №1:
- •Тема 2. Высказывания и имена Лекция 2. Высказывания и имена
- •Высказывания Логические союзы: определения
- •Упражнения:
- •Логические союзы и естественный язык
- •Упражнения:
- •Законы логики высказываний
- •Если р, то q; следовательно, если не - q, то не – р
- •Упражнения:
- •Отношения между схемами высказываний
- •Отношение следования (подчинения)
- •Отношение полной совместимости (равнозначности)
- •Отношение частичной совместимости
- •Отношение противоречия
- •Отношение противности
- •Упражнения:
- •Достаточные и необходимые условия. Причинно-следственные отношения Достаточные и необходимые условия
- •Øf1®øg следует ø (f1úf2) ®øg
- •Принцип достаточного основания
- •Причина и следствие
- •Ошибки при анализе детерминации
- •Упражнения:
- •Понятие имени
- •Упражнения:
- •Отношения между именами
- •Упражнения:
- •Операции с именами Булевы операции
- •Обобщение и ограничение
- •Упражнения:
- •Операции с именами (продолжение). Деление Понятие деления
- •Правила деления
- •Упражнения:
- •Операции с именами (окончание). Определение (дефиниция) Реальные и номинальные определения
- •Структура определения
- •Виды определений
- •Правила определения
- •Упражнения:
- •Контрольные вопросы по теме №2:
- •Тема 3. Выводы Лекция 3. Выводы
- •Выводы в логике высказывания Понятие вывода
- •Правила дедуктивных выводов в логике высказываний
- •Прямые правила вывода
- •Непрямые (косвенные) правила выводов
- •П (множество посылок)
- •A (доб. Допущение)
- •П (множество посылок)
- •A (допущение)
- •1. A ® в (посылки)
- •3. A (допущение)
- •Упражнения:
- •Силлогические выводы Атрибутивные высказывания Структура и виды атрибутивных высказываний
- •Распределенность терминов в атрибутивном высказывании
- •Отношения между схемами атрибутивных высказываний
- •Упражнения:
- •Непосредственные силлогистические выводы
- •Упражнения:
- •Опосредованные силлогистические выводы Простой категорический силлогизм
- •Основные правила простого категорического силлогизма
- •4. Из двух утвердительных посылок делается утвердительное заключение.
- •5. Из двух отрицательных посылок нельзя делать заключения.
- •Упражнения:
- •Сложные и сокращенные силлогизмы
- •Упражнения:
- •Правдоподобные выводы
- •Выводы по аналогии
- •Редуктивные выводы
- •Упражнения:
- •Условия правомерности правдоподобных выводов
- •Упражнения:
- •Погрешности в правдоподобных выводах Слишком далекая аналогия
- •Просеивание (подтасовка) фактов
- •Поспешное обобщение
- •Упражнения:
- •Контрольные вопросы по теме №3:
- •Тема 4. Диалог Лекция 4. Диалог
- •Понятие и структура диалога
- •Обсуждаемый вопрос
- •Точки зрения
- •Аргументация
- •Итоги делового диалога. Логика принятия решений
- •Упражнения:
- •Правила ведения диалога Общие правила
- •Правила постановки вопросов
- •Правила выдвижения точек зрения
- •Правила по отношению к тезису аргументации
- •Правила по отношению к доводам
- •Правила по отношению к демонстрации
- •Эристические уловки. Софистика и сократовская диалектика
- •Упражнения:
- •Контрольные вопросы по теме №4:
- •Ответы к упражнениям
- •Тема 1. Предмет логики как науки
- •Тема 2. Высказывания и имена
- •Тема 3. Выводы
- •Тема 4. Диалог
- •Литература
- •Берков Владимир Федотович Логика
- •220007, Г. Минск, ул. Московская, 17.
Сложные и сокращенные силлогизмы
В процессах рассуждений простые силлогизмы выступают, как правило, в логических связях друг с другом, образуя цепи или «деревья» силлогизмов. Цепь силлогизмов, упорядоченных таким образом, что заключение одного силлогизма (просиллогизма) становится одной из посылок другого (эписиллогизма), называется полисиллогизмом. Известны два вида полисиллогизмов: прогрессивный полисиллогизм и регрессивный полисиллогизм. Если заключение полисиллогизма становится большей посылкой эписиллогизма, то такой полисиллогизм называют прогрессивным. Например:
RaP MaP
MaR SaM
-------- --------
MaP SaP
Если заключение просиллогизма становится меньшей посылкой эписиллогизма, то полисиллогизм называют регрессивным:
RaM MaP
SaR SaM
--------- --------
SaM SaP
Второй разновидностью сложных силлогизмов является эпихейрема (от греч. – нападение, наложение рук) – «дерево» силлогизмов, упорядоченных так, что посылки некоторого силлогизма являются заключениями других силлогизмов.6
NaP RaM MaP
MaN SaR SaM
------- ------- --------
MaP SaM SaP
Проверка правильности сложного силлогизма состоит в проверке каждого из входящих в него простых силлогизмов.
Для интеллектуально-речевой деятельности является типичным использование эллипсисов, т.е. выражений с пропущенными, но подразумеваемыми частями. К таким выражениям относятся энтимемы (от греч. en time – в уме), – сокращенные силлогизмы, в которых опускается одна из посылок или заключение. Например, когда мы говорим «Стихотворение «Белорусским партизанам» принадлежит Я. Купале, следовательно, оно написано не позднее 1942 года» мы опускаем как нечто само собой разумеющееся посылку «Произведения Я.Купалы написаны не позднее 1942 года».
Примечательная особенность многих энтимем – способность делать малозаметными формальные или содержательные погрешности. Погрешность становится, как правило, явной в результате восстановления энтимемы до полного силлогизма. Поэтому овладение процедурой восстановления имеет важное практическое значение.
Методика восстановления и оценки энтимемы на ее состоятельность состоит из следующих шагов:
1. Энтимема записывается в стандартном виде: имеющиеся посылки помещаются над чертой, заключение – под ней.
2. В соответствии с принятой классификацией устанавливается разновидность данного вывода (это может быть категорический силлогизм, условный силлогизм и пр.).
3. В соответствии с определениями посылок и заключения устанавливается, какая из частей вывода является подразумеваемой.
4. С использованием определений и правил, характерных для данного класса выводов, восстанавливается недостающая часть вывода.
5. Производится анализ восстановленной посылки на соответствие действительному положению дел. Ее ложность означает наличие содержательной ошибки в энтимеме.
6. Производится анализ связей между посылками и заключением на соответствие логическим правилам. Нарушение хотя бы одного из правил свидетельствует о наличии формальной ошибки в энтимеме.
Рассмотрим примеры.
Пример 1. Пусть дана энтимема: «На Луне нет жизни, следовательно, там нет атмосферы». Требуется проверить, не заключает ли она в себе содержательной или формальной ошибки.
1. Стандартный вид данной энтимемы:
На Луне нет жизни.
------------------------------------
На Луне нет атмосферы.
2. Данная энтимема является сокращением категорического силлогизма.
3. Пропущена большая посылка (в противном случае в качестве посылки выступало бы высказывание с предикатом заключения).
4. Силлогизм восстанавливается по второй фигуре. Правила других фигур ему не соответствуют. Следовательно, искомая посылка – «На всяком небесном теле, имеющем атмосферу, есть жизнь», а полный вид силлогизма:
На всяком небесном теле, имеющем атмосферу, есть жизнь.
На Луне нет жизни.
-------------------------------------------------------------------------
На Луне нет атмосферы.
5. Восстановленная посылка ложна. Следовательно, энтимема заключает в себе содержательную ошибку.
6. Общие правила категорического силлогизма не нарушены. Следовательно, формальной ошибки нет.
Пример 2. Требуется проверить на состоятельность энтимему: «Журнал – не книга, следовательно, журнал – периодическое издание».
1. Стандартный вид данной энтимемы:
Журнал – не книга.
---------------------------------------------
Журнал – периодическое издание.
2. Энтимема – сокращение категорического силлогизма.
3. Подразумевается большая посылка.
4. Силлогизм восстанавливается по второй фигуре. Искомая посылка – «Всякое периодическое издание – книга», а восстановленный силлогизм:
Всякое периодическое издание – книга.
Журнал – не книга.
------------------------------------------------------
Журнал – периодическое издание.
5. Энтимема заключает в себе содержательную ошибку, т.к. посылка «Всякое периодическое издание – книга» ложная.
6. Энтимема содержит формальную ошибку, так как нарушено правило категорического силлогизма «Если одна из посылок отрицательная, то и заключение должно быть отрицательным».
В рассмотренных примерах энтимемы представляли собой сокращение простых категорических силлогизмов. В иных случаях могут сокращаться условные, условно-категорические, разделительно-категорические силлогизмы и другие умозаключения. Обычными являются сокращения полисиллогизмов. Полисиллогизм с подразумеваемыми посылками называется соритом (от греческого «куча»).
В речевой практике широкое применение находит сорит, являющийся совокупностью сокращенных эпихейрем, в которых посылками выступают энтимемы.
Например:
Ложь заслуживает презрения, так как она безнравственна.
Предвзятое освещение событий есть ложь, так как оно есть умышленное освещение истины.
-------------------------------------------------------------------------
Предвзятое освещение событий заслуживает презрения.
Завершая изложение силлогистики, отметим, что с применением математических методов – явлением, характерным для развития логики на современном этапе, – в сферу логического анализа вовлечены новые классы рассуждений, а проблематика традиционной логики получила более строгое и точное выражение. Вместе с тем, раздел о силлогистике не выпал из поля зрения исследователей и педагогов. Тому есть две основные причины. Во-первых, выяснилось, что силлогистика представляет собой достаточно оригинальную логическую конструкцию и ряд ее достижений не поглощается современными дедуктивными системами. Во-вторых, относительная простота и доступность силлогистики по отношению к существующим формализмам делают ее удобным средством приобщения людей к элементарной логической культуре.
Силлогистика, которую по имени ее основателя часто называют аристотелевской, стала важной предпосылкой раздела современной формальной логики, который называется логикой предикатов. Логика предикатов строится на основе логики высказываний и использует все ее операции и союзы. Она отличается от логики высказываний прежде всего такими понятиями, как имя, предикат и квантор.
Термин «предикат» употребляется в логике предикатов в ином смысле, чем в силлогистике. Последняя считает предикатом то, что говорится о предмете мысли, или имя, фиксирующее некоторое свойство предмета мысли. В логике предикатов «предикат» – это то же, что и пропозициональная функция с одной или несколькими именными переменными. Переменная x путем подстановки может принимать значения из строго определенной области (в противном случае можно получить бессмысленные выражения). Эта область называется предметной областью соответствующего предиката.