Types de vérités
La vérité est un concept débattu depuis des siècles. Il est souvent difficile à définir car il peut prendre plusieurs formes. Il existe trois principaux types de vérités : empiriques, logiques et morales.
Vérités empiriques
Les vérités empiriques reposent sur observation et expérience . Ils peuvent être testés et vérifiés à l'aide de méthodes scientifiques. Des exemples de vérités empiriques incluent les lois de la physique, les propriétés des éléments et le comportement des animaux.
Vérités logiques
Les vérités logiques reposent sur raisonnement et déduction . Ils sont souvent exprimés sous forme d'énoncés mathématiques ou d'arguments logiques. Des exemples de vérités logiques incluent la loi de non-contradiction et la loi du tiers exclu.
Vérités morales
Les vérités morales reposent sur principes éthiques . Ils sont souvent exprimés sous forme de codes moraux ou de doctrines religieuses. Des exemples de vérités morales incluent la règle d'or et les dix commandements.
En conclusion, il existe trois grands types de vérités : empiriques, logiques et morales. Chaque type de vérité est basé sur un type de preuve différent et peut être exprimé de différentes manières. Comprendre les différents types de vérités peut nous aider à mieux comprendre le monde qui nous entoure.
Quand quelqu'un se réfère à une « vérité » ou affirme qu'une affirmation est « vraie », à quel genre de vérité fait-il référence ? Cela peut sembler une question étrange au début parce que nous pensons si rarement à la possibilité qu'il puisse y avoir plus d'un type de vérité, mais il existe en effet différentes catégories de vérité qu'il faut garder à l'esprit.
Vérités arithmétiques
Parmi les plus simples et les plus évidentes figurent les vérités arithmétiques — ces énoncés qui expriment avec précision les relations mathématiques. Lorsque nous disons que 7 + 2 = 9, nous affirmons une vérité arithmétique. Cette vérité peut aussi s'exprimer dans le 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 avec l'équation ci-dessus, mais il y a normalement un fond de réalité, comme avec l'énoncé dans le langage ordinaire. Bien que celles-ci puissent être considérées comme de simples vérités, elles font partie des vérités les plus certaines que nous ayons - nous pouvons en être plus certains que de n'importe quoi d'autre.
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 surspatialdes relations. La géométrie est, après tout, l'étude de l'espace physique qui nous entoure - soit directement, soit à travers des 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 courant (la somme des angles intérieurs d'un carré est de 360 degrés). Et, comme les vérités arithmétiques, les vérités géométriques sont aussi parmi les vérités les plus certaines que nous puissions avoir.
Vérités logiques (vérités analytiques)
Aussi parfois appelées vérités analytiques, les vérités logiques sont des déclarations qui sont vraies simplement par 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é, alors nous devons également savoir qu'il est vrai. Un exemple de ceci serait 'aucun célibataire n'est marié' - si nous savons ce que signifient 'célibataire' et 'marié', alors nous savons pertinemment que la déclaration est exacte.
C'est du moins le cas lorsque des vérités logiques sont exprimées dans le langage courant. De telles déclarations peuvent également être exprimées de manière plus abstraite comme avec la logique symbolique - dans ces cas, la détermination de savoir si une déclaration est vraie ou non sera très similaire à faire une telle détermination d'une équation arithmétique. Par exemple : A=B, B=C, donc A=C.
Vérités synthétiques
Beaucoup plus courantes et intéressantes sont les vérités synthétiques : ce sont des déclarations que nous ne pouvons pas savoir comme vraies simplement en faisant quelques calculs mathématiques ou une analyse du sens des mots. Lorsque nous lisons un énoncé synthétique, le prédicat est proposé comme ajoutant de nouvelles informations non déjà contenues dans le sujet.
Ainsi, par exemple, « les hommes sont grands » est une déclaration synthétique parce que le concept « grand » ne fait pas déjà partie de « les hommes ». Il est possible que la déclaration soit vraie ou fausse - si elle est vraie, alors c'est une vérité synthétique. De telles vérités sont plus intéressantes parce qu'elles nous enseignent quelque chose de nouveau sur le monde qui nous entoure — quelque chose que nous ne savions pas auparavant. Le risque, cependant, est que nous puissions nous tromper.
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. C'est certainement le cas que 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 n'est pas du tout clair comment nous pouvons arriver à les connaître avec un degré de certitude.
Contrairement à d'autres déclarations de vérité, les déclarations éthiques sont exprimées de manière normative. On dit que 7 + 2 = 9, pas 7 + 2devraitégal 9. Nous disons que « les célibataires ne sont pas mariés » plutôt que « il est immoral pour les célibataires de se marier ». Une autre caractéristique des déclarations éthiques est qu'elles ont tendance à exprimer quelque chose sur la façon dont le mondepourraitêtre, pas la façon dont le monde est actuellement. Ainsi, même si des déclarations éthiques pourraient être qualifiées de vérités, ce sont en effet des vérités très inhabituelles.
