Totuuksien tyypit
Totuus on käsite, josta on kiistelty vuosisatoja. Sitä on usein vaikea määritellä, koska se voi olla monia muotoja. Totuuksia on kolme päätyyppiä: empiirinen, looginen ja moraalinen.
Empiiriset totuudet
Empiiriset totuudet perustuvat havainto ja kokemus . Niitä voidaan testata ja todentaa tieteellisillä menetelmillä. Esimerkkejä empiirisistä totuuksista ovat fysiikan lait, alkuaineiden ominaisuudet ja eläinten käyttäytyminen.
Loogiset totuudet
Loogiset totuudet perustuvat päättely ja päättely . Ne ilmaistaan usein matemaattisina väitteinä tai loogisina argumentteina. Esimerkkejä loogisista totuuksista ovat ristiriidattomuuden laki ja poissuljetun keskikohdan laki.
Moraaliset totuudet
Moraaliset totuudet perustuvat eettiset periaatteet . Ne ilmaistaan usein moraalikoodeina tai uskonnollisina oppeina. Esimerkkejä moraalisista totuuksista ovat kultainen sääntö ja kymmenen käskyä.
Yhteenvetona voidaan todeta, että totuuksia on kolme päätyyppiä: empiirinen, looginen ja moraalinen. Jokainen totuustyyppi perustuu erityyppisiin todisteisiin ja voidaan ilmaista eri tavoin. Erilaisten totuuksien ymmärtäminen voi auttaa meitä ymmärtämään paremmin ympäröivää maailmaa.
Kun joku viittaa 'totuuteen' tai väittää, että jokin väite on 'totta', minkälaiseen totuuteen hän viittaa? Tämä saattaa aluksi tuntua oudolta kysymykseltä, koska ajattelemme niin harvoin mahdollisuutta, että siellä voi olla useampia kuin yksi totuus, mutta on todellakin olemassa erilaisia totuuskategorioita, jotka on pidettävä mielessä.
Aritmeettiset totuudet
Yksinkertaisimpia ja ilmeisimpiä ovat aritmeettiset totuudet – ne väitteet, jotka ilmaisevat tarkasti matemaattisia suhteita. Kun sanomme, että 7 + 2 = 9, esitämme väitteen aritmeettisesta totuudesta. Tämä totuus voidaan ilmaista myös tavallisella kielellä: seitsemän asiaa lisättynä kahteen antaa meille yhdeksän asiaa.
Aritmeettiset totuudet ilmaistaan usein abstraktisti, kuten yllä olevassa yhtälössä, mutta yleensä taustalla on todellisuus, kuten tavallisella kielellä. Vaikka näitä voidaan pitää yksinkertaisina totuuksina, ne ovat yksi varmimmista totuuksista, joita meillä on – voimme olla varmempia niistä kuin melkein mistään muusta.
Geometriset totuudet
Geometriset totuudet liittyvät hyvin läheisesti aritmeettisiin totuuksiin. Usein numeerisessa muodossa ilmaistut geometriset totuudet ovat väitteitä aiheestatilasuhteita. Geometria on loppujen lopuksi ympärillämme olevan fyysisen tilan tutkimusta – joko suoraan tai idealisoitujen esitysten kautta.
Kuten aritmeettiset totuudet, ne voidaan ilmaista myös abstraktioina (esim. Pythagoraan lause) tai tavallisella kielellä (neliön sisäkulmien summa on 360 astetta). Ja kuten aritmeettiset totuudet, myös geometriset totuudet ovat yksi varmimmista totuuksista, joita meillä voi olla.
Loogiset totuudet (analyyttiset totuudet)
Loogiset totuudet, joita joskus kutsutaan myös analyyttisiksi totuuksiksi, ovat väitteitä, jotka ovat totta yksinkertaisesti käytettyjen termien määritelmän perusteella. Tunniste 'analyyttinen totuus' on johdettu ajatuksesta, että voimme kertoa väitteen olevan totta vain analysoimalla käytettyjä sanoja – jos ymmärrämme väitteen, meidän on myös tiedettävä, että se on totta. Esimerkki tästä olisi 'ei poikamies ole naimisissa' - jos tiedämme, mitä 'poika' ja 'naimisissa' tarkoittavat, tiedämme varmasti, että väite on oikea.
Näin on ainakin silloin, kun loogiset totuudet ilmaistaan tavallisella kielellä. Tällaisia väitteitä voidaan myös ilmaista abstraktimmin kuin symbolisella logiikalla - näissä tapauksissa sen määrittäminen, onko väite totta vai ei, on hyvin samanlaista kuin aritmeettisen yhtälön määrittäminen. Esimerkiksi: A=B, B=C, joten A=C.
Synteettiset totuudet
Paljon yleisempiä ja mielenkiintoisempia ovat synteettiset totuudet: nämä ovat väitteitä, joita emme voi tietää todeksi pelkästään matemaattisten laskelmien tai sanojen merkitysanalyysin perusteella. Kun luemme synteettistä lausetta, predikaatti tarjotaan lisäämään uutta tietoa, jota ei vielä ole subjektissa.
Siten esimerkiksi 'miehet ovat pitkiä' on synteettinen lausunto, koska käsite 'pitkä' ei ole jo osa sanaa 'miehet'. Väite voi olla joko totta tai epätosi - jos se on totta, se on synteettinen totuus. Tällaiset totuudet ovat mielenkiintoisempia, koska ne opettavat meille jotain uutta ympäröivästä maailmasta - jotain, jota emme tienneet ennen. Riskinä on kuitenkin se, että saatamme olla väärässä.
Eettiset totuudet
Eettisten totuuksien tapaus on hieman epätavallinen, koska ei ole ollenkaan selvää, että sellaista on edes olemassa. On varmasti niin, että monet ihmiset uskovat eettisten totuuksien olemassaoloon, mutta se on kiistanalainen aihe moraalifilosofiassa. Ainakin, vaikka eettisiä totuuksia olisi olemassa, ei ole ollenkaan selvää, kuinka voimme oppia tuntemaan ne millään varmuudella.
Toisin kuin muut totuuslausunnot, eettiset lausunnot ilmaistaan normatiivisesti. Sanomme, että 7 + 2 = 9, ei 7 + 2pitäisiyhtäläinen 9. Sanomme, että 'poikapojat eivät ole naimisissa' pikemminkin kuin 'poikkien on moraalitonta olla naimisissa'. Toinen eettisten lausuntojen piirre on, että niillä on taipumus ilmaista jotain maailman tavastavoisiei sellaisena kuin maailma tällä hetkellä on. Näin ollen, vaikka eettiset lausunnot voisivatkin luokitella totuuksiksi, ne ovat todellakin hyvin epätavallisia totuuksia.