Když někdo odkazuje na „pravdu“ nebo tvrdí, že některé tvrzení je „pravdivé“, na jakou pravdu se vztahují? To se může na první pohled zdát jako lichá otázka, protože tak zřídka přemýšlíme o možnosti, že tam může být více než jeden druh pravdy, ale skutečně existují různé kategorie pravdy, které je třeba mít na paměti.
Aritmetické pravdy
Mezi nejjednodušší a nejzřetelnější patří aritmetické pravdy - ty výroky, které přesně vyjadřují matematické vztahy. Když řekneme, že 7 + 2 = 9, děláme nárok na aritmetickou pravdu. Tuto pravdu lze také vyjádřit běžným jazykem: sedm věcí přidaných ke dvěma věcem nám dává devět věcí.
Aritmetické pravdy jsou často vyjádřeny abstraktně, jako je tomu u výše uvedené rovnice, ale obvykle existuje pozadí reality, jako je tomu v běžném jazyce. I když je lze považovat za jednoduché pravdy, patří mezi nejpřesnější pravdy, které máme můžeme si být o nich jistější, než můžeme o čemkoli jiném.
Geometrické pravdy
Velmi úzce souvisí s aritmetickými pravdami geometrické pravdy. Geometrické pravdy jsou často vyjádřeny v numerické podobě a jsou prohlášeními o prostorových vztazích. Geometrie je konec konců studiem fyzického prostoru kolem nás directly buď přímo, nebo prostřednictvím idealizovaných reprezentací.
Stejně jako u aritmetických pravd je možné je vyjádřit i jako abstrakce (například Pythagorova věta) nebo v běžném jazyce (součet vnitřních úhlů čtverce je 360 stupňů). A stejně jako u aritmetických pravd jsou geometrické pravdy také jednou z nejpřesnějších pravd, jaké můžeme mít.
Logické pravdy (Analytické pravdy)
Také někdy označované jako analytické pravdy, logické pravdy jsou výroky, které jsou pravdivé jednoduše definicí použitých termínů. Štítek „analytická pravda“ je odvozen od myšlenky, že můžeme říci, že prohlášení je pravdivé jen analýzou použitých slov pokud tomu rozumíme, musíme také vědět, že je pravdivé. Příkladem by bylo „žádní bakaláři nejsou ženatí“ pokud víme, co znamenají „bakalář“ a „ženatý“, víme o skutečnosti, že prohlášení je přesné.
Alespoň to je případ, kdy jsou logické pravdy vyjádřeny v běžném jazyce. Takové výroky lze také vyjádřit abstraktněji, jako v případě symbolické logiky v těchto případech bude určení, zda je výrok pravdivý nebo ne, velmi podobné provedení takového určení aritmetické rovnice. Například: A = B, B = C, tedy A = C.
Syntetické pravdy
Mnohem běžnější a zajímavější jsou syntetické pravdy: jsou to výroky, které nemůžeme poznat jako pravdivé jednoduše na základě provádění matematických výpočtů nebo analýzy významů slov. Když čteme syntetický příkaz, nabídne se predikát jako doplnění nových informací, které dosud nejsou obsaženy v předmětu.
Tak například „muži jsou vysoké“ je syntetické tvrzení, protože pojem „vysoký“ již není součástí „mužů“. Je možné, aby tvrzení bylo buď pravdivé, nebo nepravdivé, pokud je pravdivé, pak je to syntetická pravda. Tyto pravdy jsou zajímavější, protože nás učí něco nového o světě kolem nás - něco, co jsme předtím nevěděli. Riziko však je, že se můžeme mýlit.
Etické pravdy
Případ etických pravd je poněkud neobvyklý, protože není vůbec jasné, že taková věc vůbec existuje. Jistě je to tak, že mnoho lidí věří v existenci etických pravd, ale to je v současné době morálně filosofie sporným tématem. Přinejmenším, i když existují etické pravdy, není vůbec jasné, jak je můžeme poznat s jakoukoli jistotou.
Na rozdíl od jiných prohlášení pravdy jsou etická prohlášení vyjádřena normativním způsobem. Říkáme, že 7 + 2 = 9, ne 7 + 2 by se mělo rovnat 9. Říkáme, že „bakaláři nejsou ženatí“, spíše než „je nemorální, aby byli bakaláři ženatí“. Dalším rysem etických prohlášení je, že mají tendenci vyjadřovat něco o tom, jak by svět mohl být, nikoli o současném světě. I kdyby tedy mohla být etická prohlášení kvalifikována jako pravdy, jsou to skutečně velmi neobvyklé pravdy.
