Таким чином, ті, хто наполягає на тому, що без критерію — надійного тесту — для туберкульозу, брехні чи істини не можна дати означення словам «туберкульоз», «брехня» чи «істина», безперечно, помиляються. Насправді побудова низки тестів для визначення туберкульозу чи брехні відбувається після того, як ми встановили — хай навіть приблизно,— що маємо на увазі під словами «туберкульоз» чи «брехня».
Ясно, що в процесі розробки тестів для визначення туберкульозу ми можемо дізнатися набагато більше про цю хворобу; так багато, вочевидь, що можемо говорити про те, що під впливом нашого нового знання змінилося саме значення терміна «туберкульоз», і що після встановлення критерію значення терміну стало не таким, як раніше. Дехто, мабуть, може навіть сказати, що «туберкульоз» можна тепер визначати за допомогою такого критерію. Одначе це не міняє того факту, що ми й раніше дещо мали на думці, хоча, звичайно, могли знати про цей предмет набагато менше. Так само це не міняє того факту, що існує небагато хвороб, якщо такі взагалі є, для яких ми маємо критерій чи ясне визначення, і що небагато критеріїв, якщо такі взагалі є, заслуговують на довір'я. (Але якщо вони не надійні, то краще їх не називати «критеріями».)
Може не існувати критерію, що допоміг би нам встановити справжність чи фальшивість якоїсь фунтової банкноти. Але якби нам трапилися дві фунтові банкноти з однаковим серійним номером, то ми б мали достатні підстави заявити, навіть за відсутності критерію, що принаймні одна з них підробна. І така заява не була б безглуздою через брак критерію визначення справжності банкноти.
Якщо підсумувати, то теорія, за якою для визначення значення слова ми мусимо встановити критерій його правильного вживання чи правильного застосування, помилкова: практично ми ніколи не маємо такого критерію.
3. Філософія критеріїв
Щойно заперечений погляд — той, за яким ми мусимо мати критерій для розуміння того, про що говоримо, чи йдеться про туберкульоз, брехню, існування, значення чи істину — явно чи неявно складає підґрунтя багатьох філософій. Філософію такого типу можна назвати «філософією критеріїв».
Оскільки основна вимога філософії критеріїв, як правило, не може бути задовільнена, зрозуміло, що прийняття філософії критеріїв веде у багатьох випадках до розчарування, релятивізму чи скептицизму.
Я вважаю, що саме потреба критерію істини примушує багатьох людей відчувати, що питання «Що таке істина?» позбавлене відповіді. Одначе відсутність критерію істини не більше позбавляє значення поняття істини, ніж відсутність критерію здоров'я — поняття здоров'я. Хворий може палко бажати здоров'я, навіть якщо він не має критерію для нього. Заблудлий може прагнути істини, навіть якщо він не має критерію для неї.
І обидва можуть просто жадати здоров'я чи істини, не надто переймаючись значенням цих термінів, що їх вони (так само як і інші) розуміють достатньою мірою для досягнення своїх цілей.
Одним із безпосередніх результатів дослідження Тарським істини є така логічна теорема: не може бути універсального критерію істини (за винятком окремих штучних мовних систем, певною мірою дуже збіднених).
Цей результат можна точно обгрунтувати, і таке обгрунтування використовує поняття істини як відповідності фактам.
Тож маємо цікавий і дуже важливий з філософського погляду результат (важливий, зокрема, у зв'язку з проблемою авторитарної теорії пізнання*). Однак цей результат було досягнуто за допомогою поняття — в даному випадку поняття істини,— для якого ми не маємо критерію. Нерозумна вимога філософії критеріїв, щоб ми не сприймали всерйоз поняття до встановлення критерію, могла б, таким чином, якщо брати цей випадок, позбавити нас логічного результату, що складає великий філософський інтерес.
* Щодо опису і критики авторитарних (або нефоллібілістських) теорій пізнання див., зокрема, розділи V, VI і X та наст. «Вступу» до моєї книжки «Conjectures and Refutations».
Однак висновок про те, що не може бути універсального критерію істини, є прямим наслідком ще більш важливого результату (одержаного Тарським шляхом сполучення теореми нерозв'язності Геделя із власною теорією істини) про те, що не може бути універсального критерію істини навіть для порівняно вузької галузі теорії чисел або для будь-якої науки, що застосовує арифметику. Цей результат застосовується a fortiori до розуміння істини в будь-якій нематематичній галузі, в якій необмежено використовують арифметику.