Головна |
« Попередня | Наступна » | |
2. Конкретність системного підходу |
||
У певних відносинах, однак, системний підхід конкретніший, ніж логічний, бо він вводить в розгляд істотний момент буття математичної теорії - внутрішню логіку її становлення. Логічне розгляд математичної теорії статично, воно розглядає теорію як дану, поза її історії та механізмів її становлення. При логічному розгляді система тверджень теорії єдина лише в тому, що вона виразність на одній мові і піддається систематизації на єдиній підставі. При всій строгості і уявній озброєності логічного підходу, він абстрактний в тому відношенні, що абсолютно ігнорує сам генезис несуперечності теорії в її розвитку. Як вже було сказано, найуспішніше обгрунтування логічної несуперечності лише фіксує якість, яке склалося в становленні змістовної теорії під впливом деяких реальних факторів. Звертаючи увагу на генезис несуперечності, ми переходимо до аналізу живої математики і починаємо розглядати її логічні якості як результат необхідних тенденцій у процесі формування математичних понять. І саме такий підхід дозволяє схопити витоки узгодженості математичних суджень і дослідити умови, при яких математичну теорію можна вважати вільною від протиріч. Методологічна ситуація тут може бути уподібнене введенню в математику ідеї граничного переходу. В даний час ми ясно усвідомлюємо той факт, що багато співвідношення між величинами можуть бути строго доведені лише в тому випадку, якщо вони будуть представлені як результат деякого процесу і як межа цього процесу. Зі змістовної точки зору диференціювання вводить в математику ідею становлення величин і відкриває тим самим продуктивний підхід до раніше нерозв'язних проблем. Системний підхід до проблеми обгрунтування математики в якійсь мірі повторює цей прийом, бо він являє собою спосіб розуміння логічного статусу математичної теорії з точки зору становлення її внутрішніх зв'язків. Розгляд генезису несуперечності при всій удаваній його абстрактності є, насправді, більш адекватним шляхом обгрунтування несуперечності математичних теорій, ніж чисто логічне дослідження закінчених математичних структур. На цьому шляху ми можемо показати, що будь-яка математична теорія, незалежно від типу її понять, простоти і складності аксіом, їх істинності ит. п., в процесі природної еволюції неминуче досягає стадії, повністю вільною від протиріч. Ми з'ясували, що ця еволюція неминуче веде до появи системи аксіом, адекватної змістом теорії. Системний підхід переводить проблему обгрунтування математичних теорій з абстрактно логічного на методологічний рівень. Ми відкриваємо тут внутрітеоретична потоки істинності, які визначають фактичну несуперечливість теорії, залишаючись невловимими для чисто логічного аналізу. Різниця логічного та епістемологічного бачення ситуації досить часто проявляється і в загальній філософії науки. З чисто логічної точки зору, наприклад, досить одного контрпримера для того, щоб відкинути будь-яку теорію як помилкову. З епістемологічної точки зору ясно, що один контрприклад ніколи не спростовує ефективної теорії та що теорія може благополучно існувати і функціонувати при наявності безлічі очевидних контрприкладів. З чисто логічної точки зору ретротрансляція істинності неможлива, з методологічної точки зору за певних умов вона може мати місце і т. п. Ясно, що тут немає протиріччя, а відмінність наших суджень пояснюється відмінністю підходів. Методологічна позиція ближче до дійсності, оскільки вона конкретніше і враховує фактори, від яких абстрагується чисто логічне розгляд. Системний підхід до обгрунтування математичної теорії, будучи, на перший погляд, гранично абстрактним, насправді усуває суттєву абстрактність логічного розгляду тим, що він вводить в розгляд внутрішню динаміку математичної теорії, яка генетично визначає становлення її як несуперечливої. Логічний аналіз збагачується і поглиблюється через аналіз реальних ситуацій, що визначають становлення теорії. Це ми бачимо, зокрема, при проясненні статусу протиріч у змістовній математичної теорії. З чисто логічної точки зору ми можемо припускати наявність прихованого протиріччя в будь-якому понятті, бо сам по собі логічний аналіз не може обгрунтувати противне. Системний аналіз, однак, дає нам підставу стверджувати, що насправді всі поняття, включені в тіло теорії, є коректними, тобто абсолютно вільними від прихованих протиріч. Внесення системного аналізу в проблему обгрунтування математики дає принципово інше бачення всієї проблеми і, в кінцевому підсумку, відкриває шлях до її повного розв'язання. Логічний, чисто структурний підхід, реалізований у класичних програмах обгрунтування математики, не є помилковим, але він свідомо обмежений внаслідок своєї абстрактності. При орієнтації лише на форму теорії і на строго логічну редукцію математичних теорій один до одного, ми залишаємо осторонь найважливіші моменти буття теорії, що визначають її несуперечливість. У науці існують рішення, про які можна сказати, що вони не відповідають статусу проблеми. Існує, наприклад, безліч дотепних прийомів знаходження максимумів і мінімумів функцій в рамках елементарної математики. Однак людина, зведені в математиці, розуміє обмеженість цих методів і невідповідність їх загальному характеру проблеми. З системної точки зору, логічні програми обгрунтування математики - це тільки паліативні підходи, пов'язані з конкретним математичним змістом і не вловлюють в достатній мірі загального характеру проблеми, який пов'язаний виключно з дедуктивною структурою теорій і не залежить ні від яких власне змістовних підрозділів між ними. Логічні підходи явно не досягають необхідного рівня абстрактності розгляду, який необхідний для загальної постановки і адекватного вирішення проблеми обгрунтування математики. З одного боку, вони перевантажені інформацією, що не відноситься до справи, а з іншого боку, вони не використовують інформації, пов'язаної з самим істотою проблеми. Правильний шлях до вирішення проблеми обгрунтування математики буде відкритий тільки тоді, коли буде усвідомлена неадекватність чисто логічного її дозволу, тобто тоді, коли в належній мірі буде усвідомлений гносеологічний статус проблеми. Зрозуміло, що для початку XX століття, коли математики і логіки цілком перебували під впливом ідеї формальної строгості, логічні підходи були єдино прийнятними. Спроба довести несуперечність математичної теорії «філософськи», виходячи із загальної логіки її розвитку, здалася б в той час абсурдною і абсолютно неприйнятною внаслідок своєї Нестрогие. Але в даний час ми вже, мабуть, близькі до розуміння того, що обгрунтування математики як обгрунтування несуперечності основних математичних теорій за великим рахунком є проблемою теорії пізнання і, отже, повинна вирішуватися з усвідомленим залученням коштів, що виходять за рамки логічного аналізу.
|
||
« Попередня | Наступна » | |
|
||
Інформація, релевантна " 2. Конкретність системного підходу " |
||
|