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

7. Автономія логіки

Філософія XX століття базувалася на уявленні про логіку як про науку, тісно пов'язаної з математикою. Це подання виникло з розвитку логіки в XIX столітті, коли працями Д. Буля і Е. Шредера була показана можливість представлення логічних принципів у простих формальних численнях. Математизація логіки привела до відродження філософії математики Лейбніца, яка розглядала логіку як частина загальної математики.

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

У дійсності, однак, між логікою та математикою н & існує настільки тісному зв'язку. З діяльнісної ТОЧКИ 'зору логіка настільки ж мало залежить від математики; як і від досвідчених *' наук. МИ з'ясували, що логіка - це апріорна чисто мовна структура, що має однакове ставлення до всіх типів знання.

Логіка не змінила б свого складу при повній відсутності математики в системі наук, і розвиток математики не може змінити складу реальної логіки.

Єдність логіки і математики з цієї точки зору може бути-визнано лише в тому сенсі, що вихідні прінціпи.математікі, поряд з логікою входять до складу апріорного знання, заданого універсальної онтологією мислення. Ця єдність, однак, відносно. Ми не можемо погодитися з Гуссерлем, що логіка об'єднана з математикою «предметністю взагалі», і не можемо визнати ідеї Піаже, згідно з якою логіка і математика породжені єдиним («логіко-математичним») досвідом. Насправді, логіка не випливає з математики і не визначає зміст математичних теорій. Логіка і математика відносяться до різних аспектів онтології і мають різні функції в пізнанні. Ми з'ясували, що між твердженнями логіки і математики лежить жорстка розмежувальна лінія, визначена поняттями універсальності, аналітичності та нормативності. Гільберт, звичайно, правий у тому, що не можна побудувати математичної теорії, не спираючись на логічні поняття, і не можна побудувати логічного числення, не використовуючи ідеї числа і порядку, але цей факт відноситься до формального поданням теорій і не прояснює істинного статусу логіки. Ми повинні ясно усвідомити ту обставину, що логіка як система регулятивних принципів повністю визначається в рамках чисто мовних категорій і настільки ж мало залежить від існування математики, як і від існування будь-якої іншої приватної науки.

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

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

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " 7. Автономія логіки "
  1. 2. Революція 1905-1907 рр..
    Автономія. У селі, незважаючи на збереження поміщицького землеволодіння, кілька полегшилось становище селян. Були скасовані викупні платежі за землю (близько 1 мільярда золотих рублів) з селян, почалася здійснюватися столипінська аграрна реформа. Кілька покращилися економічні умови життя робітників: середня річна зарплата збільшилася з 214 рублів в 1904 р. до 258 рублів в 1907 р.,
  2. § 1. Державно-політичний розвиток
    автономна республіка, 1 автономна область, 10 автономних округів, 6 країв і 49 областей, 2 міста федерального значення (Москва і Санкт-Петербург). Восени 1991 ідеологи нового режиму, забувши про обіцянку будувати строго правова держава зі зваженим співвідношенням влади, заговорили про необхідність «твердої руки» і зміцнення виконавчої влади. У всіх областях, краях були призначені
  3. Перша Чеченська війна
    автономії, обіцяючи їм дати стільки суверенітету, скільки вони зможуть «проковтнути». Після розпаду СРСР він зіткнувся з тією ж проблемою сепаратизму вже в самій Росії. У Чечено-Інгушської республіці відбувся переворот - повалений Верховна Рада, який підтримав ГКЧП. В результаті проведених там виборів президентом Чечні був обраний генерал Д. Дудаєв. Чеченська республіка на чолі з Дудаєвим відмовилася
  4. § 2. Класифікація норм права
    автономія певних суспільних відносин обумовлюють особливості і відносну відособленість регулюють їх правових норм, які у своїй сукупності і складають галузь права. Галузеві норми поділяються на матеріальні і процесуальні. Процесуальні норми носять організаційно-процедурний, управлінський характер. Вони регламентують порядок, форми і методи реалізації норм
  5. 1.1. Історичні аспекти уніфікації права міжнародних комерційних контрактів
    автономія сторін "," принцип належного виконання договору ", хоча були й відмінності, обумовлені наявністю двох основних систем права. Саме зазначені збіги дали імпульс виникненню ідеї уніфікації права міжнародних комерційних контрактів. Даний перший період характеризується феодальною роздробленістю, відсутністю національної держави і права, розвитком самостійного
  6. 3. Сфера застосування третейської угоди
    автономії волі і майновій самостійності їх учасників (ст . 2 ГК РФ). Сюди ж включаються відносини між особами, які здійснюють підприємницьку діяльність або з їх участю, оскільки такі є різновидом цивільно-правових відносин. Однак у розумінні змісту цивільно-правових відносин серед юристів немає єдності. У юридичній літературі висловлюється думка,
  7. КРИЗА ДУХОВНОСТІ У СУЧАСНОМУ СУСПІЛЬСТВІ (ЗАМІСТЬ ВИСНОВКУ)
    автономії різних сфер творчої людської активності ... В століття нової історії ... усі сфери культури і суспільного життя почали жити і розвиватися лише за власним законом, не підкоряючись ніякому духовному центру ... Політика, економіка, наука, техніка, національність та ін не хочуть знати ніякого морального закону, ніякого духовного начала, що стоїть вище їх сфери. Основним і фатальним у
  8. Релігія і наука.
    автономії науки по відношенню до релігії. Завдяки роботам Коперника, Тихо Браге, Кеплера, Галілея поступово затверджувалася нова наукова картина світу, що не обумовлена ??більш релігійними імперативами. ( Хоча самі герої цього процесу від Коперника до Ньютона демонстрували можливість співіснування вченого і віруючого в одній особі. Так, Галілей, наприклад, писав, що друга книга - Природа -
  9. 4.1. Конституція Росії про розвиток народовладдя, демократичної державності і цивільних ініціатив
    автономії і т. д. У системі місцевого самоврядування влада (недержавна, а значить - несувереннная) належить населенню відповідного міста, села, селища, а це частина народу. Органи місцевого самоврядування зобов'язані дотримуватися Конституції і законів, тобто акти, які виражають державну волю народу. При аналізі механізмів та інститутів демократії (народовладдя) розрізняють дві її
  10. Етичне зміст філософської антропології та її смисложиттєвих пошуків
    автономної волею, і, значить, обов'язковою ознакою справді морального рішення виступає його самостійність, Необумовлене нічим, крім добровільного поваги до морального закону, як такого. Ніякі міркування, начебто користі, прагнення до щастя і т.п. не є керівниками людини як моральної істоти; перш усього іншого, він повинен бути гідним свого щастя.
  11. § 1 Проблема сенсу моралі як можливості здійснення належного
    автономії при дослідженні моралі. З чого ж випливає проблематичність самого морального існування, що включає в себе абсолютні та відносні моменти? Видається, що вона обумовлена ??істотною відмінністю між фундаментальними модусами людського буття взагалі і конкретно моралі, специфічний сенс якої виявляється у взаєминах трьох модальностей: сущого, належного і
  12. § 2 Моральні підходи до проблеми сенсу життя в російської філософії
    автономному принципу розгляду людського життя. Далі Розанов досліджує ідею "щастя" як інтегральної мети діяльності та руководітельное початку в житті людини і приходить до висновку, що вона, за своїм змістом, утворює 1) склад всякої утилітарною доктрини, 2) ставить в підлегле становище "істину": "Істина становить предмет людської діяльності тільки під умовою, що