- •8 Виды понятий 16
- •13 Определение 33
- •16 Виды суждений 37
- •34 Энтимемы 79
- •37 Аргументация 94
- •Раздел I. Предмет логики и ее значение
- •1Логика как наука и основные этапы ее развития
- •3Языковая форма выражения понятий
- •Раздел II. Понятие
- •2Понятие как форма мысли
- •4Объем и содержание понятия
- •5Виды признаков
- •6Закон обратного отношения между объемами и содержаниями понятий
- •7Приемы формирования понятий
- •8Виды понятий
- •9Отношения между понятиями
- •10Логические операции с понятиями
- •11Деление понятий
- •Правила деления
- •12Виды деления понятий
- •13Определение
- •14Виды определений
- •Правила определения.
- •Раздел III. Суждение
- •15Логическая структура суждения
- •16Виды суждений
- •17Простые суждения и их состав
- •18Категорические суждения
- •19Исключающие и выделяющие суждения
- •20Ограничения для суждений
- •21Семантика традиционной силлогистики
- •2. Предложение «Ни один s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •3. Предложение «Некоторый s есть р» истинно тогда и только тогда, когда s и р находятся в одном из следующих отношений:
- •4. Предложение «Некоторый s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •5. Предложение «а есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №1:
- •6. Предложение «а не есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №2:
- •22Распределенность терминов в суждениях
- •23Сложные суждения и их логическая структура
- •24Суждения ассерторические и модальные
- •25Язык логики высказываний
- •26Семантика логики высказываний
- •27Понятие логического следования
- •28Основные формально-логические законы
- •Раздел IV. Умозаключение
- •29Понятие умозаключения
- •30Дедуктивные умозаключения. Силлогистика
- •31Непосредственные умозаключения
- •Обращение
- •Превращение
- •Противопоставление
- •32Умозаключения по логическому квадрату
- •33Простой категорический силлогизм (Умозаключение из двух посылок)
- •Правила терминов:
- •Правила посылок:
- •34Энтимемы
- •35Умозаключения из сложных суждений
- •36Правдоподобные умозаключения
- •Раздел V. Теория доказательства
- •37Аргументация
- •38Состав доказательства
- •39Виды доказательства
- •40Ошибки доказательств
- •Приложение 1
- •Приложение 2
- •Приложение 3
Правила терминов:
По крайней мере один средний термин должен быть распределен,
Термин распределенный в заключении, должен быть распределен в посылке.
Правила посылок:
По крайней мере одна посылка должна быть утвердительной.
Если утвердительными являются обе посылки, то заключение должно быть утвердительным высказыванием.
Если имеется отрицательная посылка, то заключение должно быть отрицательным высказыванием.
Эти правила позволяют при их использовании быстро и эффективно решать вопрос о правильности или неправильности модусов. Так, приводившийся пример модуса оае I фигуры нарушает условие (1) и (2) для терминов, поэтому не является правильным модусом.
Иногда для отдельных фигур указывают специальные их свойства, которые выполняются для всех правильных модусов этих фигур. Однако они не являются критериями правильности. Эти свойства таковы:
по I фигуре:
большая посылка является общим суждением в любом правильном модусе;
меньшая посылка является утвердительным суждением в любом правильном модусе.
по II фигуре:
большая посылка – общее суждение;
одна из посылок – отрицательное суждение.
по III фигуре:
меньшая посылка – утвердительное суждение;
заключение – частное суждение.
В любом правильном модусе по I фигуре большая посылка – общее высказывание, а меньшая – утвердительная; в любом правильном модусе по II фигуре большая посылка – общее высказывание, одна из посылок отрицательна; в любом правильном модусе по III фигуре меньшая посылка – утвердительное высказывание, а заключение – частное. Еще раз подчеркнем, что эти свойства не являются критериям правильности, так как существует большое количество неправильных модусов, которые обладают указанными свойствами.
34Энтимемы
Значение силлогистики состоит прежде всего в том, что исследуемые здесь формы рассуждений широко используются в повседневной практике, являются важным элементом построения аргументации в ходе различного рода дискуссий. Однако при практическом осуществлении некоторого аргументационного процесса, в ходе полемики обычно не пользуются развернутой (полной) формой силлогизма, когда точно указываются все аргументы в пользу какого-либо утверждения и затем скрупулезно демонстрируется, что данное утверждение является логическим следствием принятых аргументов. Энтимема (от греческого «энтиме» – «в уме») – это сокращенная форма рассуждения, с пропуском некоторых посылок или заключения. Энтимемы делятся на корректные и некорректные.
В силлогистике энтимема считается корректной, если:
1) она может быть восстановлена до правильного модуса категорического силлогизма,
2) все посылки в восстановленном правильном модусе окажутся истинными утверждениями. Последнее требование вытекает из теории аргументации, которая является одной из важнейших составных частей логической прагматики. Согласно этой теории, аргументация считается корректной только при истинности аргументов.
Проверка энтимемы «Медь – металл, так как медь – проводник»
на корректность:
1) Прежде всего, надо установить, что пропущено в аргументации: заключение или посылка (и какая посылка). Для этого в энтимеме надо найти формальные показатели наличия следования, т.е. слова и словосочетания: «отсюда следует», «поэтому», «потому что», «ибо», «так как» и другие. Рассматривая с этой точки зрения нашу энтимему, устанавливаем, что некто пытается обосновать положение «медь – металл» ссылкой на то, что «медь – проводник». Это сразу же указывает на то, что высказывание «Медь – металл» – это заключение, где термин «медь» – меньший, а термин «металл» – больший термины. Но тогда предложение «Медь – проводник» – это меньшая посылка, где «проводник» – средний термин. Итак, зафиксируем, что нам известно:
Исходя из этой информации, теперь можно попытаться восстановить полный модус следующим образом: либо средний термин (М) поставить в большей посылке на место субъекта и идти к модусу I фигуры, либо средний термин поставить в большей посылке на место предиката и восстанавливать энтимему до модуса II фигуры, то есть
Но во II фигуре нет правильных модусов, имеющих в заключении высказывание типа а. Поэтому эта возможность отпадает и остается только первый вариант. Рассматривая этот случай, приходим к выводу, что большая посылка должна быть общеутвердительным высказыванием. Итак:
Это модус Barbara I фигуры. Рассуждение, содержащееся в энтимеме, восстановлено до правильного силлогизма. Однако энтимему нельзя признать удовлетворительной, так как большая посылка в ней является ложной, а потому данную аргументацию нельзя признать корректной.
Рассмотрим следующий пример энтимемы: «Всякое преступление должно быть наказуемо, значит, и всякое воровство преступление». Применяя к данной энтимеме указанную выше процедуру, приходим к выводу, что высказывание «Всякое воровство – преступление» является заключением аргументации, то есть тезисом, который некто хочет обосновать, а в качестве обосновывающего аргумента выдвигается положение: «Всякое преступление должно быть наказуемо». Из этого анализа вытекает, что меньшим термином (субъектом заключения) будет термин «воровство», а большим термином (предикатом заключения) – термин «преступление». В таком случае термин «должно быть наказуемо» является средним термином, а приведенный аргумент – это большая посылка. Зафиксируем теперь то, что нам известно:
1. Всякое преступление должно быть наказуемо (а)
2. __________________________________________
3. Всякое воровство – преступление (а)
или то же самое в форме недостроенной фигуры силлогизма:
Продолжая действовать далее, мы должны теперь попытаться восстановить энтимему до полного правильного модуса силлогизма одной из фигур. Очевидно, что термины S и М можно расположить в меньшей посылке только двумя способами: когда первое расположение среднего термина даст нам некоторый модус по II фигуре, а второе его расположение даст модус по IV фигуре. Но и во II, и в IV фигурах отсутствуют правильные модусы, у которых заключением было бы высказывание типа а. Таким образом, данную энтимему нельзя в принципе восстановить до правильного силлогизма, а потому она является некорректной. Воровство, конечно же, преступление, но обосновывать этот тезис следует иными аргументами.
