Exemples de sciences formelles

le science formelle sont celles dans lesquelles les propositions analytiques prennent le déclarations des mathématiques et de la logique. De cette façon, son domaine d'étude n'est pas le monde réel mais plutôt le monde idéal, des formes de contenu vides que dans de nombreux cas peuvent ne pas être entièrement observables, mais ce sont des outils analytiques valables pour comprendre le réalité. Par exemple: statistiques, logique, mathématiques.

Les sciences formelles se caractérisent par le fait de ne pas entrer en conflit avec la réalité, puisqu'elles n'ont pas la responsabilité d'être vérifiables. Au contraire, les sciences formelles doivent utiliser propositions qu'elles sont démontrables dans un sens logique, et qu'elles peuvent se produire: autrement, ces sciences utilisent des « axiomes » qui sont des propositions évidentes qui sont acceptées sans exiger de preuve préalable.

L'utilisation des axiomes est liée à la méthode habituelle de ce type de science, qui est la Méthode déductive

: en partant des axiomes puis en procédant de manière dérivée, en arrivant au propositions comme des conséquences logiques nécessaires des propositions précédentes. On dit alors qu'un système formel est composé des éléments suivants :

Il peut vous servir :

Ils s'opposent aux sciences factuelles

Habituellement, la notion de sciences formelles s'oppose à la science factuelle, qui sont ceux qui étudient les faits. L'un et l'autre sont très importants dans le monde d'aujourd'hui, car ils sont un complément entre les deux: les apports de certaines sciences fondamentales à ce qu'est le progrès technologique (comme la chimie ou informatique) sont pris en charge par des systèmes formels tels que les mathématiques.

Exemples de sciences formelles

1. Informatique théorique. Division au sein de l'informatique, qui se concentre sur les aspects les plus abstraits et mathématiques du domaine. Il comprend l'analyse des algorithmes et surtout la sémantique formelle des langages de programmation.
2. Statistiques. Science chargée de collecter, d'organiser, de traiter, d'analyser et d'interpréter des données afin d'en déduire les caractéristiques d'un Ville objectif.
3. Logique. Discipline qui étudie les procédures formelles de la raison, essayant de savoir quel type de procédures est utilisé par le cerveau humain à travers des propositions formelles.
4. Matematiques. Science déductive qui se consacre à l'étude des propriétés des entités abstraites et de leurs relations. Marche avec nombres, symboles et figures géométriques.
5. Théorie des systèmes. Étude interdisciplinaire des systèmes en général, afin d'étudier les principes applicables aux systèmes à tous les niveaux dans tous les domaines de recherche.

Suivre avec: