Qu’est ce que : Définition des sciences formelles

Les différentes disciplines qui composent la science peuvent être classées selon trois paramètres : par l’objet d’étude, par la méthode utilisée et par leur finalité. Un autre modèle de classification consiste à diviser les sciences en deux grands groupes : les sciences formelles et les sciences factuelles ou empiriques.

Sciences formelles

La logique et les mathématiques sont deux disciplines formelles car elles n’ont pas de contenu empirique concret, comme c’est le cas pour la biologie, la météorologie ou l’histoire.
La logique est une discipline purement formelle et abstraite. A proprement parler, il n’a pas de contenu observable, mesurable et tangible. Il s’agit en fait d’un ensemble de règles applicables à tout type de connaissance, qu’elle soit scientifique ou quotidienne.
Les règles de la logique sont celles qui nous permettent de penser de manière cohérente et rationnelle. Ainsi, je ne peux pas dire qu’une chose est et n’est pas en même temps car je viole le principe de non-contradiction, et je ne peux pas dire qu’une chose n’est pas identique à elle-même car je vais à l’encontre du principe d’identité.

Les mathématiques sont purement abstraites, car leur contenu est mental et non matériel.

Rappelons que les nombres n’existent nulle part dans la nature, puisqu’ils sont des inventions de l’esprit humain pour compter ou calculer quelque chose sur la réalité. En ce sens, l’arithmétique, la géométrie ou l’algèbre sont des disciplines mathématiques fondées sur un ensemble de principes qui peuvent être démontrés rationnellement.
Si nous prenons une équation mathématique quelconque comme référence, sa formulation est valable d’une manière totalement indépendante de la réalité.
En résumé, la logique et les mathématiques sont des systèmes formels qui comprennent une série d’éléments : axiomes, symboles, règles d’inférence et théorèmes. Ces éléments sont exprimés sous forme d’énoncés qui sont décrits au moyen de signes.

Les sciences formelles sont implicites dans les sciences factuelles.

L’ensemble des disciplines qui traitent de l’étude des faits ont besoin d’une structure formelle pour que leur objet d’étude ait un sens. En revanche, pour prouver qu’une déclaration en biologie ou en chimie est formellement vraie, il faut qu’il y ait une corrélation avec des données empiriques.
En bref, les sciences formelles sont projetées sur le monde des faits observables. Si nous prenons le théorème de Pythagore comme référence, sa formulation est valable pour toute réalité dans laquelle il existe un angle droit formant un triangle rectangle.
En bref, les sciences formelles et les sciences factuelles sont complémentaires et ne doivent pas être conçues comme des domaines de connaissance distincts.