Больцано.Б.2003.Учение.о.науке.(Избранное)
.pdf22 |
Б. И. ФЕДОРОВ |
|
|
вечном и неизменном мире идеальных сущностей и объявляет эти сущности непосредственным объектом познания. Больцано справедливо замечает, что субъ
ективизм в логике и теории познания приводит в ко
нечном счете к полному релятивизму, к невозможно
сти объяснить возникновение общих и необходимых положений в науке.
Результатом борьбы против одной крайности в понимании процесса познания выступает у Больцано другая крайность. Отвергая всякий релятивизм, он возрождает платонизм. Он метафизически абсо лютизирует истину, предполагает ее вечной и неиз менной, раз и навсегда данной в виде совокупности истин в себе. В гипостазировании, онтологизации
идеального содержания человеческого знания заклю чаются гносеологические корни объективного идеа лизма в философии Больцано. Подчеркивая действи
тельную ограниченность чувственного отражения
действительности, Больцано абсолютизирует роль логического в познании. Он считает возможным (и необходимым в научном знании) вывести дедуктив ным путем все знание о мире ИЗ ОСНОВНЫХ понятий ных ИСТИН. Критерием истинности ВЫВОДНОГО знания он объявляет следование логическим законам, «ко торые присущи предложениям самим по себе».
Учение об идеальных сущностях выступает у Боль цано методологическим фундаментом построения ло гической теории. Собственно же логическую основу теории составляет так называемый «метод вариации представлений в предложении», аналогичный упо треблению высказывательных форм в логике, и от-
БЕРНАРД БОЛЬЦАНО КАК МЕТОДОЛОГ НАУки |
23 |
|
|
ношение совместимости (несовместимости) пред ложений, которому можно поставить в соответствие совместную выполнимость (невыполнимость) выска зывательных форм на определенной модели (по А. Тарскому). Метод вариации позволяет Больцано
ввести в логику понятие «степени значимости», или степени информативности предложения, которая
определяется как отношение числа истинных предло жений к числу всех предложений, полученных в ре
зультате замены в исходном предложении «варьи
руемых» (переменных) представлений другими пред ставлениями. По степени значимости Больцано получает три типа предложений: аналитические (да
ющие в результате замены только истинные ИЛИ толь
ко ложные предложения), синтетические (дающие ис
тинные и ложные предложения в результате замены
переменных конкретными представлениями) и ло гически-аналитические (в которых в качестве пе
ременных рассматриваются сразу все внелогические
части). Это деление согласуется с современным по
ниманием истинности высказываний, обусловленной их формально-логической структурой, и преодолева
ет, как отмечал сам Больцано, слишком узкое реше ние Канта, который связывал деление знания на ана литическое и синтетическое лишь с анализом субъект но-предикатной структуры суждений.
Использование понятия совместимости, лежащего в основе различных логических отношений, у Бопьца но обусловливается спецификой его «Наукоучения», предполагающего иметь дело в учебнике лишь с ис тинными предложениями. В классе совместных пред-
24 |
Б. И ФЕДОРОВ |
|
|
ложений Больцано выделяет, прежде всего, два вида ВЫВОДИМОСТИ - простой и точной. Если среди совме сгных предложений я, В, С, М, N, О,.. имеет место та
кое отношение, что все предложения, которые на мес
те i,j, .. (переменных в них) делают все А, В, С,.. истин ными, обладают свойством делать ИСТИННЫМИ и М, N, О,.. ТО это дает ВОЗМОЖНОСТЬ получать ИЗ известных истин А, В, С,.. истины М, N, О,.. Такое отношение между А, В, С,.. и М, N, О,.. ОН называет отношением
выводимости, а в случае, когда в качестве переменных
в предложениях выступают все внелогические пред
ставления, - отношением формальной ВЫВОДИМОСТИ. Через объяснение формалъной ВЫВОДИМОСТИ Боль
цано впервые дал строгое определение логико-семан
тического следования, хотя и с известными ограниче
ниями, вытекающими из требования совместимости посылок и заключений. Однако отношение совмести мости, делающее теорию выводимости Больцано ме нее общей и более сложной, чем современная теория
следования, позволяет в то же время ввести в логику отношение точной выводимости, которое можно по ставить в связь с имеющими место в современной ло
гике экспликациями интуитивного понимания логи
ческого следования, осуществляемыми с помощью построения так называемых неклассических теорий
следования.
Такое отношение выводимости заключения М из посьшок А, В, С,.. при котором нельзя вычеркнуть ни одну из посылок или даже часть посылки, чтобы из оставшихся бьшо все еще выводимо заключение М, Больцано называет отношением точной выводимо-
БЕРНАРД БОЛЬЦАНО КАК МЕТОДОЛОГ НАУКИ |
25 |
|
|
сти. Из анализа отношения точной выводимости и не которых содержательных теорем на основе этого от
ношения можно выделить следующие ее основные
черты, которые способствуют преодолению пробле
мы так называемых парадоксов) лежащих в русле ис
следования по теории «строгой» и «сильной» импли
кации:
а) из требования невозможности вычеркивания
посылок и условия совместимости членов отношения
следует, что посылки и заключения имеют вхождение общей переменной;
б) посылки оказываются независимыми, т. е. ни
одна не выводится из остальных;
в) степень значимости заключения не равна едини
це, т. е. заключения не содержат тождественно-истин ных выражений.
Как особый ВИД ВЫВОДИМОСТИ Больцано использу ет в своем «Наукоучении» также отношение «объек
тивного следования», при котором истины должны
находиться в отношении «объективных оснований» к своим «объективным следованиям», т. е. в соответст вии с описываемым в них «объективным состоянием вещей», Это отношение представляет собой попытку
построения логического аналога отношения каузаль ности. Оно, по мнению Больцано, должно применять ся при изображении истин конкретной науки в своем учебнике, так как с его помощью может быть осуще ствлено «объективное обоснование» каждой истины. Процесс объективного обоснования истин, в отличие
от их логического доказательства с помощью отно шений выводимости, заканчивается восхождением к
26 |
Б. И. ФЕДОРОВ |
|
|
«ОСНОВНЫМ}) истинам, которые, согласно Больцано, даны нам в акте божественного откровения. Гуссерль, обращая особое внимание на больцановское понятие следования, считал его общей формой обоснования знания, детерминирующей переход от одних истин к другим и стоящей вне индуктивных и дедуктивных форм доказательства.
К числу достижений Больцано, предвосхитивших более поздние и современные исследования в деле разработки логических средств анализа научного
знания, следует отнести также рассмотрение многих
видов логических отношений как особых случаев со вместимости, различных способов квантификации, выяснение основных свойств логических ПОСТОЯН
ных, содержательно-аксиоматическое представление теории вывода и т. п. Дальнейшее детальное сравне ние результатов Больцано в области теории логики с
современными исследованиями, очевидно, предпола
гает использование аппарата современных логиче СКИХ исчислений. Среди логических достижений Больцано особое значение имеют также его идеи, ле
жащие в русле так называемых «неклассических» ло гик, отличных от аристотелевской. К ним относятся анализ понятий «необходимость», «возможность», «случайность», «невозможность» и выявление основ ных типов их отношений друг к другу; определение точного логико-семантического смысла выражений,
содержащих такие слова, как «знать», «верить», «должен», «может», «иметь право»; глубокий анализ временных модальностей в естественном языке. Больцано первым рассмотрел вероятность как отно-
БЕРНАРД БОЛЬЦАНО КАК МЕТодолог НАУКИ |
27 |
|
|
шение между предложениями и сформулировал по нятие вероятностной выводимости: отношение числа случаев, когда истинны вместе все посылки и заклю чение, к числу случаев, когда истинны только посыл КИ, дает нам степень вероятности выведения заклю чения из посылок. Большой интерес представляют также идеи Больцано по логике вопросов.
Раскрытие механизма действия логических сред ств Больцано широко осуществляет в разделе «Искус СТВО открытия, или Эвристика». Здесь эти средства применяются в анализе закономерностей творческой (эвристической) деятельности путем выработки стро
гих логико-методологических приемов и правил решения различного рода задач. Больцано формули рует две группы правил эвристики: четырнадцать об щих и тридцать три особых правила, представляю щих собой «логическую детализацию» первых. Все за
дачи, с которыми приходится иметь дело, он
разделяет на два типа: задачи «на доказательство ис тины» и задачи «на нахождение новой истины». Ме
ханизм решения задач первого типа, по существу, со стоит в описании способа редукции логических задач,
применяемого в аналитических или регрессивных до
казательствах. Чтобы обосновать предложение А, согласно Больцано, на основе анализа его структуры или из опыта подбирается предложение М, из которого А выводимо или объективно следует. Если М само не обосновано, то аналогичный подбор осуществляется и для него, и так до обоснованных или до «основных» истин. Решение задач второго типа состоит в использовании приема, обратного
28 |
Б. И. ФЕДОРОВ |
|
|
анализу, т. е. приема выведения логического след
СТВИЯ.
Разработкой эвристических принципов в «Науко учении» Больцано намного предвосхитил соответст
вующие известные схемы построения эвристических рассуждений, предложенные американским матема тиком Д. ПоЙа.
В разработке методологических проблем «собст венно наукоучения» главное внимание Больцано уделял анализу принципов «изложения науки», Нау ка, по мнению Больцано, как известная человечеству часть ИСТИН из области «истин в себе» должна характеризоваться двумя ОСНОВНЫМИ моментами:
во-первых, методами нахождения или открытия но вого знания и обоснования его ИСТИННОСТИ И, во-вто рых, принципами изображения (изложения) добыто го знания в соответствующих книгах («учебниках») с целью его наиболее полного и легкого усвоения, а также эффективного использования в практической жизни людей. В понимании первого момента Боль цано считал себя продолжателем идей и задач эври стики, нашедших отражение в трудах Р. Декарта, Б. Паскаля, логики Пор-Рояля и Г. Лейбница. Но ес
ли в анализе эвристических методов у Больцано не было недостатка в предшественниках, то в вопросах разработки принципов изложения науки дело обсто яло иначе. Лишь у схоластов и в логике Пор-Рояля можно обнаружить использование отдельных эле
ментов мнемоники или риторики при изложении на
БЕРНАРД БОЛЬЦАНО КАк МЕТОДОЛОГ НАУКИ |
29 |
|
|
чаты Больцано и они остаются уникальными по систематичности и глубине обсуждаемых вопросов
до сих пор.
Существовавшая до Больцано традиция в понима
нии науки уделяла в основном внимание развитию
ОНТологического статуса научного знания. Больцано
же стремится четко разграничить процесс и результат (содержание) научного мышления, делая объективи рованную форму последнего предметом особого ис следования своей новой логики - «Наукоучения», Он обращает внимание на существовавшее со времен Ренессанса понятие «система» и находит в нем смеше ние двух элементов - науки как таковой и способов ее Изложения (построения, изображения) в собствен ном учебнике. Науку как таковую, или «науку в себе», Больцано считает неизменной во времени, поскольку
основное ее содержание определяется вневременным миром идеальных сущностей ~ «истинами в себе». Вместо понятия «система» он вводит в употребление понятие «учебник», связанное с изложением науки и
изменяющееся во времени и пространстве в зависимо
сти от того, каким образом осуществляется изложе ние и кого оно касается. Учебник каждой науки дол жен, по мнению Больцано, рассматриваться в четырех
ОСНовных аспектах: как последовательность взаимо
связанных высказываний; как целостная система ис тин; как описание способов расположения научного материала; как порядок «объективных» зависимостей
между истинами науки.
учного содержания. По существу же, систематиче |
Особенность больцановского понимания науки |
ские исследования в этой области были впервые на- |
заключается в соотнесенности истин в себе к своему |
30 |
Б. И. ФЕДОРОВ |
|
|
изображению в учебнике. С одной стороны, наука как совокупность ИСТИН в себе ПОЛНОСТЬЮ отличается от своего изображения, существующего в форме дейст вительного, реального учебника. Как часть мира ис тин в себе наука не зависима ОТ каждого конкретного изображения. Можно говорить о разных учебниках одной науки, подобно тому как существуют различ ные формально-аксиоматические способы изложения одной и той же теории. Но, с другой стороны, обнару живается существенная связь между «наукой в себе» и ее изображением, поскольку, согласно Больцано, множество истин в себе называется наукой лишь в
ТОМ случае, когда известная ИХ часть заслуживает
быть изложенной в учебнике и использованной для блага людей.
Отходв от существовавшей до него традиции в по нимании внутренней цели науки, направленной на со вершенствование научного метода, и внешней, касаю щейся использования ее для нужд общества, Больца но подчиняет любой вид научной деятельности стремлению к всеобщему благу как долгу человека. Познание мира выступает для него как осознание это го долга, а счастье - как совпадение долга и желаний индивида. Поэтому в основание «Наукоучения» Больцано был положен главный методологический принцип - принцип всеобщего блага, согласно кото
рому вопрос о том, заслуживает ли известная нам
часть истин быть изображенной в собственном учеб нике, является вопросом этики. В своем «Наукоуче нии» он уделяет много внимания разработке вопро сов, связанных с формированием практических цен-
БЕРНАРД БОЛЬЦАНО КАК МЕТОДОЛОГ НАУКИ |
31 |
|
|
ностей, получаемых в результате использования учебников науки. Примером учебника подобного ро да Больцано считал «Топику» Аристотеля, а наиболее близкими себе идеями в понимании цели науки - взгляды Спинозы, излагаемые в «Трактате об усовер
шенсгвовании разума»,
С одной стороны, Больцано утверждает, что нельзя объединять истины в самостоятельную науку (в своем учебнике) лишь на основании их сходства
по |
содержанию (например, |
истины |
юридические |
и |
морально-этические) или |
только |
потому, что |
ОНИ ОТНосятся к одному предмету (например, чело век может быть объектом исследования в юридиче ских науках, в антропологии и т. д.). С другой сторо ны, Больцано предупреждает, что нельзя абсолюти зировать и сам факт различия истин по содержанию или предмету. Между науками возможны различные виды отношений. Взаимосвязь науки может осущест вляться субъективно: когда знания одной из них ис пользуются в другой. Но существует и объективная связь. Например, связь между теорией чисел и мате матическим анализом. Истины, по Больцано) дол
жны группироваться в отдельную науку на основа нии анализа свойств той области, которую мьг ста вим своей задачей изучить.
В своем «Наукоучении» Больцано не приводит классификации наук, НО считает необходимым дать разделение всех наук на теоретические (априорные) и змпирические (опытные). Аналогом такого разделе ния служит у Больцано различение между чисто поня тийными и наглядными истинами. Первые, СОГласно
§ 46. Цель, содержание и подразделении ЭТОЙ части
Поскольку логика должна давать нам указания по поводу того, как общую область истин раскладывать на отдельные науки и излагать последние в собствен ных учебниках, то сперва нам необходимо познако миться с известными свойствами, которые присущи истинам или также предложениям вообще. Порядок требует, чтобы прежде были рассмотрены свойства, которые присущи предложениям вообще, а затем свойства истинных предложений. Но так как каждое предложение состоит из еще более простых частей, а именно из представлений (Vorstellungen), то целесооб разно прежде обсудить свойства просто представле ний. Далее, при обсуждении предложений вообще, а позднее - при рассмотрении истинных предложений или истин, обнаружится, что существуют особые ви
ды последних, содержание которых составляют
утверждения об отношениях просто выводимости
(Ableitbarkeit) или особого следования (Abfolge ) меж
ду данными предложениями или теми, которые я на
зываю выводом (Schl(j~e), то само учение об истинных предложениях требует собственного подразделения...
Итак, эта часть моего сочинения может быть подраз
делена:
Первый раздел. Уче//ие о представлениях в себе.
32 |
Б. И. ФЕДОРОВ |
|
|
Больцано, никогда не могут обосновываться BTOPЫ~ ми. К теоретическим наукам ОН относит, прежде все го, чистую метафизику и математику, а к опытным - историю и естествознание. ОНИ ДОЛЖНЫ отличаться и по способу изображения в учебниках. Наряду с исти нами ОПЫТНЫМИ и теоретическими Больцано говорит о возможности использования так называемых «сме
шанных» истин, которые включают в свое содержа
ние как ЧИстые понятия, так и наглядные представле
ния.
Мир ИСТИН в себе выступает у Больцано постоян НОЙ возможностью ДЛЯ образования отдельных наук,
составляя единство всех наук в истине, поскольку знание отождествляется ИМ с истиной. Но главным
определяющим моментом единства самих исгин у
Больцано выступают их связи между собой, носящие чисто логический характер и позволяющие опреде лять форму и степень зависимости одних истин от других. Без этих общих отношений логической зави
симости между истинами невозможна, как считает Больцано, ни общая логика, ни наука вообще, по скольку «объективные» логические связи позволяют из небольшого числа «основных» чисто понятийных
истин получать все другие, в том числе и опытные.
Идею единства науки, основанную на единстве или «одинаковости» логических закономерностей для каждой конкретной науки, он пытается развить пу
тем анализа и описания методов изложения науки в учебнике. При этом Больцано ссылается на Декарта и Лейбница как на СБОИХ предшественников в реше нии данной проблемы. Идеей единства науки он как
БЕРНАРД БОЛЬЦАНО КАК МЕТОДОЛОГ НАУКИ |
33 |
|
|
бы предвосхищает один из главных принципов пози
тивизма - принцип методологического монизма, или единого научного метода во всех науках. Но од новременно он признает и необходимость разных методов исследования объекта каждой конкретной науки. Он лишь настаивает на едином методе изло жения результатов исследования, поскольку форма
теоретического выражения результата для всех наук одна - истина, аналог которой для Больцано всегда присутствует в мире истин в себе. Общий метод из ложения теоретического содержания каждой науки в учебнике (расположение основных положений, объ яснения, доказательства или обоснования истин) опирается на существование общих логических свя зей у различных преддожений. Анализу этих связей Больцано посвятил три первых тома из своего четы
рехтомного сочинения.
Больцано не выделял какую-либо науку в качестве методологического образца ддя друтих, хотя нередко подчеркивал особое значение математики, видя в ней
реальное воплощение идеала строгости и точности выражения знания. В то же время у него можно вы делить ряд общих условий «собственно научности» для того ИЛИ иного знания. К числу таких условий он относит: 1) возможность материальной (знаковой) выразимости результатов исследований; 2) Наличие соответствующих доказательств или подтверждений научных положений; 3) возможность получения (вы ведения) новых следствий из научных положений; 4) возможность изменения (или критического пере смотра) содержания знания в соответствии с новыми
3 Б Больцано
34 |
Б. И ФЕДОРОВ |
|
|
результатами исследований или НОВЫМИ следствиями; 5) наличие практической пользы знания, определяе мой в духе принципа всеобщего блага. В рамках этих общих условий как своеобразного критерия научно сти знания в «Наукоучении» осуществляется детали зация требований, предъявляемых к изложению наук
в учебнике.
Теоретическое знание Больцано оценивает как бо лее значительное, чем эмпирическое. Он даже считает необходимым при «строго научном изложению> стре миться ВЫВОДИТЬ знание только из ЧИСТО ПОНЯТИЙНЬ1Х, теоретических истин. Как известно, это требование получило свое дальнейшее развитие в феноменологии э. Гуссерля как признание абсурдности обосновать или опровергнуть идею с помощью фактов. Относи тельную устойчивость методов и приемов познания ОН, вслед за Больцано, превращает в абсолют, на ко
тором основывает теоретические схемы познаватель
ной деятельности субъекта.
Принципы изложения науки у Больцано вступа ют в действие лишь после того, как из общей облас
ти известных человечеству истин вьщелен опреде ленный их подкласс, составляющий содержание кон кретной науки. В зтом смысле каждая наука предстает в виде готового знания, конечной совокуп ности предложений. Идеи Больцано по изложению наук в учебнике тесно связаны с тем направлением современной методологии, где предметом изучения оказываются понятия и методы самой науки, сфера их применимости, обоснованность научных резуль татов, осмысления достижений науки в аспекте раз-
БЕРНАРД БОЛЬЦАНО КАк МЕТОДОЛОГ НАУКИ |
35 |
|
|
вития общечеловеческой и философской культуры. Выделением класса предложений, говорящих о поло жениях конкретной науки, Больцано фактически проводит различение между языком-объектом и ме таязыком, в котором фиксируются основные виды логических отношений между предложениями учеб ника. При этом важнейшей задачей метаисследова
ния оказывается выявление точного логического смысла истин науки и преобразование их взаимной связи в духе максимального приближения к приqин но-следственной зависимости, которой у Больцано соответствует отношение «объективного следова
ния».
Раскрытие содержания конкретной науки Больца но начинает с разделения всех предложений учебника на главные, вспомогательные и случайные. Быть или не быть главным зависит как от отношения содержа ния конкретного предложения к основному содержа нию конкретной науки, так и от субъективных целей
использования этого предложения, например, в по строении доказательства. Больцано как бы преду преждает об относительности предлагаемого разделе ния предложений. И все же по отношению к содержа
нию науки главными выступают те предложения, которые, во-первых, являются чисто понятийными (теоретическими) истинами и, во-вторых, не могут быть отнесены к содержанию какой-либо другой нау
ки, поскольку прямо и непосредственно касаются предмета «своей» науки. Главные предложения, со гласно Больцано, в большинстве своем должны быть истинами самоочевидными или, по крайней мере,
•
36 |
Б. И ФЕДОРОВ |
|
|
представлены в учебнике таким образом, чтобы чита тель был убежден в их истинности. Главных предло жений науки может быть несколько, но предпочтение должно отдаваться предложениям более общим по объему их логического субъекта.
К числу вспомогательных предложений учебника Больцано относит те, которые «способствуют повы
шению степени уверенности в ИСТИННОСТИ}) как глав ных предложений, так и всего содержания конкрет ной науки. Поэтому оказывается, что в состав учебни
ка могут включаться предложения, истинность
которых полностью еще не установлена. Виды вспо могательных предложений существенным образом за висяг от субъективных целей, например, с какой сте
пенью уверенности должно преподноситься содержа
ние науки для того ИЛИ инОГО класса читателей (школьникам, студентам, научным сотрудникам и т. д.). К числу вспомогательных могут относиться как
предложения теоретические, так и эмпирические, а
также смешанные.
К случайным Больцано относит предложения, с помощью которых «оправдывается» выбор области истин данной науки, описываются отношения ее с другими областями знания, история возникновения науки, способы применения ее результатов в челове ческой практике, устанавливается ее общечеловече ская ценность и т. д. С помощью случайных предло жений также описываются в учебнике различные ука зания, пояснения, примеры, наставления, обозрения и т. д. Всего в «Наукоучении» Больцано выделяет 19 ти
БЕРНАРД БОЛЬЦАНО КАК МЕТОДОЛОГ НАУКИ |
37 |
|
|
Дальнейший анализ принципов изложения науки
приводит Больцано к рассмотрению вопроса о со ставных частях учебника, т. е. к выяснению форма
льных признаков, которым должна удовлетворять
наука как совокупность истинных положений. В этом смысле важнейшим элементом учебника высту
пают основоположения. В самом широком смысле основоположением всех наук, как отмечалось, Боль цано считает высший нравственный принцип, олице творяющий идею всеобщего добра и блага для всех людей. В узком же смысле основоположениями или основными предложениями каждой науки выступа
ют аксиомы или постулаты, на которые «опирается»
ее содержание или иэ которых оно «объективно» следует. Основоположения могут быть предложения
ми одного из трех вышеуказанных видов: главны ми, вспомогательными или случайными. В первом
случае основоположение является главным среди главных предложений науки и должно выражать «единство всего ее содержания». Примером может служить тот закон, который необходимо постоянно учитывать при развертывании содержания данной науки в целом (например, закон сохранения в физи ческих теориях). Здесь следует отметить, что Больца
но различает основоположения относительно содер жания науки и относительно субъективного исполь зования в докаэательствах. В последнем случае
основоположение выступает в роли вспомогательно го предложения, поскольку способствует обоснова нию истинности других предложений. В эависимости
пов случайных предложений. |
ОТ субъективных целей использования основополо- |
38 |
Б. И. ФЕДОРОВ |
|
|
жение может выступить и в роли случайного предло
жения.
Требуя, чтобы все основоположения были только истинными предложениями, Больцано все же не при знает за ними обязательного статуса таких истин, ко торые не имеют своих оснований истинности в других истинах. Исключение составляет лишь высший нрав ственный принцип. Основоположения могут иметь максимально общий характер, но при этом быть след ствиями из других истин. Их главное назначение со
стоит в концентрации содержания конкретного зна ния, в выражении единства положений конкретной науки. Поэтому они не обязательно ДОЛЖНЫ быть са
моочеви,цными.
Особое место среди множества методов научных исследований и изложения науки в учебнике, подроб но проанализированных Больцано, занимают вопро сы, связанные с пониманием сущности, места и роли различных видов доказательства и обоснований, ис пользуемых в научной практике. Именно эти вопросы составляют основу логической проблематики в мето дологии Больцано.
В одной из первых своих работ по математике Больцано утверждал, что доказательства в науке ДОЛЖНЫ быть не уверениями, а обоснованиями, т. е. демонстрацией тех «объективных» оснований, на ко торые опирается доказываемая истина. Например, он замечал, что доказательство истины, верной для всех
величин, не только пространственных, не может опи
раться на истину, верную лишь для пространственных величин. Позже, в «Наукоучении», формулируя тре-
БЕРНАРД БОЛЬЦАНО КАК МЕТодолог НАУКИ |
39 |
|
|
|
|
бования, которым должно удовлетворять строго на учное изложение в учебнике - 1) легкости восприя тия содержания науки, 2) быстрому отысканию ее отдельных положений, 3) удобству запоминания основного содержания, 4) целесообразному исполь зованию в практической деятельности, 5) выработке убежденности в истинности положений науки, 6) до казательству или обоснованию истин науки, - Боль цано считает наиболее важными последние два требо
вания, по отношению к которым все остальные вы
полняют в определенном смысле вспомогательную
функцию.
Доказательства должны основываться на предло
жениях, которые уже приняты за истинные с опреде
ленной степенью уверенности. Из них необходимо сделать вывод доказываемого положения. При этом
вывод должен строиться на основе одного из трех ти
пов отношений: выводимости, точной выводимости или объективного следования.
Ставя теоретическое знание по значимости в нау ке выше эмпирического, Больцано приходит к выво ДУ, ЧТО «чисто понятийные» истины можно исполь зовать в доказательствах с большей степенью уве ренности, чем опытные. При этом он различает уверенность и убежденность. Последнюю он сводит к требованию: найти «первые» основополагающие
истины, которые могут служить отправным пунктом
строгого доказательства. Эти «первые» истины не имеют оснований ни в каких других истинах. На примере геометрии Евклида он показывает, что в ка честве системы основных истин (аксиом) могут вы-