Логика контрольная 5

| Категория реферата: Рефераты по логике
| Теги реферата: виды рефератов, бесплатные шпоры
| Добавил(а) на сайт: Манторов.

Друг изобретателя паровой машины Д. Уатта шотландский ученый Д. Блэк ввел понятие о скрытой теплоте плавления и испарения, важное для понимания работы такой машины. Блэк, наблюдая обычное явление — таяние снега в конце зимы, рассуждал так: если бы снег, скопившийся за зиму, таял сразу, как только температура воздуха стала выше нуля, то неизбежны были бы опустошительные наводнения, а раз этого не происходит, значит, на таяние снега должно быть затрачено определенное количество теплоты. Ее Блэк и назвал скрытой.

Это — косвенное доказательство. Следствие антитезиса, а значит, и он сам, опровергается ссылкой на очевидное обстоятельство: в конце зимы наводнений обычно нет, снег тает постепенно.

Косвенное доказательство (внутренне противоречивые следствия).

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

Докажем тезис, что ряд простых чисел бесконечен.

Простые — это натуральные числа больше единицы, делящиеся только на себя и на единицу. Простые числа - это как бы «первичные элементы», на которые все целые числа (больше 1) могут быть разложены. Естественно предположить, что ряд простых чисел:

2, 3, 5, 7, 11,13,... — бесконечен. Для доказательства данного тезиса допустим, что это не так, и посмотрим, к чему ведет такое допущение. Если ряд простых чисел конечен, существует последнее простое число ряда — А.
Образуем далее другое число: В = (2 • 3 • 5 •... • А) + 1. Число В больше
А, поэтому В не может быть простым числом. Значит, В должно делиться на простое число. Но если В разделить на любое из чисел 2, 3, 5, .... А, то в остатке получится 1. Следовательно, В не делится ни на одно из указанных простых чисел и является, таким образом, простым. В итоге, исходя из предположения, что существует последнее простое число, мы пришли к противоречию: существует число одновременно и простое, и не являющееся простым. Это означает, что сделанное предположение ложно и правильно противоположное утверждение: ряд простых чисел бесконечен.

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

Косвенное доказательство (разделительное доказательство).

Во всех рассмотренных выше косвенных доказательствах выдвигаются две альтернативы: тезис и антитезис. Затем показывается ложность последнего, в итоге остается только тезис.

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

Докажем тезис о том, что из всех планет в Солнечной системе жизнь есть только на Земле. В качестве возможных альтернатив выдвинем утверждения, что жизнь есть на Меркурии, Венере, Земле и т.д., перечисляя все планеты
Солнечной системы. Опровергая затем все альтернативы, кроме одной — говорящей о наличии жизни на Земле, получим доказательство исходного тезиса.

ЛИТЕРАТУРА

1. Арно А., Николь П. Логика, или Искусство мыслить, М,: Наука, 1981.
2. Гарднер М. А ну-ка, догадайся! М.: Мир, 1984.
3. Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. М,:

Просвещение, 1991.
4. Ивин А,А. Искусство правильно мыслить. М,: Просвещение, 1991.
5. Ивин А. А, По законам логики. М., 1983.
6. Кириллов В. И. Упражнения по логике, М,, 1994.
7. Ковальски Р. Логика в решении проблем, М.: Наука, 1991.
8. Поварнин С. И. Искусство спора. М., 1995.
-----------------------

P

S

S

S

P

S