Логіка - Карамишева Н. В. - 6.5. Обгрунтування підстав науки як мета логічна проблема

Ніхто не знайде природу речі а самій речі; пошук повинен бути поширений до загальнішого.

Ф. Бекон

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

Уперше проблему обгрунтування підстав науки висунув Арістотель. Він сформулював питання про початок окремих наук і про початок усіх наук.

І. Кант у праці "Критика чистого розуму" для пошуку обгрунтування підстав науки сформулював свої, що стали класичними, питання: "Як можлива математика?", "Як можливе природознавство?", "Як можлива метафізика?" Він обгрунтував виникнення й існування математики, природознавства, метафізики, апелюючи до "чистого" розуму в межах створеної ним трансцендентальної логіки.

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

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

До напрямів метанаукових досліджень належить обгрунтування підстав конкретної науки. У логічному аспекті обгрунтування підстав науки - це виведення певної наукової теорії, певної науки з іншого джерела за схемою: "В є тому, що є А", де А - підстава, В - наслідок. У процесі такого мотивування виявляється, що жодна наука не виникає сама собою, а зумовлена множинністю чинників.

Обгрунтовуючи підстави конкретної науки, дослідники визначають такі чинники:

- практичні (практична діяльність людей спричиняє виникнення певних наук);

- культурологічні (наука як частина певного типу культури та цивілізації);

- філософські (в межах філософії виникли теорії, що поступово набули автономного статусу й перетворилися на самостійні науки, - психологія, логіка, епістемологія та ін.);

- логічні (логічні методи пізнання, логіка побудови наукових теорій);

- загальнонаукові (відокремлення нових об'єктів дослідження, парадигми наукового мислення, принципи та методи наукового пізнання, способи пояснення й обгрунтування).

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

Розглянемо пошук підстав науки на прикладі математики та логіки як наук, що різняться від усіх інших предметом і методами дослідження. Математику та логіку визначають як універсальні підстави для виведення інших наук. А що є підставою.

Обгрунтування підстав математики - напрям металогічних і метаматематичних досліджень, який виник наприкінці XIX - початку XX ст. Пошук логіками та математиками теоретичних підстав математики (математичних теорій) зумовили виникнення таких концепцій: формалізм, логіцизм, інтуїціонізм" конструктивізм.

Формалізм - історично перша концепція обгрунтування підстав математики, з погляду якої математика - суто формальна система, створена зі штучних символів методом формалізації. Тому формальна система передбачає низку критеріїв (принципів) побудови; несуперечність, повнота, незалежність, розв'язуваність (див. 4.1).

Концепцію формалізму сформулював німецький математик Д. Гільберт на підставі своєї програми. Ця програма визначалася як подальший розвиток аксіоматичного методу в математиці через уведення поняття "формальна система" і мала на меті повну формалізацію математичної теорії та побудови загальної теорії або метатеорії всіх математичних теорій на підставі принципу формалізму.

Концепція формалізму виявилася недостатньою, коли німецький логік і математик К. Гьодель сформулював дві теореми про неповноту формальної системи (див. 4.1). З них випливає: неможливо повністю формалізувати арифметику, а отже, класичну математику загалом; неможливо довести несуперечність будь-якої формальної системи арифметики, а отже, класичної математики засобами цієї системи.

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

Логіцизм - концепція обгрунтування підстав математики, з погляду якої математика виводиться з логіки. Концепцію логіцізму сформулювали і розвинули Г. Фреге, Б. Рассел, Р. Карнап. Зокрема, Г. Фреге виводив арифметику з логіки через експлікацію поняття "натуральне число" та доведення основ теоретичної арифметики на підставі положення: "Всі вихідні математичні поняття можуть бути визначені в термінах логіки". Б. Рассел виводив усю математику з логіки: "Чиста математика випливає з суто логічних засновків і використовує які визначені в логічних термінах". Р. Карнап стверджував, що логіка становить підставу побудови метатеорії для математики та єдиної математичної мови, семантично й синтаксично достатньої для математичних теорій.

Концепція логіцізму була визначена недостатньою з погляду інтуїціонізму.

Інтуїціонізм - це концепція обгрунтування підстав математики, яка стверджувала: логіка - частина математики і, отже, не може слугувати для ЇЇ обгрунтування, і лише інтуїція є підставою для створення математичних теорій. Концепцію інтуїціонізму сформулювали логіки та математики А. Гейтинг і Л. Брауер. Вони визнавали інтуїцію (див. 2.1) основним критерієм аргументування достовірності математичного знання та єдиним джерелом отримання нового знання в математиці.

У середині XX ст. виокремилася нова концепція обгрунтування підстав математики, що отримала назву "конструктивізм".

Конструктивізм - концепція обгрунтування підстав математики, з погляду якої синтез формалізму й інтуїціонізму є підставою для побудови математичних теорій (конструктивний напрям у математиці). Конструктивізм відокремлює творчий початок математичного розуму, його винахідливість і є синтетичною концепцією (синтез формалізму й інтуїціонізму). Концепція конструктивізму сформульована в працях А. Маркова, Ю. Єршова й інших математиків.

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

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

Онтологізм - концепція обгрунтування логіки філософською теорією буття (онтологія). Ця концепція визначала об'єктивну підставу науки логіки - об'єктивне існування предметів, явищ, процесів, між якими існують різноманітні зв'язки та відношення (причинно-наслідкові, просторові, часові, генетичні та ін.) і які розвиваються за об'єктивними законами, відображеними в логічних законах.

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

Психологізм - концепція обгрунтування логіки психологією, згідно з якою логіку розглядають частиною психології. Концепція психологізму була головною в XIX ст. і створювалася за такою схемою: "Психологія вивчає мислення. Логіка вивчає мислення. Отже, логіка є частиною психології".

Антипсихологізм - концепція, сформована з виникненням символічної (математичної) логіки. Логіку визначали як суто теоретичну науку подібно до математики, і відтак заперечувався психологізм, з погляду якого логіка є частиною психології. Концепцію антипсихологізму відстоювали філософи Б. Вольцано, Б. Гуссерль, а також логіки та математики, зокрема Г. Фреге, Б. Рассел.

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

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

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

Виникнення різних концепцій обгрунтування науки логіки також засвідчує, що не існує моністичного погляду на природу науки логіки та логічного знання.

Самообгрунтування підстав символічної (математичної) логіки.

На сучасному рівні металогічних досліджень визначено, що символічна (математична) логіка не має інших теоретичних підстав, окрім самої логіки. Отже, перед логіками та філософами постала проблема самообгрунтування символічної логіки як науки, тобто межі пошуку підстав науки на рівні раціональності. Науковий розум не шукає об'єктивних підстав поза людським розумом, скажімо, Абсолютної ідеї. Сам людський розум творить логіку. Ця ідея І. Канта, реалізована в його трансцендентальній філософії, отримала назву "принцип апріорізму". З нього випливає, що логіка (логічне знання) не потребує жодного обгрунтування, оскільки вона відтворює найфундаментальніші, найуніверсальніші зв'язки та відношення, не задані людським досвідом.

Самообгрунтування в логіці - це виведення логіки із "чистого розуму". Самообгрунтування логіки породжує парадокс самообгрунтування: "Для обгрунтування початку логіки необхідно вийти за межі цієї логіки... але вийти за межі цієї логіки (щоб її логічно обгрунтувати) можливо лише в іншу логіку, а оскільки логіка всезагальна - в інше всезагальне" (В. Віблер).

Для вирішення парадоксу самообгрунтування символічної логіки як всезагальної науки рух думки здійснюють у пошуках ще більшого всезагального. Таким всезагальним, на думку В. Біблера, є культура, що означає введення буття культури всередину обгрунтування мислення та руху думки.

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

Список рекомендованої літератури

Аристотель. Сочинения: В 4 т. - М., 1978.

Библер В. Кант - Галилей - Кант (Разум Нового времени в парадоксах самообоснования). - М., 1991.

Библер В. От наукоучения - к логике культуры. Два философских введения в 21 век. - М., 1990.

БэконФ. Сочинения: В 2 т. - М., 1971.

Вригт Г. X. фон. Объяснение и понимание // Логико-философские исследования. - М., 1986.

Гейтинг А. Интуиционизм. - М., 1965.

Гемпель К. Мотивы и "охватывающие" законы в историческом объяснении // Философия и методология истории. - М., 1977.

Декарт Р. Сочинения: В 2 т. - М., 1989.

Исследования по логике научного познания // Материалы международного симпозиума. - М., 1990.

Кант И. Сочинения: В 6 т. - М., 1964.

Клайн М. Математика. Утрата определенности. - М., 1984.

Конверский А. Проблема обоснования в логике и методологии науки. - К., 1985.

Костада Н., Маркони Д. Развитие параконсистентной логики в 80-х годах XX века // Философские науки. - 1989. - № 9.

Лейбниц Г. Сочинения: В 4 т. - М., 1984.

Логические методы и формы научного познания. - К., 1984.

Мак-Лейн С. Математическая логика - ни основание, ни философия // Методологический анализ оснований математики. - М., 1988.

Поппер К. Логика и рост научного знания. - М., 1983.

Пуанкаре А. О науке. - М., 1983.

РакитовА. Курс лекций по логике науки. - М., 1971. Рассел Б. Философия логического атомизма. - Томск, 1999.

Смирнов В. Логические методы анализа научного знания. - М., 1987.

Смирнова Е. Логика и философия. - М., 1996. ХантГ. О природе сознания. - М., 2004. Хромой Я. Математична лопка. - К., 1983. ЧерчА. Математика и логика // Математическая логика и ее применение. - М., 1965.

Шуман А. Современная логика. Теория и практика - М 2004.

Шуман А. Философская логика. - М., 2001.

Схожі статті




Логіка - Карамишева Н. В. - 6.5. Обгрунтування підстав науки як мета логічна проблема

Предыдущая | Следующая