Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
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).
Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Philosophie de la logiqueLa philosophie de la logique est une partie de la philosophie des sciences qui s'intéresse à l’ensemble des problèmes théoriques qui relèvent traditionnellement de la logique, comportant essentiellement la question de son essence, son histoire depuis son origine aristotélicienne et à l'intérieur de la question philosophique, de l'extension de son domaine et de ses limites, aux côtés de la philosophie du langage, de la philosophie des sciences, du psychologisme et des mathématiques.
Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Sommeilvignette|250px|Deux hommes endormis sur un banc. Le sommeil est un état récurrent de baisse de conscience (sans perte de la réception sensitive) du monde extérieur, accompagnée d'une diminution progressive du tonus musculaire, survenant à intervalles réguliers. L'alternance veille-sommeil correspond à l'un des cycles fondamentaux chez les animaux appartenant au rythme circadien. Chez l'être humain, le sommeil occupe près d'un tiers de la vie en moyenne.
Agrypnie (médecine)L'agrypnie est une perte totale prolongée du sommeil, soit au cours de diverses maladies rares dont elle constitue alors un symptôme, soit provoquée volontairement. L'agrypnie peut être provoquée à titre expérimental, pour étudier les effets de la privation de sommeil. La plus longue agrypnie provoquée prouvée par enregistrement électroencéphalographique est de 264 heures (11 jours) (à comparer aux ~2800 h (> 116 jours) d'insomnie quasi totale observée dans des cas pathologiques).
Sleep medicineSleep medicine is a medical specialty or subspecialty devoted to the diagnosis and therapy of sleep disturbances and disorders. From the middle of the 20th century, research has provided increasing knowledge of, and answered many questions about, sleep–wake functioning. The rapidly evolving field has become a recognized medical subspecialty in some countries. Dental sleep medicine also qualifies for board certification in some countries. Properly organized, minimum 12-month, postgraduate training programs are still being defined in the United States.
Sleep studyA sleep study is a test that records the activity of the body during sleep. There are five main types of sleep studies that use different methods to test for different sleep characteristics and disorders. These include simple sleep studies, polysomnography, multiple sleep latency tests (MSLTs), maintenance of wakefulness tests (MWTs), and home sleep tests (HSTs). In medicine, sleep studies have been useful in identifying and ruling out various sleep disorders.
Sommeil polyphasiqueLe sommeil polyphasique est un mode de repos dans lequel le temps de sommeil d'une journée de 24 heures est réparti en plusieurs périodes au lieu d'être regroupé en une "nuit" (sommeil monophasique). C'est le mode habituel de sommeil chez de nombreuses espèces animales ( comme les éléphants ), et il semble avoir été courant dans l'espèce humaine, au moins sous la forme biphasique (deux périodes), avant l'ère industrielle et la généralisation de l'éclairage continu.
Neurobiologie du sommeilThe neuroscience of sleep is the study of the neuroscientific and physiological basis of the nature of sleep and its functions. Traditionally, sleep has been studied as part of psychology and medicine. The study of sleep from a neuroscience perspective grew to prominence with advances in technology and the proliferation of neuroscience research from the second half of the twentieth century. The importance of sleep is demonstrated by the fact that organisms daily spend hours of their time in sleep, and that sleep deprivation can have disastrous effects ultimately leading to death in animals.
