Цель опровержения— разрушение выдвинутого доказательства. Оно может существовать без опровержения, а опровержение носит вторичный характер, так как сначала следует доказать чтолибо, и тогда появится материал для опровержения. Поскольку само доказательство имеет три составляющие, то объектом критики может стать каждая из них.
Опровержение тезиса заключается в установлении его ложности. В случае прямого опровержения допускают, что выдвинутый тезис истинен. Из этого тезиса выводятся следствия, их сравнивают с известными фактами, а также с другими утверждениями. При обнаружении противоречия между выведенными следствиями и известными фактами необходимо заключить, что следствия ложны. Поэтому и тезис, из которого они получены, также должен быть признан ложным. Опровержение тезиса— это « приведение к абсурду ».
Для косвенного опровержения сначала формулируется тезис, противоречащий тезису выдвинутому. Успешное обоснование противоречащего тезиса говорит о ложности выдвинутого, и он выступает в качестве противоречащего доказанному истинному утверждению.
При опровержении демонстрации следует найти логическую ошибку в выводе и показать, что тезис не следует из приведенных аргументов. Если это удается, то отвергается / все доказательство.
Третий способ опровержения— критика аргументов. Здесь устанавливается, что выдвинутый тезис не доказан, если удается показать ложность или необоснованность доводов оппонента.
Приведем классический пример опровержения из произведения А. П. Чехова « Письмо к ученому соседу »: « Вы пишете, что на Луне, т. е. на месяце, живут и обитают люди и племена. Этого не может быть никогда, потому что если бы и жили люди на Луне, то заслоняли бы для нас магический и волшебный свет ее своими домами и тучными пастбищами. Без дождика люди не могут жить, а дождь идет вниз на землю, а не вверх на Луну ».
Обоснование истинности антитезиса становится и доказательством антитезиса, и опровержением тезиса одновременно. Однако обоснование несостоятельности аргументов не доказывает ложности тезиса, но дает возможность увидеть, что аргументы, приведенные для обоснования тезиса, ложны или недостаточны. По этой причине опровержение аргументов не каждый раз становится антидоказательством.
Сходная ситуация складывается и с опровержением демонстрации. Обосновывая неправильность или нелогичность связи тезиса с аргументами или связи между ними в доказательстве, мы указываем на то, что при доказательстве нарушена логика, но сказать более и отрицать тезис доказательства или его аргументы нельзя. Следовательно, не каждое опровержение является опровержением целого доказательства, точнее, не всякое опровержение отбрасывает доказательство в целом. Это обязательно нужно иметь в виду при определении опровержения.
Гипотезы
Предметами изучения формальной логики служат не только формы абстрактного мышления, но и формы развития научного знания. Между всеми названными формами существует внутренняя связь, и каждая последующая форма охватывает и самые важные результаты предыдущей.