Caractéristiques des sciences formelles, objet d'étude et exemples

Le sciences formelles Ils sont constitués d'un ensemble systématique de connaissances cohérentes et rationnelles. Son objectif n'est pas le monde physique naturel, mais des objets entièrement abstraits; Cependant, la connaissance des sciences formelles peut être appliquée dans la réalité naturelle et utilisée par des sciences factuelles ou empiriques.

La méthode utilisée par les sciences formelles est la déduction et, contrairement aux sciences factuelles, formel n'admet pas l'abduction ou l'induction. Par conséquent, une science formelle fonctionne 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 suivent après avoir considéré toutes les possibilités ou façons dont les faits pré-établi auraient pu être combinés. Dans ce contexte, des exemples de sciences formelles peuvent être les mathématiques ou la logique.

Une caractéristique des sciences formelles est qu'ils sont des branches des connaissances scientifiques qui étudient les systèmes formels. Par conséquent, une science formelle valide sa théorie à travers un ensemble de propositions, axiomes, définitions et 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. D'un autre côté, les connaissances des sciences formelles sont appelées "théorèmes" et proviennent de démonstrations mathématiques.

De plus, les règles ou lois stipulées par les sciences formelles sont toujours respectées, quelle que soit le cas. Par conséquent, ce sont des lois universelles qui n'étudient pas de phénomènes concrètes, comme pour les sciences factuelles. Le contenu d'une science formelle est vide, car il ne reste que sous la forme et les relations causales.

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

[TOC]

Caractéristiques

Les caractéristiques les plus importantes des sciences formelles sont mentionnées ci-dessous:

- 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 déclarations d'une science formelle sont toujours analytiques, ce qui signifie qu'ils sont déduits par des théorèmes ou des postulats.

Peut vous servir: applications de physique

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

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

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

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

Objet d'étude

En général, on peut dire que l'objet d'étude des sciences formelles est des 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 disent que la science formelle n'est pas si intéressée par la raison des phénomènes, mais se concentre sur la façon; 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 concentrent pas sur le monde ou la nature, ni dans les lois chimiques ou physiques qui le régissent.

Son intérêt repose dans les systèmes de relations formelles qui n'ont pas leur propre contenu, mais peuvent être utilisés pendant 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 est une science formelle - pour effectuer son analyse et ses conclusions.

Exemples de sciences formelles

-Statistiques

Les statistiques sont une discipline formelle responsable de l'organisation, de l'interprétation et du traitement d'une série de données afin d'établir certaines caractéristiques d'une certaine population ou 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. Parfois, les statistiques ont été définies comme une «science des données», car elles recueillent, classent et interprète ce dernier.

De même, les statistiques permettent aux chercheurs.

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

Statistiques descriptives

Il se compose d'une méthode qui décrit numériquement un ensemble de données. Par conséquent, étant une méthode numérique, les statistiques descriptives utilisent 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; n'offre que des résultats numériques.

Peut vous servir: sciences factuelles: caractéristiques, objet d'étude, exemples

Statistiques déductives, analytiques ou inférentielles

Est responsable de l'étude des chances de succès dans les 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 en fonction des conclusions obtenues lors de l'observation des échantillons.

Au contraire des statistiques descriptives, les statistiques déductives ou inférentielles vous permettent de tirer des conclusions concrètes.

-La géométrie

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

Ces systèmes axiomatiques sont constitués de symboles qui, respectant certaines règles, peuvent rejoindre et former des chaînes, qui peuvent également être liées les unes aux autres. 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 étaient basés sur la géométrie pour développer des études sur les volumes, les zones et les longueurs des choses; Parmi ces sages figurent Euclide et Hérodoto.

L'une des figures les plus importantes au sein des études géométriques était René Descartes, un physicien et philosophe français qui a proposé que la géométrie en quelque sorte pourrait ê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 se compose d'un type de géométrie qui étudie les chiffres à travers un système de coordonnées. Cette étude se fait grâce à l'utilisation de méthodologies à partir d'analyse mathématique.

Géométrie descriptive

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

-Linguistique théorique

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

De même, il peut être établi que la linguistique théorique est constitué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 du monde. Par conséquent, la linguistique théorique n'est pas destinée à expliquer certains faits particuliers d'une langue spécifique, mais souligne l'universalité des structures linguistiques.

Peut vous servir: recherche expérimentale

Pour cette raison, on peut affirmer que la linguistique théorique est une science formelle car, comme les statistiques, cette discipline est responsable de la collecte de données qui permettent d'interpréter, d'analyser et de cataloguer les structures grammaticales et phonologiques des langues.

De plus, cette branche de la linguistique utilise des abstractions théoriques ainsi que des schémas complexes qui ne peuvent pas être appréhendés dans la réalité, mais il n'y a qu'un idéal dans l'esprit humain.

-Intelligence artificielle

L'intelligence artificielle (IA) est une branche de la science informatique qui consiste dans le traitement d'une série de données abstraites réalisée par les machines; Ces données permettent aux artefacts é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 donne accès aux machines afin qu'ils puissent apprendre, percevoir, raisonner ou résoudre certains problèmes.

Certains scientifiques définissent l'intelligence artificielle comme une branche informatique qui est responsable de l'étude des modèles informatiques afin qu'ils puissent mener des activités typiques des êtres humains à travers deux caractéristiques principales: comportement et raisonnement.

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

Les références

1. Castañeda, J. (s.F.) Caractéristiques des sciences formelles ou idéales. Récupéré le 8 août 2019 des caractéristiques scientifiques: caractéristiques de l'Eccentim.Blogspot.com
2. Lowe, B. (2002) Les sciences formelles. Récupéré le 8 août 2019 par JSTOR: JSTOR.org
3. Raffino, m. (2018) Concept de sciences formelles. Récupéré le 8 août 2019 Concept: Concept.de
4. S.POUR. (s.F.) Sciences formelles. Récupéré le 8 août 2019 de Wikipedia: c'est.Wikipédia.org
5. S.POUR. (s.F.) Concept de sciences formelles. Récupéré le 8 août des concepts: déconcepts.com
6. S.POUR. (s.F.) Que signifie la science formelle? Récupéré le 8 août 2019 des définitions: définitions.filet
7. Soledispa, un. (s.F.) Caractéristiques des sciences formelles et factuelles. Récupéré le 8 août 2019 de l'Académie: Academy.Édu
8. S.POUR. (s.F.) Qu'est-ce que les statistiques? Types et objectifs. Récupéré le 11 août 2019 de Gestiopolis: Gestiopolis.com
9. S.POUR. (2018). Qu'est-ce que la linguistique théorique? Récupéré le 11 août 2019 de Quora: Quora.com
10. Tegmark, m. Avantages et risques de l'intelligence artificielle. Récupéré le 11 août 2019 de Future of Life: FutureOfLife.org
11. Figueras, C. (S.F.) Géométrie. Récupéré le 11 août 2019 des monographies: monographies.com