Достоверный вывод получается:

при движении мысли от утверждения основания к утверждению следствия, но не наоборот;

при движении мысли от отрицания следствия к отрицанию основания, но не наоборот

Условно-категорический силлогизм: одна посылка условная, а другая посылка и вывод – простые категорические суждения

Простой категорический силлогизм: обе посылки и вывод являются простыми категорическими суждениями

Опосредованное умозаключение – силлогизм

содержит три элемента:

а) исходное знание (посылки);

б) обосновывающее знание (логическое основание вывода);

в) выводное знание (заключение)

Энтимема – сокращенный силлогизм, в котором отсутствует (но легко восстанавливается) одна из посылок или заключение

Непосредственное умозаключение

Правила простого категорического силлогизма

1. Из двух частных посылок нельзя сделать никакого вывода.

2. Если одна посылка частная, то и вывод должен быть частным.

3. Из двух отрицательных посылок нельзя сделать никакого вывода.

4. Если одна посылка отрицательная, то и вывод отрицательный.

5. В каждом силлогизме должно быть только 3 термина.

6. Средний термин должен быть распределен хотя бы в одной из посылок.

7. Термин, не распределенный в посылке, не может быть распределен в выводе.

Для вида «утверждая – отрицаю» необходима строгая дизъюнкция в разделительном суждении;

для вида «отрицая – утверждаю» необходимо, чтобы в разделительном суждении были перечислены все возможные варианты

Разделительно-категорический силлогизм: одна посылка разделительное суждение, а другая посылка и вывод – простые категорические суждения.

Основные виды дедуктивных умозаключений

Тема «Умозаключение по аналогии»

Умозаключение по аналогии – вывод о принадлежности предмету определенного признака на основе сходства данного предмета в существенных признаках с другим предметом

Сходство – это совокупность отношений между объектами, состоящее в наличии у рассматриваемых объектов общих признаков. Оно определяется двумя факторами: а) числом признаков, общих для этих предметов; б) степенью существенности и качественности этих признаков

Аналогия представляет собой перенос информации с одного предмета (модели) на другой (прототип). Это такой способ умозаключения, который позволяет осуществить логический переход от известного знания об отдельном предмете к новому знанию о другом отдельном предмете.

Объект S₁ обладает свойствами A, B, C, D.

Объект S₂ обладает свойствами A, B, C.

Следовательно, можно предположить, что S₂ обладает свойством D

Для повышения степени вероятности вывода по аналогии необходимо соблюдать следующие требования:

• число общих признаков у рассматриваемых объектов должно быть по возможности большим;

• сходные признаки должны быть существенными;

• общие признаки должны быть по возможности более разнородными;

• нельзя допускать различия в существенных признаках

Тема «Доказательство»

Структура доказательства

Тезис – суждение, истинность которого обосновывают в процессе аргументации.

Аргументы – истинные исходные теоретические или фактические положения, которыми пользуются при доказательстве тезиса.

Демонстрация – способ логической связи между тезисом и аргументами

Доказательство – логическая операция обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений

Некоторые виды доказательств

По способу обоснования тезиса По форме демонстрации

Дедуктивное часто принимает форму подведения частного случая под общее правило

Прямое – обоснование истинности тезиса аргументами, в которых отсутствуют противоречащие тезису положения

Косвенное – обоснование истинности тезиса с использованием антитезиса, т.е. противоречащего тезису допущения

Индуктивное – логический переход от аргументов, в которых представлена информация об отдельных случаях определенного ряда, к тезису, обобщающему эти и другие случаи того же рода

Апагогическое (от противного) – обоснование истинности тезиса путем установления ложности антитезиса

Разделительное (методом «исключения») – обоснование истинности тезиса путем установления ложности всех членов разделительного суждения, кроме одного

По аналогии – обоснование тезиса, в котором формулируется утверждение о свойствах единичного явления