
- •Логика учебно-практическое пособие
- •Оглавление
- •Введение
- •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.Умозаключение
- •5.1. Непосредственные умозаключения
- •5.2. Простой категорический силлогизм
- •1 Фигура, модус ааа
- •6.Умозаключение (выводы из сложных суждений)
- •6.1. Условно-категорический силлогизм
- •6.2. Разделительно-категорический силлогизм
- •6.3. Леммы и иные виды дедуктивных умозаключений
- •7. Индуктивные умозаключения
- •7.1. Полная индукция
- •7.2. Неполная индукция
- •7.3. Методы Бэкона- Милля
- •Метод сходства
- •Метод различия
- •Метод сопутствующих изменений
- •Метод остатков
- •8. Доказательство и опровержение
- •8.1. Общая характеристика доказательства
- •8.2. Опровержение
- •8.3. Требования к элементам доказательства
- •Рациональный спор
- •Список рекомендуемой литературы (для тех, кто решил дальше самостоятельно продолжить изучение логики)
I частичная совместимость o
(субконтрарность)
л и
и н
л и
н и
Отношения между типами простых суждений можно суммировать в виде следующей таблицы:
Если А истинно, то Е ложно, О ложно, I истинно.
Если Е истинно, то А ложно, I ложно, О истинно.
Если I истинно, то А неопределенно, О неопределенно, Е ложно.
Если О истинно, то Е неопределенно, I неопределенно, А ложно.
Если А ложно, то Е неопределенно, I неопределенно, О истинно.
Если Е ложно, то А неопределенно, I истинно, О неопределенно.
Если I ложно, то А ложно, Е истинно, О истинно.
Если О ложно, то А истинно, Е ложно, I истинно.
Упражнение
Проверьте логическую состоятельность следующих суждений, построенных на основе логического квадрата, и укажите, в каких примерах допущены ошибки и в чем они заключаются.
Пример: Истинно, что некоторые мероприятия Наполеона были прогрессивны; значит, истинно также, что некоторые мероприятия Наполеона не были прогрессивными.
Некоторые мероприятия Наполеона были прогрессивны - I (частноутвердительное)
Некоторые мероприятия Наполеона не были прогрессивными – О (частноотрицательное)
I – О по логическому квадрату находятся в отношении субконтрарности: эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Значит, высказывание логически состоятельно.
Ложно, что некоторые мысли невыразимы; значит, истинно, что все мысли невыразимы.
Истинно, что некоторые мысли можно выразить жестами; значит, истинно также, что некоторые мысли нельзя выразить жестами.
Ложно, что ни один из друзей его не забыл; значит, ложно также, что некоторые друзья его не забыли.
Ложно, что все французские энциклопедисты XVIII века были идеалистами; значит, ложно также, что некоторые французские энциклопедисты XVIII века были идеалистами.
Ложно, что ни одно положение Аристотеля не является ошибочным; значит, ложно также, что некоторые положения Аристотеля не являются ошибочными.
Упражнение
Из приведенных ниже суждений выведите противоречащие (контрадикторные), частичной совместимости (субконтрарные), противоположные (контрарные) и подчиняющие. Установите их истинность и ложность.
Пример: Некоторые государства являются унитарными (Iи).
Контрадикторность: Ни одно государство не является унитарным (Ел).
Подчинение: Все государства являются унитарными (Ал).
Субконтрарность: Некоторые государства не являются унитарными (Ои)
Некоторые поступки не являются преднамеренными.
Некоторые писатели являются авторами фантастических романов.
Некоторые республики являются парламентарными.
Никто не пророк в своем отечестве.
Все восстания были победоносны.