Предыдущая страница реферата | 1  2  3  4  5  6 | Следующая страница реферата

Представим себе, что передо мной три палки различной длины – А, В и С. Представим себе далее, что я хочу их сравнить друг с другом. Я беру первую палку А и накладываю ее на вторую – В. Таким путем я получаю эмпирическое знание, фиксирующее отношение их размеров: В больше А. Потом я беру третью палку С, накладываю ее на палку В и получаю второе знание: С больше В.

Теперь представьте себе, что я хочу получить знание об отношении между А и С. На первых этапах развития мышления и знаний существует всего один путь, чтобы получить это знание: надо палку С наложить на палку А. Это будет точно такая же процедура, какой я пользовался при сравнении объектов А и В и В и С, а это знание будет точно таким же эмпирическим знанием, как два первых. Теперь, как вы знаете, мы действуем совершенно иначе. Если мы уже знаем, что В больше А, а С больше В, то мы можем совершенно формально утверждать, что, следовательно, С будет больше А.

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

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

Таким образом, мы сможем получить характеристику "больше", "меньше" или "равно", работая на разных уровнях замещения и описания объектов. И в зависимости от того, на каком уровне мы будем получать наш вывод, нам понадобятся разные средства и условия для его построения. Кстати, в связи с этим меняется и значение самих характеристик "больше" или "меньше". Например, в отнесении к числовому ряду эти характеристики означают, соответственно, – вправо или влево по числовому ряду. При отнесении этих же выражений непосредственно к объектам они имеют совершенно иное значение. Хотя три факта – В больше А, С больше В, С больше А – могут миллионы раз сосуществовать, т.е. встречаться вместе, но из них еще нельзя будет сделать общего вывода. Мы имеем здесь случай типичного индуктивного обобщения.

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

Вместе с тем происходит перевертывание оснований. Вы утверждаете, что если вторая величина больше первой, а третья больше второй, то третья будет также больше первой. А если вдруг случится в какой-то эмпирической области, что это не так, вы скажете тогда, что то, с чем вы имеете дело, не величины.

После того, как вы сформулировали такой общий принцип, вы получаете возможность выводить из первых двух посылок третью. И вы говорите, что первые два утверждении – основание или причина, а третье утверждение – следствие. Здесь совершенно отчетливо выступает та форма представления объективной действительности, которую создает этот принцип благодаря своей структуре "если..., то..." (ср. это с очень интересными рассуждениями А.А.Зиновьева в его работе "Логическое и физическое следование").

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

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

Опираясь на это понятие, мы можем теперь по-новому взглянуть на рассуждения Галилея и Гюйгенса. В частности, мы можем выяснить, что у них не было вывода – у них было рассуждение.

Если теперь мы опять вернемся к выводу, то окажется, что обязательным и непременным его условием является однозначность в значениях терминов. Именно это условие Аристотель оговорил в правиле, запрещающем учетверение терминов. Что касается рассуждения, то оказывается, что этот принцип на него уже не распространяется. Наоборот, термины в рассуждении, как выясняется, должны непрерывно и непременно менять свои значения.

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

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

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

Правда, здесь еще необходимо выяснить, при каких условиях знаки того или иного рода могут выступать в роли исключительно объектов. Оперирование знаками как объектами было очень четко выявлено Давидом Гильбертом и исследовалось им. Это превращение знаков формы в знаки-объекты является вторым непременным условием формального вывода и формализации теорий.

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

Таким образом, вся область рассуждений разбита нами теперь на две подобласти. Во второй – находится особый вид рассуждений: выводы. Силлогистика Аристотеля является видом выводов. Таким образом, мы приходим к двум группам вопросов:

какой же будет структура неформализованных рассуждений и как ее изображать?

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

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

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

Между прочим, в этом заключено объяснение того странного положения – о нем говорил Кант, – что логика достигла полного совершенства, не отступила ни на шаг назад, хотя и не продвинулась вперед. Основание этого заложено в том, что формальная логика стала одним из математических исчислений.

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

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

Рекомендуем скачать другие рефераты по теме: реферат на тему язык, реферат образ жизни.



Предыдущая страница реферата | 1  2  3  4  5  6 | Следующая страница реферата

Поделитесь этой записью или добавьте в закладки