Відкрите суспільство і його вороги - Поппер K.
Підсумовуючи цей стислий аналіз, ми можемо, на мою думку, ясно описати арістотелівський ідеал досконалого і повного знання, якщо скажемо, що він убачав кінцеву мету всіх досліджень в укладанні енциклопедії сутностей, тобто всіх імен разом з їхніми визначальними формулами; і що він вважав за прогрес знання поступове нагромадження такої енциклопедії, розширення її, заповнення в ній прогалин і, звичайно, силогічне виведення з неї «цілої маси фактів», що складають демонстративне знання.
Як бачимо, не викликає сумніву, що всі ці есенціалістські погляди якнайгостріше суперечать методам сучасної науки. (Я маю на увазі емпіричні науки, а не чисту математику.) Насамперед ми, намагаючись відшукати в науці істину, усвідомлюємо, що ніколи не можемо бути впевненими в тому, що справді її відшукали. Численні розчарування в минулому навчили нас, що не слід сподіватися на остаточність. Ми привчилися не розчаровуватися більше, якщо наші наукові теорії зазнають краху; адже в багатьох випадках ми можемо упевнено визначити кращу з будь-яких двох теорій. Отож, ми спроможні знати, що просуваємося вперед, і це знання примирює багатьох із нас із втратою ілюзії про остаточність і певність. Іншими словами, ми знаємо, що наші наукові теорії приречені назавжди лишитися гіпотезами, але в багатьох важливих випадках можемо з'ясувати, чи нова гіпотеза краща за стару. Адже якщо вони відмінні між собою, то приведуть до різних передбачень, які в багатьох випадках можна перевірити експериментально; на підставі цього вирішального експерименту ми можемо встановити часом, що нова теорія веде до задовільних наслідків там, де стара зазнала краху. Тож можна сказати, що в пошуках істини ми замінили наукову певність науковим прогресом. І розвиток науки підтверджує такий погляд на науковий метод. Наука-бо розвивається не шляхом поступового енциклопедичного нагромадження суттєвої інформації, як вважав Арістотель, а за допомогою набагато революційнішого методу; вона рухається вперед завдяки сміливим ідеям, просуванню нових і незвичних теорій (на зразок тієї, що Земля не плоска і «метричний простір» не плоский) і відкиданню старих теорій.
Але такий погляд на науковий метод означає34, що в науці нема «знання» в тому розумінні, що вкладали в це слово Платон і Арістотель, яке містить у собі остаточність. У науці завжди бракує вагомої причини, щоб повірити в здобуття істини. Те, що ми звично називаємо «науковим знанням», як правило, не є знанням у розумінні власне цього слова, а швидше інформацією про різні гіпотези, що змагаються між собою, і шлях, за яким їх піддають перевірці. Це, користуючись мовою Платона та Арістотеля, інформація про найостаннішу, найкраще перевірену наукову «думку». Цей погляд означає до того ж, що в науці у нас нема доказів (за винятком, звичайно, чистої математики та логіки). В емпіричних науках, що тільки й можуть постачити нас інформацією про світ, в якому ми живемо, доказів не буває, якщо під «доказом» розуміти аргумент, що раз і назавжди встановлює істинність теорії. (Однак можуть траплятися спростування наукових теорій.) З іншого боку, чисті математика та логіка, що допускають докази, не дають нам інформації про світ, а лише розвивають засоби його опису. Отож, можна сказати (як я зазначав в іншому місці35): «Наскільки наукові твердження стосуються реального світу, настільки вони спростовні; а неспростовні вони тоді, коли не звертаються до реального світу». Та хоч доказ не відіграє жодної ролі в емпіричних науках, аргумент там присутній36; справді, він не менш важливий, ніж спостереження та експеримент.
Роль визначень у науці також дуже різниться, головним чином, від тієї, що її мав на думці Арістотель. Він учив, що у визначенні ми спершу вказуємо на сутність — можливо, називаючи її,— а тоді описуємо її за допомогою визначальної формули. Так само, як у звичайному реченні, на зразок «Це щеня коричневе», ми спершу вказуємо на певну річ, називаючи її словами «це щеня», а тоді описуємо її як «коричневу». Арістотель також учив, що, змальовуючи в такий спосіб сутність, на яку вказує термін, котрий треба визначити, ми встановлюємо чи пояснюємо водночас і значення37 терміна. Відповідно, визначення може дати відповідь воднораз на два тісно пов'язані питання. Перше — «Що це?», наприклад, «Що таке щеня?»; воно запитує про те, на яку сутність вказує термін, котрий визначають. Друге — «Що це означає?», наприклад, «Що означає щеня»?; воно запитує про значення терміна (а саме, терміна, який вказує на сутність). У даному контексті нема потреби розрізняти ці два питання; радше, важливіше розглянути, що в них спільного. Я хочу, зокрема, загострити увагу на тому, що обидва питання постають із терміна, який у визначенні стоїть з лівого боку, і одержують відповідь завдяки визначальній формулі, що стоїть з правого боку. Цей факт характеризує есенціалістський погляд, радикально протилежний науковому методу визначення.
Ми можемо сказати, що в той час, як есенціалістське витлумачення читає визначення «нормально», тобто зліва направо, то визначення, як його звично застосовують у сучасній науці, мусить читатися навспак, тобто справа наліво, оскільки починається з визначальної формули, до якої вимагає стислої етикетки.