LogiqueLa 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).
Dessein intelligentLe dessein intelligent (intelligent design en anglais) est une théorie pseudo-scientifique selon laquelle Cette thèse a notamment été développée par le Discovery Institute, un cercle de réflexion conservateur chrétien américain. Le dessein intelligent est présenté comme une théorie scientifique par ses promoteurs mais, dans le monde scientifique, il est considéré comme relevant de la pseudo-science, par des arguments aussi bien internes à la biologie (les promoteurs du dessein intelligent apparaissant aux biologistes comme ne tenant pas compte de nombreuses observations) qu'épistémologiques (en particulier le critère de réfutabilité de Karl Popper).
Raisonnement fallacieuxUn raisonnement fallacieux est un raisonnement incorrect qui a pourtant une apparence de validité logique. On distingue généralement deux types de raisonnements fallacieux : le sophisme, qui est une argumentation destinée à tromper autrui, et le paralogisme qui est une de raisonnement involontaire. Kant effectuait cette distinction dans son ouvrage Logique (1800) indiquant qu'un syllogisme erroné quant à sa forme est un paralogisme quand il trompe son auteur, et un sophisme quand il vise à tromper autrui.
Evolutionary argument against naturalismThe evolutionary argument against naturalism (EAAN) is a philosophical argument asserting a problem with believing both evolution and philosophical naturalism simultaneously. The argument was first proposed by Alvin Plantinga in 1993 and "raises issues of interest to epistemologists, philosophers of mind, evolutionary biologists, and philosophers of religion". The EAAN argues that the combined belief in both evolutionary theory and naturalism is epistemically self-defeating.
Teach the ControversyThe "teach the controversy" campaign of the Discovery Institute seeks to promote the pseudoscientific principle of intelligent design (a variant of traditional creationism) as part of its attempts to discredit the teaching of evolution in United States public high school science courses. Scientific organizations (including the American Association for the Advancement of Science) point out that the institute claims that there is a scientific controversy where in fact none exists.
Stress chez l'humainLe 'stress chez l'humain' qualifie à la fois une situation contraignante et les processus physiologiques mis en place par l'organisme pour s'y adapter. Chez l'adulte, le stress peut avoir des origines physiques, pathogéniques (ayant une maladie génétique, infectieuse ou parasitaire comme origine par exemple), socio-psychiques, médiées par divers processus hormonaux (hormones, ou molécules de stress), chimiques et biochimiques de l'organisme.
StressLe stress (de l'anglais stress ) est, en biologie, l'ensemble des réactions d'un organisme soumis à des pressions ou contraintes de l'environnement, les . Ces réactions dépendent toujours de la perception qu'a l'individu des pressions qu'il ressent. Selon la définition médicale, il s'agit d'une séquence complexe de situations provoquant des réactions physiologiques, psychosomatiques. Par extension tous ces incidents sont également qualifiés de stress. Dans le langage courant, on parle de stress positif (eustress en anglais) ou négatif (distress).
Automate finithumb|upright=2|Fig. 1 : Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Ingénierie de fiabilitéL'ingénierie de fiabilité est un domaine de l'ingénierie, qui traite de l'étude, de l'évaluation et du Product Lifecycle Management de la fiabilité : l'habilité d'un système ou d'un composant à remplir ses fonctions exigées dans des conditions déterminées pour une période de temps déterminé. L'ingénierie de fiabilité est une sous-discipline au sein de l'ingénierie des systèmes. La fiabilité est souvent mesurée en probabilité de défaillance, fréquence de défaillance, ou en termes de disponibilité, une probabilité dérivée de la fiabilité et de la maintenabilité.