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

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

Уральский государственный экономический университет

ЦЕНТР ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ

 

 

 

 

 

 

 

 

 

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

по дисциплине «ЛОГИКА»

 

Тема 12. ДОКАЗАТЕЛЬСТВО И ОПРОВЕРЖЕНИЕ

 

 

 

 

 

 

 

ЦДО	Исполнитель: Группа: ЮР-12НС
	Рецензент:Епина Л.В.____________ к.ф.н., доцент

 

 

 

 

 

 

 

 

 

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

2013

Содержание

Введение……………………………………………………………………………...3

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

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

3.Понятие опровержения. Логические ошибки, встречающиеся в доказательствах и опровержениях. Способы опровержения и их применение в судебно-следственной практике…………………………………………………..13

Заключение…………………………………………………………………………24

Список использованной литературы…………………………………………….25

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введение

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

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

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

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

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

 

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

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

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

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

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

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

Нередко в понятие доказательство вкладывается более широкий смысл: оно понимается как любой способ обоснования истинности тезиса.

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

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

Многие утверждения не являются ни истинными, ни ложными, лежат вне «категории истины». Оценки, нормы, советы, декларации, клятвы, обещания и т. п. не описывают каких-то ситуаций, а указывают, какими они должны быть, в каком направлении их нужно преобразовать. От описаний требуется, чтобы они соответствовали действительности и являлись истинными. Удачный совет, приказ и т. п. характеризуется как эффективный или целесообразный, но не как истинный. Высказывание «Вода кипит» истинно, если вода действительно кипит; команда же «Вскипятите воду!» может быть целесообразной, но не имеет отношения к истине. Очевидно, что, оперируя выражениями, не имеющими истинностного значения, можно и нужно быть и логичным и доказательным.

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

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

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

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

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

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

Итоговое оценочное умозаключение  может не высказываться прямо, а  всего лишь подразумеваться, как  это часто бывает со многими другими  компонентами рассуждений. Но, по существу, оно всегда представляет собой условно-категорический силлогизм, уже известный нам  modus ponens. Его первая, условная, посылка: если аргументы являются истинными суждениями, а умозаключение построено правильно, то тогда его вывод есть истинное (доказанное) суждение; вторая, категорическая: аргументы истинны, умозаключение правильно. Отсюда вытекает вывод о непреложной истинности тезиса. Таким образом, весь процесс доказательства в соответствии с его структурой распадается на три стадии: формулировка тезиса, подыскание аргументов, удовлетворяющих ряду специальных требований (о которых речь будет дальше), и затем построение демонстрации и ее проверка. Можно выделить и еще одну, четвертую - образование оценочного условно-категорического силлогизма. Но его подготовка в любом случае растворяется в первых трех стадиях. Сам же modus ponens настолько прост, что после завершения работы на предыдущих стадиях его отдельная формулировка делается излишней. Результат проверки, конечно, может оказаться и отрицательным. Ведь нельзя исключать того, что доказательство проведено с ошибками. Тогда мы будем иметь дело уже с каким-нибудь вариантом опровержения.

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

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