Кад се неко односи на "истину" или тврди да је нека изјава "истинита", на какву се истину односи? У почетку се ово може чинити чудним питањем, јер тако ретко размишљамо о могућности да можда постоји више врста истине, али заиста постоје различите категорије истине које је потребно имати на уму.
Аритметичке истине
Међу најједноставније и најочитије су аритметичке истине оне изјаве које тачно изражавају математичке односе. Када кажемо да је 7 + 2 = 9, ми тврдимо о аритметичкој истини. Та се истина може изразити и обичним језиком: седам ствари које су додате двема даје нам девет ствари.
Аритметичке истине често се изражавају у апстрактном облику, као у горњој једнаџби, али обично постоји позадина стварности, као и изјава у обичном језику. Иако се ове могу видети као једноставне истине, оне су међу најизвеснијим истинама које имамо, ми од њих можемо бити сигурнији него што је то случај у било чему другом.
Геометријске истине
Веома уско повезане са аритметичким истинама су геометријске истине. Често изражене у нумеричком облику, геометријске истине су изјаве о просторним односима. Геометрија је, на крају крајева, проучавање физичког простора око нас било директно или кроз идеализоване репрезентације.
Као и код аритметичких истина, оне се такође могу изразити апстракцијама (на пример питагорејска теорема) или обичним језиком (збир унутрашњих углова квадрата је 360 степени). Као и код аритметичких истина, и геометријске истине су такође међу најизвеснијим истинама које можемо да имамо.
Логичке истине (аналитичке истине)
Такодер се понекад називају аналитичким истинама, логичке истине су изјаве које су истините једноставно дефинисањем израза који се користе. Ознака "аналитичка истина" изведена је из идеје да можемо рећи да је изјава истинита само анализом речи које се користе ако разумемо изјаву, тада морамо такође знати да је тачна. Примјер за то би био "да се нежења не вјенчају" ако знамо шта значи „првоступник“ и „ожењен“, онда знамо да је изјава тачна.
Барем је тако случај када се логичке истине изражавају у обичном језику. Такве изјаве се такође могу изразити апстрактније као код симболичке логике у тим случајевима, одређивање да ли је изјава истинита или не ће бити врло слична давању таквог одређивања аритметичке једначине. На пример: А = Б, Б = Ц, дакле А = Ц.
Синтетичке истине
Много су чешће и занимљивије синтетичке истине: то су изјаве за које не можемо да знамо као истините само захваљујући математичким прорачунима или анализирању значења речи. Када читамо синтетичку изјаву, предикат се нуди као додавање нових информација које још нису садржане у теми.
Тако је, на пример, „мушкарци високи“ синтетичка изјава, јер концепт „висок“ већ није део „мушкараца“. Могуће је да изјава буде истинита или лажна ако је истинита, онда је то синтетичка истина. Такве истине су занимљивије јер нас уче нечему новом о свету око нас нечему што прије нисмо знали. Ризик је, међутим, да можда грешимо.
Етичке истине
Случај етичких истина је помало необичан, јер уопште није јасно да тако нешто уопште постоји. Сигурно је да многи људи верују у постојање етичких истина, али то је вруће оспоравана тема у моралној филозофији. У најмању руку, чак и ако постоје етичке истине, уопште није јасно како их можемо упознати са било којом сигурношћу.
За разлику од других истина, етичке изјаве су изражене нормативно. Кажемо да би 7 + 2 = 9, а не 7 + 2 требало да буде једнак 9. Кажемо да "првоступници нису ожењени", а не да је "нехајно да се првоступници вјенчају". Још једна карактеристика етичких изјава је да они имају тенденцију да изражавају нешто о ономе какав би свет могао бити, а не онакав какав је свет тренутно. Стога, чак и ако се етичке изјаве могу квалификовати као истине, оне су заиста веома необичне истине.
