Д) приведение контраргументов.
Неплохо сказано! Может не очень полно… но мы к этому ещё вернёмся. И дополним в нужных местах.
Косвенное доказательство предполагает обоснование истинности тезиса посредством опровержения противоречащего положения – антитезиса. Из ложности антитезиса выводится заключение об истинности тезиса.
Иногда ложность тезиса доказать не менее трудно, чем истинность. И далеко не всегда ложность (даже доказанная!) антитезиса говорит об истинности самого тезиса. Если самый низкий человек не может пройти в какую-то дверь (проникнуть в некое отверстие), не факт, что в неё не пройдёт самый высокий человек. Возможно он сможет проползти (так сказать, "пройти ползком"), будучи очень худым, в отличие от толстого коротышки, либо дотянуться до какой-либо скобы и расширить проём. Всё зависит от изначальных условий и ограничений, которые, порой, просто невозможно обговорить в полной мере.
Такой способ косвенного доказательства античные логики называли "апогогическим", что в переводе с древнегреческого означает отход или отклонение от непосредственного разбора аргументов. В математике этот вид доказательства называют доказательством от противного, поскольку при этом приходится доказывать утверждение, противоречащее тезису.
Здесь мы теории возражать не будем.
Разделительно-категорическое доказательство основывается на разделительно-категорической демонстрации аргументов. Такой вид доказательства предполагает одновременное использование прямого и косвенного доказательства. Это имеет особую актуальность, например, в доказательстве виновности подсудимого.
Здесь тоже. На будущее запомним.
Специфической разновидностью доказательства является опровержение. Опровержение – есть доказательство неистинности, ложности тезиса или аргумента. Иными словами, опровержение – это как бы доказательство с обратной целью. В структуре спора опровержение противостоит доказательству и связано с ним. Доказательство первого участника спора превращается в опровержение доказательства второго участника спора и наоборот. Поскольку опровержение – это разновидность доказательства, для него действительны все логические правила доказательства. Нарушение любого из них ставит под угрозу успех опровержения.
Всё верно. Запоминаем!
Различают три основных способа опровержения. Первый способ относится к опровержению аргументов, служащих основой рассуждения. Второй способ опровержения связан с анализом необходимой логической связи между аргументами и тезисом, которые служат соответственно посылками и заключением дедуктивного вывода. Третий способ относится к опровержению самого тезиса. В принципе такое опровержение может быть применено к любому утверждению.
Бьём аргументы-доводы, бьём логическую связь между ними и доказываемым тезисом, бьём сам тезис. Здесь в теории всё верно! Увы, проблемы начинаются