Доказательство и его структура. Виды доказательств. Правила и ошибки доказательств

МИНЕСТЕРСТВО  ОБРАЗОВАНИЯ И НАУКИ, МОЛОДЕЖИ И  СПОРТА УКРАИНЫ

МАРИУПОЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

 

 

 

 

Реферат

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

по теме:

«Доказательство и его структура. Виды доказательств. Правила и ошибки доказательств»

 

 

 

 

студентки ІI курса

специальности 

«Перевод (английский)»

Питецкой Ольги Викторовны

 

 

 

 

 

Мариуполь – 2013 
Содержание:

1. Доказательство и его структура
2. Виды доказательств
3. Правила и ошибки, встречающиеся в доказательстве и опровержении
4. Роль доказательств

Список литературы

 

 

Доказательство  и его структура

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

Структура доказательства:

Тезис – это выдвинутое оппонентом суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают.

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

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

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

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

Приведем пример доказательства. Поль С. Брэгг высказал такой тезис: «Купить  здоровье нельзя, его можно только заработать своими собственными постоянными  усилиями». Этот тезис он обосновывает так: «Только упорная и настойчивая  работа над собой позволит каждому  сделать себя энергичным долгожителем, наслаждающимся бесконечным здоровьем. Я сам заработал здоровье своей жизнью. Я здоров 365 дней в году, у меня не бывает никаких болей, усталости, дряхлости тела. И вы можете добиться таких же результатов!»

Различают несколько  видов аргументов:

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

Ценой десятков тысяч проведенных  опытов, сбора научных фактов И. В. Мичурин создал стройную систему  выведения новых сортов растений. Сначала он увлекся работами по акклиматизации изнеженных южных и западноевропейских плодовых культур в условиях средней  полосы России. Путем гибридизации он сумел создать свыше 300 сортов плодовых и ягодных культур. Это  яркий пример того, как подлинный  ученый собирает и обрабатывает огромный научный фактический материал.

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

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

4. Ранее доказанные законы науки  и теоремы как аргументы доказательства.

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

Прямые – тезис логически следует из аргументов.

Непрямые (косвенные) – это такие доказательства, в которых истинность выдвигаемого тезиса обосновывается путём доказательства ложности антитезиса. Имеет два вида: 

• апагогическое (доказательство от «противного») 

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

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

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

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

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

Правила:

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

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

Ошибки:

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

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

3. “Переход в другой род”. Имеются две разновидности этой ошибки: а) “кто слишком много доказывает, тот ничего не доказывает”; б) “кто слишком мало доказывает, тот ничего не доказывает”. В первом случае ошибка возникает тогда, когда вместо одного истинного тезиса пытаются доказать другой, более сильный тезис, и при этом второй тезис может оказаться ложным. Если из а следует б, но из б не следует а, то тезис а является более сильным, чем тезис б. Например, если вместо того чтобы доказывать, что этот человек не начинал первым драку, начнут доказывать, что он не участвовал в драке, то ничего не смогут доказать, если этот человек действительно дрался и кто-нибудь это видел. Ошибка “кто слишком мало доказывает, тот ничего не доказывает” возникает тогда, когда вместо тезиса а мы докажем более слабый тезис б. Например, если, пытаясь доказать, что это животное зебра, мы доказываем, что оно полосатое, то ничего не докажем, так как тигр тоже полосатое животное. 

Правила и ошибки, относящиеся к аргументам

Правила:

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

Ошибки:

1. Ложность основания  (“Основное заблуждение”). В качестве аргументов берутся не истинные, а ложные суждения, которые выдают или пытаются выдать за истинные. Ошибка может быть непреднамеренной. Например, геоцентрическая система Птоломея была построена на основании ложного допущения, огласно которому Солнце вращается вокруг Земли. Ошибка может быть и преднамеренной (софизмом), совершенной с целью запутать, ввести в заблуждение других людей (например, дача ложных показаний свидетелями или обвиняемым в ходе судебного расследования, неправильное опознание вещей или людей и т.п.). Употребление ложных, недоказанных или непроверенных аргументов нередко сопровождается оборотами: “всем известно”, “давно установлено”, “совершенно очевидно”, “никто не станет отрицать” и т.п. Слушателю как бы оставляется одно: упрекать себя за незнание того, что давно и всем известно.

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

3. “Порочный круг”. Ошибка состоит в том, что тезис обосновывается аргументами, а аргументы обосновываются этим же тезисом. Эта разновидность ошибки “применение недоказанного аргумента”.

Правила к форме  обоснованного тезиса (демонстрации) и ошибки в форме доказательства

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

Ошибки:

1. Мнимое следование. Если тезис не следует из приводимых в его подтверждение аргументов, то возникает ошибка, называемая “не следует”. Иногда вместо правильного доказательства аргументы соединяют с тезисом посредством слов: “следовательно”, “итак”, “таким образом”, “в итоге имеем” и т.п., полагая, что установлена логическая связь между аргументами и тезисом. Эту логическую ошибку часто неосознанно допускают люди, не знакомые с правилами логики, полагающиеся на свой здравый смысл и интуицию. В результате возникает словесная видимость доказательства.