Définition des sciences formelles

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

Les 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 avec la biologie, météorologie ou l'histoire.

La logique est un la discipline purement formelle et abstraite. Au sens strict, 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 de la vie quotidienne.

Les règles de la logique sont ce qui permet penser de manière cohérente et rationnelle. Ainsi, je ne peux pas dire que quelque chose est et n'est pas les deux parce que je viole le principe de non-contradiction et je ne peux pas affirmer que quelque chose n'est pas identique à lui-même parce que je suis contre le

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

Rappelez-vous que les nombres n'existent nulle part dans la nature, car ce sont des inventions de l'esprit humain pour compter ou calculer quelque chose sur la réalité. Dans ce sens, arithmétique, la géométrie ou l'algèbre sont des disciplines mathématiques fondées sur une série de principes pouvant être démontrés rationnellement.

Si nous prenons comme référence n'importe quel équation mathématique, sa formulation est valable d'une manière totalement indépendante de la réalité.

Bref, la logique et les mathématiques constituent des systèmes formels qui comportent une série d'éléments: axiomes, symboles, règles de inférence et théorèmes. Ces éléments sont exprimés sous forme d'énoncés décrits par des signes.

Les factuels ont les sciences formelles implicites

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. D'autre part, pour montrer qu'un énoncé en biologie ou en chimie est formellement vrai, il doit y avoir une corrélation avec les données empiriques.

Bref, les sciences formelles sont projetées sur le monde des faits observables. Si l'on prend comme référence le théorème de Pythagore, sa formulation est valable pour toute réalité dans laquelle il existe un angle droit formant un triangle rectangle.

Bref, les sciences formelles et les sciences factuelles sont complémentaires et ne doivent pas être conçues comme des domaines de connaissance séparés.

Photos: Fotolia - Artisticco / Sergueï Bogdanov