Понятие, структура и виды доказательств в логике
Понятие и структура, виды доказательства. Прямое и косвенное доказательство. Следствия, противоречащие фактам. Правила доказательства и ошибки при их нарушении. Правила и ошибки, относящиеся к тезису и к аргументам. Нарушение правил умозаключений.
| Рубрика | Философия |
| Вид | реферат |
| Язык | русский |
| Дата добавления | 05.09.2009 |
| Размер файла | 30,3 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Содержание
Введение
1. Понятие доказательства
2. Структура доказательства
3. Прямое и косвенное доказательство
4. Правила доказательства и ошибки при их нарушении
Заключение
Список использованной литературы
Введение
Познание отдельных предметов, их свойств происходит посредством форм чувственного познания (ощущений и восприятий). Мы видим, что этот дом ещё не достроен, ощущаем вкус горького лекарства и так далее. Эти истины не подлежат особому доказательству, они очевидны.
Во многих случаях, например на лекции, в сочинении, в научной работе, в докладе, в ходе полемики, в судебных заседаниях, на защите диссертации и во многих других, приходится доказывать, обосновывать высказанные суждения.
Доказательность -- важное качество правильного мышления.
Теория доказательства и опровержения является в современных условиях средством формирования научно обоснованных убеждения. В науке ученым приходится доказывать самые разные суждения, например суждение о том, что существовало до нашей эры, к какому периоду относятся предметы, обнаруживаемые при археологических раскопках, об атмосфере планет Солнечной системы, о звездах и галактиках Вселенной, о теоремах математики, о направлении развития ЭВМ, об осуществлении долгосрочных прогнозов погоды, о тайнах Мирового океана и космоса. Все эти суждения должны быть научно обоснованны.
1. Понятие доказательства
Доказательство - это логическое рассуждение, в процессе которого подтверждается или опровергается истинность какой-либо мысли с помощью других положений, проверенных практикой. Путем доказательства совершается переход от вероятного, недостоверного знания к достоверному. Его назначение - служить сверкой теоретических положений и выводов с реальной действительностью.
Формально-логическое доказательство не исчерпывает всей полноты этой сверки. Она достигается целой системой средств научного познания. Исследование любой проблемы само по себе доказательно, так как осуществляется в соответствии с природой вещей и тенденцией их развития. Поэтому доказательство можно более полно определить как процесс установления объективной истины посредством практических и теоретических действий и средств.
Доказательство в формальной логике представляется не как установление объективной истинности путем практических действий и теоретических средств, а как выведение одних истин из других, уже обоснованных, как установление логической связи между суждениями, отражающими явления предметного мира. Формальную логику принято характеризовать как науку о выводном знании, о рассуждении, объяснении; логической стороной объяснения служит доказательство.
Тысячелетний опыт убеждает человека в том, что обоснованность, доказательность есть отражение одной из самых общих, фундаментальных закономерностей объективного мира - универсальной связи и взаимообусловленности всех явлений. Поэтому и наши мысли о предметах, их свойствах и отношениях должны находиться во взаимной связи между собой. Способность правильно и доказательно строить логически необходимую связь мыслей в процессе рассуждения представляет чрезвычайно важное свойство человеческого сознания.
Доказательством в логике является всякое выведение одних истин из других, уже известных, путем установления логической связи между ними. Характерным признаком доказательства служит приведение достаточного основания для подтверждения истинного или опровержения ложного суждения. Всякое умозаключение в этом смысле есть доказательство, ибо в каждом из них вывод с достаточным основанием вытекает из посылок.
Доказательство связано с убеждением, но не тождественно ему: доказательства должны основываться на данные науки и общественно-исторической практики, убеждения же могут быть основаны, например, на религиозной вере в догматы церкви, на предрассудках, на неосведомлённости людей в вопросах экономики и политики, на видимости доказательности, основанной на различного рода софизмах. Религиозные проповедники могут “убедить” какую-то часть людей в существовании якобы бога, ада, рая и так далее.
2. Структура доказательства
Основу доказательства составляют следующие положения:
1. Тезис.
2.Аргументы.
3.Демонстрация.
Тезис -- это суждение, истинность которого надо доказать. Аргументы -- это те истинные суждения, которыми пользуются при доказательстве тезиса. Формой доказательства, или демонстрацией, называется способ логической связи между тезисом и аргументами.
Существуют правила доказательного рассуждения. Нарушение этих правил ведет к ошибкам, относящимся к доказываемому тезису, аргументам или к самой форме доказательства.
Различают несколько видов аргументов:
1. Удостоверенные единичные факты. К такого рода аргументам относится так называемый фактический материал, то есть статистические данные о населении, территории государства, количестве вооружения, свидетельские показания, подписи лица на документе, научные данные научные факты. Роль фактов в обосновании выдвинутых положений, в том числе научных, очень велика.
Как не совершенно крыло птицы, оно никогда не смогло бы поднять её в высь, не опираясь на воздух.
Факты - воздух ученого. Без них мы никогда не сможем взлететь. Без них наши теории - пустые потуги.
Но изучая, экспериментируя, наблюдая, старайтесь на оставаться на поверхности фактов. Не превращайтесь в архивариусов фактов. Пытайтесь проникнуть в тайну их возникновения. Настойчиво ищите законы ими управляющие. Ещё Мичурин сказал: “Мы не можем ждать милостей от природы; взять их у неё - наша задача”. Ценой десятков тысяч проведенных опытов, сбора научных фактов он создаёт свою стройную научную систему выведения новых сортов растений.
2.Определения как аргументы доказательства.
Определения понятий формулируются в каждой науке. Свои определения существуют в химии, математике, физике и так далее.
3.Аксиомы и постулаты.
В математике, механике, теоретической физике, математической логике и других науках кроме определений вводят аксиомы. Аксиомы - это суждения, которые принимаются в качестве аргументов без доказательства, так как они подтверждены многовековой практикой людей.
4.Ранее доказанные законы науки и теоремы как аргументы доказательства.
В качестве аргументов доказательства могут выступать ранее доказанные законы физики, химии, биологии и других наук, теоремы математики.
В ходе доказательства какого-либо тезиса может использоваться не один, а несколько из перечисленных видов аргументов.
Следует особо подчеркнуть, что критерием истинности является практика. Если практика подтвердила истинность суждения, то дальнейшее доказательство не нужно. Практика - критерий истинности всякой теории.
3. Прямое и косвенное доказательство
Доказательства по форме делятся на прямые и непрямые (косвенные).
Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. Схема этого доказательства такова: из данных аргументов (a,b,c...) необходимо следуют истинные суждения (k,m,l...), а из последних следует доказываемый тезис q. По этому типу проводятся доказательства в судебной практике, в науке, в полемике, в сочинениях школьников, при изложении материала учителем. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях.
В построении прямого доказательства можно выделить два связанных между собою этапа: отыскание тех, признанных обоснованными утверждений, которые способны быть убедительными аргументами для доказываемого положения; установление логической связи между найденными аргументами и тезисом. Нередко первый этап считается подготовительным и под доказательством понимается дедукция, связывающая подобранные аргументы и доказываемый тезис.
Пример. Нужно доказать, что космические корабли подчиняются действию законов небесной механики. Известно, что эти законы универсальны: им подчиняются все тела в любых точках космического пространства. Очевидно также, что космический корабль есть космическое тело. Отметив это, строим соответствующее дедуктивное умозаключение. Оно является прямым доказательством рассматриваемого утверждения.
Непрямое (Косвенное) доказательство - это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:1)если тезис обозначить буквой а, то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением; 2) антитезисом для тезиса а в суждении а...в...с служат суждения в и с.
Косвенное доказательство устанавливает справедливость тезиса тем, что вскрывает ошибочность противоположного ему допущения, антитезиса.
Как с иронией замечает американский математик Д. Пойа, «косвенное доказательство имеет некоторое сходство с надувательским приемом политикана, поддерживающего своего кандидата тем, что опорочивает репутацию кандидата другой партии».
В косвенном доказательстве рассуждение идет как бы окольным путем. Вместо того чтобы Прямо отыскивать аргументы для выведения из них доказываемого положения, формулируется антитезис, отрицание этого положения. Далее тем или иным способом показывается несостоятельность антитезиса. По закону исключенного третьего, если одно из противоречащих друг другу утверждений ошибочно, второе должно быть верным. Антитезис ошибочен, значит, тезис является верным.
Поскольку косвенное доказательство использует отрицание доказываемого положения, оно является, как говорят, доказательством от противного.
Допустим, нужно построить косвенное доказательство такого весьма тривиального тезиса: «Квадрат не является окружностью». Выдвигается антитезис: «Квадрат есть окружность». Необходимо показать ложность этого утверждения. С этой целью выводим из него следствия. Если хотя бы одно из них окажется ложным, это будет означать, что и само утверждение, из которого выведено следствие, также ложно. Неверным является, в частности, такое следствие: у квадрата нет углов. Поскольку антитезис ложен, исходный тезис должен быть истинным.
Другой пример. Врач, убеждая пациента, что тот не болен гриппом, рассуждает так. Если бы действительно был грипп, имелись бы характерные для него симптомы: головная боль, повышенная температура и т.п. Но ничего подобного нет. Значит, нет и гриппа.
Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис «Гриппа нет» истинен.
Доказательства от противного обычны в наших рассуждениях, особенно в споре. При умелом применении они могут обладать особенной убедительностью.
Итак, ход мысли в косвенном доказательстве определяется тем, что вместо обоснования справедливости тезиса стремятся показать несостоятельность его отрицания. В зависимости от того, как решается последняя задача, можно выделить несколько разновидностей косвенного доказательства.
Следствия противоречащие фактам
Чаще всего ложность антитезиса удается установить простым сопоставлением вытекающих из него следствий с фактами. Так обстояло, в частности, дело в примере с гриппом.
Друг изобретателя паровой машины Д. Уатта шотландский ученый Д. Блэк ввел понятие о скрытой теплоте плавления и испарения, важное для понимания работы такой машины. Блэк, наблюдая обычное явление -- таяние снега в конце зимы, рассуждал так: если бы снег, скопившийся за зиму, таял сразу, как только температура воздуха стала выше нуля, то неизбежны были бы опустошительные наводнения, а раз этого не происходит, значит, на таяние снега должно быть затрачено определенное количество теплоты. Ее Блэк и назвал скрытой.
Это -- косвенное доказательство. Следствие антитезиса, а значит, и он сам, опровергается ссылкой на очевидное обстоятельство: в конце зимы наводнений обычно нет, снег тает постепенно.
Внутренне противоречивые следствия
По логическому закону непротиворечия одно из двух противоречащих друг другу утверждений является ложным. Поэтому, если в числе следствий какого-либо положения встретились и утверждение и отрицание одного и того же, можно сразу же заключить, что это положение ложно.
Например, положение «Квадрат -- это окружность» ложно, поскольку из него выводится как то, что квадрат имеет углы, так и то, что у него нет углов.
Ложным будет также положение, из которого выводится внутренне противоречивое высказывание или высказывание о тождестве утверждения и отрицания.
Один из приемов косвенного доказательства -- выведение из антитезиса логического противоречия. Если антитезис содержит противоречие, он явно ошибочен. Тогда его отрицание -- тезис доказательства -- верно.
Хорошим примером такого рассуждения служит известное доказательство Евклида, что ряд простых чисел бесконечен. Простые -- это натуральные числа больше единицы, делящиеся только на себя и на единицу. Простые числа - это как бы «первичные элементы», на которые все целые числа (больше 1) могут быть разложены. Естественно предположить, что ряд простых чисел: 2, 3, 5, 7, 11,13,... -- бесконечен. Для доказательства данного тезиса допустим, что это не так, и посмотрим, к чему ведет такое допущение. Если ряд простых чисел конечен, существует последнее простое число ряда -- А. Образуем далее другое число: В = (2 * 3 * 5 *... * А) + 1. Число В больше А, поэтому В не может быть простым числом. Значит, В должно делиться на простое число. Но если В разделить на любое из чисел 2, 3, 5, .... А, то в остатке получится 1. Следовательно, В не делится ни на одно из указанных простых чисел и является, таким образом, простым. В итоге, исходя из предположения, что существует последнее простое число, мы пришли к противоречию: существует число одновременно и простое, и не являющееся простым. Это означает, что сделанное предположение ложно и правильно противоположное утверждение: ряд простых чисел бесконечен.
В этом косвенном доказательстве из антитезиса выводится логическое противоречие, что прямо говорит о ложности антитезиса и соответственно об истинности тезиса. Такого рода доказательства широко используются в математике.
Если имеется в виду только та часть подобных доказательств, в которой показывается ошибочность какого-либо предположения, они именуются по традиции приведением к абсурду. Ошибочность предположения вскрывается тем, что из него выводится откровенная нелепость.
Имеется еще одна разновидность косвенного доказательства, когда прямо не приходится искать ложные следствия. Дело в том, что для доказательства утверждения достаточно показать, что оно логически вытекает из своего собственного отрицания.
Этот прием опирается на закон Клавия, говорящий, что если из ложности утверждения вытекает его истинность, то утверждение истинно. К примеру, если из допущения, что дважды два равно пяти, выведено, что это не так, тем самым доказано, что дважды два не равняется пяти.
По такой схеме рассуждал еще Евклид в своей «Геометрии». Эту же схему использовал однажды древнегреческий философ Демокрит в споре с другим древнегреческим философом, софистом Протагором. Протагор утверждал, что истинно все то, что кому-либо приходит в голову. На это Демокрит ответил, что из положения «Каждое высказывание истинно» вытекает истинность и его отрицания «Не все высказывания истинны». И значит, это отрицание, а не положение Протагора на самом деле истинно.
3. Разделительное доказательство
Во всех рассмотренных косвенных доказательствах выдвигаются две альтернативы: тезис и антитезис. Затем показывается ложность последнего, в итоге остается только тезис.
Можно не ограничивать число принимаемых во внимание возможностей только двумя. Это приведет к так называемому разделительному косвенному доказательству, или доказательству через исключение. Оно применяется в тех случаях, когда известно, что доказываемый тезис входит в число альтернатив, полностью исчерпывающих все возможные альтернативы данной области.
Например, нужно доказать, что одна величина равна другой. Ясно, что возможны только три варианта: или две величины равны, или первая больше второй, или, наконец, вторая больше первой. Если удалось показать, что ни одна из величин не превосходит другую, два варианта будут отброшены и останется только третий: величины равны.
Доказательство идет по простой схеме: одна за другой исключаются все возможности, кроме одной, которая и является доказываемым тезисом. В стандартных косвенных доказательствах альтернативы -- тезис и антитезис -- исключают друг друга в силу законов логики. В разделительном доказательстве взаимная несовместимость возможностей и то, что ими исчерпываются все мыслимые альтернативы, определяются не логическими, а фактическими обстоятельствами. Отсюда обычная ошибка разделительных доказательств: рассматриваются не все возможности.
С помощью разделительного доказательства можно попытаться, например, показать, что в Солнечной системе жизнь есть только на Земле. В качестве возможных альтернатив выдвинем утверждения, что жизнь есть на Меркурии, Венере, Земле и т.д., перечисляя все планеты Солнечной системы. Опровергая затем все альтернативы, кроме одной -- говорящей о наличии жизни на Земле, получим доказательство исходного утверждения.
Нужно заметить, что в ходе доказательства рассматриваются и опровергаются допущения о существовании жизни на других планетах. Вопрос о том, если ли жизнь на Земле, вообще не поднимается. Ответ получается косвенным образом: путем показа того, что ни на одной другой планете нет жизни. Это доказательство оказалось бы, конечно, несостоятельным, если бы, допустим, выяснилось, что, хотя ни на одной планете, кроме Земли, жизни нет, живые существа имеются на одной из комет или на одной из так называемых малых планет, тоже входящих в состав Солнечной системы.
4. Правила доказательства и ошибки при их нарушении
1. Правила и ошибки, относящиеся к тезису.
Правила.
1. Тезис должен быть логически определенным, ясным и точным.
Иногда люди в своем выступлении, письменном заявлении, научной статье, докладе, лекции не могут четко, ясно, однозначно сформулировать тезис. На собрании некоторые выступающие не могут четко сформулировать 2-3 тезиса, а затем весомо, аргументировано изложить их перед слушателями.
2. Тезис должен оставаться тождественным, т.е. одним и тем же на протяжении всего доказательства или опровержения.
Ошибки.
1. “Подмена тезиса”. Согласно правилам доказательного рассуждения, тезис должен быть ясно сформулирован и оставаться одним и тем же на протяжении всего доказательства или опровержения. При нарушении его возникает ошибка называемая “подмена тезиса”. Суть ее в том, что один тезис умышленно или неумышленно подменяют другим и этот новый тезис начинают доказывать или опровергать. Это часто случается во время спора, дискуссии, когда тезис оппонента сначала упрощают или расширяют его содержание, а затем начинают критиковать. Тогда тот, кого критикуют, заявляет, что оппонент приписывает ему то, чего он не говорил. Ситуация эта весьма распространена, она встречается и при защите диссертаций, и при обсуждении опубликованных научных работ, и на различных собраниях и заседаниях, и при редактировании научных или литературных статей. Здесь происходит нарушение закона тождества, так как нетождественные тезисы пытаются отождествлять, что и приводит к логической ошибке.
К примеру, надо показать, что на осине не могут расти яблоки; вместо этого доказывается, что они растут обычно на яблоне и не встречаются ни на груше, ни на вишне.
2. “Довод к человеку”. Ошибка состоит в подмене доказательства самого тезиса ссылками на личные качества того, кто выдвинул этот тезис. Например, вместо того чтобы доказывать ценность и новизну диссертационной работы, говорят, что диссертант -- заслуженный человек, что он много потрудился над диссертацией и т.д. Разговор классного руководителя, например, с учителем русского языка об оценке, поставленной ученику, иногда сводится не к доказательству, что этот ученик заслужил эту оценку своими знаниями, а ссылками на личные качества ученика: он хороший общественник, много болел в этой четверти, по всем другим предметам он успевает и т.д.
В научных работах иногда вместо конкретного анализа материала, изучения современных научных данных и результатов практики в подтверждение приводят цитаты из высказываний крупных ученых, видных деятелей и этим ограничиваются, полагая, то одной ссылки на авторитет достаточно. При этом цитаты могут вырываться из контекста и иногда произвольно толковаться. “Довод к человеку” часто представляет собой просто софистический прием, а не ошибку, допущенную непреднамеренно.
Разновидностью “довода к человеку” является ошибка, называемая “довод к публике”, состоящая в попытке повлиять на чувства людей, чтобы те поверили в истинность выдвинутого тезиса, хотя его и нельзя доказать.
3. “Переход в другой род”. Имеются две разновидности этой ошибки: а) “кто слишком много доказывает, тот ничего не доказывает”; б) “кто слишком мало доказывает, тот ничего не доказывает”.
В первом случае ошибка возникает тогда, когда вместо одного истинного тезиса пытаются доказать другой, более сильный тезис, и при этом второй тезис может оказаться ложным. Если из а следует б, но из б не следует а, то тезис а является более сильным, чем тезис б. Например, если вместо того чтобы доказывать, что этот человек не начинал первым драку, начнут доказывать, что он не участвовал в драке, то ничего не смогут доказать, если этот человек действительно дрался и кто-нибудь это видел.
Ошибка “кто слишком мало доказывает, тот ничего не доказывает” возникает тогда, когда вместо тезиса а мы докажем более слабый тезис б. Например, если, пытаясь доказать, что это животное -- зебра, мы доказываем, что оно полосатое, то ничего не докажем, так как тигр -- тоже полосатое животное.
2. Правила и ошибки, относящиеся к аргументам
Правила.
Аргументы, приводимые для доказательства тезиса, должны быть истинными.
Аргументы должны быть достаточным основанием для доказательства тезиса.
Аргументы должны быть суждениями, истинность которых доказана самостоятельно, независимо от тезиса.
Ошибки.
1. Ложность основания (“Основное заблуждение”). В качестве аргументов берутся не истинные, а ложные суждения, которые выдают или пытаются выдать за истинные. Ошибка может быть непреднамеренной. Например, геоцентрическая система Птолемея была построена на основании ложного допущения, согласно которому Солнце вращается вокруг Земли. Ошибка может быть и преднамеренной (софизмом), совершенной с целью запутать, ввести в заблуждение других людей (например, дача ложных показаний свидетелями или обвиняемым в ходе судебного расследования, неправильное опознание вещей или людей и т.п.).
Употребление ложных, недоказанных или непроверенных аргументов нередко сопровождается оборотами: “всем известно”, “давно установлено”, “совершенно очевидно”, “никто не станет отрицать” и т.п. Слушателю как бы оставляется одно: упрекать себя за незнание того, что давно и всем известно.
2. “Предвосхищение оснований”. Эта ошибка совершается тогда, когда тезис опирается на недоказанные аргументы, последние же не доказывают тезис, а только предвосхищают его.
3. “Порочный круг”. Ошибка состоит в том, что тезис обосновывается аргументами, а аргументы обосновываются этим же тезисом. Эта разновидность ошибки “применение недоказанного аргумента”.
3. Правила к форме обоснованного тезиса (демонстрации) и ошибки в форме доказательства
Правила.
Тезис должен быть заключением, логически следующим из аргументов по общим правилам умозаключений или полученным в соответствии с правилами косвенного доказательства.
Ошибки в форме доказательства.
1. Мнимое следование. Если тезис не следует из приводимых в его подтверждение аргументов, то возникает ошибка, называемая “не следует”. Иногда вместо правильного доказательства аргументы соединяют с тезисом посредством слов: “следовательно”, “итак”, “таким образом”, “в итоге имеем” и т.п., -- полагая, что установлена логическая связь между аргументами и тезисом. Эту логическую ошибку часто неосознанно допускают люди, не знакомые с правилами логики, полагающиеся на свой здравый смысл и интуицию. В результате возникает словесная видимость доказательства.
2. От сказанного с условием к сказанному безусловно. Аргумент, истинный только с учетом определенного времени, отношения, меры, нельзя приводить в качестве безусловного, верного во всех случаях. Так, если кофе полезен в небольших дозах (например, для поднятия артериального давления), то в больших дозах он вреден. Аналогично мышьяк ядовит, но в небольших дозах его добавляют в некоторые лекарства. Лекарства врачи должны подбирать для больных индивидуально. Педагогика требует индивидуального подхода к учащимся; этика определяет нормы поведения людей, и в различных условиях они могут несколько варьироваться (например, правдивость -- положительная черта человека, разглашение военной тайны -- преступление).
Нарушение правил умозаключений.
1. Ошибки в дедуктивных умозаключениях. Например, в условно-категорическом умозаключении нельзя вывести заключение от утверждения следствия к утверждению основания. Так, из посылок: “Если число оканчивается на 0, то оно делится на 5” и “Это число делится на 5” -- не следует заключение: “Это число оканчивается на 0”.
Примером такой ошибки может быть умозаключение: “Каждый металл является химическим элементом; латунь -- метал, значит, латунь -- химический элемент”.
2. Ошибки в индуктивных умозаключениях. Одна из таких ошибок -- “поспешное обобщение”, например утверждение, что “все свидетели дают необъективные показания”. Другой ошибкой является “после этого -- значит, по причине этого” (например, пропажа вещи обнаружена после прихода в дом этого человека, значит, он ее унес). На этой логической ошибке основаны все суеверия.
3. Ошибка в умозаключении по аналогии. Ошибки по аналогии можно проиллюстрировать примерами ложных аналогий (так называемые вульгарные аналогии), в том числе аналогии алхимиков. Главная цель алхимии -- нахождение так называемого “философского камня” для превращения неблагородных металлов в золото и серебро, получения эликсира долголетия, универсального растворителя и т.п. Вместе с этим отмечается и положительная роль алхимии.
В отличие от непроизвольной логической ошибки -- паралогизма, являющейся следствием невысокой логической культуры, софизм -- это преднамеренное, но тщательно замаскированное нарушение требований логики.
Вот примеры довольно простых древних софизмов. “Вор не желает приобрести ничего дурного; приобретение хорошего есть дело хорошее; следовательно, вор желает хорошего”. “Лекарство, принимаемое больным, есть добро; чем больше делать добра, тем лучше; значит, лекарство нужно принимать в больших дозах”.
Софизмы древних нередко использовались с намерением ввести в заблуждение. Но они имели и другую, гораздо более интересную сторону. Очень часто софизмы ставят в неявной форме проблему доказательства. Сформулированные в тот период, когда науки логики еще не было, древние софизмы прямо ставили вопрос о необходимости ее построения. Именно с софизмов началось осмысление и изучение доказательства и опровержения. И в этом плане софизмы непосредственно содействовали возникновению особой науки о правильном, доказательном мышлении.
Математические софизмы собраны в целом ряде книг. Так, С. Коваль описывает математические софизмы: “каждая окружность имеет два центра”; “каждый треугольник -- равнобедренный”.
Я.И. Перельман приводит “алгебраические комедии”: 2x2=5; 2=3.
Софизмы использовались и теперь продолжают использоваться для тонкого, завуалированного обмана. В этом случае они выступают в роли особого приема интеллектуального мошенничества, попытки выдать ложь за истину и тем самым ввести в заблуждение.
Например, 2x2=5. Требуется найти ошибку в следующих рассуждениях. Имеем числовое тождество: 4:4=5:5. Вынесем за скобку в каждой части этого тождества общий множитель. Получим -- 4(1:1)=5(1:1). Числа в скобках равны. Поэтому 4=5, или 2x2=5. [1] Но если записать выражение через дробь, то все встанет на свои места.
Парадокс -- это рассуждение, доказывающее как истинность, так и ложность некоторого суждения, иными словами, доказывающее как это суждение, так и его отрицание.
Парадоксальны в широком смысле афоризмы, подобные таким: “Люди жестоки, но человек добр” или “Признайте, что все равны, -- и тут же появятся великие”, и вообще любые мнения и суждения, отклоняющиеся от традиции и противостоящие общеизвестному, “ортодоксальному”.
Наиболее известным и, пожалуй, самым интересным из всех логических парадоксов является парадокс “Лжец”. Имеются различные варианты этого парадокса, многие из которых только по видимости парадоксальны.
В простейшем варианте “Лжеца” человек произносит всего одну фразу: “Я лгу”. Или говорит: “Высказывание, которое я сейчас произношу, является ложным”. Традиционная лаконичная формулировка этого парадокса гласит: если лгущий говорит, что он лжет, то он одновременно лжет и говорит правду.
В древности “Лжец” рассматривался как хороший пример двусмысленного выражения. В средние века “Лжец” был отнесен к “неразрешимым предложениям”. Теперь он нередко именуется “королем логических парадоксов”.
Заключение
Доказательное рассуждение, логическая форма его построения и способы выведения тезиса из подобранных аргументов характеризуют весь процесс обоснованной оценки тезиса в качестве истинного или ложного суждения. В этом заключается внутренний смысл логической операции доказательства, его специальной наиболее активной части, получившей наименование демонстрация. Приемы демонстрации являются результатом длительного развития умственной деятельности человека, продуктом ряда исторических эпох и многих поколений людей. В этих приемах и способах ярко раскрывается целенаправленность доказательства, его теоретическое и практическое значение.
Список использованной литературы
1. Гетманова А.Д. Учебник по логике - М.: Владос, 1994
2. Бочаров В.А. Основы логики: Учебник/ Бочаров В.А., Маркин В.И. - М., 1998.
3. Поварнин С.И. Искусство спора. - М., 1995.
4. Иванов Е.А. Логика. - М. 1996.
5. Ерышев А.А. Лукашевич Н.П. Логика. - К.: МАУП, 1999
6. Арно А., Николь П. Логика, или Искусство мыслить. - М,: Наука, 1981.
Подобные документы
Доказательность как важное качество правильного мышления. Структура доказательства, правила по отношению к тезисам, аргументам и демонстрациям и их возможные нарушения. Прямое и косвенное доказательства. Процесс опровержения допущения в форме контртезиса.
контрольная работа [26,0 K], добавлен 12.10.2009Правила доказательства и опровержения и основные ошибки, возникающие при их нарушении. Правила по отношению к тезисам и аргументам. Argumentum ad hominem — аргумент к человеку. их разновидности: к авторитету, к публике, к силе, к жалости и нелепые доводы.
реферат [18,2 K], добавлен 22.02.2009Отличие опровержения от доказательства. Основные составляющие доказательства: тезис, аргументы, доводы и демонстрация. Ведение разделительного косвенного доказательства по одной из схем разделительно-категорического силлогизма. Правила закона тождества.
контрольная работа [15,5 K], добавлен 13.08.2010Изучение логической структуры доказательства - логической процедуры установления истинности какого-либо утверждения при помощи других утверждений, истинность которых уже установлена. Виды доказательства и опровержение. Условия и правила доказательства.
реферат [30,2 K], добавлен 20.09.2010Сущность и основные правила аргументации по отношению к тезису, аргументам, демонстрации. Ошибки и эвристические приемы в соответствующих процедурах, принципы их исследования и разрешения. Софизмы и логические парадоксы, их формирование и анализ.
контрольная работа [27,7 K], добавлен 17.05.2015Предмет и законы логики. Понятие логической формы. Логические категории и символы. Виды и структура суждений. Распределенность терминов в простом атрибутивном суждении. Понятие и виды умозаключений. Простой категорический силлогизм: правила, фигуры.
контрольная работа [97,0 K], добавлен 08.11.2008Выводы из сложных суждений. Виды дедуктивных умозаключений: условный, разделительный и условно-разделительный силлогизм. Методы установления причинных связей. Содержание важнейших формально-логических законов, суть доказательства и опровержения.
контрольная работа [28,9 K], добавлен 21.10.2011Доказательство как процесс обоснования истинности любого утверждения с помощью уже установленных истин. Тезис, аргумент и демонстрация. Сориты (сокращенные полисиллогизмы) аристотелевского типа и гоклиниевского. Типы умозаключений и виды доказательств.
контрольная работа [19,3 K], добавлен 10.02.2009Понятие логики и ее развитие. Аристотель – отец логики. Формы мысли, их структурные особенности и зависимости, законы и распространенные ошибки при нарушении этих законов. Роль гипотез в науке, логическая структура, этапы разработки и виды гипотезы.
контрольная работа [131,7 K], добавлен 13.10.2009Логическая сущность определения понятий, роль понятия в познании и общении людей. Номинальные и реальные, явные и неявные определения. Правила определения и возможные ошибки при их нарушении. Выражение определения через его род и видовое отличие.
контрольная работа [21,5 K], добавлен 17.03.2015
