Головна |
« Попередня | Наступна » | |
Введення |
||
Після знаменитих теорем Геделя проблема обгрунтування математики зайшла в ідеологічний глухий кут. Коли стало ясно, що логічні методи не досягають тут своїх цілей, математики і філософи зробили висновок, що ця проблема нерозв'язна взагалі і що математика в сенсі обгрунтування не відрізняється принципово від досвідчених наук. У філософії математики стало переважати думка, що віра в надійність математичних доказів і несуперечність математичних теорій спочиває на досвіді і не має ніяких інших підстав. Критика традиційного способу математики придбала сьогодні загальний характер і зробилася майже модою. Філософи, логіки, історики математики і самі математики говорять про Нестрогие математичних доказів, про ненадійність інтуїції і про принципову непереборності протиріч у фундаментальних математичних теоріях. Традиційний ідеал математики як строгої науки сьогодні, як здається, повністю відкинутий. Деякі філософи пропонують розглядати математичну теорію як вироджений випадок емпіричної теорії, тобто як теорію, піддану коригуванню і спростуванню у всіх своїх елементах. Математична практика, однак, мало узгоджується з такою ідеологією. Кожен, хто в достатній мірі проник в логіку математичних міркувань, ясно усвідомлює, що математика - це не фізика, що її висновки не перевіряються в досвіді, вони не є історично минущими і ніколи не коригуються досвідом у тому сенсі, як це відбувається з законами досвідчених наук. Математики в своїй більшості вірять в абсолютну надійність внутрішніх понять своєї науки і ніхто не допускає можливості контрприкладів для теореми Піфагора або основної теореми алгебри, незважаючи на те, що не існує суворого логічного обгрунтування несуперечності геометрії та алгебри. Практика математики, незважаючи на всі філософські сумніви, завжди виходила і виходить досі з ясного розрізнення математики і дослідної науки в сенсі їх надійності. Якщо деякий теоретичний прогноз у фізиці виявляється невірним і з очевидністю спростовується досвідом, то вчені шукають похибка не в математичних перетвореннях (якщо вони перевірені і визнані правильними), а тільки у фізичних гіпотезах, покладених в основу міркування. Таким чином, всупереч релятивістської філософії деякий методологічний інстинкт примушує нас розглядати математику як систему абсолютно надійних тверджень і висновків. Це означає, що релятивістська філософія математики неадекватна, що вона не відображає в належній мірі специфіку математики як науки і не дає теоретичного обгрунтування математичної практики. Ця філософія, будучи бездоганною на рівні абстрактних силогізмів, входить в явне протиріччя з практикою математичного мислення і з історією математики, яка свідчить про абсолютну стабільності математичних тверджень, коли-небудь прийнятих математичним співтовариством. Цей факт дає нам підставу думати, що сучасні скептичні висновки про стан справ в підставах математики, що склалися під впливом емпіричної теорії пізнання, не відповідають суті справи. У книзі передбачається обговорити новий погляд на проблему обгрунтування математики, що випливає з розуміння математики як апріорної науки. Ідея априоризма в наш час не виглядає привабливою. Вчені та філософи в своїй більшості схильні розглядати априоризм як пережиток схоластики, як історично з'ясовну, але, безсумнівно, помилкову спробу вирішити фундаментальні проблеми теорії пізнання. Треба визнати, що така оцінка традиційного априоризма має деякі підстави. Система апріоріст-ської філософії, представлена І. Кантом в «Критиці чистого розуму», з сучасної точки зору виглядає догматичною, суперечить фактам науки (фактом неевклідових геометрій, зокрема) і навіть містичної, оскільки вона без жодного пояснення приписує кінцевому людському суті здатність бачення абсолюту - універсальних і незмінних форм мислення. Сучасна теорія пізнання, органічно ввібрала в себе ідею еволюції і відносності, природно, схильна розглядати таке вчення як неадекватне і що має тільки історичне значення. І тим не менше, треба визнати, що філософія априоризма містить в собі істини, які не можуть бути усунені. Це відноситься особливо до розуміння природи математичного знання. Філософія априоризма спирається на факт, підтверджений математичної практикою і всією історією математичної науки, що математика - НЕ емпірична наука, що математичні поняття мають інше джерело свого виникнення і інші закони розвитку. Філософія математики не може піти від ідей априоризма з тієї простої причини, що вона не може закрити очі на яскраво виражені особливості математичної науки і залишити їх без пояснення. Апріорістская філософія математики не може бути відкинута, вона може бути лише приведена у відповідність із сучасною теорією пізнання. Тут потрібно погодитися з Е. Гуссерлем, який вважав, що проблема апріорного не тільки не вирішена, але поки що і не поставлена належним образом1. Основним завданням даної книги є розробка нової концепції априоризма, приложимой до розуміння математики і до вирішення проблем її обгрунтування. Загальною теоретичною передумовою нашого розгляду є положення про практичну природу пізнання. Розуміння практики як глибинної основи пізнання, його найвищого стимулу і вищого критерію істини є найважливішим завоюванням теорії пізнання XIX століття. Колишні філософи міркували про досвід і про розум як про джерела істини, але вони або не ставили питання про функції знання або давали на це питання самі фантастичні відповіді. Ще Л. Фейєрбах пояснював розвиток науки людським честолюбством. К. Маркс і Ч.С. Пірс вперше подивилися на знання з погляду його призначення, його соціальної функції і необхідної включеності в предметну (матеріальну) практику. Теорія пізнання придбала бракуючий їй телеологічний момент і способи пояснення, властиві телеологічною науці. У цьому плані вперше з'являється можливість зрозуміти природу універсальних норм мислення і пов'язаних з ними фундаментальних очевидностей свідомості, на яких зрештою спочиває і вся будівля математичної науки. Аналіз останніх підстав математичного мислення вимагає аналізу практики як джерела загальнозначущих очевидностей і в цьому сенсі сучасна філософія математики неминуче повинна бути праксеологічною. Що стосується питання про місце математики в системі наук, то найбільш прийнятною є тут формалістской концепція, згідно з якою математика являє собою не вчення про світ, що має свій предмет, а лише сукупність логічних структур, призначених для опису різного роду реальних зв'язків, що відкриваються досвідченими науками. З цієї точки зору до математичних теорій не застосовні поняття істинності і хибності і до них не може бути пред'явлена вимога обов'язкової відповідності який-або зовнішньої реальності. Математична теорія розглядається тут не як опис світу, але лише як метод, як чиста структура, яка може бути використана для моделювання реальних зв'язків. Визначальною особливістю вихідних принципів математичної теорії, з цієї точки зору, є не їх очевидність або відповідність якомусь досвіду, а їх несуперечливість, що забезпечує здатність теорії транслювати істину від одних змістовних тверджень до інших. Ідея математики як формальної науки, яка протистоїть емпіричним наукам, була з повною ясністю висловлена вже півтора століття тому Г. Грассманом в передмові до «Вченню про протяжності». «Верховне розподіл наук, - писав Грассман, - полягає в поділі їх на реальні і формальні науки, з яких перші відображають у мисленні буття, як самостійно протистоїть мисленню. Навпаки, формальні науки мають своїм предметом те, що покладається самим мисленням. Їх істина полягає в злагоді мислення з самим собою »2. Формалістской концепція математики також може бути піддана критиці, але в даний час ми ясно усвідомлюємо обставина, що філософія математики не може бути адекватною, якщо вона не буде враховувати фундаментального поділу двох типів знання, яке лежить в її основі. Може здатися, що декларовані установки, а саме, априоризм, прагматизм і формалізм - занадто різнорідні для того, щоб бути сумісними. Ці побоювання, однак, не обгрунтовані. Насправді ці установки тісно пов'язані один з одним і істотно припускають один одного. В даний час стає все більш ясним, що раціональне обгрунтування априоризма мбжет бути досягнуто тільки на основі поняття практики. Апріорізм в даний час може бути прийнятий тільки як праксеологічний априоризм, що полягає у визнанні універсальних форм мислення як незалежних від конкретного досвіду і продиктованих діяльності ой установкою суб'єкта. З іншого боку, формалістской філософія математики, безсумнівно, передбачає елементи априоризма як в розумінні строгості докази, так і в загальній концепції обгрунтування математики. «Шкільна математика» Гільберта, на основі якої він хотів дати абсолютне обгрунтування несуперечності всіх математичних міркувань, являє собою не що інше як такого роду апріорне знання, абсолютна і не схильне емпіричної критиці. Так само як і інтуіціоністи, Гільберт сподівався обгрунтувати математику на апріорних засадах, надавши їм, однак, більш суворе, власне математичне определеніе3. Одне із завдань даної книги полягає в тому, щоб показати, що спроба виявити апріорне і абсолютно надійне ядро математики не безглузда і не безнадійна і що вона є реалізовується за більш глибокій розробці філософії та методології математичної науки. З'ясування того обставини, що несуперечність є основним властивістю математичної теорії і що в математиці, в принципі, прийнятна будь дедуктивна система, що володіє непротиворечивостью, було величезним прогресом у філософії математики, істинним звільненням математичного мислення від гніту зовнішнього світу. Ця важлива ідея була, однак, доповнена згодом хибним тезою, згідно з яким всі математичні твердження, в тому числі і самі елементарні, не більше ніж конвенції, в принципі допускають заміну і утримувані в обігу виключно внаслідок їх простоти і зручності для деяких конкретних цілей. Це було помилковим кроком, що викривляє сутність математичного знання. Стверджуючи прийнятність довільних понять і структур, що задовольняють вимогу несуперечності, ми повинні одночасно враховувати однозначну заданість і апріорність вихідних математичних уявлень і їх однозначну зумовленість фундаментальної онтологією мислення. У розумінні традиційної математики ми повинні йти не за Пуанкаре і Вітгенштейнів, а за Фреге і Гуссерлем, які наполягали на однозначної визначеності вихідних математичних очевидностей і на їх зв'язку з фундаментальними формами мислення. Найважливіше завдання, що стоїть перед сучасною філософією математики, полягає в обгрунтуванні центрального ядра математики як абсолютного, в теоретичному виправданні ідеї гранично надійного обоснователем-ного шару, яка так чи інакше присутній у всіх програмах обгрунтування математики. Сучасна філософія математики повинна поєднати в собі три різнорідних положення, а саме, теза про ідеальність і формальності математичних структур, тобто уявлення про математику як про сукупність чисто уявних конструкцій, обмежених тільки вимогою несуперечності, тезу про апріорність вихідних математичних уявлень, укладених в традиційних розділах математики, таких як арифметика й елементарна геометрія, і теза про реальність вихідних математичних уявлень як безпосередньо пов'язаних з універсальною онтологією, що лежить в основі людського мислення. Завдання книги полягає в тому, щоб показати можливість зазначеного синтезу та її продуктивність стосовно проблем обгрунтування математики. Міркування про обгрунтування математики повинні виходити, очевидно, з деякого досить ясного сенсу самого цього поняття. У різні епохи під обгрунтуванням математики розумілися різні речі. Для математиків Стародавньої Греції, що зіткнулися з проблемою несумірних величин, проблема обгрунтування, як ми можемо припускати на основі дійшли до нас відомостей, полягала в тому, щоб знайти способи поводження з довільними відносинами величин, що не відкидаючи ірраціональних величин і не відступаючи від точності обчислень. Вони дозволили цю проблему через використання геометричних побудов. Математики XVII століття вбачали неясні моменти у використанні уявних і ірраціональних чисел, які не вкладалися в загальноприйняті уявлення про математичної реальності. Проблема обгрунтування складалася для них у знаходженні переконливою реальної (фізичної або метафізичної) інтерпретації для цих чисел. Можна, звичайно, розглядати всі історично мали місце підходи як рівноправні і рівною мірою заслуговують на увагу. Але це було б поганою стратегією. Неважко бачити, що кожне розуміння обгрунтування математики виникало з методологічних проблем своєї епохи і з ідеалу математики, тобто з філософії математики, переважаючою в дану епоху. Прагнення до обгрунтування науки завжди виходить з деяких гіпотез про її призначення, бо за своєю суттю воно не може означати нічого іншого як прагнення максимально наблизити практику науки до ідеалу, диктуемому її передбачуваним призначенням. Але це означає, що для визначення правильного шляху ми повинні прийняти таке поняття обгрунтування, яке найбільшою мірою відповідає сучасному розумінню математики як науки. Ми, таким чином, повинні зробити тут філософський вибір, а саме, вибір між сучасними гіпотезами про сутність математики і її призначення. Сказане вище вже певною мірою визначає цей вибір. Якщо математика розглядається як сукупність абстрактних структур, націлених в кінцевому підсумку на те, щоб бути точним мовою і засобом дедукції для досвідчених наук, то проблема її обгрунтування зводиться до обгрунтування якостей, що визначають цю функцію математики, а саме, до обгрунтування надійності її доказів і до встановленню несуперечності її теорій. Ці два завдання, безпосередньо виникають з формалістского розуміння сутності математичного знання, будуть основними в нашому дослідженні. Всякі інші трактування і цілі обгрунтування ми повинні розглядати тут як приватні, побічні і заслуговують на увагу лише в тій мірі, в якій вони значущі для вирішення зазначених основних завдань. Обгрунтовуючих діяльність в математиці складається з двох відносно автономних рівнів: математичного та філософського. Застосування прийнятої програми обгрунтування до конкретної теорії являє собою чисто математичну роботу. Програма обгрунтування, проте, сама потребує обгрунтування, у встановленні її відповідності своєму завданню. Тут виникають філософські та методологічні проблеми, такі як проблема інтуїції, проблема надійності змістовного докази, проблема допустимої логіки і т. п. Будь-яка програма обгрунтування математики містить в собі систему припущень, що мають філософський або гносеологічний характер. Треба визнати, що незважаючи на зусилля, витрачені видатними філософами і математиками XX століття на прояснення і обгрунтування цих припущень, ми маємо тут мінімальний поступ вперед і саме ця обставина є причиною того, що проблема обгрунтування математики все ще залишається далекою від свого рішення. Є підстави припускати, що нові просування у вирішенні проблеми обгрунтування математики прийдуть не від логіки, а стануть можливими саме на основі радикального поглиблення філософії математики. Досить очевидно, що емпіріцістская філософія математики не вказує тут правильних перспектив. Ототожнити математику з досвідченими науками в плані обгрунтування - занадто просте рішення питання. Ми повинні згадати тут слова І. Канта, сказані з приводу спроб вивести логіку з психології: «Змішування кордонів різних наук веде не до розширення цих наук, але до їх спотворення» 4. В даний час філософія математики потребує проясненні специфіки математичного знання. І перш за все ми повинні позбутися хибних емпіричних аналогій, які вносять плутанину в саме розуміння проблеми обгрунтування математики. Хоча філософія сама по собі не може претендувати на повне вирішення проблеми обгрунтування математики, вона може більш-менш успішно виконати свою частину роботи. Вона повинна встановити необхідні гносеологічні критерії, в рамках яких сама проблема набуває сенсу і перспективу. Основна частина нашої роботи буде полягати в обгрунтуванні праксеологічного априоризма. Завдання полягає втом, щоб показати, що априоризм, жорстко зв'язує вихідні математичні уявлення з універсальною онтологією, дозволяє відстоювати більш оптимістичні погляди щодо можливості повного обгрунтування математичних теорій. -J ^ ^ tb J jj j. \ и НІ JJ про Ji ±> ллл J л ^. л j1 j]-j і і »ui про J1 про «Під інтуїцією я маю тут на увазі не віру в хитке свідчення людських почуттів і не оманливе судження людської уяви, про міцне поняття ясного і уважного розуму, породжене лише природним світлом розуму і завдяки своїй простоті більш достовірне ніж сама дедукція ...» Р. Декарт. «Правила для керівництва розуму.» «Всіма розділяється те переконання, що геометрія з усіма своїми істинами справедлива з безумовною загальністю для всіх людей, всіх часів, всіх народів, для всіх не тільки історично фактичних, а й для всіх взагалі мислимих. Принципові передумови цього переконання ніколи не були обгрунтовані, тому, що ніколи не були всерйоз проблематізіровать » Е. Гуссерль. «Початок геометрії. |
||
« Попередня | Наступна » | |
|
||
Інформація, релевантна "Вступ" |
||
|