Toute vérité est elle démontrable?
La démonstration tient pour étymologie le verbe « demonstrare » qui signifie en latin « montrer à partir de ». La démonstration est raisonnement, c'est à dire un enchaînement logique de proposition rigoureux qui s'appuie sur la logique. La démonstration a pour but d'établir la vérité mais peut aussi être utilisé pour montrer la cohérence d'un énoncé avec un système autre admis. Elle établit une vérité, en montrant qu'elle dépend d'une autre vérité évidente, ou du moins déjà admise.
Les vérités délivrées par la démonstration sont donc des vérités formelles, c'est à dire des vérités logiques.
Certaines vérités sont donc démontrables: les vérités formelles. Elles résultent d'un raisonnement logique. La logique étant la science des lois de la raison, et l'art des les appliquer correctement lors de la démonstration de la vérité. Cependant, les démonstrations mathématiques et déduction logique ne forment que des vérités dans un contexte bien défini, hors du réel. Ainsi, existe - t- il un moyen pour accéder à une vérité qui s'applique dans le réel ? Les sciences expérimentales ou 'sciences d'observation' établissent des vérités matérielles basées sur l'expérimentation. Mais l'expérimentation ne délivre pas des vérités absolues mais des vérités relative à l'étendue et à la précision du champ expérimental. On remarque alors que certaines vérités sont démontrables mathématiquement mais les démonstrations sont imparfaites car on ne peut pas tout démontrer. De plus, les vérités matérielles qui naissent de l'expérimentation ne sont que des vérités relatives. Il semblerait alors que l'Homme ne puisse pas arriver à démontrer de manière absolue et irréfutablement certaines vérités universelles. Doit- il alors douter de tout, n'ayant pas d'autres accès à la vérité ? Cependant, tout concept avant de devenir scientifique était d'abord préscientifique. Apparaît alors que l'Homme a déjà une intuition de la vérité, qui le guide dans ses