Магистерская диссертация на тему: Прямое и косвенное доказательство. Прямое доказательство. Косвенное доказательство

Введение

Немецкий философ XIX в. А. Шопенгауэр считал математику довольно интересной наукой, но не имеющей никаких приложений, в том числе и в физике. Он даже отвергал саму технику строгих математических доказательств. Шопенгауэр называл их мышеловками и приводил в качестве примера доказательство известной теоремы Пифагора. Оно является, конечно, точным; никто не может счесть его ложным. Но оно представляет собой совершенно искусственный способ рассуждения. Каждый шаг его убедителен, однако к концу доказательства возникает чувство, что вы попали в мышеловку. Математик вынуждает вас допустить справедливость теоремы, но вы не получаете никакого реального понимания. Это все равно, как если бы вас провели через лабиринт. Вы наконец выходите из лабиринта и говорите себе: "Да, я вышел, но не знаю, как здесь очутился".

Оглавление

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

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

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

- Следствия, противоречащие фактам

- Внутренне противоречивые следствия

- Разделительное доказательство

- Заключение 11

- Литература 12

Заключение

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

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

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

1. Арно А., Николь П. Логика, или Искусство мыслить, М,: Наука, 1981.

2. Гарднер М. А ну-ка, догадайся! М.: Мир, 1984.

3. Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. М,: Просвещение, 1991.

4. Ивин А,А. Искусство правильно мыслить. М,: Просвещение, 1991.

5. Ивин А. А, По законам логики. М., 1983.

6. Кириллов В. И. Упражнения по логике, М,, 1994.

7. Ковальски Р. Логика в решении проблем, М.: Наука, 1991.

8. Поварнин С. И. Искусство спора. М., 1995.