Головна |
« Попередня | Наступна » | |
1. Об'єкти, факти і принципи |
||
Для розуміння нового підходу нам потрібно провести деякі уточнення таких понять філософії математики, як математичний об'єкт і математичний факт. Математична теорія покоїться на замкнутої ієрархії об'єктів, яка робить цю теорію відмінною від інших математичних теорій. Математик має справу, по-перше, з об'єктами вихідними, прийнятими на основі очевидності, а по-друге, з об'єктами похідними, отриманими на основі різних типів внутрішніх визначень. Два цих класу об'єктів наявні в будь математичної теорії. Вихідні об'єкти можна назвати також елементарними, оскільки вони лежать в основі всіх інших визначень даної теорії. Відмітною ознакою вихідних об'єктів є безумовна очевидність їх властивостей. Похідні об'єкти, як правило, не володіють цією якістю. Математична теорія, починаючи з інтуїтивно ясних об'єктів і образів, неминуче сходить до конструкцій, які будучи строго визначені, проте позбавлені безпосередньої ясності своїх властивостей. Необхідно відзначити дві властивості математичних об'єктів, які важливі для розуміння будови і розвитку математичної теорії. Найважливіше з них -? це кінцева визначність, заданість математичного об'єкта кінцевим числом властивостей. Цей момент суттєво відрізняє математичні об'єкти від емпіричних, які нескінченні в тому сенсі, що їх теоретичне визначення лише намічає систему його якостей і не виключає відкриття якостей, які не узгоджуються з прийнятим визначенням. Визначення в емпіричної теорії не задає об'єкт, а лише вказує на нього, як на деяку сутність, що володіє, в принципі, нескінченним числом незалежних один від одного властивостей. На відміну від цього, всі властивості математичного об'єкта визначені кінцевим числом вимог, зафіксованих в аксіомах або в його вихідних визначеннях. Ця особливість математичного об'єкта виникає з сутності математичної теорії як формальної системи, в якій об'єкту можуть бути приписані лише властивості, узгоджені з його вихідним визначенням. Інша особливість математичних об'єктів полягає в їх суворій співпідпорядкованості. У процесі розвитку математичної теорії її об'єкти шикуються в жорстку ієрархію, яка не залежить від сваволі окремого математика та математичного співтовариства в цілому. Поняття натурального числа об'єктивно є більш елементарним, ніж поняття дійсного числа, а поняття дійсного числа - більш елементарним, ніж поняття функції або інтеграла, і це об'єктивне супідрядність не може бути усунуто ніякими перебудовами теорії. Математична теорія -? це насамперед ієрархія залежних один від одного об'єктів, яка однозначно задана в тому сенсі, що супідрядність відповідних понять не може бути змінено довільно і молекулярні поняття не можуть виконувати функцію атомарних. Для кожної математичної теорії атомарні поняття виділені об'єктивно, самим її змістом і не можуть бути довільно змінені. Розуміння логіки розвитку математичної теорії істотно спирається на поняття математичного факту. Під математичним фактом слід розуміти передусім первинні (сингулярні) висловлювання про математичних об'єктах та їхні зв'язки типу 2 + 2 = 4. Такого роду істини не доводяться і не виводяться з принципів, але подібно початковим фактологическим істинам емпіричних наук повинні бути прийняті як щось цілком первинне і безумовне. Вище ми встановили, що істини зазначеного виду безпосередньо і з абсолютною необхідністю нав'язані нашій свідомості системою онтологічних уявлень. Вони не можуть бути змінені в рамках раціонального пізнання, що має дану категориальную структуру. В якості математичних фактів слід прийняти також і інтуїтивно ясні узагальнення типу а + b = b + а. Тут ми маємо справу вже з деякими абстракціями від безпосередніх Праксея-логічних очевидностей, але ці абстракції такого роду, що вони не порушують ідеальної істинності абстрактних принципів: загальне судження: a + b = b + a - не менше очевидно і не менш надійно, ніж будь сингулярне затвердження типу 2 + 3 = 51. До системи математичних фактів відносяться також всі судження, що фіксують результати всередині математичних процедур перевірки, заснованих на аподиктической очевидності. Якщо хтось каже, що число 2 є коренем рівняння х2 - 5х + 6 = 0, то він стверджує безумовно істинний факт, оскільки істинність цього вислову гарантується перевіркою у сфері аподиктичні очевидних процедур. Нарешті, до фактологічної основи математики слід віднести всі визнані математичні докази. Якщо деякий доказ прийнято як остаточне, то воно непереборно як певний зв'язок між судженнями в математичній теорії, незалежно від того, чи є посилки цього доказу інтуїтивно ясними, онтологічно або емпірично значущими. Ми переходимо в математичній теорії від одних доказів до інших на основі аксіом, точно так само як в емпіричної теорії ми переходимо від одних фактів до інших на основі принципів. Якщо говорити в загальному плані, то до фактологічної основі математичної теорії ми повинні віднести всі твердження, які обгрунтовані в сфері аподиктической очевидності. Це і природно. Аподиктичні очевидність - це генетична основа і логічний фундамент математичної теорії. Вся система тверджень, будь це поодинокі висловлювання, безпосередні їх узагальнення або складні теореми, яка строго зводиться до цього фундаменту, виступає в подальшому розвитку теорії як абсолютної фактуальной основи, з якої мають бути узгоджені всі абстрактні принципи теорії. Математична теорія, як і всяка інша, починається з фактів, а саме, з очевидних висловлювань щодо об'єктів та з встановлення найпростіших зв'язків між ними і лише поступово просувається до своїх теоретичним підставах, до виявлення системи принципів, яка забезпечує систематичне розгортання теорії в межах відомих її результатів. Поділ принципів і фактів як різних рівнів математичної теорії дає можливість говорити про істинність принципів щодо фактів, про відповідність аксіом фактуальной основі теорії. Істинність системи аксіом в цьому сенсі, на відміну від онтологічної та семантичної істинності, про які йшла мова вище, можна назвати фактуальной істинністю, оскільки в її основі лежить загальнонаукове уявлення про істинність як про відповідність суджень деякого даного змісту. Таке розуміння математичної істини об'єднує математику з емпіричними науками і ставить проблему обгрунтування математичних принципів на основі фактів. Онтологическая істинність математичних суджень, при всій своїй важливості для математики, сама по собі недостатня для розуміння статусу аксіом, оскільки самоочевидність - не універсальний властивість аксіом, а лише особливість ряду первинних аксіоматикою, найбільш тісно пов'язаних з універсальною онтологією і логікою. Система аксіом математичної теорії, як націлена на пояснення її змісту і похідна від цього змісту, формується, в загальному випадку, не на основі очевидності, а як повне логічне підгрунтя історично сформованого ядра теорії. Формування системи аксіом в цьому сенсі тотожно логіці виявлення фізичних принципів, і ми повинні визнати правильність того положення, що формування логічного підстави математичної теорії відбувається не у відповідності з евкпідіанской, а відповідно до квазіемпіріческой схемою. Тут, у цьому пункті полягає головна трудність на шляху всіх програм суворого обгрунтування математики. З одного боку, на рівні методологічної інтуїції ми розуміємо, що математика - НЕ фізика та її теорії обгрунтовані деяким більш надійним чином, що вони незрівнянно більш стабільні і в деякому сенсі внеісторічен-ни. Але, з іншого боку, ми не бачимо розумних шляхів обгрунтування несуперечності аксіоматичної системи, яка формується без допомоги будь-якої очевидності, відповідно до квазіемпіріческой схемою, і не може бути прийнята в якості онтологічно істинною. Найлегший шлях полягає в тому, щоб оголосити, що математична теорія за характером своїх обгрунтовують принципів у загальному випадку не відрізняється від емпіричної теорії і не може розраховувати на обгрунтування, відмінне від обгрунтування емпіричної теорії. Така позиція сучасного емпіріцістского фал-лібілізма у філософії математики.
|
||
« Попередня | Наступна » | |
|
||
Інформація, релевантна " 1. Об'єкти, факти і принципи " |
||
|