Установление истинности тезиса предполагает следующий алгоритм, включащий 3 шага:
Все доказательства подраделяются на пряме и косвенные. При прямом Д., задача состоит в том, чтобы подыскать такие убедительные аргументы, из которых по логическим правилам получается тезис. Например, мы пытаемся доказати, что космические корабли подчиняются действию законов механики. Эти законы универсальны, им подчиняются все тела в любих точках космического пространства, а корабль в этом слчае и есть космическое тело. Строим дедуктвиное умозаключение, которое и является прямым доказательством выше указаного утверждения. P
Древнеиндийские логики (IV V вв.) изучали процесс Д. и вычленили в нем такие компоненты: тезис, основание, пример, сходтсво, разнородность, перцепция, заключение. При этом всякое доказательство состоит из трех частей: тезиса( утверждение, которое нужно доказать), доводов и демонстрации. Главное требование к тезису ( за А.И. Мигуновым Логика ) ясность, точность, неизменность. Главными требованиями к доводам истинность, независимость( истинность каждого из оснований не должна быть доказана ни спомощью других оснований, ни с помощью доказываемого или опровергаемого тезиса), достаточность, непротиворечивость. Основное требование к демонстрации строгое соблюдение последовательности и правильности применения определенных логических правил или шагов алгоритма самого доказательства. Так как в Д., речь идет о полном подтверждении, связь между аргументами и тезисом должна носить дедуктивный характер. По своей форме Д. дедуктивное умозаключене, ведущее от истинных посылок к доказываемому положенню. В обычном определении доказательства используется понятие истины. Доказать какой то тезис, значит вывести его их других положений, которые являються истинными. По форме умозаключния, в которой совершаються докзаательства, они могут быть индуктивными и дедкутивными.P
PОдна из основных задач логики состоит в придании точного значения понятию доказательства. Математик В.А.Успенский утверждает, что во всей своей полноте понятие доказательства принадлежит математике не более, чем психологии: ведь Д. это просто рассуждение, убеждающее нас настолько, что с его помощью мы готовы убеждать других. Главная задача Д. исчерпывающе утвердить обоснованность доказываемого тезиса.P
Почему доказательство «доказывает», что всякое утверждение можно доказать или опровергнуть. Доказательство и его приемы стояли в центре внимания почти всех логиков со дня возникновения науки о мышлении. Аристотель говорил, что люди тогда всего более в чему нибудь убеждаются, когда им представляется что что либо доказано. Уменье доказать он считал характерной чертой человека. Логический словарь-справочник Кондакова обозначает доказательство, как логическое действие, в процессе которого истинность какой либо мысли обосновывается с помощью других мыслей. Ивин в книге «Логика» определяет «Д.», как процедуру установления истинности некоторого утверждения путем приведения других утверждений, истинность которых уже известна и из которых с необходимостью вытекает первое. Особую роль при знакомстве с доказательством играет математика.
Довольно сложно переоценит значение и место доказательства в науке. Ведь иногда за него выдается то, что им вовсе не является. К доказательству прибегают все, но редко кто задумывался над смыслом этого понятия и что же значит «доказать».
Аристотель (384 322 до н.э.).
наука / Поиск по тегам / Студенческие новости - Studnovosti.ru
Комментариев нет:
Отправить комментарий