Доказательное умозаключение следует классической схеме «modus ponens» так называемого гипотетического силлогизма. Эвристическая схема похожа на фундаментальную индуктивную схему, но отличается от нее, см. § 1 или § 12. 1. Мы можем высказать это эвристическое умозаключение словами: Когда возможное основание для предположения рушится, наша уверенность в этом предположении может только уменьшиться.
3. Исследование противоречащего предположения. Рассмотрим ситуацию, не слишком рбычную в математических изысканиях, но часто встречающуюся в естественных науках. Исследуем два противоречащих, несовместных предположения А и В. Когда мы говорим, что А противоречит В, или
мы имеем в виду, что из истинности одного из двух предположений А а В необходимо следует ложность другого. Таким образом, А может быть истинно или нет, В также может быть истинно или нет; мы не знаем, что имеет место в действительности, но знаем лишь, что А и В не могут быть оба истинны. Однако оба они могли бы быть ложны. Натуралист, чтобы объяснить какое-то явление, высказал предположение А, другой натуралист, чтобы иначе объяснить то же самое явление, высказал предположение В.
Объяснения несовместны; оба натуралиста не могут быть правы, но оба. могут ошибаться.
Если доказано, что одно из этих предположений, скажем В, правильно, то и судьба другого окончательно решена: А должно быть ошибочно. Если, однако, В опровергнуто, то судьба А еще окончательно не установлена, и А могло бы оказаться ошибочным. Тем не менее бесспорно при опровержении соперничающего предположения, несовместного с А, А может только выиграть. (Натуралист, придумавший А, конечно, думал бы так же. ) Таким образом, мы снова имеем две схемы:
Когда рушится несовместное соперничающее предположение, наша уверенность в данном предположении может только возрасти.
4. Логические термины. В трех предыдущих параграфах мы встретили три пары схем. Каждая пара состоит из доказательной схемы и эвристической схемы; три доказательных схемы между собой связаны, и три соответствующие эвристические схемы кажутся соот-
А несовместно с В,
Доказательная А несовместно,с В В истинно
Эвристическая А несовместно с В В ложно
А ложно
А более правдоподобно
.
Комментарий:
Автор Владлена:
Человек по природе добр.
Автор :
Автор :