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