Sciences Formelles

Nous expliquons ce que sont les sciences formelles et quel est leur objet d’étude. Différences avec les faits. Exemples de sciences formelles.

Ils étudient les abstractions, les relations, les objets idéaux créés dans l’esprit de l’être humain.

Quelles sont les sciences formelles ?

Les  sciences formelles ou sciences idéales sont celles dont l’objet d’étude n’est pas le monde et la nature , ni les lois physiques ou chimiques qui les régissent, mais des systèmes formels, c’est-à-dire des systèmes de relations qui sont, en principe, vides de contenu. propre, mais cela peut être appliqué à l’ analyse de n’importe quel segment de la réalité .

Les sciences formelles n’étudient pas des objets réels, mais des formes : abstractions, relations, objets idéaux créés dans l’esprit de l’ être humain . On pourrait dire qu’ils ne s’intéressent pas tant au quoi, mais au comment : les formes et non le contenu.

Ce type de science est analytique ou non empirique, c’est-à-dire qu’ils ne valident pas leurs théories et leurs connaissances par l’expérimentation ou l’observation du monde réel, mais par l’étude des règles de pensée propres au système, telles que les propositions , axiomes, définitions et inférences. Sa méthode est donc normalement déductive.

Elles se distinguent des sciences factuelles , dont le but est la compréhension du monde réel et tangible par la méthode scientifique , et qui incluent les sciences naturelles et les sciences sociales .

Cela peut vous aider : Sciences exactes

Exemples de sciences formelles

Certaines des sciences formelles les plus connues sont:

  • Mathématiques . L’étude des systèmes logiques-formels de calcul et de représentation à la disposition des êtres humains et leurs applications à la vie pratique.
  • Logique . L’étude des méthodes de pensée, c’est-à-dire des propositions et des mécanismes de déduction qui en découlent.
  • Informatique . Connu sous le nom d’ informatique ou de programmation , il traite des systèmes logiques-informatiques qui permettent l’automatisation de l’ information .
  • Arithmétique. La science du calcul et des nombres , qui sont des abstractions mentales.
  • Statistiques. Traite de l’étude des probabilités et des proportions .
  • Géométrie. Il étudie les formes géométriques, c’est-à-dire les représentations mentales ou graphiques que nous pouvons nous faire du monde réel dans notre esprit.