SCIENCES FORMELLES: CARACTÉRISTIQUES, OBJET D'ÉTUDE ET EXEMPLES - SCIENCE - 2025

Les sciences formelles consistent en un ensemble systématique de connaissances cohérentes et rationnelles. Son objectif n'est pas le monde physique-naturel, mais des objets totalement abstraits; Cependant, les connaissances des sciences formelles peuvent être appliquées dans la réalité physique-naturelle et sont utilisées par les sciences factuelles ou empiriques.

La méthode utilisée par les sciences formelles est la déduction et, contrairement aux sciences factuelles, les sciences formelles n'admettent ni abduction ni induction. Par conséquent, une science formelle travaille avec des formes; c'est-à-dire avec des objets qui n'existent que dans l'esprit humain et sont obtenus par abstraction.

Les mathématiques sont considérées comme une science formelle. Source: pixabay.com

De même, la vérité pour les sciences formelles est comprise comme une vérité logique: c'est une série de conséquences qui s'ensuivent après avoir considéré toutes les possibilités ou les manières dont les faits préétablis auraient pu être combinés. Dans ce contexte, les exemples de science formelle peuvent être les mathématiques ou la logique.

Une caractéristique des sciences formelles est qu'elles sont des branches de la connaissance scientifique qui étudient les systèmes formels. Par conséquent, une science formelle valide sa théorie à travers un ensemble de propositions, d'axiomes, de définitions et de règles d'inférence.

Les sciences formelles sont toutes analytiques. Cela les différencie des sciences naturelles et sociales, qui sont argumentées empiriquement; c'est-à-dire qu'ils nécessitent une observation du monde réel pour trouver des preuves en faveur d'une théorie. Au lieu de cela, les connaissances scientifiques formelles sont appelées «théorèmes» et proviennent de preuves mathématiques.

De plus, les règles ou lois stipulées par les sciences formelles sont toujours respectées, quel que soit le cas. Par conséquent, ce sont des lois universelles qui n'étudient pas les phénomènes concrets, comme cela se produit avec les sciences factuelles. Le contenu d'une science formelle est vide, puisqu'il ne se maintient que dans la forme et dans les relations causales.

Concernant ses origines, certains soulignent que les sciences formelles sont aussi anciennes que l'humanité, puisque depuis le début l'homme a utilisé les mathématiques et la logique pour organiser son monde. Cependant, ils ont commencé à être appelés ainsi à partir de l'ère moderne, lorsqu'ils ont été conceptualisés et classés.

caractéristiques

Voici les caractéristiques les plus importantes des sciences formelles:

- La méthode utilisée par les sciences formelles est celle de la déduction.

- Le critère d'une science formelle pour établir la vérité est basé sur la cohérence ou la non-contradiction.

- Les énoncés d'une science formelle sont toujours analytiques, ce qui signifie qu'ils sont déduits par des théorèmes ou des postulats.

- Les entités des sciences formelles ne peuvent exister que dans l'esprit humain.

- Les mathématiciens et logiciens construisent leurs propres objets d'étude à travers des symboles vides.

- La démonstration d'une science formelle est complète, totale et définitive.

- L'étude des sciences formelles dynamise l'habitude de la rigueur.

Objet d'étude

D'une manière générale, on peut dire que l'objet d'étude des sciences formelles sont les formes; Ceux-ci peuvent être présentés comme des relations, des abstractions ou des objets idéaux qui ont été construits dans l'esprit de l'homme.

Certains scientifiques affirment que la science formelle ne s'intéresse pas tellement au pourquoi des phénomènes, mais se concentre plutôt sur le comment; c'est-à-dire que l'inclinaison est vers les formes et non vers le contenu lui-même.

En conclusion, les sciences formelles - également appelées sciences idéales - sont celles qui ne se focalisent pas sur le monde ou la nature, ni sur les lois chimiques ou physiques qui le régissent.

Son intérêt réside dans les systèmes formels de relations qui n'ont pas leur propre contenu, mais qui peuvent être utilisés lors de l'analyse de tout aspect de la réalité.

Un exemple de ce qui précède peut être mis en évidence avec la physique, qui est une science factuelle ou empirique responsable de l'étude des corps, du mouvement, de l'espace et de la matière. Cependant, la physique utilise les mathématiques - qui sont une science formelle - pour mener à bien ses analyses et ses conclusions.

Exemples de science formelle

-Statistiques

La statistique est une discipline formelle chargée d'organiser, d'interpréter et de traiter une série de données afin d'établir certaines caractéristiques d'une certaine population ou d'un objectif social.

Selon certains auteurs, les statistiques peuvent également être définies comme la science qui étudie comment les informations doivent être utilisées dans certaines situations pratiques qui génèrent des incertitudes. À certaines occasions, la statistique a été définie comme «la science des données», car elle recueille, classe et interprète ces dernières.

De même, les statistiques permettent aux chercheurs de prendre comme point de départ une série de données pour entreprendre leurs travaux, garantissant l'analyse et l'obtention objective d'un ensemble de résultats.

Les statistiques peuvent être divisées en deux groupes principaux:

Statistiques descriptives

Il s'agit d'une méthode qui décrit numériquement un ensemble de données. Par conséquent, étant une méthode numérique, la statistique descriptive utilise le nombre comme technique pour décrire.

La principale caractéristique de ce type de statistiques est qu'elle ne permet pas de tirer des conclusions concrètes; il ne fournit que des résultats numériques.

Statistiques déductives, analytiques ou inférentielles

Il est chargé d'étudier les probabilités de succès au sein des différentes solutions possibles à un problème particulier. De plus, les statistiques inférentielles créent un modèle mathématique qui déduit le comportement de la population à partir des conclusions obtenues lors de l'observation des échantillons.

Contrairement aux statistiques descriptives, les statistiques déductives ou inférentielles nous permettent de tirer des conclusions concrètes.

-La géométrie

La géométrie est une science formelle qui part des mathématiques pour étudier les mesures et les propriétés d'une figure située dans un espace ou sur un certain plan. À son tour, la géométrie utilise des systèmes axiomatiques ou formels pour représenter différents aspects de la réalité.

Ces systèmes axiomatiques sont constitués de symboles qui, dans le respect de certaines règles, peuvent s'associer et former des chaînes, qui peuvent également être liées entre elles. Par exemple, la géométrie est basée sur des notions abstraites telles que les courbes, les points et les lignes, entre autres.

Il est important de noter que la géométrie est l'une des plus anciennes disciplines qui existent, car ses origines remontent à l'Égypte ancienne. En fait, d'importants mathématiciens et érudits se sont tournés vers la géométrie pour développer des études sur les volumes, les surfaces et les longueurs des choses; parmi ces sages, Euclide et Hérodote se distinguent.

L'une des figures les plus importantes dans les études géométriques était René Descartes, un physicien et philosophe français qui a proposé que la géométrie d'une forme puisse être exprimée ou représentée par des équations.

La géométrie peut être divisée en deux branches principales:

Géométrie analytique

Il consiste en un type de géométrie qui étudie les figures à travers un système de coordonnées. Cette étude le fait grâce à l'utilisation de méthodologies issues de l'analyse mathématique.

Géométrie descriptive

La géométrie descriptive consiste en une branche dédiée à la résolution de problèmes spatiaux à travers des opérations exprimées et développées sur un plan; en cela, certaines figures d'objets solides de la réalité sont représentées.

-Linguistique théorique

La linguistique théorique est une science formelle issue de la linguistique et qui s'intéresse aux principaux aspects des langues naturelles, en tenant compte de la structure de la langue et des caractéristiques des connaissances linguistiques des locuteurs.

De même, il peut être établi que la linguistique théorique est composée d'autres disciplines telles que la sémantique, la phonologie, la morphologie et la phonétique.

Cette science est basée sur la construction de schémas et de théories universels, qui peuvent être valables pour toutes les langues parlées dans le monde. Par conséquent, la linguistique théorique ne vise pas à expliquer certains faits particuliers d'une langue particulière, mais indique plutôt l'universalité des structures linguistiques.

Pour cette raison, on peut dire que la linguistique théorique est une science formelle puisque, comme la statistique, cette discipline est chargée de collecter des données permettant d'interpréter, d'analyser et de cataloguer les structures grammaticales et phonologiques des langues.

De plus, cette branche de la linguistique emploie des abstractions théoriques ainsi que des schémas complexes qui ne peuvent être appréhendés dans la réalité, mais qui n'existent que comme idéal dans l'esprit humain.

-Intelligence artificielle

L'intelligence artificielle (IA) est une branche de l'informatique qui consiste en le traitement d'une série de données abstraites réalisées par des machines; Ces données permettent aux appareils électroniques d'effectuer une tâche ou un objectif.

En d'autres termes, à travers une série de données abstraites et numériques, l'intelligence artificielle vous donne accès à des machines afin qu'elles puissent apprendre, percevoir, raisonner ou résoudre certains problèmes.

Certains scientifiques définissent l'intelligence artificielle comme une branche informatique chargée d'étudier des modèles informatiques afin de pouvoir mener des activités typiques de l'être humain à travers deux caractéristiques principales: le comportement et le raisonnement.

Le terme «intelligence artificielle» a été inventé par l'informaticien John McCarthy en 1956, qui a établi que l'IA est la science de l'ingéniosité, car elle permet de construire des programmes informatiques intelligents.

Références

1. Castañeda, J. (sf) Caractéristiques des sciences formelles ou idéales. Récupéré le 8 août 2019 sur Characteristics of science: caracteristicasdeciencia.blogspot.com
2. Lowe, B. (2002) Les sciences formelles. Récupéré le 8 août 2019 sur Jstor: jstor.org
3. Raffino, M. (2018) Concept des sciences formelles. Récupéré le 8 août 2019 de Concept: concept.de
4. SA (sf) Sciences formelles. Récupéré le 8 août 2019 sur Wikipedia: es.wikipedia.org
5. SA (sf) Concept des sciences formelles. Récupéré le 8 août sur De Conceptos: deconceptos.com
6. SA (sf.) Que signifie la science formelle? Extrait le 8 août 2019 de Definitions: definitions.net
7. Soledispa, A. (sf) Caractéristiques des sciences formelles et factuelles. Récupéré le 8 août 2019 sur Academia: academia.edu
8. SA (sf) Qu'est-ce que les statistiques? Types et objectifs. Récupéré le 11 août 2019 sur Gestiopolis: Gestiopolis.com
9. SA (2018). Qu'est-ce que la linguistique théorique? Récupéré le 11 août 2019 sur Quora: quora.com
10. Tegmark, M. Avantages et risques de l'intelligence artificielle. Récupéré le 11 août 2019 sur Future of life: futureoflife.org
11. Figueras, C. (Sf) Géométrie. Récupéré le 11 août 2019 sur Monographies: monogramas.com