2. Предъявление контр примера;

Контрпример – силлогизм, тождественный с данным по форме, но абсурдный по смыслу.

Все философы знают о Фалесе.

Все присутствующие знают о Фалесе.

Все присутствующие являются философами.

КОНТРПРИМЕР:

Все зулусы – люди.

Все присутствующие – люди.

Все присутствующие – зулусы.

3.Проверка на соответствие общим правилам силлогизмов и правилам фигур;

21.Правила терминов правила посылок силлогизма.

Правила терминов:

ПТ1. Во всяком силлогизме должно быть ровно три термина.

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

ПТ3. Термин, распределенный в заключении, должен быть распределен в посылке.

Правила посылок:

ПП1. Во всяком силлогизме должно быть ровно три категорических суждения.

ПП2. Из двух отрицательных суждений нельзя вывести никакого заключения.

ПП3. Заключение отрицательно, если и только если одна из посылок отрицательна.

ПП4. Из двух частных суждений нельзя вывести никакого заключения.

ПП5. Если одна из посылок – частное суждение, то и заключение должно быть частным.

22.Доказательства: виды, структура, способы.

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

Структура:

1. Тезис - суждение, истинность которого требуется доказать.

2. Аргументы, или основания - истинные суждения, из которых следует тезис.

3. Демонстрация, или форма доказательства - умозаключение, связывающее аргументы с тезисом.

Виды доказательства:

Доказательства по форме делятся на прямые и (косвенные).

• Прямое доказательство идет от рассмотрения аргументов к доказательству утверждаемого тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях.

• Непрямое (Косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:

если тезис обозначить буквой а , то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением;

23.Опровержение, его виды.

Опровержение - это логическая операция по установлению ложности тезиса.

Доказать тезис А - значит обосновать его истинность, а опровергнуть тезис А - значит обосновать его ложность. Любое положение может быть подвергнуто двум видам аргументации. Либо будут найдены аргументы, подтверждающие выдвинутое в диалоге положение, либо будут указаны аргументы против данного положения (контраргументы), т. е. опровергающие его. На практике опровержение используется так же широко, как и доказательство, и имеет такую же структуру.

Опровержение составляют следующие элементы:

1)тезис - положение, которое необходимо опровергнуть;

2)аргументы (основания) - положения (истинные суждения), при помощи которых опровергается тезис;

3)демонстрация (форма опровержения) - логический способ связи аргументов и тезиса опровержения. Опровержение может иметь два вида:

Прямое опровержение тезиса означает обоснование ложности тезиса и истинности антитезиса. Оно начинается с допущения истинным опровергаемого тезиса. Из него выводятся следствия. ("Пусть то, в чем Вас обвиняют, - истина. Но тогда должны быть следствия…" - это ход рассуждения по логике опровержения). Затем устанавливается несоответствие хотя бы одного из следствий действительному положению вещей или ранее доказанному. ("Но эти следствия отсутствуют или противоречат фактам…") На основании чего из ложности следствия заключают о ложности основания, т. е. допущении истинности тезиса. Значит, тезис ложен, т. е. опровергнут.

Прямым опровержением будет следующее рассуждение: "Предположим, что он действительно убил этого человека. Но в этом случае должны быть следы преступления, мотив, орудие. Ничего этого нет. Значит, нет и состава преступления". Косвенное опровержение тезиса означает доказательство истинности антитезиса. Если удается обосновать ложность тезиса, то по закону непротиворечия заключают об истинности антитезиса. Как видим, логический смысл косвенного опровержения тот же, что и в косвенном доказательстве. Разными являются лишь логические задачи, стоящие перед доказательством и опровержением. Косвенное опровержение имеет следующую структуру:

а) необходимо опровергнуть тезис А;

б) допускаем истинность антитезиса не-А;

в) из не-А получаем следствия, одно из которых (В) -ложно, т. е. не-В;

г) из ложности следствия заключаем о ложности основания (допущения истинности не-А):