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

1. Структура аргументации

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

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

Т – тезис

– демонстрация

а, а₁, а₂, а₃,……а_n – аргументы

Различают несколько видов аргументов:

1. Удостоверенные единичные факты

Как правило, это явления, которые были когда-то выявлены и занесены в соответствующие документальные источники. Например, для физиков это непосредственные наблюдения над физическими опытами (показания различных приборов). Для врача – результаты анализов и описания симптомов заболевания. Для юристов – протоколы, свидетельские показания и т.д.

2. Определения как аргументы доказательства. Определения понятий формулируются в каждой науке, которые тоже могут быть приведены в качестве аргументов.

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

4. Законы и теоремы. В качестве доказательств могут быть применены, ранее доказанные, законы физики, химии, биологии и т.д., а также использоваться теоремы математики, законы логики и т.д.

Существует прямое и косвенное доказательство.

1. Прямое доказательство может иметь форму дедукции, индукции и аналогии.

Методом прямого дедуктивного умозаключения используют категорический силлогизм, полисиллогизм, сорит.

В методе индукции для достоверной истины используется полная индукция, для вероятной истины – неполная индукция.

В качестве метода аналогии можно применить компьютерное моделирование, которое впоследствии будет сопоставляться с реальными фактами. Как правило, этот метод выявляет проблемные области.

2. Непрямое (косвенное) доказательство – этот метод осуществляется путем доказательства ложности антитезиса. Различают:

а) апагогический метод – метод от противного.

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

б) Метод разделительного доказательства.

В этом методе используется отрицающе-утверждающий модус (modus tollendo ponens)

Схема: формула:

S есть или А, или В, или С ((а в с) )→с

S не есть ни А, ни В

S есть С