Студопедия
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Прямое и косвенное доказательства.

Читайте также:
  1. Вещественные доказательства.
  2. Вещественные доказательства.
  3. История атомистических учений строения вещества и ее экспериментальные доказательства. Масса и размеры молекул.
  4. Косвенное упоминание
  5. Лексикология. Слово и его значение. Однозначные и многозначные слова. Прямое и переносное значение слова.
  6. Личные и вещественные доказательства. Виды вещественных доказательств. Хранение вещественных доказательств.
  7. Натуральное исчисление предикатов: правила вывода, понятия вывода, завершенного вывода и доказательства.
  8. Построение доказательства; его роды и виды. Прямое и косвенное подтверждение тезиса.
  9. Правила доказательства. Возможные логические ошибки.
  10. Прямое государственное регулирование

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

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

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

Например, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из этих положений выводим, что сумма углов четырехугольника равна 360°.

Это прямое доказательство, осуществляемое в два шага: подыскиваются подходящие аргументы, и затем демонстрируется, что из них логически вытекает тезис.

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

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

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

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

 




Дата добавления: 2015-04-22; просмотров: 77 | Поможем написать вашу работу | Нарушение авторских прав

1 | 2 | 3 | 4 | 5 | 6 | <== 7 ==> | 8 |


lektsii.net - Лекции.Нет - 2014-2025 год. (0.006 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав