Όταν κάποιος αναφέρεται σε μια "αλήθεια" ή ισχυρίζεται ότι κάποια δήλωση είναι "αληθινή", ακριβώς σε τι είδους αλήθεια αναφέρονται; Αυτό μπορεί να φαίνεται σαν ένα περίεργο ερώτημα στην αρχή γιατί σπάνια σκεφτόμαστε την πιθανότητα να υπάρχει κάτι παραπάνω από ένα είδος αλήθειας, αλλά υπάρχουν πράγματι διαφορετικές κατηγορίες αλήθειας που πρέπει να έχουμε κατά νου.
Αριθμητικές αλήθειες
Μεταξύ των απλούστερων και πιο προφανών είναι οι αριθμητικές αλήθειες τις δηλώσεις που εκφράζουν με ακρίβεια τις μαθηματικές σχέσεις. Όταν λέμε ότι 7 + 2 = 9, κάνουμε μια αξίωση για μια αριθμητική αλήθεια. Αυτή η αλήθεια μπορεί επίσης να εκφραστεί σε συνηθισμένη γλώσσα: επτά πράγματα που προστίθενται σε δύο πράγματα μας δίνουν εννέα πράγματα.
Οι αριθμητικές αλήθειες συχνά εκφράζονται αφηρημένα, όπως και με την παραπάνω εξίσωση, αλλά συνήθως υπάρχει ένα υπόβαθρο της πραγματικότητας, όπως με τη δήλωση στη συνήθη γλώσσα. Αν και αυτά μπορούν να θεωρηθούν απλές αλήθειες, είναι από τις πιο αληθινές αλήθειες που έχουμε - μπορούμε να είμαστε πιο σίγουροι από αυτούς απ 'ότι μπορούμε να κάνουμε για οτιδήποτε άλλο.
Γεωμετρικές Αλήθειες
Πολύ στενά συνδεδεμένες με τις αριθμητικές αλήθειες είναι οι γεωμετρικές αλήθειες. Συχνά εκφράζονται σε αριθμητική μορφή, οι γεωμετρικές αλήθειες είναι δηλώσεις σχετικά με τις χωρικές σχέσεις. Η γεωμετρία είναι, τελικά, η μελέτη του φυσικού χώρου γύρω μας - είτε άμεσα είτε μέσω εξιδανικευμένων αναπαραστάσεων.
Όπως και με τις αριθμητικές αλήθειες, αυτές μπορούν επίσης να εκφραστούν ως αφηρημένες (για παράδειγμα το Πυθαγόρειο Θεώρημα) ή σε συνηθισμένη γλώσσα (το άθροισμα των εσωτερικών γωνιών ενός τετραγώνου είναι 360 μοίρες). Και, όπως και με τις αριθμητικές αλήθειες, οι γεωμετρικές αλήθειες είναι επίσης μεταξύ των πιο συγκεκριμένων αληθειών που μπορούμε να έχουμε.
Λογικές Αλήθειες (Αναλυτικές Αλήθειες)
Επίσης μερικές φορές αναφέρονται ως αναλυτικές αλήθειες, οι λογικές αλήθειες είναι δηλώσεις που είναι αληθινές απλά εξ ορισμού των όρων που χρησιμοποιούνται. Η ετικέτα "αναλυτική αλήθεια" προέρχεται από την ιδέα ότι μπορούμε να πούμε ότι η δήλωση είναι αληθής μόνο με την ανάλυση των λέξεων που χρησιμοποιούνται αν κατανοήσουμε τη δήλωση, τότε πρέπει επίσης να γνωρίζουμε ότι είναι αλήθεια. Ένα παράδειγμα αυτού θα είναι "δεν γιορτάζουν παντρεμένοι" αν ξέρουμε τι σημαίνει "bachelor" και "παντρεμένος" σημαίνει, τότε γνωρίζουμε για ένα γεγονός ότι η δήλωση είναι ακριβής.
Τουλάχιστον, αυτό συμβαίνει όταν οι λογικές αλήθειες εκφράζονται σε συνηθισμένη γλώσσα. Τέτοιες δηλώσεις μπορούν επίσης να εκφράζονται πιο αφηρημένα, όπως με τη συμβολική λογική στις περιπτώσεις αυτές, ο προσδιορισμός του εάν μια δήλωση είναι αληθής ή όχι, θα είναι πολύ παρόμοια με τον προσδιορισμό μιας αριθμητικής εξίσωσης. Για παράδειγμα: A = B, B = C, επομένως A = C.
Συνθετικές Αλήθειες
Πολύ συνηθέστερα και ενδιαφέροντα είναι οι συνθετικές αλήθειες: αυτές είναι δηλώσεις που δεν μπορούμε να γνωρίζουμε ως αληθινές απλώς και μόνο διότι κάνουμε μερικούς μαθηματικούς υπολογισμούς ή μια ανάλυση των νοημάτων των λέξεων. Όταν διαβάζουμε μια συνθετική δήλωση, το πρόβατο προσφέρεται ως προσθήκη νέων πληροφοριών που δεν υπάρχουν ήδη στο θέμα.
Έτσι, για παράδειγμα, οι "άνδρες είναι ψηλοί" είναι μια συνθετική δήλωση επειδή η έννοια "ψηλός" δεν είναι ήδη μέρος των "ανδρών". Είναι δυνατόν η δήλωση να είναι αληθινή ή ψευδής αν είναι αληθής, τότε είναι συνθετική αλήθεια. Τέτοιες αλήθειες είναι πιο ενδιαφέρουσες γιατί μας διδάσκουν κάτι νέο για τον κόσμο γύρω μας κάτι που δεν ήξερα πριν. Ο κίνδυνος, ωστόσο, είναι ότι μπορεί να είμαστε λάθος.
Ηθικές Αλήθειες
Η περίπτωση των ηθικών αληθειών είναι κάπως ασυνήθιστη, επειδή δεν είναι καθόλου σαφές ότι υπάρχει κάτι τέτοιο. Είναι σίγουρο ότι πολλοί άνθρωποι πιστεύουν στην ύπαρξη ηθικών αληθειών, αλλά αυτό είναι ένα ζήτημα έντονα αμφισβητούμενο στην ηθική φιλοσοφία. Τουλάχιστον, ακόμη και αν υπάρχουν δεοντολογικές αλήθειες, δεν είναι καθόλου σαφές πώς μπορούμε να τα γνωρίσουμε με κάποια βεβαιότητα.
Σε αντίθεση με άλλες δηλώσεις αλήθειας, οι ηθικές δηλώσεις εκφράζονται με έναν κανονιστικό τρόπο. Λέμε ότι το 7 + 2 = 9, όχι το 7 + 2 θα πρέπει να είναι ίσο με 9. Λέμε ότι "οι γκρουπ δεν είναι παντρεμένοι" και όχι "είναι ανήθικο για τους γελους να παντρευτούν". Ένα άλλο χαρακτηριστικό των δεοντολογικών δηλώσεων είναι ότι τείνουν να εκφράζουν κάτι για τον τρόπο με τον οποίο θα μπορούσε να είναι ο κόσμος, όχι για τον τρόπο που είναι σήμερα ο κόσμος. Έτσι, ακόμα και αν οι ηθικές δηλώσεις θα μπορούσαν να χαρακτηριστούν ως αλήθειες, είναι πράγματι πολύ ασυνήθιστες αλήθειες.
