Când cineva se referă la un „adevăr” sau susține că o afirmație este „adevărată”, la ce fel de adevăr se referă? Aceasta poate părea o întrebare ciudată la început, deoarece ne gândim atât de rar la posibilitatea de a exista mai mult de un tip de adevăr, dar există într-adevăr diferite categorii de adevăr care trebuie să fie luate în considerare.
Adevăruri aritmetice
Printre cele mai simple și mai evidente sunt adevărurile aritmetice acele enunțuri care exprimă cu exactitate relațiile matematice. Când spunem că 7 + 2 = 9, facem o afirmație despre un adevăr aritmetic. Acest adevăr poate fi exprimat și în limbaj obișnuit: șapte lucruri adăugate la două lucruri ne oferă nouă lucruri.
Adevărurile aritmetice sunt adesea exprimate în abstract, ca și în ecuația de mai sus, dar există în mod normal un fundal al realității, ca și în enunțul în limbajul obișnuit. Deși acestea pot fi văzute ca simple adevăruri, ele sunt printre cele mai sigure adevăruri pe care le avem Putem fi mai siguri de acestea decât putem doar despre orice altceva.
Adevăruri geometrice
Foarte strâns legate de adevărurile aritmetice sunt adevărurile geometrice. Adesea exprimate în formă numerică, adevărurile geometrice sunt afirmații despre relațiile spațiale . Geometria este, până la urmă, studiul spațiului fizic din jurul nostru fie direct, fie prin reprezentări idealizate.
Ca și în cazul adevărurilor aritmetice, acestea pot fi exprimate și sub formă de abstractizări (de exemplu, teorema lui Pitagore) sau în limbajul obișnuit (suma unghiurilor interioare ale unui pătrat este de 360 de grade). Și, ca și în cazul adevărurilor aritmetice, adevărurile geometrice sunt și ele printre cele mai sigure adevăruri pe care le putem avea.
Adevăruri logice (Adevăruri analitice)
De asemenea, uneori, denumite adevăruri analitice, adevărurile logice sunt afirmații care sunt adevărate pur și simplu prin definiția termenilor folosiți. Eticheta „adevăr analitic” este derivată din ideea că putem spune că afirmația este adevărată doar analizând cuvintele folosite dacă înțelegem afirmația, atunci trebuie să știm și că este adevărată. Un exemplu în acest sens ar fi „niciun burlac nu este căsătorit” dacă știm ce înseamnă „burlaci” și „căsătoriți”, atunci știm, pentru un fapt, că afirmația este exactă.
Cel puțin, acesta este cazul când adevărurile logice sunt exprimate în limbajul obișnuit. Astfel de afirmații pot fi, de asemenea, exprimate mai abstract ca în logica simbolică în aceste cazuri, determinarea dacă o afirmație este adevărată sau nu va fi foarte asemănătoare cu a face o astfel de determinare a unei ecuații aritmetice. De exemplu: A = B, B = C, deci A = C.
Adevăruri sintetice
Mult mai frecvente și mai interesante sunt adevărurile sintetice: acestea sunt afirmații pe care nu le putem cunoaște drept adevărate pur și simplu făcând niște calcule matematice sau o analiză a sensurilor cuvintelor. Când citim o afirmație sintetică, predicatul este oferit ca adăugând informații noi care nu sunt deja conținute în subiect.
Astfel, de exemplu, „bărbații sunt înalți” este o afirmație sintetică, deoarece conceptul „înalt” nu face deja parte din „bărbați”. Este posibil ca afirmația să fie fie adevărată, fie falsă dacă este adevărată, atunci este un adevăr sintetic. Asemenea adevăruri sunt mai interesante pentru că ne învață ceva nou despre lumea din jurul nostru ceva ce nu știam până acum. Cu toate acestea, riscul este că am putea greși.
Adevăruri etice
Cazul adevărurilor etice este oarecum neobișnuit, deoarece nu este deloc clar că așa ceva există. Este cu siguranță cazul în care mulți oameni cred în existența adevărurilor etice, dar acesta este un subiect puternic disputat în filozofia morală. Cel puțin, chiar dacă există adevăruri etice, nu este deloc clar cum putem ajunge să le cunoaștem cu vreun grad de certitudine.
Spre deosebire de alte afirmații de adevăr, afirmațiile etice sunt exprimate în mod normativ. Spunem că 7 + 2 = 9, nu 7 + 2 ar trebui să fie egale 9. Spunem că „burlacii nu sunt căsătoriți”, mai degrabă decât „este imoral pentru burlaci să se căsătorească”. O altă caracteristică a afirmațiilor etice este că acestea tind să exprime ceva despre modul în care ar putea fi lumea, nu despre modul în care este lumea în prezent. Astfel, chiar dacă afirmațiile etice s-ar putea califica drept adevăruri, acestea sunt adevăruri foarte neobișnuite.
