Автор работы: Пользователь скрыл имя, 15 Апреля 2013 в 22:06, доклад
В принципе строение доказательства повторяет структуру умозаключения. Там тоже имеется тезис, получаемый в виде вывода из посылок-аргументов, а само умозаключение в целом есть аналог демонстрации. Только в доказательстве демонстрация может представлять собой длинную цепь умозаключений, из которых слагается более или менее пространное рассуждение или, может быть, большая теорема. Кроме того, и это еще важнее, доказательство, как на это верно указал когда-то В.Ф. Асмус в своем учебнике логики, есть, по сути дела, умозаключение об умозаключении, о том, что оно построено в соответствии с правилами логики, его посылки верны и, следовательно, сделанные в нем выводы надо признать истинными суждениями.
1. Структура доказательства
В любом доказательстве имеется три компонента:
тезис - положение, которое собираются доказать;
аргументы - утверждения, из которых тезис выводится по правилам логики (их называют также основаниями);
демонстрация (или форма доказательства) - само рассуждение, показывающее связь между аргументами и тезисом.
В принципе строение доказательства повторяет структуру умозаключения. Там тоже имеется тезис, получаемый в виде вывода из посылок-аргументов, а само умозаключение в целом есть аналог демонстрации. Только в доказательстве демонстрация может представлять собой длинную цепь умозаключений, из которых слагается более или менее пространное рассуждение или, может быть, большая теорема. Кроме того, и это еще важнее, доказательство, как на это верно указал когда-то В.Ф. Асмус в своем учебнике логики, есть, по сути дела, умозаключение об умозаключении, о том, что оно построено в соответствии с правилами логики, его посылки верны и, следовательно, сделанные в нем выводы надо признать истинными суждениями. Дело в том, что само умозаключение этого еще не обеспечивает допустим, перед нами такое рассуждение: струнные музыкальные инструменты подразделяются на щипковые и смычковые; рояль - не смычковый инструмент; значит рояль относится к щипковым инструментам. Можно ли считать обоснованным вывод, полученный с помощью этого разделительно-категорического силлогизма? Очевидно, нет. Потому что для этого надо еще и знать, являются ли посылки верными и соблюдены ли правила таких силлогизмов, в частности, требование указывать все возможные альтернативы; в данном случае оно, кстати, не выполнено, так как существуют еще и ударно-клавишные струнные инструменты, к числу которых относится и рояль.
Итоговое оценочное
умозаключение может не высказываться
прямо, а всего лишь подразумеваться,
как это часто бывает со многими
другими компонентами рассуждений.
Но, по существу, оно всегда представляет
собой условно-категорический силлогизм.
Его первая, условная, посылка - если
аргументы являются истинными суждениями,
а умозаключение построено
Вполне допустимо вкладывать в термин "доказательство" расширенный смысл, так что опровержение станет его разновидностью. В определенной мере это оправдано и часто делается. Потому что в результате опровержения тоже появляются какие-то твердо установленные истины, пусть даже их содержанием являются не сама внешняя реальность, не предметы или явления, а чьи-то высказывания, которым дается новая оценка. Опровержение тоже имеет три обычных компонента всякого доказательства: тезис, аргументы и демонстрацию. Вместе с тем и их различие тоже нельзя игнорировать. Ведь в то время, как доказательство есть умозаключение об умозаключении, опровержение, в отличие от него, представляет собой умозаключение о доказательстве. Объектом внимания в этом случае являются положения, уже доказанные или кажущиеся таковыми. Опровержение имеет целью устранить их. С такой точки зрения доказательство и опровержение противонаправлены.
Правда, можно было
бы учесть то обстоятельство, что когда
опровержение является правильным, когда
в итоге его проведения открывается
ложность тех истин, которые считались
доказанными, то в таком случае одновременно
открывается, что и само прежнее
доказательство не являлось таковым
на деле. Значит и опровержение тогда
надо признавать не умозаключением о
доказательстве, а умозаключением об
умозаключении, ошибочно принятом за доказательство.
Опровержение как логическое действие
с учетом таких обстоятельств
полностью подпадает под
2. Виды доказательства
В научной и профессиональной интеллектуальной практике различают два вида доказательства: прямое и косвенное.
Прямое доказательство
- это логическая операция, представляющая
собой непосредственную демонстрацию
истинности доказываемого тезиса на
основе имеющихся аргументов. Так, метод
полных истинностных таблиц, определения
логических условий истинности суждений,
может быть использован в качестве
метода прямого доказательства логической
истинности, случайности или логической
ложности суждений. Этот же метод является
прямым доказательством при
Однако очень
часто в процессе интеллектуальной
практики провести прямое доказательство
собственной позиции
Косвенное доказательство - это логическая операция, представляющая собой процесс опровержения допущения в форме контртезиса, т.е. утверждения, противоположного или противоречащего доказуемому тезису. Например, косвенным доказательством невиновности подозреваемого в совершении преступления является демонстрация алиби. В таком случае опровергается возможность для подозреваемого лица находиться в определенное время в определенном месте совершения преступления, т.е. опровергается контртезис о его виновности.
Различают два основных
метода ведения косвенного доказательства:
рассуждение от противного и рассуждение
по случаям. Оба они основываются
на более общем рассуждении
Схема рассуждения от противного выглядит следующим образом. Предположим, что необходимо обосновать некоторое утверждение - тезис, прямое доказательство которого представляет затруднения. В таком случае делается косвенное допущение, обратное искомому тезису. Если при данном допущении в процессе рассуждений обнаруживается противоречие, это является косвенным, но достаточным обоснованием доказуемого утверждения-тезиса, так как противное ему просто невозможно.
Схему рассуждения
по случаям можно пояснить на следующем
примере. Предположим, что в ситуации
принятия делового решения возникла
альтернатива, допускающая несколько
возможностей действия. В процессе
анализа каждого из альтернативных
случаев в отдельности