Логика: краткий теоретический курс. Веревичев И.И. - 89 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

88
3) сопоставление следствий с реальными фактами или истинными
теоретическими положениями. В случае противоречия им следствия
признаются ложными;
4) из ложности следствий на основании отрицающего модуса условно-
категорического умозаключения делается вывод о ложности их
основания - антитезиса;
5) на основании закона об исключенном третьем из ложности антитезиса
признается истинность самого тезиса.
На последних этапах апагогического рассуждения в неявном виде
применяется правило двойного логического отрицания: ┐(┐t) = t.
Логическая формула апагогического доказательства:
((┐t → q) ^ ( ┐t→ ┐q)) → t, где t – тезис, ┐ t – антитезис, q – следствие.
Разделительное доказательство основано на методе исключения
альтернатив. В данном случае тезис включается в дизъюнкцию вместе с
другими, исключающими его суждениями. В результате установления
ложности альтернатив и последовательного их устранения из дизъюнкции на
основании отрицающе-утверждающего модуса разделительно-категорического
умозаключения можно сделать вывод об истинности самого тезиса.
Логическая схема разделительного доказательства:
t V p V qV r, ┐р, ┐q, ┐r
t
Логическая формула разделительного доказательства:
((t V p V q V r) ^ ( ┐р ^ ┐q ^ ┐r)) → t
Метод исключения альтернатив составляет основу процедур выдвижения
и обоснования гипотез в различных областях научного знания. В судебно-
следственной практике этот метод является одним из основных способов
подверждения истинности следственных версий.
ТЕОРИЯ АРГУМЕНТАЦИИ: ОПРОВЕРЖЕНИЕ
1. Опровержение
Опровержение - разновидность аргументации, целью которой является
обоснование логической несостоятельности доказательства. Само понятие
опровержение может пониматься и как процесс разрушения структуры
доказательства и как конечный его результат. Иногда понятие «опровержение»
подменяют словом «критика», хотя не во всех случаях это целесообразно.
Опровержение как процесс действительно протекает в форме критики, которую
иногда понимают и как деятельность, противоположную аргументации
7
.
Однако критика – есть форма проявления сомнения или несогласия.
Следовательно, опровержение как результат есть констатация успешно
7
Ивлев Ю.В. Логика: Учебник для вузов. М. 2001. С. 195.

Страницы