- •Лекция № 1: Предмет и значение логики
- •I. Основные понятия, предмет и структура логики
- •II. Этапы формирования и развития логики
- •II. Приложения логики:
- •III. Мышление как предмет изучения логики
- •IV. Теоретическое и практическое значение логики
- •V. Логический анализ языка
- •V.1. Язык, знак, имя
- •V.2. Разновидности семантических категорий
- •Лекция № 2. Понятие как форма мышления
- •I. Общая характеристика понятия
- •II. Логическая структура и основные способы образования понятий.
- •III. Виды понятий и их характеристика
- •IV. Виды отношений между понятиями
- •Типы совместимости: равнозначность (тождество), перекрещивание, подчинение (отношение рода и вида)
- •Типы несовместимости: соподчинение, противоположность, противоречие
- •Лекция № 3: Логические операции с понятиями. Определение как прием познания
- •I. Отношение рода и вида
- •II. Обобщение и ограничение понятий
- •III. Деление понятий: виды и правила деления, возможные ошибки в делении деление понятий
- •Таксономическое деление правила деления и возможные ошибки
- •Нарушение этого правила ведет к ошибкам двух видов:
- •При нарушении правила возникают ошибки:
- •При нарушении этого правила возникают ошибки:
- •IV. Классификация
- •V. Определение: структура, виды, правила и возможные ошибки в определениях
- •Определения
- •I. Явные
- •Виды явных определений
- •II. Неявные
- •Виды неявных определений
- •Чтобы определение было правильным, надо соблюдать следующие правила:
- •VI. Приемы, сходные с определением
- •Лекция № 4. Суждение как форма мышления. Законы логики и принципы правильного мышления
- •I. Общая характеристика суждения. Простые суждения
- •Виды простых суждений
- •1. Суждения свойства (атрибутивные):
- •2. Суждения с отношениями:
- •3. Суждения существования (экзистенциальные):
- •Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •II. Виды и логическая вероятность сложных суждений
- •III. Отрицание суждений
- •IV. Отношение между суждениями
- •Логический квадрат
- •Отношения между сложными суждениями
- •V. Модальность суждений
- •Модальные простые суждения
- •Модальные сложные суждения
- •VI. Понятие логического закона
- •Лекция № 5. Умозаключение как форма мышления
- •Общая характеристика и структура умозаключений
- •Дедуктивные умозаключения
- •I. Общая характеристика и структура умозаключений
- •II. Дедуктивные умозаключения
- •Умозаключения из сложных суждений
- •Непрямые умозаключения из сложных суждений (см. Хрестоматию)
- •I. Умозаключения, построенные по логическому квадрату.
- •II. Умозаключения, построенные посредством преобразования структуры посылки.
- •S есть р s не есть не-р
- •S есть р р есть s
- •S есть р
- •Умозаключения из суждений с отношениями
- •Лекция № 6. Выводы из категорических суждений: простой категорический силлогизм
- •I. Простой категорический силлогизм: структура, модусы, фигуры
- •Состав категорического силлогизма:
- •2) Меньшая посылка – утвердительное суждение
- •2) Одна из посылок – отрицательное суждение
- •2) Заключение – частное суждение.
- •Если большая посылка утвердительная, то меньшая должна быть общей.
- •Если одна из посылок отрицательная, то большая посылка должна быть общей;
- •Если меньшая посылка утвердительная, то заключение должно быть частным.
- •II.Правила логического вывода фигур категорического силлогизма
- •I. Общие правила
- •II. Специальные правила
- •III. Алгоритм анализа силлогизма
- •IV. Условия правильности и неправильности умозаключения
- •V. Сокращенные, сложные и сложносокращенные силлогизмы
- •Механизм восстановления силлогизма:
- •Лекция № 7. Правдоподобные умозаключения
- •I. Общая характеристика индуктивных умозаключений
- •II. Основные виды индуктивных выводов
- •III. Индуктивные методы установления причинных связей
- •Методы установления причинной связи:
- •Ошибки, встречающиеся при обнаружении причинных связей
- •IV. Умозаключения по аналогии
- •Структура аналогии
- •Лекция № 8: Логика в процессе развития научного знания
- •I. Общая характеристика и структурные элементы научного познания
- •II. Вопрос и его роль в познании
- •III. Феномен проблемы в научном познании
- •IV. Гипотеза как форма развития знания
- •V. Теория как форма и система знания
Непрямые умозаключения из сложных суждений (см. Хрестоматию)
НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ в традиционной логике – это умозаключение из одной посылки. Непосредственное умозаключение состоит из двух суждений: одна посылка и заключение из нее.
-
Суть данного типа умозаключения состоит в извлечении из посылки информации, содержащейся в ней в неявном виде, а также в ее последующем уточнении. Логические процедуры получения этой информации основаны либо на изменении качественной или количественной характеристики посылки, либо на преобразовании ее субъективно-предикатной структуры. Соответственно этому существует два вида умозаключений.
1. Умозаключения, построенные по логическому квадрату. Их можно разделить следующим образом:
-
выводы на основании отношения подчинения;
-
выводы на основании отношения частичной совместимости;
-
выводы на основании отношения противоречия;
-
выводы на основании отношения противоположности.
2. Умозаключения, построенные посредством преобразования структуры посылки. К таким процедурам относят:
-
превращение (обверсия);
-
обращение (конверсия);
-
противопоставление субъекту или предикату (контрапозиция).
-
Выводы из простых категорических суждений – это операция над одним суждением. Такая операция представляет собой преобразование суждения. Преобразование суждения – это такое логическое действие над суждением, которое изменяет его логическую форму, что позволяет уточнить его смысл, содержание и объем, не расширяя при этом нашего знания о предмете суждения. Это логическое действие рассматривается как вид умозаключения, то есть как непосредственное умозаключение.
I. Умозаключения, построенные по логическому квадрату.
Умозаключения данного вида состоят из посылки и заключения, имеющих одну и ту же субъектно-предикатную структуру. Иными словами, субъект и предикат посылки остаются субъектом и предикатом заключения. Однако заключение может отличаться от посылки количественной или качественной характеристикой, при этом как посылка, так и заключение могут быть суждениями, предваренными отрицанием.
Умозаключение будет правильным, если существующее отношение между посылкой и заключением однозначно приписывает истинностное значение заключению при истинности посылки, и наоборот, умозаключение будет неправильным, если истинностное значение заключения не предопределено его отношением с посылкой. Выводы из простых категорических суждений можно делать при помощи отношений между суждениями, зафиксированными в логическом квадрате.
ЛОГИЧЕСКИЙ КВАДРАТ – позволяет строить выводы, устанавливая следование истинности или ложности одного суждения из истинности или ложности другого суждения в зависимости от свойств отношений.
ОТНОШЕНИЕ ПРОТИВОРЕЧИЯ (КОНТРАДИКТОРНОСТИ) A–O, E–I |
из истинности одного суждения следует ложность другого суждения, из ложности одного – истинность другого |
Выводы строятся по схемам: А→ù О; ù А→О; E→ù I; ù Е→I |
ОТНОШЕНИЕ ПРОТИВОПОЛОЖНОСТИ (КОНТРАРНОСТИ) А-Е |
из истинности одного суждения следует ложность другого суждения, но из ложности одного из них не следует истинность другого |
Выводы строятся по схемам: A→ù E; E→ù A; ù A→(Eù E); ù E→(Aù A) |
ОТНОШЕНИЕ ЧАСТИЧНОЙ СОВМЕСТИМОСТИ (СУБКОНТРАРНОСТИ) I-O |
истинными могут быть оба суждения, но не могут быть вместе ложными, по крайней мере, одно из них истинно. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого суждения |
Выводы строятся по схемам: ù I→O; ù O→I; I→(Où O); O→(Iù I) |
ОТНОШЕНИЕ ПОДЧИНЕНИЯ A-I, E-O |
из истинности подчиняющего суждения следует истинность подчиненного суждения, но не наоборот: из истинности подчиненного суждения истинность подчиняющего суждения не следует, оно может быть истинным, но может быть и ложным |
Выводы строятся по схемам: A→I; E→O; I→(Aù A); O→(Eù E); ù I→ù A; ù O→ù E; ù A→(Iù I); E→(Où O) |