доказательства более распространены в математике, теоретической физике, философии и
других науках, имеющих дело с неспецифицированными объектами, с объектами, не
воспринимаемыми непосредственно. Индуктивные же доказательства — в опытных,
экспериментальных, прикладного характера науках.
По способу доказывания, по типу связи аргументов и тезиса доказательства
подразделяются на прямые и косвенные. Прямые доказательства — те, в которых тезис
обосновывается аргументами непосредственно, прямо, т.е. используемые аргументы
выполняют, например, роль посылок простого категорического силлогизма, где вывод из них
выступает тезисом нашего доказательства. Иногда прямые доказательства называют еще и
прогрессивными. Так, для доказательства тезиса "Мой друг сдает экзамен по логике" мы
приводим следующие аргументы:
Мой друг - студент философского факультета и
Все студенты философского факультета сдают экзамен по логике.
Эти аргументы позволяют нам по модусу Ваrbarа первой фигуры категорического
силлогизма сразу получить вывод, совпадающий с нашим тезисом. Это — прямое,
прогрессивное доказательство, состоящее из одного умозаключения, хотя доказательство и не
обязательно сводимо к одному, доказательство может состоять и из нескольких
умозаключений.
Это же самое доказательство может быть оформлено и в несколько ином, как бы
свернутом, условно-категорическом виде: "Если все студенты философского факультета сдают
экзамен по логике, то и мой друг сдает экзамен по логике, потому что он - студент
философского факультета". Более точно условно-категорический силлогизм выглядит так:
Если все студенты философского факультета сдают экзамен по логике, то и мой друг сдает
экзамен по логике
Мой друг - студент философского факультета
Мой друг сдает экзамен по логике.
Здесь, в первой посылке, в условном суждении сформулировано общее положение, во
второй - в категорическом суждении - установлено, что основание условного суждения
истинно. Согласно логической норме: при истинности основания условного суждения,
следствие его будет обязательно истинно, - мы и получаем в качестве вывода наш тезис
Другое дело — косвенное доказательство, аналитическое, или регрессивное. В нем
истинность тезиса обосновывается опосредованно, путем обоснования ложности антитезиса,
т.е. положения (суждения), противоречащего тезису; либо путем исключения всех членов
Do'stlaringiz bilan baham: |