- •Содержание
- •Тема 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.
Отношения между схемами атрибутивных высказываний
Между схемами SaP, SeP, SiP, SoP с одними и теми же терминами (и, следовательно, между самими высказываниями, соответствующими этим схемам), возможны следующие отношения: отношение противоречия (контрадикторности); отношение противности (контрарности); отношение частичной совместимости (подпротивности, подконтрарности); отношение подчинения (следования).
Эти отношения принято изображать в виде особой диаграммы, которая называется логическим квадратом. Его стороны и диагонали указывают на соответствующие отношения.
Определения указанных отношений идентичны данным в главе «Высказывания». Они лишь конкретизируются относительно атрибутивных высказываний.
Итак, две схемы находятся в отношении противоречия, если и только если соответствующие им высказывания не могут быть ни одновременно истинными, ни одновременно ложными. Это отношение имеет место между схемами общеутвердительных (SaP) и частноотрицательных (SoP) высказываний, а также между схемами общеотрицательных (SeP) и частноутвердительных (SiP) высказываний: «Все S суть P» – «Некоторые S не суть P»; «Ни одно S не есть P» – «Некоторые S суть P». Если общеутвердительное высказывание (SаP) «Каждая планета солнечной системы движется по эллипсу» является истинным, то противоречащее ему частноотрицательное высказывание (SoP) «Существует планета солнечной системы, не движущаяся по эллипсу» является ложным. Если общеутвердительное высказывание (SaP) «Все студенты нашей группы обладают хорошими музыкальными способностями» ложное, то противоречащее ему частноотрицательное высказывание (SoP) является истинным, и наоборот. Точно также противоречат друг другу истинное частноутвердительное высказывание (SiP) «Некоторые слова пишутся с большой буквы» и ложное общеотрицательное (SeP) «Ни одно слово не пишется с большой буквы».
Две схемы находятся в отношении противности, если и только если соответствующие им высказывания не могут быть одновременно истинными, но могут быть одновременно ложными. Это отношение имеет место между схемами общеутвердительных (SaP) и общеотрицательных высказываний (SeP): «Все S суть P» – «Ни одно S не есть P». Например, общеутвердительное высказывание (SaP) «Все рабочие этого завода – рационализаторы» и общеотрицательное высказывание (SeP) «Ни один рабочий этого завода не является рационализатором» имеют схемы, находящиеся в отношении противности: эти высказывания не могут быть одновременно истинными, но могут быть одновременно ложными. Последнее имеет место, когда в рационализаторском движении участвуют некоторые рабочие этого завода.
Две схемы находятся в отношении подпротивности (частичной совместимости), если и только если им соответствуют высказывания, которые могут быть вместе истинными, но не могут быть одновременно ложными. В отношении подпротивности находятся схемы частноутвердительных (SiP) и частноотрицательных (SoP) высказываний: «Некоторые S суть P» – «Некоторые S не суть P». Так, высказывание «Некоторые рабочие этого завода – рационализаторы» (SiP) и «Некоторые рабочие этого завода не являются рационализаторами» (SоP) могут быть вместе истинными. Но если ложно первое из них, то второе ложным быть не может, оно с необходимостью истинно.
Две схемы находятся в отношении подчинения (первая подчиняет вторую, или из первой следует вторая), если и только если всякий раз, когда первой соответствует истинное высказывание, второй также соответствует истинное высказывание, но не обязательно наоборот. В отношении подчинения находятся схемы общеутвердительных (SaP) и частноутвердительных (SiP) высказываний, с одной стороны (из схемы «Все S суть P» следует схема «Некоторые S суть P») и схемы общеотрицательных (SеP) и частноотрицательных (SoP) высказываний, с другой стороны (из схемы «Ни одно S не есть P» следует схема «Некоторые S не суть P»). Так, если истинно, что «Все рабочие этого завода – рационализаторы» (SаP), то истинным будет и высказывание «Некоторые рабочие этого завода – рационализаторы» (SiP). Однако истинность высказывания «Некоторые рабочие этого завода – рационализаторы» не обязательно сопровождается истинностью высказывания «Все рабочие этого завода – рационализаторы».
Если же высказывание подчиненной схемы ложно, то ложным является и высказывание схемы подчиняющей. Например, при ложности высказывания «Некоторые его не поняли» (SoP), ложным является и подчиняющее его высказывание «Никто его не понял» (SeP). Обратное же вовсе не обязательно. Например, ложность высказывания «Все металлы тяжелее воды» (SaP) не означает ложности высказывания «Некоторые металлы тяжелее воды» (SiP), последнее является истинным.