- •Логика учебное пособие
- •Оглавление
- •Введение Неясность слова есть неизменный признак неясности мысли.
- •1. Предмет и значение логики
- •1.1. Этимологическое значение термина «логика»
- •1.2. Роль мышления в познании
- •1.3. Истинность мысли и формальная правильность рассуждений
- •1.4. Логическая форма и логический закон
- •1.5.Язык логики
- •Упражнение Укажите, какие из представленных выражений являются знаками, а какие нет.
- •2. Понятие
- •2.1.Понятие и предмет. Основные логические приемы образования понятий
- •2.1. Виды понятий
- •1. Единичные и общие понятия
- •2. Конкретные и абстрактные понятия
- •3. Положительные и отрицательные понятия
- •4. Безотносительные и соотносительные понятия
- •5.Собирательные и несобирательные
- •Отношения между понятиями
- •Одно и то же понятие может быть как видовым, так и родовым, за исключением единичных понятий: единичные понятия родовыми быть не могут. Например, «русский» /а/- «славянин»/в/ - «человек» /с/.
- •2. 4. Определение понятий
- •2.5. Деление понятий
- •3.Суждение
- •3.1. Суждение и предложение
- •3.2. Простые суждения
- •3.3. Отношения между простыми суждениями. Логический квадрат
- •I частичная совместимость o
- •3.4. Сложные суждения
- •Условия истинности эквиваленции.
- •Упражнение
- •Только кое-где мерцали на бегущих струях отражения звезд, да порой игривая волна вскакивала на берег и бежала к нам.
- •4. Законы логики (основные формально-логические законы)
- •5.Умозаключение
- •6. Дедуктивные умозаключения (выводы из простых суждений)
- •6.1. Непосредственные умозаключения
- •6.2. Простой категорический силлогизм
- •1 Фигура, модус ааа
- •7. Дедуктивные умозаключения (выводы из сложных суждений)
- •7.1. Условно-категорический силлогизм
- •7.2. Разделительно-категорический силлогизм
- •7.3. Леммы
- •7.4. Сложные и сокращенные силлогизмы
- •8. Индуктивные умозаключения
- •8.1. Полная индукция
- •8.2. Неполная индукция
- •8.3. Методы Бэкона- Милля
- •Метод сходства
- •Метод различия
- •Метод сопутствующих изменений
- •Метод остатков
- •9. Умозаключение по аналогии
- •10. Доказательство и опровержение
- •10.1 Общая характеристика доказательства
- •10.2. Опровержение
- •10.3. Требования к элементам доказательства
- •11. Гипотеза
- •12. Рациональный спор
- •Словарь терминов
- •Список использованной литературы
I частичная совместимость o
(субконтрарность)
л и
и н
л и
н и
Отношения между типами простых суждений можно суммировать в виде следующей таблицы:
Если А истинно, то Е ложно, О ложно, I истинно.
Если Е истинно, то А ложно, I ложно, О истинно.
Если I истинно, то А неопределенно, О неопределенно, Е ложно.
Если О истинно, то Е неопределенно, I неопределенно, А ложно.
Если А ложно, то Е неопределенно, I неопределенно, О истинно.
Если Е ложно, то А неопределенно, I истинно, О неопределенно.
Если I ложно, то А ложно, Е истинно, О истинно.
Если О ложно, то А истинно, Е ложно, I истинно.
Упражнение
Проверьте логическую состоятельность следующих суждений, построенных на основе логического квадрата, и укажите, в каких примерах допущены ошибки и в чем они заключаются.
Пример: Истинно, что некоторые мероприятия Наполеона были прогрессивны; значит, истинно также, что некоторые мероприятия Наполеона не были прогрессивными.
Некоторые мероприятия Наполеона были прогрессивны - I (частноутвердительное)
Некоторые мероприятия Наполеона не были прогрессивными – О (частноотрицательное)
I – О по логическому квадрату находятся в отношении субконтрарности: эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Значит, высказывание логически состоятельно.
Ложно, что некоторые мысли невыразимы; значит, истинно, что все мысли невыразимы.
Истинно, что некоторые мысли можно выразить жестами; значит, истинно также, что некоторые мысли нельзя выразить жестами.
Ложно, что ни один из друзей его не забыл; значит, ложно также, что некоторые друзья его не забыли.
Ложно, что все французские энциклопедисты XVIII века были идеалистами; значит, ложно также, что некоторые французские энциклопедисты XVIII века были идеалистами.
Ложно, что ни одно положение Аристотеля не является ошибочным; значит, ложно также, что некоторые положения Аристотеля не являются ошибочными.
Упражнение
Из приведенных ниже суждений выведите противоречащие (контрадикторные), частичной совместимости (субконтрарные), противоположные (контрарные) и подчиняющие. Установите их истинность и ложность.
Пример: Некоторые государства являются унитарными (Iи).
Контрадикторность: Ни одно государство не является унитарным (Ел).
Подчинение: Все государства являются унитарными (Ал).
Субконтрарность: Некоторые государства не являются унитарными (Ои)
Некоторые поступки не являются преднамеренными.
Некоторые писатели являются авторами фантастических романов.
Некоторые республики являются парламентарными.
Никто не пророк в своем отечестве.
Все восстания были победоносны.
