Когато някой се позовава на "истина" или твърди, че някакво твърдение е "вярно", само за каква истина се отнася? В началото това може да изглежда странно, защото толкова рядко се замисляме за възможността, че навън може да има повече от един вид истина, но наистина има различни категории истина, които трябва да се имат предвид.
Аритметични истини
Сред най-простите и очевидни са аритметичните истини тези твърдения, които точно изразяват математическите връзки. Когато казваме, че 7 + 2 = 9, ние отправяме твърдение за аритметична истина. Тази истина може да се изрази и на обикновен език: седем неща, добавени към две неща, ни дават девет неща.
Аритметичните истини често се изразяват в абстрактното, както при уравнението по-горе, но обикновено има фон на реалността, както при изказването на обикновения език. Въпреки че те могат да се разглеждат като прости истини, те са сред най-сигурните истини, които имаме, можем да бъдем по-сигурни в тях, отколкото можем да направим почти всичко друго.
Геометрични истини
Много тясно свързани с аритметичните истини са геометричните истини. Често изразени в числова форма, геометричните истини са твърдения за пространствени отношения. Геометрията в края на краищата е изучаването на физическото пространство около нас или директно, или чрез идеализирани представи.
Както при аритметичните истини, те също могат да бъдат изразени като абстракции (например Питагоровата теорема) или в обикновен език (сборът на вътрешните ъгли на квадрат е 360 градуса). И както при аритметичните истини, геометричните истини също са сред най-сигурните истини, които можем да имаме.
Логически истини (Аналитични истини)
Също понякога наричани аналитични истини, логическите истини са твърдения, които са верни просто чрез дефиниция на използваните термини. Етикетът "аналитична истина" произлиза от идеята, че можем да кажем, че твърдението е вярно само като анализираме думите, които се използват, ако разберем твърдението, тогава също трябва да знаем, че е истина. Пример за това би било „няма ергени да са женени“, ако знаем какво означава „ерген” и „женен”, тогава знаем за факт, че твърдението е точно.
Поне такъв е случаят, когато логическите истини се изразяват на обикновен език. Такива твърдения също могат да бъдат изразени по-абстрактно, както при символичната логика в тези случаи, определянето дали дадено твърдение е вярно или не, ще бъде много подобно на правенето на такова определяне на аритметично уравнение. Например: A = B, B = C, следователно A = C.
Синтетични истини
Много по-често срещани и интересни са синтетичните истини: това са твърдения, които не можем да познаем като верни просто по силата на някои математически изчисления или анализ на значенията на думите. Когато четем синтетично изявление, предикатът се предлага като добавяне на нова информация, която вече не се съдържа в темата.
Така например „мъжете са високи“ е синтетично изявление, защото понятието „висок“ вече не е част от „мъжете“. Възможно е твърдението да е или вярно или невярно ако е вярно, то това е синтетична истина. Подобни истини са по-интересни, защото ни учат на нещо ново за света около нас нещо, което не знаехме преди. Рискът обаче е, че може да грешим.
Етични истини
Случаят с етичните истини е някак необичаен, защото изобщо не е ясно, че такова нещо дори съществува. Със сигурност е така, че много хора вярват в съществуването на етични истини, но това е горещо оспорвана тема в моралната философия. Най-малкото, дори ако съществуват етични истини, изобщо не е ясно как можем да ги опознаем с някаква степен на сигурност.
За разлика от други твърдения за истина, етичните твърдения се изразяват в нормативен начин. Казваме, че 7 + 2 = 9, а не 7 + 2 трябва да са равни на 9. Казваме, че „ергените не са женени“, а не „е неморално ергените да бъдат женени“. Друга особеност на етичните твърдения е, че те са склонни да изразят нещо за начина, по който би могъл да бъде светът, а не такъв, какъвто е светът в момента. По този начин, дори ако етичните твърдения биха могли да бъдат квалифицирани като истини, те наистина са много необичайни истини.
