Фiлософiя науки як об'єкт дослiдження
Конвенцiоналiзм припускає можливiсть побудови будь-якої системи класифiкацiї, котра поєднує факти в логiчно самонесуперечне зв'¬¬-язане цiле. За систему класифiкацiї приймається будь-яка теорiя, що будується згiдно з поняттям "теорiї" - конституює теоретичну єднiсть предмету, властивостi, вiдношення, положення та iн., що складає вiдношення основоположень i наслiдкiв. Згiдно цiєї кон¬¬¬цепцiї, необхiдно якомога довше зберiгати недоторканим центр такої системи класифiкацiї, а коли вторгнення аномалiй створює труднощi, потрiбно просто змiнити або ускладнити її периферiйнi дiлянки. Згiдно з базовими настановами даної методологiї одночасно можуть спiвiснувати рiзнi науковi теорiї, якi несуперечливо узгоджуються з єдиною емпiричною "базою" даних.
Оскiльки вчення про дедукцiю як метод не розгортається у мет-дологiю, бо не здатне стати основою аналiзу взаємовiдношення якiсно рiзних методiв, в межах конвенцiалiзму дедуктивiзм вперше пiднiмається до рiвня методологiчних проблем.
Серед головних настанов конвенцiоналiзму особливе значення мବ-ють "рекурентнi мiркування" А.Пуанкаре та "теза Дюгема-Куайна".Теза була сформульована французьким фiзиком Дюгемом для вирiшення ряду методологiчних проблем пов'язаних з процесами мат嬬¬матизацiї теоретичної фiзики. Куайн [10.-с.322-343] поширив знବ-чення тези Дюгема на теорiю взагалi, як рiзновид наукового знання. Формулювання тези таке: "фiзична теорiя має системний характер, а її окремi положення отримують значення тiльки в контекстi теорiї". За умови дотримання такого положення ми повиннi визнавати, що екс¬¬-периментальнiй перевiрцi пiдлягають не iзольованi теоретичнi пол-ження, а теорiя в цiлому. Отже, теорiя не верифiкується - не подiляється на окремi положення, якi потiм незалежно одне вiд о䬬¬ного перевiряються експериментально. У випадку встановлення невiдповiдностi передбачень теорiї експериментальним даним немо欬-ливо визначити, яка саме частина або конкретна гiпотеза помилкова. У разi виявлення проблем теорiя може бути скоректована рiзними сп-собами, якi визнаються рiвноможливими, а вибiр мiж ними залежить вiд угоди мiж науковцями (конвенцiї).
Iдея iзольованої перевiрки гiпотез має своїм першоначалом iндуктивiстську методологiю, яка визнає наукове формулювання зବ-конiв природи наслiдком узагальнення фактiв. Оскiльки кон¬¬-венцiалiзм визнає, що мiж емпiричними даними i теорiями зв'язок не завжди безпосереднiй, а має залежнiсть вiд процесу "переходу" бази емпiричних даних у мову символiв цiлої групи гiпотез, тодi вiн визнає неможливiсть вiдокремлення кожної з гiпотез, наприклад, у теоретичнiй фiзицi, вiд iнших теоретичних положень. Факти, у зв'¬¬¬язку з цим, завжди "навантаженi" змiстом який несе теоретична сис¬¬¬тема в цiлому.
Куайн зазначав, що немає наукових положень, якi повнiстю незବ-лежнi вiд досвiду. Жодна з наукових теорiй, гiпотез не має iмунiтету щодо її верифiкацiї. Однак, верифiкацiя здатна лише к-ректувати теорiю через її окремi положення, отже - бути процедурою збереження теорiї, а не спростування. Перевiрцi та спростуванню в науцi пiдлягає система взаємопов'язаних положень теорiї, а не оꬬ¬ремi її речення чи гiпотези. Вiд цього залежить стiйкiсть теор嬬¬тичних систем при зiткненнi з суперечливими даними досвiду та здатнiсть теорiї до самокорекцiї на ґрунті конвенцiї науковцiв.
Рекурентнi послiдовностi (recurrens - зворотнi) будуються на рiвностi, яка зв'язує мiж собою два чи декiлька сусiднiх члени ря¬¬¬ду чисел, що дозволяє визначати наступний член ряду через поп嬬¬реднi, вираховувати один за одним наступнi члени послiдовностi, якщо вiдомi попереднi. Встановлення таких послiдовностей дозволяє доводити, що можна здiйснювати зведення будь-яких фундаментальних положень точних наук (математики) до елементарних аксiом. Зразком таких послiдовностей може слугувати аксiоматика Пеано, яка в мовi "природних" термiнiв матиме такий вигляд:
1) нуль є число;
2) наступне за числом є число;
3) декiлька рiзних чисел не може мати одне й те саме наступним;
4) нуль не є наступним нi за яким числом;
5) якщо нулю притаманна яка-небудь властивiсть, а також, якщо вона притаманна будь-якому iншому числу та наступному за ним, тодi ця властивiсть притаманна усiм числам [Див.:27.-с.33].
Цi аксiоми постулюють елементарнi вiдношення мiж термiнами ("нуль", "число", "наступне"), де загальний смисл залишається не змiненим, оскiльки наявнi як незмiннi "первиннi номiналiї", що не можна звести до iнших, бiльш елементарних. П'яте положення, яке являє собою постулювання логiчного дискурсу вiдомого пiд назвою "рекурентне мiркування Пуанкаре" [Див.:28;29], найбiльш яскраво висвiтлює, що логiко-математична "iстина" виявляє лише згоду роз󬬬му iз самим собою. Оскiльки конвенцiонально прийнята теорiя лише конституює можливу варiацiю теоретичної єдностi предмету, власт謬-востi, вiдношення та положення, можна визнати, що вона безпос嬬-редньо не змiнює смислу фактуальних даних. Ми маємо справу лише з iнструментально рiзними класифiкацiями, якi можемо подiляти на зручнi, красивi, вдалi чи навпаки.