Размещено на http://www.allbest.ru/

Автономное образовательное учреждение высшего профессионального образования

Ленинградский государственный университет имени А. С. Пушкина

КОНТРОЛЬНАЯ РАБОТА

ПО ЛОГИКЕ

Тема: Виды доказательств

Выполнила ПЕТРОВА А.Ю.

Санкт-Петербург 2013

Содержание

Введение

Общее понятие о доказательстве

Прямое и косвенное доказательство

Прямое доказательство

Косвенное доказательство

Внутренне противоречивые следствия

Разделительное доказательство

Заключение

Список используемой литературы

Введение

Получение опосредованных, выводных знаний происходит не только в форме умозаключения. Другой основной формой осуществления этого процесса в мышлении служит доказательство. Оно отличается, пожалуй, наибольшей сложностью по сравнению с понятием, суждением, умозаключением, почему и рассматривается после них. Действительно, если суждение включает в себя понятия, но не сводится к ним, если умозаключение состоит из суждений, но тоже не сводится к ним, то и здесь ситуация аналогичная. Доказательство предполагает умозаключения, опирается на них и т. д., но отнюдь не сводится к ним, не есть их простая арифметическая сумма. Так же как суждение выступает в виде связи понятий, а умозаключение -- в форме связи суждений, так и доказательство представляет собой связь умозаключений (а следовательно, суждений и понятий). Структурная сложность этой логической формы -- лишь еще одно из свидетельств высокого уровня развития человеческого мышления, способного в интересах постижения истины выстраивать нередко сложнейшие умственные конструкции -- цепи умозаключений, их более или менее стройные системы. Какова проблематика логической теории доказательства? Логика отвлекается от конкретного содержания доказательств в каждой отдельной области практики или науки. Доказательство исследуется в ней лишь со стороны формы: рассматривается логическая природа всякого доказательства, выясняются его роль и значение, структура, его виды, а также правила и ошибки.

Однако и в этом качестве рассматриваемая тема имеет огромное значение. В ней раскрывается сложный механизм одной из очень важных логических процедур, которая широко применяется не только в науках, но и при обсуждении практических вопросов, в особенности юридических (и прежде всего судебных).

Общее понятие о доказательстве

Под доказательством в широком смысле слова понимают процесс обоснования истинности какого-либо утверждения с помощью уже установленных истин. Обычно различают доказательства непосредственные и опосредствованные. К первому виду относят доказательства, в которых убедиться в истинности утверждения мы можем непосредственно с помощью чувственного познания, наблюдая, например, предметы, их свойства и отношения. Однако в громадном большинстве случаев убедиться в истинности утверждения можно лишь косвенным путем, опираясь на другие аргументы, истинность которых уже установлена. Нельзя также не учитывать, что непосредственные восприятия могут нас обманывать, стоит лишь напомнить оптические и другие иллюзии, которые могут быть устранены только путем соответствующего обоснования истинного положения вещей.

Еще больше трудностей возникает при различных практических доказательствах, в частности, в судебном процессе. В силу особой ответственности принимаемых судом решений процесс доказывания здесь строго регламентирован процессуальными нормами. Во-первых, в нем точно разграничены фактические данные, на которые опирается доказывание и средства установления этих данных. Фактические данные образуют ядро доказывания, выступая в качестве посылок всех дальнейших рассуждений. Во-вторых, средства доказывания точно регламентированы процессуальными нормами. Поэтому, например, новые технические средства, такие, как магнитофонные записи или съемки скрытой камерой, не сразу были санкционированы судебными нормами. В-третьих, в судебном доказывании сочетаются логические доказательства с практическими. Всесторонне объективное исследование фактов, основанное на установленных законом практических процедурах, опираются на логические рассуждения. Хотя юристы преимущественно заняты практической стороной доказывания, связанной с установлением истинности фактов, свидетельств, показаний, аргументов, выдвигаемых участниками судебного процесса, но вся их деятельность основывается на принципах и правилах рационального мышления. Поэтому нельзя рассматривать судебное доказывание как чисто практическую деятельность.

Однако юридические доказательства отличаются от логических хотя бы потому, что в них фигурируют вещественные доказательства, свидетельства, данные экспертиз и т.п., которые с чисто логической точки зрения являются частными суждениями. Из них поэтому нельзя получить дедуктивного заключения. Скорей всего судебное доказывание следует рассматривать как особый тип аргументации, в котором все собранные и строго регламентированные процессуальными нормами данные служат для обоснования принимаемого судом решения. Как мы покажем в этой части книги, именно судебные доказательства явились прообразом для создания будущей общей теории аргументации.

С другой стороны, в точных науках, особенно в математике и логике, все больше усиливается тенденция к строгости доказательств. Но даже в самой точной науке нельзя все доказать. Поэтому в математике в качестве исходных недоказуемых утверждений выбирают аксиомы и тем самым избегают регресса в бесконечность. Ведь в противном случае пришлось бы продолжать доказывать одни утверждения через другие и такой процесс нельзя было бы закончить. Вот почему в любой науке стремятся к тому, чтобы выделить минимум утверждений, принимаемых без доказательств, а все другие утверждения стараются вывести с помощью правил логической дедукции. Благодаря этому достигается значительная экономия интеллектуальных усилий, ибо отпадает необходимость доказывать каждое утверждение самостоятельно. Кроме того, накопленная на первоначальном этапе развития науки информация, т.е. отдельные разрозненные факты, обобщения и эмпирические законы, систематизируется в рамках целостных теорий и отдельных их систем и научных дисциплин.

Доказательство в широком смысле слова мы определили как процесс обоснования истинности одного утверждения с помощью других, поэтому такое обоснование может быть достигнуто разными способами: посредством установления правил логической связи между аргументами и заключением, когда аргументы истинны; путем установления истинности происхождения аргументов. Такие доказательства называют генетическими, ибо они связаны с обоснованием истинности происхождения выдвигаемых доводов в защиту доказательства того или иного утверждения, заявления или даже мнения.

Особенно часто с такого рода доказательствами имеют дело исторические науки, где установление истинности событий приобретает решающее значение, ибо мы их не можем наблюдать теперь. Поэтому исследование источников, установление их подлинности, соответствия реальным событиям и фактам, происходившим в далеком прошлом, становится решающей проблемой. Такого же рода задачи возникают в юриспруденции, где установление подлинности фактов, истинности показаний очевидцев об этих фактах, результатов судебных экспертиз и следственных экспериментов имеет первостепенное значение для судебного вердикта и вынесения приговора.

В большинстве же случаев под доказательством понимают процесс установления истинности заключения путем выявления логической связи между посылками и этим заключением. При этом посылки считаются истинными. Единственный вид умозаключения, который переносит истинность посылок на заключение, есть дедукция, вследствие чего наиболее убедительными и считаются дедуктивные доказательства. Следует, однако, не смешивать умозаключение (или вывод) с доказательством. Умозаключение, в том числе и дедуктивное, может быть сделано из гипотетических или даже ложных посылок. Доказательство же обязательно требует установления или принятия только истинных посылок.

Во всяком доказательном рассуждении принято различать три части: тезис, аргументы и способ доказательства (или демонстрации).

Тезисом называют то положение, которое требуется доказать. По своей логической форме тезис является заключением, которое выводится по правилам логики из истинных посылок.

Аргументами (или основаниями) доказательства называются суждения или посылки, которыми пользуются при логическом выводе заключения.

Способом доказательства (или демонстрации) называется совокупность тех умозаключений, с помощью которых тезис выводится из аргументов. Как правило, в качестве способа демонстрации используются дедуктивные умозаключения, в частности, силлогизмы, выводы из суждений с отношениями, условные и разделительные суждения и некоторые другие, о которых говорилось в первой части книги.

Какие требования предъявляются к основным частям доказательства?

Тезис доказательства должен быть сформулирован ясно, четко и однозначно. Сбивчивость, неясность и неопределенность, допущенные при формулировании тезиса, могут привести к таким нежелательным действиям, как отступление от тезиса, замена его другим, логической непоследовательности. Вот почему в научном познании, особенно в точных науках, теоремы формулируются с помощью суждений с точно определенными терминами или понятиями, исключающими неоднозначность и двусмысленность.

Аргументы, используемые в качестве посылок, должны быть истинными или доказанными утверждениями. Так как истинность тезиса в значительной степени зависит от истинности или доказанности аргументов, то обоснование их истинности приобретает решающее значение в процессе аргументации.

Некоторые аргументы считаются истинными либо в силу их очевидности, либо в силу того, что они многократно подтверждены и проверены на практике. К таким аргументам относятся фактические истины, которые подтверждаются данными чувственного познания. Аксиомы и законы науки также являются наиболее обоснованными и проверенными аргументами. Долгое время, однако, аксиомы рассматривались как самоочевидные истины, не нуждающиеся ни в каком обосновании и тем более доказательстве. На самом деле аксиомы принимаются без доказательства потому, что их истинность обосновывается теми многочисленными следствиями, которые из них вытекают. В принципе, вместо одних аксиом можно принять другие, если их система будет непротиворечивой и независимой. Аналогично этому, законы науки являются наиболее надежными аргументами, многократно подтвержденными длительными систематическими наблюдениями, экспериментами и практической деятельностью. Фактически всякий аргумент, являющийся истинным либо доказанный как истинный, может служить основанием для доказательства. Однако степень их убедительности далеко не одинакова: аргументы, опирающиеся на свидетельства фактов и наблюдений, неравнозначны аргументам, которые являются законами (или принципами) науки. Вот почему анализ аргументов составляет важную задачу теории аргументации.

Способ доказательства (или демонстрации) должен отвечать всем требованиям правил логических умозаключений. Эти правила, как известно, логически связывают аргументы с тезисом доказательства, а поэтому их нарушение приводит к ошибочному тезису. В таком случае возникает логическое противоречие между аргументами и тезисом доказательства и доказательство оказывается несостоятельным. Знание правил логики как раз и нужно для того, чтобы не делать таких ошибок, а если они возникнут, суметь их найти и устранить.

Под демонстрацией тезиса понимают установление и показ логической связи между аргументами и тезисом доказательства. Если доказательство основывается на дедуктивном умозаключении, то демонстрация сводится к показу того, следует ли тезис из аргументов или посылок по правилам логики дедукции. В вероятностных умозаключениях речь должна идти о степени подтверждения тезиса аргументами. В настоящей главе мы рассмотрим доказательства, опирающиеся на дедуктивные умозаключения. Существует множество видов дедуктивных умозаключений: начиная от простых категорических силлогизмов и кончая выводами, в которых фигурируют разнообразные суждения с отношениями или многоместными предикатами.

Кроме того, в ходе аргументации используются также некоторые специфические формы демонстрации, да и обычные силлогизмы для облегчения речи употребляются в сокращенной форме. Поэтому в логическом анализе вместо одного единственного силлогизма рассматривается целая цепь силлогизмов, или полисиллогизмов. С них мы и начнем обсуждение способов демонстрации тезиса.

Прямое и косвенное доказательство

Немецкий философ XIX в. А. Шопенгауэр считал математику довольно интересной наукой, но не имеющей никаких приложений, в том числе и в физике. Он даже отвергал саму технику строгих математических доказательств. Шопенгауэр называл их мышеловками и приводил в качестве примера доказательство известной теоремы Пифагора. Оно является, конечно, точным; никто не может счесть его ложным. Но оно представляет собой совершенно искусственный способ рассуждения. Каждый шаг его убедителен, однако к концу доказательства возникает чувство, что вы попали в мышеловку. Математик вынуждает вас допустить справедливость теоремы, но вы не получаете никакого реального понимания. Это все равно, как если бы вас провели через лабиринт. Вы наконец выходите из лабиринта и говорите себе: «Да, я вышел, но не знаю, как здесь очутился».

Позиция Шопенгауэра, конечно, курьез, но в ней есть момент, заслуживающий внимания. Нужно уметь проследить каждый шаг доказательства. Иначе его части лишатся связи, и оно в любой момент может рассыпаться, как карточный домик. Но не менее важно понять доказательство в целом, как единую конструкцию, каждая часть которой необходима на своем месте. Как раз такого целостного понимания не хватало, по всей вероятности, Шопенгауэру. В итоге в общем-то простое доказательство представилось ему блужданием в лабиринте: каждый шаг пути ясен, но общая линия движения покрыта мраком.

Доказательство, не понятое как целое, ни в чем не убеждает. Даже если выучить его наизусть, предложение за предложением, к имеющемуся знанию предмета это ничего не прибавит. Следить за доказательством и лишь убеждаться в правильности каждого его последующего шага -- это, по словам французского математика А. Пуанкаре, равносильно такому наблюдению за игрой в шахматы, когда замечаешь только то, что каждый ход подчинен правилам игры.

Минимальное требование -- это понимание логического выведения как целенаправленной процедуры. Только в этом случае достигается интуитивная ясность того, что мы делаем.

«Я принужден сознаться, -- заметил как-то Пуанкаре, -- что положительно не способен сделать без ошибки сложение. Моя память не плохая; но чтобы стать хорошим игроком в шахматы, она оказалась бы недостаточной. Почему же она не изменяет мне в сложных математических рассуждениях, в которых запутались бы большинство шахматных игроков? Это происходит, очевидно, потому, что в данном случае память моя направляется общим ходом рассуждения. Математическое доказательство не есть простое сцепление умозаключений: это умозаключения, расположенные в определенном порядке; и порядок, в котором расположены эти элементы. Если у меня есть чувство... этого порядка, вследствие чего я сразу могу обнять всю совокупность рассуждений, мне уже нечего бояться забыть какой-либо элемент; каждый из них сам собою займет свое место...»

То, что создает, по выражению Пуанкаре, «единство доказательства», можно представить в форме общей схемы, охватывающей основные его шаги, воплощающей в себе общий принцип или его итоговую структуру. Именно такая схема остается в памяти, когда забываются подробности доказательства. С точки зрения общего движения мысли, все доказательства подразделяются на прямые и косвенные.

Прямое доказательство

При прямом доказательстве задача состоит в том, чтобы подыскать такие убедительные аргументы, из которых по логическим правилам получается тезис.

Например, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из таких положений выводим, что сумма углов четырехугольника равна 360°.В построении прямого доказательства можно выделить два связанных между собою этапа: отыскание тех, признанных обоснованными утверждений, которые способны быть убедительными аргументами для доказываемого положения; установление логической связи между найденными аргументами и тезисом. Нередко первый этап считается подготовительным и под доказательством понимается дедукция, связывающая подобранные аргументы и доказываемый тезис.

Еще пример. Нужно доказать, что космические корабли подчиняются действию законов небесной механики. Известно, что эти законы универсальны: им подчиняются все тела в любых точках космического пространства. Очевидно также, что космический корабль есть космическое тело. Отметив это, строим соответствующее дедуктивное умозаключение. Оно является прямым доказательством рассматриваемого утверждения.

Косвенное доказательство

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

Внутренне противоречивые следствия

По логическому закону непротиворечия одно из двух противоречащих друг другу утверждений является ложным. Поэтому, если в числе следствий какого-либо положения встретились и утверждение и отрицание одного и того же, можно сразу же заключить, что это положение ложно.

Например, положение «Квадрат -- это окружность» ложно, поскольку из него выводится как то, что квадрат имеет углы, так и то, что у него нет углов. Ложным будет также положение, из которого выводится внутренне противоречивое высказывание или высказывание о тождестве утверждения и отрицания.

Один из приемов косвенного доказательства -- выведение из антитезиса логического противоречия. Если антитезис содержит противоречие, он явно ошибочен. Тогда его отрицание -- тезис доказательства -- верно. Хорошим примером такого рассуждения служит известное доказательство Евклида, что ряд простых чисел бесконечен. Простые -- это натуральные числа больше единицы, делящиеся только на себя и на единицу. Простые числа - это как бы «первичные элементы», на которые все целые числа (больше 1) могут быть разложены. Естественно предположить, что ряд простых чисел: 2, 3, 5, 7, 11,13,... -- бесконечен. Для доказательства данного тезиса допустим, что это не так, и посмотрим, к чему ведет такое допущение. Если ряд простых чисел конечен, существует последнее простое число ряда -- А.

Образуем далее другое число: В = (2 * 3 * 5 *... * А) + 1. Число В больше А, поэтому В не может быть простым числом. Значит, В должно делиться на простое число. Но если В разделить на любое из чисел 2, 3, 5, .... А, то в остатке получится 1. Следовательно, В не делится ни на одно из указанных простых чисел и является, таким образом, простым. В итоге, исходя из предположения, что существует последнее простое число, мы пришли к противоречию: существует число одновременно и простое, и не являющееся простым. Это означает, что сделанное предположение ложно и правильно противоположное утверждение: ряд простых чисел бесконечен. В этом косвенном доказательстве из антитезиса выводится логическое противоречие, что прямо говорит о ложности антитезиса и соответственно об истинности тезиса. Такого рода доказательства широко используются в математике. Если имеется в виду только та часть подобных доказательств, в которой показывается ошибочность какого-либо предположения, они именуются по традиции приведением к абсурду. Ошибочность предположения вскрывается тем, что из него выводится откровенная нелепость. Имеется еще одна разновидность косвенного доказательства, когда прямо не приходится искать ложные следствия. Дело в том, что для доказательства утверждения достаточно показать, что оно логически вытекает из своего собственного отрицания.

Этот прием опирается на закон Клавия, говорящий, что если из ложности утверждения вытекает его истинность, то утверждение истинно. К примеру, если из допущения, что дважды два равно пяти, выведено, что это не так, тем самым доказано, что дважды два не равняется пяти. По такой схеме рассуждал еще Евклид в своей «Геометрии». Эту же схему использовал однажды древнегреческий философ Демокрит в споре с другим древнегреческим философом, софистом Протагором. Протагор утверждал, что истинно все то, что кому-либо приходит в голову. На это Демокрит ответил, что из положения «Каждое высказывание истинно» вытекает истинность и его отрицания «Не все высказывания истинны». И значит, это отрицание, а не положение Протагора на самом деле истинно.

логический косвенный доказательство следствие

Разделительное доказательство