Реферат Курсовая Конспект
Виды доказательств - раздел Образование, Содержание Прямое И Косвенное Доказательство 3 Прямое Доказательство 4 ...
|
содержание Прямое и косвенное доказательство 3 Прямое доказательство 4 Косвенное доказательство 5 Следствия, противоречащие фактам 7 Внутренне противоречивые следствия 7 Разделительное доказательство 9 Заключение 11 ЛИТЕРАТУРА 12 Прямое и косвенное доказательство Немецкий философ XIX в. А. Шопенгауэр считал математику довольно интересной наукой, но не имеющей никаких приложений, в том числе и в физике.
Он даже отвергал саму технику строгих математических доказательств. Шопенгауэр называл их мышеловками и приводил в качестве примера доказательство известной теоремы Пифагора. Оно является, конечно, точным; никто не может счесть его ложным. Но оно представляет собой совершенно искусственный способ рассуждения. Каждый шаг его убедителен, однако к концу доказательства возникает чувство, что вы попали в мышеловку. Математик вынуждает вас допустить справедливость теоремы, но вы не получаете никакого реального понимания.
Это все равно, как если бы вас провели через лабиринт. Вы наконец выходите из лабиринта и говорите себе: «Да, я вышел, но не знаю, как здесь очутился». Позиция Шопенгауэра, конечно, курьез, но в ней есть момент, заслуживающий внимания. Нужно уметь проследить каждый шаг доказательства. Иначе его части лишатся связи, и оно в любой момент может рассыпаться, как карточный домик. Но не менее важно понять доказательство в целом, как единую конструкцию, каждая часть которой необходима на своем месте.
Как раз такого целостного понимания не хватало, по всей вероятности, Шопенгауэру. В итоге в общем-то простое доказательство представилось ему блужданием в лабиринте: каждый шаг пути ясен, но общая линия движения покрыта мраком. Доказательство, не понятое как целое, ни в чем не убеждает. Даже если выучить его наизусть, предложение за предложением, к имеющемуся знанию предмета это ничего не прибавит.
Следить за доказательством и лишь убеждаться в правильности каждого его последующего шага — это, по словам французского математика А. Пуанкаре, равносильно такому наблюдению за игрой в шахматы, когда замечаешь только то, что каждый ход подчинен правилам игры. Минимальное требование — это понимание логического выведения как целенаправленной процедуры. Только в этом случае достигается интуитивная ясность того, что мы делаем. «Я принужден сознаться, — заметил как-то Пуанкаре, — что положительно не способен сделать без ошибки сложение.
Моя память не плохая; но чтобы стать хорошим игроком в шахматы, она оказалась бы недостаточной. Почему же она не изменяет мне в сложных математических рассуждениях, в которых запутались бы большинство шахматных игроков? Это происходит, очевидно, потому, что в данном случае память моя направляется общим ходом рассуждения. Математическое доказательство не есть простое сцепление умозаключений: это умозаключения, расположенные в определенном порядке; и порядок, в котором расположены эти элементы.
Если у меня есть чувство этого порядка, вследствие чего я сразу могу обнять всю совокупность рассуждений, мне уже нечего бояться забыть какой-либо элемент; каждый из них сам собою займет свое место » То, что создает, по выражению Пуанкаре, «единство доказательства», можно представить в форме общей схемы, охватывающей основные его шаги, воплощающей в себе общий принцип или его итоговую структуру. Именно такая схема остается в памяти, когда забываются подробности доказательства.
С точки зрения общего движения мысли, все доказательства подразделяются на прямые и косвенные.
Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что д... Очевидно также, что космический корабль есть космическое тело. Неверным является, в частности, такое следствие: у квадрата нет углов... Вместо прямого обоснования тезиса выдвигается антитезис, что у пациен... Уатта шотландский ученый Д.
Ложным будет также положение, из которого выводится внутренне противо... Хорошим примером такого рассуждения служит известное доказательство Е... Простые — это натуральные числа больше единицы, делящиеся только на се... Ошибочность предположения вскрывается тем, что из него выводится откро... Эту же схему использовал однажды древнегреческий философ Демокрит в с...
Затем показывается ложность последнего, в итоге остается только тезис. Отсюда обычная ошибка разделительных доказательств: рассматриваются н... С помощью разделительного доказательства можно попытаться, например, ... Ответ получается косвенным образом: путем показа того, что ни на одной... Это доказательство оказалось бы, конечно, несостоятельным, если бы, д...
ЛИТЕРАТУРА 1.Арно А Николь П. Логика, или Искусство мыслить, М,: Наука, 1981. 2.Гарднер М. А ну-ка, догадайся! М.: Мир, 1984. 3.Горский Д.П Ивин А.А Никифоров А.Л. Краткий словарь по логике. М,: Просвещение, 1991. 4.Ивин А,А. Искусство правильно мыслить. М,: Просвещение, 1991. 5.Ивин А. А, По законам логики. М 1983. 6.Кириллов В. И. Упражнения по логике, М 1994. 7.Ковальски Р. Логика в решении проблем, М.: Наука, 1991. 8.Поварнин С. И. Искусство спора.
М 1995.
– Конец работы –
Используемые теги: виды, доказательств0.051
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Виды доказательств
Если этот материал оказался полезным для Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов