Реферат: Логические основы аргументации

Подстрекатель Чернов склонил Окунева к совершению престу­пления путем подкупа.

<p∨q∨r∨s>, ⌉p⌉r⌉s

q

Разделительно-категорическое умозаключение, отрицающее-утверждающий модус, тезис доказан.

2.12. Если Хвостов сдаст все экзамены, он не будет отчислен.

Чтобы быть отчисленным, студенту необходимо не сдать хотя бы один экзамен.

Хвостов – студент.

Доказательство от противного.

2.13. Подозреваемый Копылов был на месте преступления позднее подозреваемого Сумского.

Сидорова была на месте преступления позднее подозреваемого Сумского.

Подозреваемый Копылов был на месте преступления позднее Сидоровой.

Подозреваемый Копылов был на месте преступления позднее подозреваемого Сумского

Умозаключения из суждений с отношениями, правила транзитивности выполняются.

(xRy∧yRz→xRy)

2.14. Некоторые модусы условно-категорического умозаключения дают вероятные выводы.

Существует 4 модуса условно-категорического умозаключения.

Утверждающий модус дает достоверные выводы.

Отрицающий модус дает достоверные выводы.

Два неправильных модуса дают вероятностные выводов.

Полная индукция, тезис доказан.

2.15. Обвиняемый Ершов совершил умышленное преступление.

Все преступления по УК РФ делятся на умышленные и неосторожные.

Обвиняемый Ершов не совершал неосторожного преступления.

Обвиняемый Ершов совершил умышленное преступление

<p≚q >, ⌉p

q

Разделительно-категорическое умозаключение, отрицающее-утверждающий модус, тезис доказан.

Упражнение 3

К данным тезисам подберите аргументы, постройте демонстра­цию, используя индуктивную форму обоснования, включая методы науч­ной индукции; определите, является ли обоснование тезиса достоверным или вероятным.