|
Я не знаю, когда именно появляется различение рассуждений и выводов. Известно только, что уже у Декарта и у картезианцев – Арно, Николя и др. это различение играло важную роль. Арно и Николь, если судить по работе Шольца, сделали даже еще один шаг – они попытались различить рассуждения и процесс мышления. Но я знаю обо всем этом только понаслышке и надеюсь когда-нибудь восполнить этот пробел. Известно также, что с понятием рассуждения работал Кондильяк. В частности, в своей книге "Логика" он пытался выяснить роль структурных изображений, например чертежей, в процессе рассуждения. Но я точно так же не знаю, что ему здесь удалось сделать. Вообще, этот вопрос требует детального и углубленного анализа; к тому же он очень интересен. Но это дело будущего. А я, оставив в стороне историю вопроса, попробую ввести вам само понятие вывода, опираясь на простейшие, общеизвестные примеры. Представим себе, что передо мной три палки различной длины – А, В и С. Представим себе далее, что я хочу их сравнить друг с другом. Я беру первую палку А и накладываю ее на вторую – В. Таким путем я получаю эмпирическое знание, фиксирующее отношение их размеров: В больше А. Потом я беру третью палку С, накладываю ее на палку В и получаю второе знание: С больше В. Теперь представьте себе, что я хочу получить знание об отношении между А и С. На первых этапах развития мышления и знаний существует всего один путь, чтобы получить это знание: надо палку С наложить на палку А. Это будет точно такая же процедура, какой я пользовался при сравнении объектов А и В и В и С, а это знание будет точно таким же эмпирическим знанием, как два первых. Теперь, как вы знаете, мы действуем совершенно иначе. Если мы уже знаем, что В больше А, а С больше В, то мы можем совершенно формально утверждать, что, следовательно, С будет больше А. Здесь очень характерной является эта добавка "будет" – показатель будущего времени. Мы не выяснили еще, что С актуально больше А, но мы утверждаем, что С будет больше А, если мы наложим их друг на друга. Подобное утверждение называют выводом. Но для того чтобы можно было осуществить вывод, нам необходимо, кроме исходных знаний – В больше А и С больше В, еще одно знание совсем особого порядка – постулат или принцип: если вторая величина больше первой, а третья величина больше второй, то всегда третья величина больше первой. Этот принцип представляет собой особое правило, дающее нам возможность строить определенное утверждение на основе двух других утверждений. Вам может показаться, что переход от посылок или условий к выводу – вещь совершенно очевидная и не нужно никакого дополнительного общего правила или принципа, чтобы его совершать. Но это лишь видимость. На самом деле такое дополнительное знание является необходимым условием всякого формального вывода. — 18 —
|