- •Содержание
- •Введение Предмет логики и ее значение. История логики как науки.
- •Глава I. Понятие
- •§ 1. Понятие как форма мышления
- •Понятие – это форма мышления, в которой отражаются существенные признаки, связи и отношения предметов.
- •§ 2. Виды понятий
- •§ 3. Содержание и объем понятия
- •Согласно закону обратного отношения между содержанием и объемом понятия с увеличением содержания уменьшается объем понятия, и наоборот, чем шире объем понятия, тем ýже его содержание.
- •§ 4. Отношения между понятиями
- •Несравнимые
- •§ 5. Ограничение и обобщение понятий
- •Обобщение понятия – это переход от некоторого понятия к понятию с большим объемом, но меньшим содержанием.
- •Ограничение понятия – это переход от некоторого понятия к понятию с меньшим объемом, но большим содержанием.
- •§ 6. Определение понятий
- •§ 7. Деление понятий Деление понятия – это логическая операция, заключающаяся в том, что предметы, отображенные в исходном понятии (роде), делятся на виды.
- •Глава II. Суждение
- •§ 1. Общая характеристика суждения
- •Суждение – это форма мышления, в которой что-либо утверждается или отрицается о существовании предметов и явлений, их свойств, связей и отношений между ними.
- •§ 2. Простые суждения
- •Простое суждение – это суждение, состоящее из одного субъекта и одного предиката.
- •Сложное суждение – это суждение, состоящее из нескольких субъектов и предикатов.
- •Виды простых суждений
- •Категорические суждения и их виды (деление по количеству и качеству)
- •Объединенная классификация простых категорических суждений по количеству и качеству
- •Распределенность терминов в категорических суждениях
- •Распределенный термин – это термин, который мыслится в полном объеме, то есть объем которого полностью включается в объем другого или полностью из него исключается.
- •Нераспределеный термин – это термин, объем которого только частично входит в объем другого термина или частично исключается из объема другого термина.
- •§ 3. Отношения между суждениями по значениям истинности
- •§ 4. Модальность суждений
- •§ 5. Сложные суждения и его виды. Исчисление высказываний
- •Глава III. Умозаключение
- •§ 1. Общая характеристика умозаключения
- •Умозаключение – это форма логического мышления, в которой из нескольких суждений на основании определенных правил получается новое суждение, определенным образом связанное с исходными.
- •§ 2. Непосредственные умозаключения
- •Превращение суждения – логическая операция, в результате которой из данного суждения получается равнозначное ему, но противоположное по качеству.
- •Противопоставление предикату – непосредственное умозаключение, в ходе которого суждение вначале превращается, а затем обращается.
- •4. Из суждения і частноутвердительного необходимые выводы не следуют.
- •§ 3. Простой категорический силлогизм
- •Простой категорический силлогизм – это вид дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которых s и р связаны средним термином.
- •Модусы категорического силлогизма
- •Правила категорического силлогизма
- •Сокращенный категорический силлогизм (энтимема)
- •Энтимема – это сокращенный силлогизм, в котором пропущена одна из посылок или заключение.
- •§ 4. Индуктивные умозаключения
- •Виды и формы индукции
- •Полная индукция – это вид, индуктивного умозаключения, в процессе которого делается общий вывод обо всем классе каких-либо предметов на основании знания обо всех без исключения предметах этого класса.
- •Неполная индукция – это вид индуктивного умозаключения, в процессе которого делается вывод обо всем классе предметов на основании исследования лишь некоторых однородных предметов данного класса.
- •§ 5. Индуктивные методы исследования причинных связей
- •§ 6. Умозаключение по аналогии
- •Аналогия – это умозаключение о принадлежности предмету определенного признака на основе сходства в существенных признаках с другим предметом.
- •§ 7. Гипотеза
- •Виды гипотез
- •§ 8. Умозаключения из сложных суждений
- •1. Условные умозаключения Условное умозаключение – это такое дедуктивное умозаключение, в котором одна или несколько посылок – условные суждения.
- •2. Разделительные умозаключения Разделительное умозаключение – это такое дедуктивное умозаключение, в котором одна или несколько посылок – разделительные суждения.
- •4. Сложные и сложносокращенные силлогизмы
- •Глава IV. Основные законы логики
- •§ 1. Общая характеристика логических законов
- •§ 2. Закон тождества
- •§ 3. Закон противоречия
- •§ 4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •Глава V. Основы теории аргументации
- •§ 1. Доказательство
- •Доказательство – это совокупность логических приемов обоснования истинности какой-либо мысли с помощью других мыслей.
- •§ 2. Виды доказательства
- •§ 3. Опровержение
- •Опровержение – это логическая операция установления ложности или необоснованности ранее выдвинутого тезиса.
- •§ 4. Правила доказательства и ошибки в них
- •§ 5. Понятие о софизмах и логических парадоксах Понятие о софизмах
- •Паралогизмом – это непреднамеренная ошибка, допущенная человеком в мышлении.
- •Софизм – это преднамеренная ошибка с целью запутать своего противника и выдать ложное суждение за истинное.
- •Понятие о логических парадоксах Парадокс – это рассуждение, доказывающее как истинность, так и ложность некоторого суждения или (иными словами) доказывающее как это суждение, так и его отрицание.
- •Словарь основных понятий и терминов
- •Литература:
- •Темы рефератов по логике
- •Вопросы к зачету по логике
- •Виды понятий.
- •Отрицательные
§ 5. Понятие о софизмах и логических парадоксах Понятие о софизмах
В процессе аргументации и критики могут совершаться ошибки двух видов: преднамеренные и непреднамеренные.
Паралогизмом – это непреднамеренная ошибка, допущенная человеком в мышлении.
Паралогизмы допускают многие люди. Однако существуют и преднамеренные ошибки, называемые софизмами.
Софизм – это преднамеренная ошибка с целью запутать своего противника и выдать ложное суждение за истинное.
Софизм является особым приемом интеллектуального мошенничества, попыткой выдать ложь за истину, преднамеренным нарушением логических правил с целью ввести в заблуждение оппонента и слушателей либо создать видимость победы в дискуссии. Софистами называют людей, которые ложь пытаются выдать за истину путем различных ухищрений.
Обычно софизм обосновывает какую-нибудь заведомую нелепость, абсурд. Примером может служить ставший знаменитым в древности софизм «Рогатый»: «Все, что ты не потерял, ты имеешь. Ты не потерял рога. Значит ты имеешь рога. Ты – рогатый.». Другой пример: «Сидящий встал. Кто встал, тот стоит. Следовательно, сидящий стоит.»
Все эти и подобные им софизмы являются логически неправильными рассуждениями, выдаваемыми за правильные. Нетрудно заметить, что в софизме «Рогатый» обыгрывается двусмысленность выражения «то, что не потерял». Оно может означать как «то, что имел и не потерял», так и «то, что не потерял независимо от того, имел или нет». В посылке «что ты не терял, то имеешь» выражение «то, что не терял» должно означать, «то, что ты имел и не потерял», иначе эта посылка окажется ложной. Но во второй посылке это значение уже не проходит: высказывание «Рога – это то, что ты имел и не потерял» является ложным.
В софизме «Стоящий сидит» подмена одного выражения другим происходит почти незаметно из-за сокращенной формы рассуждения. О том, кто встал, действительно можно сказать, что он стоит. Но о сидящем неверно утверждать, что он тот, кто уже встал.
Но самым знаменитым в древности был софизм «Эватл». Древнегреческий софист Протагор давал уроки Эватлу. Они договорились, что после первого выигранного Эватлом судебного процесса ученик платит своему учителю за обучение. После обучения Эватл не провел ни одного судебного процесса, поэтому не платил учителю. Протагор сказал, что подаст на Эватла в суд и Эватл ему заплатит: если судьи присудят уплатить, то он обязан будет уплатить по решению суда, а если судьи не присудят уплатить, то Эватл уплатит за свое обучение по их договору, так как он выиграл этот первый процесс.
На это Эватл ответил, что он не уплатит ни в том, ни в другом случае, ибо если судьи присудят уплатить, то, значит, он проиграл свой первый процесс и не обязан платить по их договору, а если судьи не присудят платить, то он не заплатит по решению суда.
Как разрешается этот спор? Эвтал нарушает закон тождества, подменив понятие «юрист» понятием «ответчик» (обвиняемый). Как юрист, выигравший свой первый процесс, он обязан уплатить по договору; как ответчик, выигравший этот процесс, он не обязан платить. Если, будучи ответчиком, он проиграет этот процесс, то договор с Протагором теряет силу: в договоре шла речь о юристе, а не об ответчике.
В математике имеются математические софизмы. Например, Ф.Ф. Нагибин формулирует следующие математические софизмы:
«5 = 6»;
«2 * 2 = 5»;
«Все числа равны между собой»;
«Любое число равно половине его»;
«Отрицательное число равно положительному»;
«Прямой угол равен тупому»;
«Всякая окружность имеет два центра»;
2 * 2 = 5. Требуется найти ошибку в следующих рассуждениях. Имеем числовое тождество: 4 : 4 = 5 : 5. Вынесем за скобки в каждой части этого тождества общий множитель. Получим 4*(1 : 1) = 5*(1 : 1). Числа в скобках равны. Поэтому 4 = 5, или 2*2 = 5.
5 = 1. Желая доказать, что 5 = 1, будем рассуждать так. Из чисел 5 и 1 по отдельности вычтем одно и то же число 3. Получим числа 2 и — 2. При возведении в квадрат этих чисел получаются равные числа 4 и 4. Значит, должны быть равны и исходные числа 5 и 1. Где ошибка?
