Quand quelqu'un fait référence à une "vérité" ou prétend qu'une déclaration est "vraie", à quel type de vérité font-ils allusion? Cela peut sembler une question étrange au début parce que nous pensons si rarement à la possibilité qu’il existe plus d’un type de vérité, mais il y a en effet différentes catégories de vérité à garder à l’esprit.
Vérités Arithmétiques
Parmi les plus simples et les plus évidentes figurent les vérités arithmétiques - ces déclarations qui expriment avec exactitude les relations mathématiques. Lorsque nous disons que 7 + 2 = 9, nous affirmons une vérité arithmétique. Cette vérité peut aussi être exprimée dans un langage ordinaire: sept choses ajoutées à deux choses nous donnent neuf choses.
Les vérités arithmétiques sont souvent exprimées dans l'abstrait, comme dans l'équation ci-dessus, mais il existe normalement un fond de réalité, comme dans l'énoncé en langage ordinaire. Bien que celles-ci puissent être considérées comme de simples vérités, elles comptent parmi les plus certaines de nos vérités nous pouvons en être plus certaines que de toutes autres choses.
Vérités Géométriques
Les vérités géométriques sont très étroitement liées aux vérités arithmétiques. Souvent exprimées sous forme numérique, les vérités géométriques sont des déclarations sur les relations spatiales . Après tout, la géométrie est l’étude de l’espace physique qui nous entoure, que ce soit directement ou par le biais de représentations idéalisées.
Comme pour les vérités arithmétiques, celles-ci peuvent également être exprimées sous forme d'abstractions (par exemple, le théorème de Pythagore) ou en langage ordinaire (la somme des angles intérieurs d'un carré est égale à 360 degrés). Et, comme pour les vérités arithmétiques, les vérités géométriques font également partie des vérités les plus certaines que nous puissions avoir.
Vérités logiques (vérités analytiques)
Parfois aussi appelées vérités analytiques, les vérités logiques sont des déclarations qui sont vraies simplement par la définition des termes utilisés. L'étiquette «vérité analytique» est dérivée de l'idée que nous pouvons dire que l'énoncé est vrai simplement en analysant les mots utilisés si nous comprenons l'énoncé, nous devons également savoir qu'il est vrai. Un exemple de ceci serait "aucun célibataire n'est marié" - si nous savons ce que signifie "célibataire" et "marié", alors nous savons pertinemment que la déclaration est exacte.
C'est du moins le cas lorsque les vérités logiques sont exprimées dans un langage ordinaire. De telles déclarations peuvent également être exprimées de manière plus abstraite, comme avec la logique symbolique dans ces cas, déterminer si une déclaration est vraie ou non sera très similaire à la détermination d'une telle équation arithmétique. Par exemple: A = B, B = C, donc A = C.
Vérités synthétiques
Les vérités synthétiques sont beaucoup plus courantes et intéressantes: il s'agit d'énoncés que nous ne pouvons pas considérer comme vrais simplement en vertu de calculs mathématiques ou d'une analyse du sens des mots. Lorsque nous lisons une instruction synthétique, le prédicat est proposé en tant qu’ajout de nouvelles informations qui ne figurent pas déjà dans le sujet.
Ainsi, par exemple, "les hommes sont grands" est une déclaration synthétique parce que le concept "de grande taille" ne fait pas déjà partie du mot "hommes". Il est possible que l'énoncé soit vrai ou faux s'il est vrai, il s'agit d'une vérité synthétique. Ces vérités sont plus intéressantes car elles nous apprennent quelque chose de nouveau sur le monde qui nous entoure - quelque chose que nous ne connaissions pas auparavant. Le risque, cependant, est que nous puissions avoir tort.
Vérités éthiques
Le cas des vérités éthiques est quelque peu inhabituel car il n'est pas du tout clair qu'une telle chose existe même. Certes, beaucoup de gens croient en l’existence de vérités éthiques, mais c’est un sujet très controversé en philosophie morale. À tout le moins, même si des vérités éthiques existent, il est difficile de savoir comment nous pouvons arriver à les connaître avec quelque degré de certitude.
Contrairement aux autres déclarations de vérité, les déclarations éthiques sont exprimées de manière normative. Nous disons que 7 + 2 = 9, pas 7 + 2 devrait être égal à 9. Nous disons que "les célibataires ne sont pas mariés" plutôt que "il est immoral que les célibataires soient mariés". Une autre caractéristique des déclarations éthiques est qu'elles tendent à exprimer quelque chose sur la façon dont le monde pourrait être, et non sur la façon dont le monde est actuellement. Ainsi, même si les énoncés éthiques peuvent être qualifiés de vérités, ce sont des vérités très inhabituelles.
