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