Головна |
« Попередня | Наступна » | |
2. Критика логічних аргументів |
||
Ідея змістовності математики досить природна для математиків XIX століття. Вона виникає з розуміння математики як науки про деякі незаперечних фактах, даних з очевидністю, подібних фактами досвідчених наук. Зростання абстрактності математики увійшов у протиріччя з таким поданням про її предмет. Методологічний конфлікт між прихильниками змістовної і прихильниками символьної математики був неминучий. Щось подібне спостерігалося і у фізиці. Багато фізики сприймали зростання абстрактності своєї науки як відхід від істинного предмета фізики, підміну його математичними фікціями. Поступово, однак, було зрозуміле, що метою фізики є не відшукання наочного і зрозумілого для всіх механізму явищ, а пророцтво і пояснення явищ з мінімуму принципів, які самі по собі можуть бути далеко не очевидними. Як тільки було зрозуміле предсказательное, чисто дедуктивний значення фізичних теорій, традиційні 1ребованія наочності і зрозумілості фізичних принципів були відкинуті як зайві, чи не виникають з функції фізичної теорії. Аналогічна зміна в методологічних поглядах сталося і в математиці. В даний час вже досить ясно, що завдання математичних теорій полягає не в описі деякої очевидності, а в побудові систем об'єктів та операцій, корисних для моделювання реальних відносин, що відкриваються в науці і техніці. З цієї точки зору, яку можна назвати функціональної або прагматичної, вимоги змістовності і інтуїтивної ясності понять, які були настільки істотними для Гаусса, Кронекера і Брауера, представляються довільними обмеженнями, не виникають із сутності (призначення) математики. Це відноситься і до вимоги конструктивності. Ніхто не відмовиться від використання математичної теорії тільки тому, що деякі її посилки не володіють інтуїтивною ясністю або конструктивністю. Математична практика далеко вийшла за межі цих обмежень. Але це означає, що основний аргумент Брауера проти закону виключеного третього покоїться на довільному допущенні про природу математичної теорії, що не виникає з її призначення. В основі другого аргументу Брауера лежить певне розуміння ствердження і заперечення, яке Брауер вважає за необхідне прийняти для сфери істинної математики. У класичній математиці ці поняття доповнюють один одного так, що заперечення істини є брехня і заперечення брехні є істина, внаслідок чого подвійне заперечення завжди приводить нас у вихідну позицію. В принципі і при конструктивному визначенні математичного існування ця симетрія могла б бути збережена, якби ми визначили заперечення як просто відсутність побудови. Питання про те, наскільки законним є прийняте Брауером визначення заперечення, зводиться до питання про те, наскільки це визначення продиктовано функцією математики. Підхід з цієї позиції дозволяє стверджувати, що ніякого спростування закону виключеного третього тут також не відбувається. Єдиний мотив, який виправдовує прийняття в интуиционистской математики саме такого визначення заперечення - це прагнення зробити операцію заперечення змістовної, визначити її через поняття побудови. Але, як вже було сказано, вимога змістовності НЕ виникає з додатків математики і не може визначати логіку математичного мислення. Специфіка заперечення в класичній логіці полягає в тому, що воно забезпечує двозначність цієї логіки. В даний час ми маємо всі докази за те, що двозначність реальної логіки виникає з глибинних передумов мислення і не може бути усунена на основі яких-небудь приватних фактів або довільних визначень. Для багатьох математиків початку XX століття уявлялося досить переконливим припущення Брауера про те, що джерелом парадоксів, виявлених в теорії множин, є використання закону виключеного третього за межами його значущості. В даний час, однак, ця гіпотеза не виглядає переконливою. Ще на початку XX століття Б. Рассел показав, що всі відомі парадокси усуваються при прийнятті природних обмежень при визначенні понять, які він сформулював у своїй теорії типів. Е. Церме-ло (1908) показав, що можливо несуперечливе аксіоматичне уявлення теорії множин при забороні на ставлення самопрінадлежності множин, тобто при виключенні виразів виду X Є X. А.Н. Колмогоров у статті «Про принципі tertium поп datur» (1925) встановив, що для широкого класу математичних міркувань закон виключеного третього абсолютно безпечний: він не може бути джерелом парадоксів, бо парадокси, що містяться в класичній теорії, неминуче відтворювалися б і в аналогу цієї теорії , що не використовує закон виключеного третього. Аргумент від нерозв'язності найбільш вагою, так як він заснований на логічному факті, який не може бути поставлений під сумнів: багато математичні теорії неповні і далеко не всі проблеми можна розв'язати в сенсі докази А або не-а. Однак цей аргумент, якщо підходити до справи досить строго, також б'є мимо цілі. Коли ми говоримо, що в теорії можлива ситуація, при якій деяке твердження неможливо довести і незаперечно, то ми робимо висловлювання про доказовою, що відноситься до метатеорії. А саме, ми стверджуємо, що формула «А чи не-а» не є універсальною в метамові при певній її інтерпретації (існує доказ А чи існує доказ не-а). Але чому обмеження, істотне для метатеорії, для характеристики системи доказів повинно тлумачитися і як обмеження на логіку самих доказів, тобто на логіку теорії? Загальне логічне розгляд показує, що вказане метатеоретическое обмеження буде зберігатися при різних змінах логіки докази. Метатеоретіческіе формула «А чи не-а», в загальному випадку, не універсальна і для класичних, і для інтуїционістському теорій. Жодного прямого зв'язку між логікою теорії і логікою метатеоріі не існує. Але це означає, що допустима логіка докази в теорії повинна мати деякий автономне виправдання, принаймні, ясно, що її можливі обмеження не виникають безпосередньо з обмежень, значущих для метатеорії. При строгому розрізненні між логікою теорії і логікою метатеоріі те положення, що не всі проблеми можна розв'язати, ніяк не може бути витлумачено як аргумент для відмови від класичної логіки. 3 |
||
« Попередня | Наступна » | |
|
||
Інформація, релевантна " 2. Критика логічних аргументів " |
||
|