Types de Sciences et Systèmes Formels

Types de Sciences

La science peut être classée de plusieurs façons:

• Opposition entre la science et la théologie: La science se base sur des faits, tandis que la théologie se base sur des idées.
• Classification selon le but de l'étude: D'un point de vue de leur objectif, certaines sciences sont théoriques et d'autres sont pratiques. Les sciences théoriques sont dirigées vers la connaissance, tandis que les sciences pratiques visent à utiliser la connaissance pour agir.
• Classification selon l'objet d'étude:
  • Sciences formelles: Elles incluent les mathématiques et la logique. Elles étudient les concepts, les relations et les modèles idéaux applicables à tous types de contenu. Par conséquent, elles peuvent souvent faire abstraction du contenu pour étudier les relations de manière indépendante.
  • Sciences naturelles: Elles étudient le monde physique et les êtres naturels.
  • Sciences sociales: Elles s'intéressent aux comportements humains et à leurs créations, comme l'histoire, la psychologie, la sociologie, etc. Elles ont aussi été appelées "études culturelles" ou "sciences humaines".

Exigences d'un Système Formel

Un système formel doit respecter les exigences suivantes:

• Définir les termes: Il faut être très rigoureux dans l'utilisation des termes et des concepts afin d'éviter les erreurs résultant d'imprécisions.
• Définir les axiomes ou postulats: Ce sont les principes de base qui ne peuvent pas être prouvés, mais qui sont acceptés comme fondement de l'ensemble du système que nous allons construire.
• Établir des règles de transformation: Ce sont les procédures pour développer le système.
• Tirer les théorèmes: Ce sont les propositions qui sont vraies dans un système donné, car elles sont déduites des axiomes en suivant les règles de transformation.

Les systèmes formels sont présents dans notre productivité quotidienne. Rien ne fonctionnerait sans eux. Cependant, certaines personnes ressentent un malaise à les utiliser. L'explication réside dans le fait que notre intelligence arrive à travailler plus facilement avec du contenu concret qu'avec des formes abstraites. Nous manipulons des objets réels avec plus de facilité que des signes algébriques.