При прямом Д. задача состоит в том, чтобы найти такие убедительные аргументы, из которых логически вытекает тезис.
КосвенноеД. устанавливает справедливость тезиса тем, что вскрывает ошибочность противоположного ему допущения, антитезиса.
Виды косвенного док-ва: 1. Следствия, противоречащие фактам. Чаще всего ложность антитезиса удается установить простым сопоставлением вытекающих из него следствий с фактами; 2. Внутренне противоречивые следствия. По логическому закону противоречия одно из двух противоречащих друг другу утверждений ложно. Поэтому, если в числе следствий какого-либо положения встретились и утверждение, и отрицание одного и того же, можно сразу сказать, что это положение ложно; 3. Разделительное доказательство - док-во через исключение. Во всех рассмотренных косвенных доказательствах выдвигаются две альтернативы: тезис и антитезис. Затем показывается ложность последнего, в итоге остается только тезис.
98. Покажите на примере и объясните суть логической операции «опровержение».
Опровержение -это рассуждение, направленное против выдвинутого положения и имеющее своей целью установление его ошибочности или недоказанности. Наиболее распространенный прием опровержения – выведение из опровергаемого утверждения следствий, противоречащих истине. Если одно логическое следствие некоторого положения неверно, ошибочным будет и само это положение.
Опровержение имеет три вида: 1) критика тезиса – это логическая операция, целью которой является показать ложность выставленного тезиса. 2) критика аргументов. Данная логическая операция направлена на обоснование ложности аргумента. 3) критика демонстраций. Данная логическая операция указывает на отсутствие логической связи между тезисом и аргументами.