- •1. Ассоциативное и дискурсивное мышление.
- •2. Понятие о логической форме мышления.
- •3. Понятие о логическом законе.
- •4. Мышление и язык.
- •5. Отношения, изучаемые формальной логикой.
- •6. О пользе изучения логики.
- •2. Имена и понятия.
- •3. Содержание и объем имен
- •5. Виды имен
- •4. Денотат имени
- •6. Отношения между объемами имен
- •3. Определение должно быть четким, ясным, не допускающим двусмысленности.
- •1. Простое высказывание и его состав
- •2. Виды простых высказываний по качеству и количеству
- •3. Распределенность терминов в простых высказываниях
- •2. Виды простых высказываний по качеству и количеству
- •3. Распределенность терминов в простых высказываниях
- •§2. Высказывания отрицания. Закон двойного отрицания
- •§3. Соединительные (конъюнктивные) высказывания
- •4. Разделительные (дизъюнктивные) высказывания
- •§5. Условные высказывания
- •§1. Понятие об умозаключении
- •§2. Выводы из отношений между объемами двух имен (Непосредственные умозаключения)
- •§3. Выводы из отношений между объемами трех имен
- •1. Состав простого категорического силлогизма
- •2. Аксиома силлогизма и ее следствия
- •3.3. Обще правила простого силлогизма
- •3.4. Фигуры и модусы простого силлогизма
- •1. Меньшая посылка должна быть утвердительной.
- •2. Большая посылка должна быть общем.
- •1. Меньшая посылка должна быть утвердительной.
- •2. Заключение должно быть частным.
- •1. Если большая посылка утвердительная, то меньшая должна быть общей.
- •2. Если одна из посылок отрицательная, то большая должна быть общей.
- •3. Если меньшая посылка утвердительная, то заключение должно быть частным.
- •2.1. Условно-категоpические силлогизмы
- •2.2. Разделительно-категорический силлогизм и его модусы
- •2. Определения как аргументы доказательства.
- •3. Аксиомы и постулаты.
- •4.3Аконы науки и ранее доказанные теоремы как аргументы доказательства
- •Рекомендуемая (основная) литература:
- •2. Закон тождества
- •II практический раздел умк по учебной дисциплине «логика»
- •Примерный тематический план
- •Тема 1. Мышление как предмет логики
- •Тема 2. Логическая теория имен
- •Тема 3. Логическая теория высказываний
- •Тема 4. Дедуктивная логика
- •Тема 4. Дедуктивная логика
- •Тема 5. Логика правдоподобных рассуждений
- •Тема 6. Теория аргументации
- •3.1 Вопросы к зачету
- •3.2 Контрольные упражнения по учебной дисциплине «логика»
- •3.2.1 Контрольные упражнения по теме «Логическая теория имен»
- •III. Ограничение и обобщение
- •IV. Деление
- •V. Определение
- •3.2.2. Контрольные упражнения по теме «Логическая теория высказываний»
- •3.2.3. Контрольные упражнения к теме «Классическая дедуктивная логика»
- •Пояснительная записка
- •Примерный тематический план
- •Содержание учебного материала
- •Раздел I. Введение. Предмет и задачи логики
- •Предмет и задачи логики
- •Раздел II. Логическая теория имен
- •2. Логическая теория имен
- •Раздел III . Логическая теория высказываний
- •3.Логическая теория высказываний
- •Раздел IV. Классическая дедуктивная логика
- •4.Классическая дедуктивная логика
- •Раздел V. Логика правдоподобных рассуждений
- •5.Недедуктивные выводы
- •Раздел VI. Аргументация. Диалог
- •6. Теория аргументации
- •Информационно-методическая часть Основная литература:
- •Дополнительная литература:
- •Библиографический список Учебные пособия
- •Словари и справочники
- •Сборники задач и упражнений
- •4.2. Учебно-методическая карта дисциплины
- •4.3. Литература
- •Список рекомендуемой литературы2. По курсу формальной логики. Основная:
- •Дополнительная:
- •Сборники головоломок, книги по занимательной и нестандартной логике3:
- •I. Библиотеки электронных книг по логике.
- •II. Общие ресурсы, математическая логика.
- •III. Занимательные, развивающие задачи, головоломки.
- •IV. Форумы с обсуждением нестандартных логических задач, головоломок.
- •Введение
- •I. Виды понятий
- •III. Ограничение и обобщение
- •IV. Деление
- •V. Определение
- •I: Некоторые s суть р;
- •I: Многие (q) студенты (s-) суть (c) умеющие плавать (p-).
- •Умозаключение
- •Непосредственные умозаключения
- •1. Превращение
- •3. Противопоставление предикату
- •2. Обращение
- •4. Умозаключения по логическому квадрату.
- •I: Некоторые африканцы (s) суть краснеющие (р).
- •Правила терминов
- •2. Средний термин должен быть распределен хотя бы в одной из посылок.
- •Правила посылок
- •2. Если одна из посылок отрицательное суждение, то и заключение должно быть отрицательным.
- •4. Если одна из посылок частная, то и заключение должно быть частным.
- •Рекомендации для логического исследования простого категорического силлогизма
- •I: Некоторые мусульмане (м) суть трезвенники (р).
- •I: Некоторые арабы (s) суть трезвенники (р).
- •I: Некоторые мусульмане (м-) суть трезвенники (р-).
- •Рекомендуемая литература
- •Глава I
- •Глава II
- •Глава III
- •Глава IV
- •Глава V
- •Глава VI
- •Понятные
- •Глава VII
- •Глава VIII
- •Глава IX
- •Глава X
- •Глава XI
- •Глава XII
- •Глава XIII
- •1. Во всяком силлогизме должно быть не менее и не более трёх терминов.
- •2. Во всяком силлогизме должно быть не более и не менее трёх суждений.
- •4. Термины, не взятые в посылках во всём объёме, не могут быть и в заключении взяты во всём объёме.
- •7. Из двух частных суждений нельзя сделать никакого заключения.
- •8. Если одна из посылок есть суждение частное, то и заключение также должно быть частным.
- •Глава XIV
- •Глава XV
- •Глава XVI
- •3. Простой модус tollens, или деструктивный:
- •4. Сложный модус tollens, или деструктивный.
- •Глава XVII сокращённые и сложные силлогизмы
- •Аристотелевский сорит.
- •Глава XIX
- •Глава XX
- •Глава XXI
- •Глава XXII
- •Глава XXIV о приблизительных обобщениях и об аналогии
- •Глава XXV
- •Глава XXVI
- •Глава 1
- •Глава 2
- •Глава 3
- •Глава 4
- •Глава 5
- •Глава 6
- •Глава 7
- •2. По количеству участников
- •3. По наличию или отсутствию слушателей
- •4. По другим основаниям
- •Глава 8
- •1. Инициатива
- •2. Бремя доказывания
- •3. Концентрация
- •4. Неожиданный резерв
- •5. Обращение аргументов противника против него самого
- •6. Отложенный ответ
- •8. Манера держаться
- •9. Последнее слово
- •Глава 9
- •2. Использование эмоционально окрашенных понятий
- •3. Поспешное обобщение
- •4. Пари
- •5. Чрезмерно быстрая речь
- •6. Диверсия
- •7. Затягивание спора
- •8. Отвлекающие вопросы
- •9. Замещение
- •10. Срывание спора
- •11. Предвзятая интерпретация (двойная бухгалтерия)
- •12. Уловка артиста
- •13. Мимика
- •14. Интонация
- •15. Заноза
- •16. Оскорбления
- •17. Тормоз (улитка, глухая оборона)
- •6. Основная литература.
Глава VIII
ДЕЛЕНИЕ СУЖДЕНИЙ
Деление суждений. В логике принято делить суждения с четырёх точек зрения: 1) количества, 2) качества, 3) отношениями 4) модальности.
Количество суждения. Когда суждения рассматриваются с точки зрения количества, то обращается внимание на то, в каком объёме берётся подлежащее: во всём объёме или в части, т. е., другими словами, справедливо ли то, что утверждается сказуемым по отношению к подлежащему, взятому во всём объёме, или оно справедливо только по отношению к подлежащему, взятому в части объёма. Если я говорю «все растения живут», то в этом суждении предикат «живут» справедлив относительно всех растений, относительно всего класса растений, относительно понятия «растения», взятого во всём объёме. Если я скажу «некоторые растения суть хвойные», то предикат «хвойные» справедлив только относительно части объема растения. Первые суждения называются общими, а вторые — частными.
Формула общего суждения:
Все S суть P
Формула частного суждения:
Некоторые S суть P
От частных суждений нужно отличать так называемые единичные, или индивидуальные, суждения. Например, суждение «Гутенберг — изобретатель книгопечатания» есть единичное суждение. Индивидуальные суждения обыкновенно относят к общим суждениям, так как в них предикат относится к субъекту, взятому во всём объёме, или, другими словами, в них предикат действителен по отношению ко всему, объёму субъекта. То же самое следует сказать относительно всяких суждений, в которых подлежащее выражается понятием единичной вещи. Возьмём в пример суждение: «самообладание есть добродетель». Очевидно, в этом суждении предполагается, что дело идёт о всяком самообладании.
Качество суждения. С точки зрения качества суждения делятся на утвердительные и отрицательные. Формулы их таковы:
S есть Р.
S не есть Р.
Если мы предикат придаём субъекту, то это будет утвердительное суждение; если мы предикат отнимаем от субъекта, то суждение будет отрицательное. Например, суждение «люди пристрастны к самим себе» будет суждением утвердительным, потому что известный предикат мы приписываем субъекту (признаём входящим в содержание субъекта), а, например, суждение «люди не поддаются лести» будет отрицательным суждением, потому что предикат «поддаваться лести» мы отнимаем от людей, т. е. признаём не входящим в содержание субъекта «люди». Следовательно, с точки зрения качества мы определяем, придаётся ли предикат субъекту или отнимается от него.
Мы можем классы, получаемые от разделения суждений с точки зрения количества, соединить с классами, получаемыми от разделения суждений с точки зрения качества, и тогда мы получим суждения обще-утвердительные и частно-утвердительные, обще-отрицательные и частно-отрицательные.
Формулы этих суждений будут следующие: .
1. Обще-утвердительное суждение: «все S суть Р». Например, «все люди боятся смерти».
2. Частно-утвердительное суждение: «некоторые S суть Р». Например, «некоторые люди имеют чёрный цвет кожи».
3. Обще-отрицательное суждение: «ни одно S не есть Р». Например, «ни один человек не всеведущ».
4. Частно-отрицательное суждение: «некоторые S не суть Р». Например, «некоторые люди не имеют чёрного цвета кожи».
Вот все четыре вида суждений. Для краткости их обозначения в логике принято употреблять следующие символы. Для обще-утвердительного суждения берут символ А, первую гласную глагола affirmo==утверждаю; для частно-утвердительного — I, вторую гласную того же глагола; для обще-отрицательного — Е, первую гласную глагола nego — отрицаю; для частно-отрицательного — О, вторую гласную того же глагола.
Таким образом, символы суждений мы можем обозначить при помощи следующей таблицы:
А Все S суть Р.
I Некоторые S суть Р.
Е Ни одно S не есть Р.
О Некоторые S не суть Р.
Отношение между подлежащим и сказуемым. Суждения различаются также по отношению, какое устанавливается между субъектом и предикатом. С этой точки зрения суждения разделяются на категорические, условные и разделительные. Если я говорю «все люди смертны», то здесь я беру отношение между субъектом и предикатом безусловно. Это будет категорическое суждение. Категорическое суждение есть такое, в котором сказуемое утверждается или отрицается относительно субъекта без какого-либо ограничения во времени, в пространстве или вообще в каких-либо обстоятельствах. Когда я ограничиваю отношение каким-либо условием, тогда получается условное суждение, а когда в суждении оставляется место неопределенности, тогда получается разделительное суждение.
Категорические суждения. Схема категорического суждения:
S есть Р.
Пример: «земля вращается вокруг солнца». Условные, или гипотетические, суждения". Схема условных суждений:
Если А есть S, to С есть D.
Пример условного суждения: «если дождь пойдёт, то почва будет мокрая». Здесь во втором суждении сказуемое может быть приписано подлежащему при условии допущения истинности первого суждения. Другой пример условного суждения: «если луна становится между солнцем и землёю, то солнце затмевается». Из этих примеров можно видеть, что условие, которое поставляется в одном из суждений, делает отношение между подлежащим и сказуемым другого суждения не категорическим, а условным. Первое суждение принято называть основанием, а второе — следствием. В условных суждениях, таким образом, мы имеем два суждения, которые находятся друг к другу в отношении основания к следствию. Суждение, которое содержит условие, называется также предыдущим (antecedens); суждение, которое содержит следствие, называется последующим (consequens).
Разделительные суждения. Разделительные суждения имеют, двоякий вид:
1) S есть или А, или В, или С.
2) Или А, или В, или С есть Р
Разница между этими двумя видами разделительных суждений, как это легко видеть, сводится к следующему. В первом случае возможны два, три или больше сказуемых при одном подлежащем, во втором возможны два, три или больше подлежащих при одном сказуемом. Эта возможность нескольких подлежащих при одном сказуемом или нескольких сказуемых при одном подлежащем делает суждение неопределённым. Возьмём суждение «треугольник есть или остроугольный, или тупоугольный, или прямоугольный»; в этом суждении одно подлежащее и три сказуемых.
Придавая подлежащему одно какое-нибудь сказуемое, мы исключаем все остальные. Вследствие этого если одно суждение истинно, то остальные должны быть ложны. Если я говорю, что треугольник есть прямоугольный, то это значит, что он не остроугольный и не тупоугольный. Примером второго вида разделительных суждений может служить следующее суждение: «или Бэкон, или Шекспир, или человек, равный им по таланту, написал произведения, приписываемые Шекспиру».
Условия правильности разделительных суждений те же самые, что и условия правильности деления; они состоят в том, чтобы члены деления были приведены полностью и чтобы члены деления исключали друг друга. Против этого правила погрешают, например, такие суждения:
«треугольники бывают или прямоугольные, или тупоугольные»;
«человек бывает или образованный, или бедный» (какие ошибки?).
Условно-разделительные суждения. Из соединения условных суждений с разделительными образуются условно разделительные суждения. Схема их:
Если А есть 8, то С есть или D, или Е, или F,
или в более общей форме эту схему можно изобразить так:
Если есть A, то есть или а, или b, или с,
например, «если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии».
Модальность суждений. Остаётся рассмотреть четвёртое отношение между суждениями, именно с точки зрения модальности. С этой точки зрения рассматривается, с какой квалификацией, т. е. каким образом (cummodo), в суждении сказуемое приписывается подлежащему. Таких квалификаций можно признать три, а отсюда получается деление суждений по модальности на три разряда:
1. Проблематические—«S, вероятно, есть Р». «Илиада есть, вероятно, продукт коллективного творчества». В проблематическом суждении соединение подлежащего со сказуемым и разъединение подлежащего от сказуемого выставляется просто как известное предположение.
2. Ассерторические — «S есть Р». «Киев стоит на Днепре», «вода состоит из водорода и кислорода».
3. Аподиктические — «S необходимо должно быть Р». Например, «две прямые линии не могут замыкать пространства».
Анализируя приведённые примеры, мы видим, что проблематическое суждение характеризуется некоторым ограничением связи между подлежащим и сказуемым (утверждается вероятность, возможность); об ассерторическом суждении связь подлежащего со сказуемым утверждается решительно, без колебания (утверждается действительность какого-либо факта); в аподиктическом суждении утверждение получает характер необходимости.
На первый взгляд различие между суждениями ассерторическими и аподиктическими не совсем ясно. Кажется, что оба они обладают одинаковой достоверностью и что поэтому между ними нет различия; на самом же деле между ними различие очень большое. Суждения ассерторические утверждают нечто действительно существующее, в этом смысле нечто вполне достоверное, но всегда можно мыслить и обратное тому, что утверждается в ассерторическом суждении; что же касается аподиктических суждений, то никоим образом нельзя мыслить противоречащих им суждений. Например, если я возьму ассерторическое суждение «Киев стоит на Днепре», я могу мыслить Киев стоящим не на Днепре, а, например, на Неве; если же я возьму аподиктическое суждение «две прямые линии не могут замыкать пространства», то я не могу мыслить иначе, я не могу мыслить, чтобы две прямые замыкали пространство. Аподиктическое суждение имеет характер необходимый. Другой пример аподиктических суждений: «если две величины равняются одной и той же третьей, то они равны между собой».
Эти три признака — возможность, действительность, необходимость — и характеризуют собой три вида указанных суждений, т. е. если в суждении выражается или возможность, или действительность, или необходимость, то получается или суждение проблематическое, или ассерторическое, или аподиктическое.
Но следует заметить, что некоторые логики отношение между аподиктическими и ассерторическими суждениями понимают несколько иначе. По их мнению, ассерторические суждения — это такие, в истинности которых мы убеждены, но только не знаем причины, почему так должно быть, как мы утверждаем. В аподиктических суждениях эта причина нам известна. Например, суждение «Юпитер имеет девять спутников» — ассерторическое. Суждение «скорость полёта ружейной пули должна постепенно уменьшаться» (именно вследствие сопротивления воздуха)— аподиктическое.
Вопросы для повторения
Как делятся суждения по количеству и по качеству? На какие четыре класса делятся суждения и как они обозначаются? Как различаются суждения по отношению между подлежащим и сказуемым? Какова схема суждений категорических, условных, разделительных? Как делятся суждения по модальности и какое между ними различие? Каково отношение между ассерторическими и аподиктическими суждениями?.
