Калі хтосьці спасылаецца на "праўду" альбо сцвярджае, што нейкае сцвярджэнне з'яўляецца "праўдай", то пра якую ісціну яны спасылаюцца? Спачатку гэта можа здацца дзіўным пытаннем, таму што мы так рэдка задумваемся аб магчымасці таго, што там можа быць некалькі тыпаў ісціны, але сапраўды ёсць розныя катэгорыі праўды, якія трэба памятаць.
Арыфметычныя ісціны
Да ліку самых простых і відавочных адносяцца арыфметычныя ісціны тыя выказванні, якія дакладна выражаюць матэматычныя адносіны. Калі мы кажам, што 7 + 2 = 9, мы заяўляем пра арыфметычную ісціну. Гэтая праўда можа быць выказана і звычайнай мовай: сем рэчаў, дададзеных да дзвюх рэчаў, дае нам дзевяць рэчаў.
Арыфметычныя ісціны часта выяўляюцца ў анатацыі, як і ў раўнанні вышэй, але звычайна існуе фон рэчаіснасці, як і ў выказванні звычайнай мовы. Хоць іх можна разглядаць як простыя ісціны, яны ўваходзяць у лік самых пэўных ісцін, якія мы маем, але мы можам быць больш упэўненымі ў іх, чым пра што-небудзь яшчэ.
Геаметрычныя ісціны
Вельмі цесна звязаныя з арыфметычнымі ісцінамі - геаметрычныя ісціны. Часта выражаныя ў лікавай форме геаметрычныя ісціны - гэта выказванні аб прасторавых адносінах. У рэшце рэшт, геаметрыя - гэта вывучэнне фізічнай прасторы вакол нас альбо непасрэдна, альбо праз ідэалізаваныя ўяўленні.
Як і арыфметычныя ісціны, яны таксама могуць быць выражаныя ў выглядзе абстракцый (напрыклад, тэарэма Піфагора) альбо ў звычайнай мове (сума ўнутраных кутоў квадрата складае 360 градусаў). Як і арыфметычныя ісціны, геаметрычныя ісціны таксама з'яўляюцца аднымі з самых пэўных ісцін.
Лагічныя ісціны (аналітычныя ісціны)
Таксама часам называюць аналітычнымі ісцінамі, лагічныя праўды - гэта сцвярджэнні, якія праўдзівыя па вызначэнні тэрмінаў, якія выкарыстоўваюцца. Этыкетка "аналітычная праўда" паходзіць ад ідэі, якую мы можам сказаць, што сцверджанне дакладна, аналізуючы словы, якія ўжываюцца, калі мы разумеем сцвярджэнне, то мы павінны таксама ведаць, што яно дакладна. Прыкладам гэтага можа служыць "не халасцякі ў шлюбе", калі мы ведаем, што азначае "халасцяк" і "жанаты", то мы ведаем на самай справе, што заява дакладная.
Прынамсі, гэта той выпадак, калі лагічныя праўды выказваюцца звычайнай мовай. Такія выказванні таксама могуць быць выражаныя больш абстрактна, як пры сімвалічнай логіцы у тых выпадках, вызначэнне таго, ці з'яўляецца сцвярджэнне праўдзівым ці не, будзе вельмі падобным на вырашэнне такога арыфметычнага раўнання. Напрыклад: A = B, B = C, таму A = C.
Сінтэтычныя ісціны
Значна больш распаўсюджанымі і цікавымі з'яўляюцца сінтэтычныя ісціны: гэта сцвярджэнні, якія мы не можам даведацца як праўдзівыя проста дзякуючы нейкім матэматычным вылічэнням або аналізу значэння слоў. Калі мы чытаем сінтэтычнае выказванне, выказнікам прапануецца даданне новай інфармацыі, якая яшчэ не змяшчаецца ў тэме.
Так, напрыклад, "мужчыны высокага росту" з'яўляецца сінтэтычным сцвярджэннем, паколькі паняцце "высокі" яшчэ не ўваходзіць у склад "мужчыны". Магчыма, сцверджанне будзе альбо ілжывым, альбо ілжывым, калі гэта праўда, то гэта сінтэтычная ісціна. Такія ісціны цікавей, таму што яны вучаць нас чамусьці новага пра свет вакол нас, таму, чаго мы раней не ведалі. Рызыка, аднак, у тым, што мы можам памыліцца.
Этычныя ісціны
Справа этычных ісцін некалькі незвычайная, бо зусім не зразумела, што такое ёсць. Вядома, так шмат людзей верыць у існаванне этычных ісцін, але гэта маральная філасофія. Прынамсі, нават калі этычныя ісціны існуюць, зусім не зразумела, як мы можам іх даведацца з любой ступенню пэўнасці.
У адрозненне ад іншых сцверджанняў праўды, этычныя выказванні выражаюцца нарматыўна. Мы гаворым, што 7 + 2 = 9, а не 7 + 2 павінны раўняцца 9. Мы кажам, што «халасцякі не жанатыя», а не «для халасцякоў гэта амаральна». Яшчэ адна асаблівасць этычных сцверджанняў заключаецца ў тым, што яны, як правіла, выражаюць нешта пра тое, якім можа быць свет, а не такім, які ёсць у свеце. Такім чынам, нават калі этычныя выказванні можна назваць ісцінамі, яны сапраўды вельмі незвычайныя.
