Concept
Science formelle
Concepts associés (16)
Philosophie
La philosophie, du grec ancien (composé de , « aimer », et de , « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique. Cette réflexion n’est pas pour autant le propre d’un homme en particulier mais de tout homme dans sa dimension proprement humaine même si certains penseurs en ont fait le cœur de leur activité.
Discipline scientifique
Les disciplines scientifiques (aussi appelées « sciences » ou « domaines scientifiques ») sont des subdivisions de la science et des branches du savoir qui utilisent une méthode rigoureuse et systématique pour étudier un domaine particulier de la connaissance. Les disciplines scientifiques se caractérisent par l'utilisation de la méthode scientifique pour tester des hypothèses, recueillir des données et formuler des théories explicatives sur le fonctionnement et l'histoire du monde naturel et social, voire de mondes abstraits.
Science appliquée
vignette|Lancement d’une fusée de vecteur La science appliquée est l'ensemble des connaissances rationnelles permettant de réaliser des objectifs pratiques. Les sciences appliquées sont les différentes disciplines de la science appliquée : physique appliquée, mathématiques appliquées La science appliquée et les sciences appliquées complètent la science fondamentale et les sciences fondamentales, qui sont les connaissances rationnelles sur le fonctionnement et l'histoire du monde physique, biologique et humain, indépendamment des considérations pratiques pouvant en résulter.
Informatique théorique
vignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Logique
La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Méthodologie
La méthodologie est l'étude de l'ensemble des méthodes scientifiques. Elle peut être considérée comme la science de la méthode, ou « méthode des méthodes » (comme il y a une métalinguistique ou linguistique des linguistiques et une métamathématique ou mathématique des mathématiques). Alors, la méthodologie est une classe de méthodes, une sorte de boîte à outils où chaque outil est une méthode de la même catégorie, comme il y a une méthodologie analytique du déterminisme causal et une méthodologie systémique finaliste de la téléologie.
Philosophie des sciences
La philosophie des sciences est la branche de la philosophie qui étudie les fondements philosophiques, les méthodes et les implications de la science, qu'il s'agisse de sciences naturelles ou de sciences sociales. La philosophie des sciences a pour objet la définition de la science, son but et la fiabilité des théories. Dans cette optique, elle s'appuie sur la philosophie (métaphysique, ontologie, éthique) et l'histoire des sciences.
Science
thumb|Allégorie de la Science par Jules Blanchard, située sur le parvis de l'hôtel de ville de Paris. La (du latin scientia, « connaissance », ) est dans son sens premier « la somme des connaissances » et plus spécifiquement une entreprise systématique de construction et d'organisation des connaissances sous la forme d'explications et de prédictions testables.
Réfutabilité
La réfutabilité (également désignée par le recours à l'anglicisme falsifiabilité) a été introduite par Karl Popper et est considérée comme un concept important de l'épistémologie, permettant d'établir une démarcation entre les théories scientifiques et celles qui ne le sont pas. Une affirmation, une hypothèse, est dite réfutable si et seulement si elle peut être logiquement contredite par un test empirique ou, plus précisément, si et seulement si un énoncé d'observation (vrai ou faux) ayant une interprétation empirique (respectant ou non les lois actuelles et à venir) contredit logiquement la théorie.
Méthodes quantitatives
Les méthodes quantitatives sont des méthodes de recherche, utilisant des outils d'analyse mathématiques et statistiques, en vue de décrire, d'expliquer et prédire des phénomènes par le biais de données historiques sous forme de variables mesurables. Elles se distinguent ainsi des méthodes dites qualitatives. Le comptage et la mesure sont des méthodes quantitatives banales. Le résultat de la recherche est un nombre ou un ensemble de nombres. On les présente souvent sous forme de tables, de graphiques...