Tõdede tüübid
Tõde on kontseptsioon, mille üle on vaieldud sajandeid. Seda on sageli raske määratleda, kuna sellel võib olla palju vorme. Tõdedel on kolm peamist tüüpi: empiiriline, loogiline ja moraalne.
Empiirilised tõed
Empiirilised tõed põhinevad vaatlus ja kogemus . Neid saab testida ja kontrollida teaduslike meetoditega. Empiiriliste tõdede näideteks on füüsikaseadused, elementide omadused ja loomade käitumine.
Loogilised tõed
Loogilised tõed põhinevad arutluskäik ja deduktsioon . Neid väljendatakse sageli matemaatiliste väidete või loogiliste argumentidena. Loogiliste tõdede näideteks on mittevasturääkivuse seadus ja välistatud keskmise seadus.
Moraalsed tõed
Moraalsed tõed põhinevad eetilised põhimõtted . Neid väljendatakse sageli moraalikoodeksite või religioossete doktriinidena. Moraalitõdede näideteks on kuldreegel ja kümme käsku.
Kokkuvõtteks võib öelda, et tõdesid on kolm peamist tüüpi: empiiriline, loogiline ja moraalne. Iga tõetüüp põhineb erinevat tüüpi tõenditel ja seda saab väljendada erineval viisil. Erinevat tüüpi tõdede mõistmine võib aidata meil ümbritsevat maailma paremini mõista.
Kui keegi viitab 'tõele' või väidab, et mõni väide on 'tõsi', siis millisele tõele nad viitavad? See võib alguses tunduda veider küsimus, sest me mõtleme nii harva võimalusele, et tõde võib olla mitut tüüpi, kuid tõepoolest on erinevaid tõekategooriaid, mida tuleb meeles pidada.
Aritmeetilised tõed
Lihtsamate ja ilmsemate seas on aritmeetilised tõed – need väited, mis väljendavad täpselt matemaatilisi seoseid. Kui me ütleme, et 7 + 2 = 9, siis me esitame väite aritmeetilise tõe kohta. Seda tõde võib väljendada ka tavakeeles: kahele asjale lisatud seitse asja annab meile üheksa asja.
Aritmeetilisi tõdesid väljendatakse sageli abstraktselt, nagu ülaltoodud võrrandi puhul, kuid tavaliselt on olemas tegelikkuse taust, nagu tavakeeles esitatud väitel. Kuigi neid võib vaadelda kui lihtsaid tõdesid, on need ühed kõige kindlamad tõed, mis meil on – me võime nendes kindlamad olla kui peaaegu milleski muus.
Geomeetrilised tõed
Aritmeetiliste tõdedega väga tihedalt seotud on geomeetrilised tõed. Geomeetrilised tõed on sageli arvulises vormis väljendatud väitedruumilinesuhted. Geomeetria on ju meid ümbritseva füüsilise ruumi uurimine – kas otse või idealiseeritud esituste kaudu.
Nagu aritmeetiliste tõdede puhul, saab ka neid väljendada abstraktsioonidena (näiteks Pythagorase teoreem) või tavakeeles (ruudu sisenurkade summa on 360 kraadi). Ja nagu aritmeetilised tõed, on ka geomeetrilised tõed ühed kõige kindlamad tõed, mis meil võivad olla.
Loogilised tõed (analüütilised tõed)
Mõnikord nimetatakse ka analüütiliseks tõeks, loogilised tõed on väited, mis on tõesed lihtsalt kasutatavate terminite määratluse järgi. Silt 'analüütiline tõde' tuleneb ideest, et väite tõesust saame öelda juba kasutatud sõnu analüüsides – kui väitest aru saame, siis peame ka teadma, et see on tõsi. Selle näiteks oleks 'ükski poissmees pole abielus' — kui me teame, mida tähendavad 'poissmees' ja 'abielus', siis teame kindlalt, et väide on õige.
Vähemalt see on nii, kui loogilisi tõdesid väljendatakse tavakeeles. Selliseid väiteid saab väljendada ka abstraktsemalt nagu sümboolse loogika puhul – sellistel juhtudel on väite tõesuse või mittetegemise määramine väga sarnane aritmeetilise võrrandi sellise määramisega. Näiteks: A=B, B=C, seega A=C.
Sünteetilised tõed
Palju levinumad ja huvitavamad on sünteetilised tõed: need on väited, mida me ei saa tõeseks pidada pelgalt matemaatiliste arvutuste või sõnade tähenduste analüüsi tõttu. Kui loeme sünteetilist väidet, pakutakse predikaadina uut teavet, mida subjekt juba ei sisalda.
Seega on näiteks 'mehed on pikad' sünteetiline väide, kuna mõiste 'pikk' ei ole juba osa 'mehed'. Väide võib olla kas tõene või vale – kui see on tõene, siis on see sünteetiline tõde. Sellised tõed on huvitavamad, sest nad õpetavad meile midagi uut meid ümbritseva maailma kohta – midagi, mida me varem ei teadnud. Siiski on oht, et me võime eksida.
Eetilised tõed
Eetiliste tõdede juhtum on mõnevõrra ebatavaline, sest pole sugugi selge, et selline asi üldse eksisteerib. Kindlasti on nii, et paljud inimesed usuvad eetiliste tõdede olemasolusse, kuid see on moraalifilosoofias tuliselt vaidlustatud teema. Vähemalt, isegi kui eetilised tõed on olemas, pole üldse selge, kuidas me saame neid mingilgi määral kindlalt tundma õppida.
Erinevalt teistest tõeavaldustest väljendatakse eetilisi väiteid normatiivsel viisil. Me ütleme, et 7 + 2 = 9, mitte 7 + 2peaksvõrdne 9. Me ütleme, et 'poisslapsed ei ole abielus' pigem kui 'poissmeeste jaoks on ebamoraalne olla abielus'. Eetiliste väidete teine tunnus on see, et need kipuvad väljendama midagi maailma viisi kohtavõiksolema mitte selline, nagu maailm praegu on. Seega, isegi kui eetilised väited võiksid kvalifitseeruda tõdedeks, on need tõepoolest väga ebatavalised tõed.