La science formelle est un ensemble de connaissances rationnelles et ordonnées, qui étudient les phénomènes à partir de l'abstraction, et dans le but de généraliser des lois ou des théories.
Par conséquent, nous pouvons dire qu'ils sont essentiels pour la connaissance. Grâce à eux, ceux-ci peuvent être appliqués à la réalité. D'autre part, de par son approche de la connaissance, la méthode utilisée est la déduction.
Mathématiques et sciences formelles
Peut-être que les mathématiques peuvent être considérées comme la science formelle par excellence. Ils étudient les structures et les relations abstraites. Pour atteindre leur objectif, ils partent d'axiomes développés par un raisonnement logique. Par conséquent, leur apprentissage est essentiel.
De plus, il utilise un langage formel et universel qui permet à tous ceux qui le connaissent de le comprendre. De cette façon, tout le monde connaît les symboles les plus fréquents, comme l'addition (+), la soustraction (-), ou d'autres comme la racine carrée ou une intégrale.
Logique et science formelle
La logique est une branche de la philosophie qui étudie les preuves, les erreurs et d'autres questions similaires. En son sein, la partie relative aux mathématiques utilise ses systèmes formels pour parvenir à ses conclusions.
Par conséquent, dans la science formelle, la logique est plus que nécessaire. En fait, il est très courant en économie d'utiliser ce type de raisonnement. Par exemple, l'école autrichienne utilise la praxéologie pour ses études sur cette science sociale.
L'informatique
Dans ce cas, nous sommes face à une science formelle qui étudie les bases théoriques de l'informatique.
Ainsi, des algorithmes, comme celui de Google, se basent sur les préceptes formels évoqués, en les appliquant à des problèmes réels.
Par conséquent, aujourd'hui le monde numérique est possible grâce à la théorie qui le sous-tend. Sans ces aspects théoriques, ils auraient marché à l'aveuglette et avec le risque qui en découle. D'où l'importance de ce type de science.
Exemple de science formelle
Voyons, pour finir, quelques exemples qui peuvent paraître évidents mais qui reflètent parfaitement la méthode déductive utilisée dans ce type de science.
- Imaginons qu'en biologie on parte d'un axiome. Les moutons ne volent pas. D'autre part, nous savons que les animaux volants ont des ailes. La déduction est que les moutons n'auront pas d'ailes. C'est évident, mais en réalité les phénomènes sont beaucoup plus compliqués.
- En criminologie. Le meurtrier était un homme noir. Le principal suspect est oriental. Ce ne sera pas le tueur. Encore une fois la réalité est beaucoup plus complexe, mais la méthode est la même.
- Ce dernier exemple serait le contraire, en utilisant la méthode inductive. Mon grand-père est constipé, mon grand-père est un homme, les hommes sont constipés. Comme on peut le voir, dans ce cas, on passe du particulier au général.
Ce sont des exemples très simples, mais avec eux nous avons voulu montrer comment fonctionne la méthode déductive utilisée dans la science formelle, par opposition à la méthode inductive. En fait, la réalité, comme nous l'avons mentionné précédemment, est beaucoup plus complexe. Bien sûr, plusieurs fois, nous pouvons l'aborder avec simplicité.