
Доказательство и его структура.
процедура установления истинности
Главным элементом доказательства является тезис (суждение)
Аргументы (суждение) - это исходные положения, с помощью которых обосновывают тезис. Они являются базисом основания. Аргументами могут выступать любые суждения, если они истинны и имеют отношение к тезису, истинность которого необходимо доказать.
демонстрация доказательства, т. е. умозаключение, с помощью которого тезис и аргумент логически связываются.
Тезисом является суждение, истинность которого подлежит обосновыванию в процессе доказывания. В качестве тезиса может выступать любое суждение, истинность или ложность которого предстоит установить.
Способы доказательства
Прямые: подыскать такие убедительные аргументы, из которых получается тезис.
Косвенные: устанавливает справедливость тезиса тем, что вскрывает ошибочность противоположного ему допущения (антитезиса). Поскольку косвенное доказательство использует отрицание доказываемого положения, то его еще называют доказательством от противного.
две группы доказательств зависимости от того, что в них исследуется:
по существу:
- истинность содержания и правильность логической связи
- рассмотрения логической связи между основаниями и тезисом.
по источнику происхождения суждений (генетическими):
происхождение суждений от истинных аргументов (аксиом, законов, принципов), - тезис является следствием аргументов - гипотезы, - по аналогии
Опровержение
- это рассуждение, устанавливающее ошибочность умозаключения
Прием опровержения - выведение из опровергаемого утверждения, противоречий истины
Три вида опровержения
Критика тезиса - это логическая операция, целью которой является показать ложность выставленного тезиса.
Критика аргументов - логическая операция направлена на обоснование ложности аргумента
Критика демонстраций - логическая операция указывает на отсутствие логической связи между тезисом и аргументами.
Тезис - ложный, если оппонент, отстаивая свое утверждение заведомо знает, что оно не соответствует действительности.
Опровержение тезиса в свою очередь может быть прямым или косвенным
Тезис является ошибочным, если оппонент заблуждается относительно действительности утверждаемого им тезиса.
Опровержение является прямым –
в первую очередь допускают истинность выдвинутого положения, при этом выводят из него логические следствия
Опровержение является косвенным - доказательство своего тезиса, который в свою очередь будет противоречить тезису оппонента.