Головна
Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяФілософія науки → 
« Попередня Наступна »
Пермінов В. Я. . Філософія і підстави математики - М.: Прогресс-Традиція. - 320с., 2001 - перейти до змісту підручника

4. Вихід за межі фінітізма

Ми виходимо тут з тотожності онтологічної істинності і об-грунтовної значущості математичних суджень ^ припускаємо, що всяка надійна метатеорія міститься в системі онтологічно істинної математики, і всяка онтологічно справжня система принципів може виступати в якості бази абсолютного і гранично надійного обгрунтування математичної теорії. Визначення метатеоріі в рамках онтологічної істинності виводить її за межі фінітізма і відкриває принципово нові можливості для розвитку формалістской програми і для вирішення проблеми логічного обгрунтування математики в цілому.

З цієї точки зору отримує повну реабілітацію генценовскій підхід до обгрунтування несуперечності арифметики як проведений в рамках онтологічно істинних принципів. Ми виправдовуємо також докази несуперечності арифметики, засновані на використанні семантичних засобів. До цього типу доказів відноситься доказ несуперечності обмеженою арифметики П.С. Новикова, засноване на понятті регулярності63. До цього типу доказів може бути віднесено також доказ несуперечності арифметики Н.М. Нагорного, яке виходить з поняття реалізуемості64. Обидва цих докази безсумнівно виходять за межі финитности у вихідному гильбертовськой і геделевском розумінні, будучи разом з тим абсолютно коректними з точки зору своєї надійності.

Положення про онтологічної істинності метатеоріі представляється обмеженим в тому відношенні, що воно вимагає її побудови тільки на основі аподиктичні очевидних тверджень. Гильбер Котовського метатеорія не цілком задовільна в цьому відношенні. Хоча спочатку Гільберт висував вимогу змістовної істинності принципів метатеоріі, згодом він відступив від цієї вимоги. Введення трансфинитной аксіоми, звичайно, робить метатеорію незадовільною в цьому відношенні.

Є підстави припускати, що в даному випадку цей дефект може бути усунений. Введення трансфинитной аксіоми мотивовано у Гільберта не її змістовної ясністю, а її ефективністю: вона дозволяє відновити закон виключеного третього, обгрунтувати принцип трансфинитной індукції та операції з дійсними числами, які Дедекінд обгрунтовує на основі аксіоми безперервності.

Якщо, проте, ми маємо право стверджувати онтологічну істинність всіх цих наслідків, то є підстави припускати, що трансфинитное аксіома може бути або виведена з них, або замінена ними на основі дедуктивної еквівалентності. Немає ніякої необхідності виправдовувати закон виключеного третього на основі штучної аксіоми, коли він може бути прийнятий безпосередньо як онтологічно виправдана і абсолютно надійна норма якого мислення! Інакше кажучи, у нас є підстави думати (хоча, звичайно, тут необхідно логічне дослідження), що вся гильбертовськая теорія докази, необхідна для обгрунтування аналізу, може бути приведена у відповідність з критерієм аподиктической очевидності. Немає жодних сумнівів у тому, що математичний аналіз може бути строго обгрунтований відповідно до формалістським підходом при розумному розширенні метатеоріі.

Перевага онтологічно істинної метатеоріі перед змістовної і неясною в своїх кордонах метатеоріей Гільберта полягає в тому, що її принципи мають вичерпне обгрунтування своєї надійності. Ми не просто виводимо несуперечливість на основі деяких абстрактних принципів, ми виводимо її на основі принципів, що відносяться до гранично надійному основи математичного мислення, досягаючи тим самим граничного або абсолютного обгрунтування розглянутої теорії.

Як показують дослідження, значні фрагменти теорії множин обгрунтовуються у своїй несуперечності на основі математичного аналізу. Це є доведеним, наприклад, для аксіоматики ZF без аксіоми подмножеств65. Це означає, що формалістской програма при знятті невиправданих обмежень може стати повноцінною програмою абсолютного обгрунтування всіх основних теорій сучасної математики. Як і в інших випадках, основна проблема полягає тут у поглибленні аналізу методологічних передумов цієї програми.

Слід зазначити, що формалістской програма з'явилася значно більш обгрунтованою в філософському відношенні, ніж програми логіцізма і інтуїционізма.

Є важливою насамперед загальна установка Гільберта на практичне розуміння математичного мислення. Математика для Гільберта -? НЕ шахова гра, а знаряддя пізнання світу; внаслідок чого її адекватне обгрунтування має бути обгрунтуванням всіх його практично визнаних методів. Звідси виникає у Гільберта установка на збереження всієї працюючої математики. Обгрунтовуючих сумнів у нього, також як і у Декарта, має тільки методологічний характер; воно покликане, зрештою, відновити все існуюче на іншому рівні строгості. Інша важлива риса гильбертовськой програми, що має філософське значення, полягає в її установці на остаточне обгрунтування. Гільберт виходив з абсолютної надійності елементарної математики як з факту, доведеного всій математичної практикою. Визнання апріорність елементарної математики робить природним припущення, що і всі інші теорії на певному рівні свого розвитку досягають тієї ж щаблі логічного досконалості. Ця установка Гільберта, що відкидає всякий релятивізм, є безсумнівно правильною. В даний час стає все більш ясним, що адекватна теорія пізнання повинна виправдати математику як сферу абсолютного знання.

Основний недолік програми Гільберта полягав у неопрацьованості поняття метатеоріі. Обмеження сфери надійної метатеоріі фінітними і аріфметізіруемостью, звичайно, не є адекватним і вимагає перегляду. Зі сказаного випливає, що дійсна сфера надійної математики може бути визначена тільки через виявлення онтологічних підстав математичного мислення і, таким чином, через залучення гносеологічних критеріїв.

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " 4. Вихід за межі фінітізма "
  1. 4.Питання вивчення народних рухів
    вихідців із сусідніх народів у формуванні козацтва, куначества, взаємозбагачення в культурі та побуті, вони змінювалися під впливом різних обставин. Як сусіди, вони сварилися один з одним і мирилися, гнали худобу і дарували лихих скакунів, обмінювалися зброєю і торгували хлібом, разом бенкетували на весіллях і мстилися кровним ворогам. На Північному Кавказі союзницькі відносини з
  2. 5. Оточення І. В. Сталіна
    вихід який означав для нього смерть. Мета Сталіна - підібрати нову кагорти керівників - виявилася на ділі не такий вже важкою і цілком здійсненною, бо в керівних ешелонах партії виявилося чимало людей, які не могли розлучитися з «полюбилася» ім військово-комуністичної ідеологією і практикою. НЕП був їм незрозумілий, і вони не сприймали його «всерйоз і надовго». Деяким з них
  3. Оборонні операції
    вихід з оточення командарм просив у Жукова ще в лютому, але лише в квітні 1942 року той дав згоду. Під Вязьму особисто за генералом Єфремовим Сталін надіслав літак. Сісти в літак генерал відмовився: «Я з солдатами сюди прийшов, з солдатами і піду». Літаком були відправлені знамена частин. У ніч на 14 квітня 1942 знесилена армія, фактично без техніки пішла на прорив. Ворогові вдалося
  4. 1. Право касаційного оскарження, строк і порядокподачі, форма і зміст касаційної скарги. Відгук на касаційну скаргу
    виходу за межі касаційної скарги, в застосуванні в касаційному виробництві деяких правил, що регулюють порядок вирішення спору в суді першої інстанції та ін В даний час існує гостра необхідність узгодження арбітражного процесуального законодавства, в тому числі регулюючого касаційну перевірку судових рішень, з міжнародними нормами права і що склалися в Європі
  5. 2. Арбітражна угода
    виходить за ці межі, буде поставлено в ході арбітражного розгляду. Третейський суд може в будь-якому з цих випадків прийняти заяву, зроблену пізніше, якщо він визнає затримку виправданою (п. 1-2 ст. 16). Ще більш детальне правове регулювання питання про компетенцію арбітражу міститься в Європейській конвенції 1961 р. Конвенція передбачає, що відведення арбітражного суду будь-який з сторін
  6. 22. Характеристика федеративної форми державного устрою.
    Виходу (право сецесії) з союзу. 2. Суб'єкт федерації, як правило, наділяється установчою владою (це фіксується в Конституци Федерації), але його К. не повинна протіфоречіть федеративної (ст. 6 конституції Швейцарського Союзу: «Кантони зобов'язані просити у Союзу гарантію для своїх конституцій [...]") 3. Суб'єкти федерації наділяються в межах встановленої для них компетенції правом видання
  7. 5. Ознаки держави
    виходів до моря) Водна частина, що включає води річок, озер, штучних водосховищ , розташованих в межах сухопутної частини держави, а т.м. морські води, які омивають його узбережжі. Підземна територія, а саме надра, розташовані під сухопутною і водною частиною держави. Повітряна територія - атмосфера над сухопутною і водною частиною держави. Інші об'єкти - морські і повітряні судна,
  8. 13. Правові норми - ознаки, структура - гіпотеза, диспозиція, санкція, види
    виходити. Структура норми права - її внутрішню будову. Повна структура складається з гіпотези, диспозиції і санкції. Її модель - «Якщо ... - то ... - інакше». Гіпотеза - перелік обставин, при виникненні яких в реальному житті норма починає діяти. Гіпотеза встановлює умови дії норми, закріплює юридичні факти (дії, події, стану), при наявності яких на практиці
  9. 65. Поняття і види правопорушень. Зловживання правом.
    виході особи за межі встановленого законом обсягу суб'єктивного права, яке тягне за собою спотворення призначення
  10. Явище організованої злочинності.
    виходять за межі державних кордонів, пов'язані не тільки з корупцією громадських і політичних діячів, отриманням хабарів або таємних змов, але також і з погрозами, залякуванням і насильством. Поняття та ознаки явища організованої економічної злочинності. Для визначення ефективної державної політики контролю над злочинністю, також як і для самої кримінологічної науки
  11. 3.1. Аналіз стану військового законодавства на сучасному етапі розвитку громадянського суспільства Росії
    виходять на службу. посада не є вакантною, прийняти на неї можна тільки цивільна особа, оклад якого з урахуванням пільг в 4-6 разів менше, а функціональні обов'язки - ті ж, і ніхто не хоче вступати на тимчасову посаду за малу оплату. Захист Вітчизни не може перериватися. Звідси випливає необхідність дотримання не тільки прав особистості, а й захисту інтересів усього суспільства, держави.
  12. 1.1. ПОНЯТТЯ, ОСНОВНІ РИСИ ТА ЗАВДАННЯ
    вихід з підпорядкування - за командою про закінчення служби. Для співробітників міліції встановлюється загальна тривалість робочого часу не більше 40 годин на тиждень. Безперервна служба на посту, маршруті патрулювання, як правило, не повинна тривати більш як чотири години. Протягом зміни особовому складу надається 1:00 перерви для відпочинку і прийняття їжі. Із загальної тривалості
  13. Поняття вікової неосудності.
    виходів з неї, цілей здійснюваних дій, передбачення їх прямих і непрямих результатів, оцінку своєї поведінки з точки зору діючих правових норм і загальноприйнятої моралі. Здатність керувати своїми діями виражається у вільному виборі як цілей дій, так і способів їх досягнення. Вибір цілей дій завжди нерозривно пов'язаний з мотивами поведінки людини, так як досягнення
  14. Вибір виду експертизи.
    виходить за межі компетенції експерта-психіатра. Відхилення в психічному розвитку, не досягають рівня психічного розладу, вплив цих відхилень на поведінку особистості є предметом психології. Отже , для вирішення питання про наявність у неповнолітнього відставання у психічному розвитку і вплив цього відставання на здатність усвідомлювати фактичний характер і
  15. Вихід експертів за межі своєї компетенції.
    виходять за межі своєї професійної компетенції, їх укладення не можна вважати обгрунтованими. Як приклад наведемо висновок з акту експертизи, також складеного в АСПЕК при ПБ № 6 м. Москви: «Випробуваний виявляє психофізичну незрілість з психопатоподібним поведінкою. За психічним станом не міг повною мірою усвідомлювати фактичний характер і суспільну небезпеку своїх
  16. § 2. Короткий нарис розвитку проблеми
      виходом у світ названих робіт розгорнулася відома дискусія з питань провини. Теоретично неспроможною і практично шкідливою була визнана «оціночна» теорія провини, яка підміняє провину, як певну реальність, оцінкою судом дій підсудного і веде до довільності у вирішенні питання про винність. Розглядаючи питання про змішування суб'єктивних і об'єктивних моментів, характерному
  17. § 1. Поняття злочину
      вихід за кон, які-небудь межі, межі, зумовила появу поглядів на злочину як на деякого роду порушення (волі, закону, права в об'єктивному і суб'єктивному сенсі і т. п.), що і відбилося в одній з перших законодавчих формулювань: " Будь-яке порушення закону, через яке посягается на недоторканність прав влади верховної або встановлених нею влад, або ж на права або
  18. § 3. Крайня необхідність
      вихід з небезпечного стану, але не середня людина, що не володіє спеціальними навичками і знаннями. 2. Шкода, заподіяна при усуненні небезпеки, повинен бути менше шкоди предотвращенного. Неприпустимо заподіяння рівного, а тим більше більшої шкоди, ніж загрожував. Насамперед слід звернути увагу на те, що шкода має бути запобігання, а не запобігають: якщо громадянин намагався
  19. § 6. Виконання наказу або розпорядження
      виходять за межі компетенції даної особи, або не дотримана форма і процедура, або в ньому містяться вимоги з-вершити діяння, порушують закон. Різновидом незаконного є злочинний наказ, що пропонує вчинити діяння, передбачене нормами кримінального закону. До прийняття Кримінального кодексу РФ в теорії кримінального права обгрунтовувалася позиція, згідно з якою межі
© 2014-2022  ibib.ltd.ua