- •1 Введение в логику
- •1.1 Что такое логика и зачем её надо изучать?
- •1.1.1 Структура познания и характеристика его чувственной ступени
- •1.1.2 Абстрактное мышление и его назначение
- •1.2 Когда и почему возникла логика и что она собою представляет?
- •1.2.1 Исторические предпосылки и условия возникновения ло-
- •1.2.2 Что представляет собою логика?
- •1.3 Предмет и назначение логики
- •1.3.1 Предмет логики или то, чем она интересуется и что изучает
- •1.3.2 Назначение логики, или что из неё можно почерпнуть каждому из нас, а чего ждать от неё нельзя?
- •Контрольные вопросы к модулю 1 введение в логику
- •2 Понятие. Виды понятий. Отношения между понятиями
- •2.1 Общая характеристика понятия
- •2.1.1 Что такое «понятие»?
- •2.1.2 Логические приёмы образования понятий
- •2.1.3 Основные функции понятий
- •2.1.4 Понятие и слово
- •2.2 Содержание и объём понятия
- •2.2.1 Содержание понятия
- •2.2.2 Объём понятия
- •2.3 Виды понятий
- •2.3.1 Виды понятий по наличию признаков (положительные и отрицательные)
- •2.3.2 Виды понятий по числу элементов объёма
- •2.3.3 Виды понятий по характеру элементов объёма
- •2.4 Отношения между понятиями
- •2.4.1 Виды отношений совместимости понятий
- •2.4.2 Виды отношений несовместимости понятий
- •Контрольные вопросы к модулю 2 понятие
- •3 Понятие.
- •3.1 Обобщение и ограничение понятий
- •3.2 Деление понятий. Правила и ошибки деления
- •3.3 Определение понятий
- •3.4 Правила и ошибки определения понятий
- •Контрольные вопросы к модулю 3
- •4 Суждения
- •4.1 Суждение как форма мышления
- •4.2 Виды суждений
- •4.2.1 Классификация простых суждений по характеру преди-
- •4.2.2 Классификация суждений по характеру связки
- •4.2.3 Классификация суждений по характеру субъекта
- •4.3 Распределённость терминов суждения и некоторые условия истинности основных простых категорических суждений
- •Общеутвердительные суждения (а)
- •Частноутвердительные суждения (I)
- •Частноотрицательные суждения (о)
- •4.4 Понятие модальности и виды суждений по модальности
- •4.4.1 Аксиологическая модальность
- •4.4.2 Деонтическая модальность суждений
- •4.4.3 Эпистемическая модальность
- •4.4.4 Алетическая модальность
- •Контрольные вопросы к модулю 4 - суждение
- •5 Сложные суждения
- •5.1 Как строятся сложные суждения?
- •5.2 Виды сложных суждений
- •Конъюнктивные суждения
- •5.2.2 Дизъюнктивные суждения
- •5.2.3 Импликативные суждения
- •5.2.4 Эквивалентные суждения
- •5.2.5 Отрицание суждений
- •5.3 Некоторые условия истинности сложных суждений. Таблицы истинности
- •1) «Идёт дождь, но нельзя сказать, что жарко».
- •2) «Картины Рембрандта известны каждому художнику».
- •3) «Подальше положишь (а), поближе возьмёшь (в)».
- •5.4 Логические отношения между суждениями
- •5.4.1 Совместимые суждения
- •5.4.2 Несовместимые суждения
- •5.5 Законы логики
- •5.5.1 Закон тождества
- •5.5.2 Закон запрета противоречия (закон непротиворечивости)
- •5.5.3 Закон исключённого третьего
- •5.5.4 Закон достаточного основания
- •5.5.5 Несколько слов о нарушениях законов логики
- •Контрольные вопросы к модулю 5 сложные суждения
- •Тесты для самоконтроля
- •6.1 Умозаключение и его виды
- •Классификация умозаключений по направленности логического следования
- •6.2 Индуктивные умозаключения
- •6.2.1 Виды индуктивных умозаключений
- •6.2.2 Индуктивные методы установления причинных связей
- •6.3 Традуктивные умозаключения
- •6.4 Непосредственные умозаключения
- •6.4.2 Обращение
- •1) Общеутвердительные суждения (а) обращаются в частно-
- •2) Общеотрицательные суждения (е) обращаются в общеот-
- •4) Частноотрицательное суждение не обращается.
- •6.4.3 Противопоставление предикату
- •3) Частноутвердительное суждение посредством противопос-
- •6.4.4 Умозаключения по логическому квадрату
- •Тесты для самоконтроля
- •7 Опосредованные умозаключения
- •7.1 Простой категорический силлогизм
- •7.1.1 Структура простого категорического силлогизма
- •7.2 Способы проверки правильности силлогизмов
- •7.2.1 Построение совмещённых круговых схем
- •7.2.2 Поиск и предъявление контрпримера
- •7.2.3 Проверка на соответствие общим правилам силлогизма
- •7.2.4 Проверка на соответствие правилам фигур
- •7.3 Дедуктивные умозаключения из сложных суждений
- •7.3.1 Условные умозаключения
- •1) От утверждения основания к утверждению следствия.
- •2) От отрицания следствия к отрицанию основания.
- •3) От отрицания основания к отрицанию следствия:
- •4) От утверждения следствия к утверждению основания:
- •7.3.2 Разделительно-категорические умозаключения(рку)
- •1) Разделительное суждение должно быть строго раздели- тельным, то есть мыслимые варианты (дизъюнкты) должны исключать друг друга.
- •2) Строго разделительное суждение должно быть исчерпы-
- •3) В строго разделительном суждении не должно быть «лиш-
- •7.3.3 Разделительно - условные умозаключения
- •7.4 Энтимема
- •Контрольные вопросы к модулю 7 опосредованные умозаключения
- •8 Доказательство. Основы теории спора
- •8.1 Доказательство
- •8.1.1 Что представляет собою доказательство?
- •8.1.2 Виды доказательства
- •8.1.3 Правила доказательного рассуждения
- •1) Тезис должен нуждаться в доказательстве.
- •3) Тезис должен быть строго определённым, ясным, чётким.
- •8.1.4 Какие ошибки возможны при нарушении названных пра-
- •8.2 Спор
- •8.2.1. Что представляет собою спор?
- •4) Спор ради спора или ради победы в интеллектуально - эмо-
- •8.2.3 Условия грамотно построенного спора
- •8.2.4 Лояльные приёмы спора
- •1) Инициатива.
- •2) Откладывать ответ.
- •3) Манера уверенно держаться.
- •8.2.5 Нелояльные приёмы спора
- •8.2.6. Как защититься от уловок?
- •Контрольные вопросы к модулю 8 доказательство.
- •Заключение
- •Итоговые контрольные вопросы
- •Приложение б
- •Приложение в Методические рекомендации к реферативной работе
- •Темы рефератов:
- •Тема 1. Логика Аристотеля
- •Тема 2. Теория аргументации: цели, проблемы, средства
- •Тема 3. Спор. Основы теории и практики спора
- •Тема 4. Основные законы правильного мышления и их обоснование
- •1. Ивин а.А. По законам логики / а.А. Ивин – м.: Мол. Гвардия,
- •2. Кумпф ф. Диалектическая логика / ф. Кумпф, з Оруджев – м.:
- •Тема 5. Логические ошибки и способы их устранения
- •Тема 6. Основные правила логического мышления и их обоснование
- •1. Гетманова а.Д. Логика. - м.: Изд-во «Новая школа», 1995. - 416 с.
- •Тема 7. Логические и внелогические принципы и правила полемики
- •Содержание
4.2.2 Классификация суждений по характеру связки
ПО ХАРАКТЕРУ СВЯЗКИ ОЦЕНИВАЕТСЯ КАЧЕСТВО СУЖ-
ДЕНИЯ.
По качеству все суждения делятся на утвердительные и отрица-
тельные.
Утвердительными называются суждения, говорящие о принад-
лежности предиката субъекту суждения: S есть Р
«Ягуары - хищники».
«Народный учитель является объектом особой заботы государст-
ва».
«Предприниматели - честные налогоплательщики».
Отрицательные - суждения, раскрывающие отсутствие той или иной связи между субъектом и предикатом.
Достигается это с помощью отрицательной связки «НЕ ЕСТЬ»
или соответствующими ей словами, а также просто частицей «НЕ».
Общая формула отрицательного суждения: S не есть Р.
«Киты не рыбы».
Запомните: ЧАСТИЦА «НЕ» В ОТРИЦАТЕЛЬНЫХ СУЖДЕ- НИЯХ СТОИТ (ИЛИ ПОДРАЗУМЕВАЕТСЯ) НЕПРЕМЕННО ПЕ- РЕД СВЯЗКОЙ. То есть предложения, в которых «НЕ» стоит перед сказуемым, чем бы оно не выражалось, содержат в себе отрицатель- ные суждения.
Возможны две разновидности утвердительных суждений:
а) с предикатом, выраженным положительным понятием
«Люди (S) разумны (Р)»;
«Многие законы (S) действуют (Р)»;
б) с предикатом, выраженным отрицательным понятием
80
«Судьи (S) должны быть независимы (Р)»;
«Некоторые законы (S) бездействуют (Р)».
Возможны две разновидности отрицательных суждений:
а) с положительным предикатом
«Природа не терпит лжи» (Т. Карлейль);
«Мир не кончается у дверей дома» (М. Метерлинк);
б) с отрицательным предикатом
«Человек немыслим вне общества» (Л.Н. Толстой);
«Нет ничего неподвижного в мире» (Овидий).
Деление суждений на утвердительные и отрицательные в извест- ной степени относительно. Говоря, что «человек не мыслим вне об- щества», Л.Н. Толстой утверждает, по сути, что «человек мыслим только в обществе». А утверждая, что «нет ничего неподвижного в мире», мы придерживаемся, без сомнения, положения, что «всё в мире изменяется».
Любое утверждение содержит в себе в скрытом виде отрицание и наоборот. Об этом говорит и афоризм древних: «determinatio est ne- gatio».
4.2.3 Классификация суждений по характеру субъекта
ПО ХАРАКТЕРУ СУБЪЕКТА ОЦЕНИВАЕТСЯ КОЛИЧЕСТВО СУЖДЕНИЯ.
Количество суждения - важнейшая логическая характеристи- ка, определяющая, в каком объёме рассматривается субъект суж- дения.
Не зная количества суждения, нельзя ни опровергать исходное
суждение, ни доказывать его, ибо в зависимости от количества суж-
дения, изменяются способы доказательства и опровержения.
Например: «Человек имеет преступные наклонности» (S есть Р).
Можно ли согласиться или опровергнуть данное утверждение? Наверно, однозначно сказать нельзя. Логичное мышление должно быть строгим. А мы не знаем, в полном объёме взято в приведённом случае понятие «человек». Ведь совершенно разный смысл будут иметь следующие выражения: «Все люди имеют преступные на- клонности» и «Некоторые люди имеют преступные наклонности».
Все суждения по характеру субъекта (S) делятся на общие и ча-
стные.
Общие - суждения, в которых что-либо утверждается или от-
рицается обо всей группе предметов, и притом в разделительном
81
смысле (необходимо вспомнить о собирательном и разделительном значениях понятий).
Общие - это суждения, в которых предикат высказывается обо всём объёме субъекта.
В русском языке такие суждения выражаются словами «ВСЕ»,
«ВСЯКИЙ», «КАЖДЫЙ», «ЛЮБОЙ» (если суждения утвердитель- ные) или «НИ ОДИН», «НИКТО», «НИКАКОЙ» и другими (в от- рицательных суждениях).
В символической логике такие слова называются кванторами (от латинского: quantum - сколько). В рассматриваемом случае это кван-
тор общности. Для его обозначения используется символ ∀ (первая
перевёрнутая буква от английского all или от немецкого alle - «все»).
В традиционной логике общие суждения выражаются формулой
«Все S есть Р» («Ни одно S не есть Р»).
Примеры:
«Все люди ошибаются, но великие люди сознаются в ошибках» (Б. Фонтенель);
«Все человеческие беды происходят оттого, что мы наслаждаемся тем, чем следует пользоваться, и пользуемся тем, чем следует на- слаждаться» (Г. Честертон);
«Ни один человек не счастлив, пока он не считает себя счастли-
вым» (Марк Аврелий);
«Сравнение - не доказательство».
Обратите внимание на то, что перед субъектом может и не быть слова, указывающего на то, что он берётся в полном объёме.
Выделяющие - суждения, в которых и субъект, и предикат бе- рутся в полном объёме и их объёмы совпадают: «Только люди (S) - разумные существа на Земле (Р)». Смотрите верхний рисунок.
Невыделяющие - суждения, в которых субъект берётся в пол- ном объёме, а предикат - только в его части: «Всякая страна (S) обязана своим неповторимым обликом народу (Р)». Или, если по-
82
проще: «Все люди (S) смертны (Р)». Эти суждения изображены на нижнем рисунке.
В выделяющих суждениях субъект и объект можно поменять местами - ничего не изменится: «Разумные существа на Земле (S) - только люди (Р)».
В невыделяющих суждениях при перемене S и Р местами меняет- ся количество суждения: «Некоторые из смертных (S) являются людьми (Р)».
Частные - суждения, в которых что-либо высказывается о части какой-то группы предметов.
Частные - суждения, в которых предикат высказывается о не-
которых элементах объёма субъекта.
Пример:
«Некоторыми студентами логика постигается очень легко».
В русском языке частные суждения выражаются словами «НЕ- КОТОРЫЕ», «НЕ ВСЕ», «ЧАСТЬ», «БОЛЬШИНСТВО», «ОТ- ДЕЛЬНЫЕ», «ПОЧТИ ВСЕГДА».
В современной логике они носят наименование «квантор сущест-
вования» и обозначаются символом ∃ (первая перевёрнутая буква от
английского exist или от немецкого existieren-«существовать»).
В традиционной логике принята формула: «Некоторые S есть (не есть) Р».
Примеры:
«Некоторые войны справедливы»;
«Большинство людей трудолюбивы».
Частные суждения могут быть определёнными («некоторые» в значении «только некоторые» - «некоторые люди красивы») и неоп- ределёнными («некоторые» в значении «по крайней мере некоторые, а может быть, и все» - «некоторые студенты имеют учебник по ло- гике»).
Качество и количество суждения тесно связаны друг с другом. Мы их рассмотрели по отдельности только в методических целях: для более простого изложения учебного материала. А теперь пора подвести и некоторый итог.
Мы будем в дальнейшем работать с Вами только с категориче- скими суждениями. А категорическими суждениями являются толь- ко те, у которых точно выявлено их количество и качество.
В логике большое значение придаётся объединённой классификации суждений по их количеству и качеству. Рассмотрим и изучим её.
83
Объединённая классификация простых категорических суждений
Если соединить качественную и количественную характеристику,
Утвердит.
Отрицат.
Общие
Частные
А
I
Е О
А - общеутвердительное - это суждение, общее по количеству (по характеру субъекта) и утвердительное по качеству (по харак- теру связки):
«Все S суть Р»
«Все адвокаты - юристы».
Е - общеотрицательное - это общее по количеству и отрица-
тельное по качеству суждение:
«Ни одно S не есть Р»
«Ни один студент не пропускает занятия по любимым предме-
там».
I - частноутвердительное - частное по количеству и утверди-
тельное по качеству суждение:
«Некоторые S суть Р»
«Некоторые треугольники - прямоугольные».
О - частноотрицательные - частные по характеру субъекта и отрицательные по характеру связки суждения:
«Некоторые S не суть Р»
«Некоторые приговоры суда не являются обвинительными».
Несколько слов об обозначениях.
Ещё в средневековье были изобретены буквенные обозначения этих четырёх видов суждений. Они происходят от названий гласных букв, входящих в латинские слова affirmo - «утверждаю» и nego -
«отрицаю».
Общеутвердительные суждения получили обозначение от первой гласной слова affirmo - А, частноутвердительные - от второй гласной буквы этого слова - I (по-русски - «И»); общеотрицательные - от первой гласной буквы слова nego - Е, частноотрицательные - от вто- рой - О.
Теперь встаёт вопрос? А для чего необходима такая сложная объ-
единённая классификация суждений?
Ответ: точное определение качества и количества категорических суждений позволяет корректнее сформулировать условия их истин- ности.
84
А это, как Вы помните, является одним из главных назначений логики.
Для определения условий истинности суждений возникает необ- ходимость прояснить ещё один вопрос: распределены или не рас- пределены термины суждения - субъект и предикат?