Доказательство и опровержение. 12

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

 

ФГБОУ ВПО «Уральский государственный экономический университет»

Центр дистанционного образования

 

 

 

 

 

 

 

 

 

 

 

 

Контрольная работа

по дисциплине: Логика

по теме: Доказательство и опровержение

 

 

 

 

 

Исполнитель: студент(ка)

Направление__________

Профиль

Группа УКп-11Р

Ф.И.О

 

 

 

 

Екатеринбург

2013

 

СОДЕРЖАНИЕ

 

1. Определение доказательства. Основные принципы и аксиомы  3
2. Прямое и косвенное доказательство …………………………….12
3. Понятие опровержения. Логические ошибки, встречающиеся в доказательствах и опровержениях. Способы опровержения и их применение в судебно – следственной практике …………………………………………..18
4. Список литературы ………………………………………………..39

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Определение доказательства. Основные принципы и аксиомы.

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

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

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

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

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

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

 

«Понятие доказательства, – пишет отечественный логик и математик В.А. Успенский, – во всей его полноте принадлежит математике не более, чем психологии: ведь доказательство – это просто рассуждение, убеждающее нас настолько, что с его помощью мы готовы убеждать других».

Доказательство – один из многих способов убеждения. В науке это один из основных методов. Можно сказать, что научный метод убеждения является, прежде всего, методом строгих и точных доказательств. Требование доказательности научного рассуждения определяет то «общее освещение», которое модифицирует попавшие в сферу его действия цвета. Этим «общим освещением» пронизываются все другие требования к научной аргументации. Без него она неизбежно вырождается в бездоказательный набор общих деклараций и поучений, в апелляцию к вере и эмоциям.

На каждом из нас лежит «бремя доказательства» выдвигаемых положений. Важно постоянно думать о содержательной стороне дела. Вместе с тем существенно также, чтобы всегда обеспечивалось единство содержательности и доказательности. Никакие искусственные приемы, никакое красноречие не способны помочь, если нет хорошо обоснованных идей и убедительных доказательств.

Задача доказательства – исчерпывающе утвердить обоснованность доказываемого тезиса.

 ВячecлавИвaнoвичКиpиллoв, доктор философских наук, профессор, заведующий кафедрой филocoфииМocковской государственной юридической академии определяет следующее строение доказательства: «Доказательство как особый логический способ обоснования истины имеет свое строение. Всякое доказательство включает: тезис, аргументы, демонстрацию. Каждый из этих элементов в логической структуре доказательства выполняет свои особые функции, поэтому ни один из них нельзя игнорировать при построении логически правильного доказательства».

Дадим логическую характеристику каждому из указанных элементов.

Тезисом доказательства называется то положение, истинность или ложность которого требуется доказать. Если нет тезиса, то и доказывать нечего. Поэтому все доказательное рассуждение целиком подчинено тезису и служит для его подтверждения (или опровержения). Известный русский логик С. И. Поварнин сравнивал роль тезиса в доказательстве со значением фигуры «короля» в шахматной игре. Этой фигуре подчинен весь процесс игры, с ее «интересами» сообразуется каждое движение других шахматных фигур. Аналогично и в доказательстве: главная цель всех рассуждений — тезис, его подтверждение или опровержение.

Тезис может быть сформулирован как в начале доказательства, так и в любой другой его момент. Тезис часто высказывается в форме категорического суждения, например: «Положение, которое я доказываю, состоит в следующем», «Вот мой тезис», «Передо мной стоит задача доказать», «Вот мое положение», «Я глубоко убежден(а), что...» и т. п. Нередко тезис формулируют и в форме вопроса.  Ответ на вопрос и будет доказательством.

Доказательства бывают простые и сложные. Главное их различие состоит в том, что в сложном доказательстве имеются основной тезис и частные тезисы.

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

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

Основные виды аргументов: факты, законы, аксиомы, определения, документальные свидетельства и т. п. Рассмотрим их содержание подробнее.

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

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

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

Важный вид аргументов — законы науки. Ссылка на закон является веским аргументом. Авторитетность законов науки как аргументов связана с нашим пониманием того, что такое закон.

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

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

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

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

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

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

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

Доказательство — это логическая основа аргументации. Структура доказательства полностью входит в структуру аргументации, но не исчерпывает ее полностью. Это связано с тем, что знание воспринимается не только разумом, но и чувствами человека.

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

Понятие доказательства также часто употребляется в связи с понятием умозаключения. Но существует некоторое различие между доказательством и умозаключением.

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

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

Именно в умозаключении мы не всегда обращаем внимание на то, истинны ли посылки; в доказательстве же истинность посылок является самым главным требованием. Кроме того, доказательство отличается от силлогизма ещё и тем, что в нём доказываемое суждение, соответствующее заключению силлогизма, известно заранее.

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

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

Широкое употребление понятия «доказательство» само по себе не ведет к недоразумениям. Но только при одном условии. Нужно постоянно иметь в виду, что правдоподобное обобщение, переход от частных фактов к общим заключениям дает не достоверное, а лишь вероятное знание.

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

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

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

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

С точки зрения общего движения мысли все доказательства подразделяются на прямые и косвенные.В прямом доказательстве мы выводим истинность тезиса из истинности аргументов при помощи умозаключения; непрямое, или апагогическое, доказательство выводит истинность тезиса из невозможности допустить или признать истинность положения, противоречащего тезису. Именно, в непрямом доказательстве мы берём положение, противоречащее тезису, и предполагаем его истинным (такое положение называется антитезисом). Затем из этого положения выводим следствия, которые приводят к противоречию с данными или признанными положениями. Вследствие этого нам приходится отвергнуть истинность противоречащего положения, которое мы предположительно допустили, а отсюда будет следовать истинность тезиса. Таким образом доказывается тезис.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

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

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

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

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

Прямое доказательство - это выведение истинности тезиса из истинности аргументов. 
Непрямое доказательство - это доказательство "от противного".

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

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

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

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

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

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

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

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

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

Допустим, нужно построить косвенное доказательство такого весьма тривиального тезиса: «Квадрат не является окружностью». Выдвигается антитезис: «Квадрат есть окружность». Необходимо доказать ложность этого утверждения. С этой целью выводим из него следствия. Если хотя бы одно из них окажется ложным, это будет означать, что и само утверждение, из которого выведено следствие, также ложно. Неверно, в частности, такое следствие: у квадрата нет углов. Поскольку антитезис ложен, исходный тезис должен быть истинным.

Другой пример. Врач, убеждая пациента, что тот не болен гриппом, рассуждает так. Если бы действительно был грипп, имелись бы характерные для него симптомы: головная боль, повышенная температура и т.п. Но ничего подобного нет. Значит, нет и гриппа.

Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис «Гриппа нет» истинен.

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

Ход мысли в косвенном доказательстве определяется тем, что вместо обоснования справедливости тезиса стремятся показать несостоятельность его отрицания. В зависимости от того как решается последняя задача, можно выделить несколько разновидностей косвенного доказательства.

• Следствия, противоречащие фактам
• Внутренне противоречивые следствия
• Разделительное доказательство.

Во всех рассмотренных косвенных доказательствах выдвигаются две альтернативы: тезис и антитезис. Затем показывается ложность последнего, в итоге остается только тезис.

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

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

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

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

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

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

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

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

Косвенное доказательство – хорошее орудие исследования, но оно не всегда удачный прием изложения материала. Не случайно в практике преподавания нередок такой парадоксальный совет: после того как косвенное доказательство проведено, ход его полезно тут же забыть, оставив в памяти только доказанное положение.

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

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

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

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