- •§2. Виды доказательств.
- •§3. Правила доказательного рассуждения.
- •2. Правила для аргументов.
- •§2. Понятие формальной логики.
- •§3. Значение логики.
- •Логика и язык (мышление и язык).
- •§1. Общее понятие языка.
- •Логические основы теории аргументации
- •§1. Общая характеристика доказательства.
- •Неполная индукция
- •§2. Естественные и искусственные языки.
- •§3. Искусственный язык логики как науки.
- •Пример: а Челябинск (имя единичного предмета)
- •Понятие как форма мышления.
- •§1. Признаки и их виды.
- •Полная индукция
- •§6. Сокращенный силлогизм (энтимема).
- •§7. Индуктивные умозаключения.
- •§2. Общая характеристика понятия.
- •§3. Содержание и объем понятия.
- •§4. Язык круговых диаграмм.
- •§5. Закон обратного отношения между содержанием и объемом понятия.
- •2. Условно-категорическое умозаключение.
- •3. Разделительно-категорическое умозаключение.
- •4. Условно-разделительное умозаключение.
- •§5. Выводы из сложных суждений.
- •1. Чисто условное умозаключение.
- •§6. Отношение понятий по объему.
- •§7. Операции над объемами понятий.
- •2. Обращение.
- •§4. Простой категорический силлогизм.
- •§3. Непосредственные умозаключения.
- •1. Превращение.
- •§8. Деление объемов понятия.
- •3. Закон исключенного третьего.
- •4. Закон достаточного основания.
- •Умозаключение как форма мышления
- •§1. Общая характеристика умозаключения.
- •§2. Виды умозаключений.
- •Основные формально-логические законы
- •1. Закон тождества.
- •2. Закон непротиворечия.
- •§9. Определение понятий.
- •Явные определения
- •Неявные определения
- •§10. Табличное определение истинности сложных суждений.
- •§10. Виды понятий.
- •Суждение как форма мышления
- •§1. Общая характеристика суждения.
- •§9. Сложные суждения и их виды.
- •§7. Распределенность терминов в пас.
- •§8. Отношение пас по истинности.
- •§2. Виды суждений.
- •§3. Состав и структура простого атрибутивного суждения.
- •§4. Виды простых атрибутивных суждений.
- •§5. Объединенная классификация суждений по количеству и качеству.
- •§6. Отношение терминов суждения по объему.
- •I: Некоторые s есть р Iв s-
3. Разделительно-категорическое умозаключение.
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения. Различают два модуса разделительно-категорического суждения:
1) в утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка утверждает один из дизъюнктов (простые суждения, из которых состоит разделительное суждение), заключение отрицает другой (другие) дизъюнкты. Его схема в символической записи:
р q p q r
p___ р______
q q r
Заключение всегда достоверно, если большая посылка является суждением строгой дизъюнкции.
2) в отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один (или несколько) из дизъюнктов. Заключение утверждает оставшийся дизъюнкт. Его символическая запись:
р q p q r
p__ _р q_
q r
Заключение будет достоверным, если в большей посылке перечислены все возможные дизъюнкты.
4. Условно-разделительное умозаключение.
Условно-разделительным, или лемматическим2называется умозаключение, в котором одна посылка условная, а другая — разделительное
26
ству и качеству суждениями. Образующиеся при этом разновидности ПКС называются модусами ПКС. Всего существует 64 модуса ПКС. Из них 19 являются правильными, то есть согласующимися с общими правилами силлогизма. Соблюдение общих правил ПКС позволяет всегда при истинности посылок получать истинное заключение.
ПКС имеет семь общих правил - 3 правила терминов и 4 правила посылок.
1. В каждом ПКС должно быть только три термина - S, Р и М.
2. Средний термин должен быть распределен хотя бы в одной из посылок.
3. Термин, не распределенный в посылке, не должен быть распре делен и в заключении. .
1. Из двух частных посылок заключение сделать нельзя.
2. Из двух отрицательных посылок заключение сделать нельзя.
3. Если одна из посылок частная, то и заключение должно быть частным.
4. Если одна из посылок отрицательная, то и заключение - отрицательное.
ПКС (вывод) считается правильным, если выполняются все эти правила вывода. ПКС считается неправильным, если не выполняется хотя бы одно из этих правил.
Метод анализа правильности силлогизма:
1. Выписать силлогизм (две посылки и заключение).
2. В тексте силлогизма следует расставить знаки терминов, начиная с заключения.
3. Выписать в виде схемы получившуюся фигуру.
4. Схему фигуры переписать с кванторами и связками.
5. Расставить распределенность терминов ПКС.
6. Последовательно проверить выполнение всех правил ПКС.
7. В случае выполнения всех правил ПКС пишем, что силлогизм верен (или вывод верен). При обнаружении первого невыполненного правила, останавливаем анализ и пишем, что силлогизм неверен (или вывод неверен).