Négation logiqueEn logique et en mathématiques, la négation est un opérateur logique unaire. Il sert à nier une proposition. On note la négation d'une proposition P de diverses manières dont : ¬P (utilisée dans cet article); Non P ; Ces formulations se lisent « négation de P » ou plus simplement « non P ». Dans l'interprétation par des tables de vérité, la proposition ¬P est vraie quand P est fausse et elle est fausse quand P est vraie. La table de vérité s'écrit simplement : ou On remarque alors que où dénote une contradiction.
NeurofeedbackLe neurofeedback est un type de biofeedback au cours duquel l'activité neuronale d’un individu est mesurée et lui est présentée en temps réel (sous différentes formes : son, image, etc.). Le but de cette méthode est que l’individu arrive à autoréguler son activité neuronale supposée sous-tendre un comportement ou une pathologie spécifique. De cette manière, avec le temps, le participant pourrait être capable d’apprendre comment contrôler volontairement l’activation de son cortex cérébral afin de réguler sa cognition et ses comportements dans la vie de tous les jours.
RaisonLa raison est généralement considérée comme une faculté propre de l'esprit humain dont la mise en œuvre lui permet de créer des critères de vérité et d'erreur et d'atteindre ses objectifs. Elle repose sur la capacité qu'aurait l'être humain de faire des choix en se basant sur son intelligence, ses perceptions et sa mémoire tout en faisant abstraction de ses préjugés, ses émotions ou ses pulsions. Cette faculté a donc plusieurs emplois : connaissance, éthique et technique.
Électroencéphalographie intracrânienneL'électroencéphalographie intracrânienne dite aussi intra-cérébrale, sous-durale, stéréotaxique (SEEG) est une méthode d'enregistrement de l'activité du cerveau au moyen d'électrodes implantées en profondeur sous la boîte crânienne utilisée notamment en neurologie, dans le diagnostic pré-chirurgical de l'épilepsie.
Phrase conditionnelleEn syntaxe, on appelle phrase conditionnelle une phrase complexe contenant au moins une proposition subordonnée conditionnelle et sa proposition principale. La proposition conditionnelle est directement subordonnée au verbe de la principale. Cette subordonnée est en général définie comme exprimant la condition du remplissement ou du non-remplissement de laquelle dépend la réalisation ou non du procès du verbe principal. Certains auteurs ajoutent à cela que la proposition conditionnelle remplit la fonction d'un complément circonstanciel conditionnel.
Syllogisme disjonctifEn logique classique, un syllogisme disjonctif (où plus anciennement ponens modus tollendo) est une forme d'argument valide, qui prend la forme d'un syllogisme ayant une déclaration disjonctive dans l'une de ses prémisses. Soit la brèche est une brèche sécurisée, soit elle sera soumis à une amende. La brèche n'est pas une brèche de sécurité. Par conséquent, elle sera soumis à une amende. En logique propositionnelle, une syllogisme disjonctif (aussi connu sous le nom de l'argument de kneecapper, élimination ou, ou abrégé vE), est une règle d'inférence valide.
Tâche de sélection de WasonLa tâche de sélection de Wason (ou tâche à quatre cartes de Wason) est un casse-tête logique qui nécessite, pour être résolu, de maîtriser le modus ponens et le modus tollens, deux notions du raisonnement logiques liées à l'implication. Lorsqu'ils sont confrontés à cette épreuve, pourtant simple, les gens commettent, en moyenne, un certain nombre d'erreurs de raisonnement. Or ces erreurs tendent à disparaître sous certaines conditions, notamment lorsque la question est formulée avec un contenu concret impliquant une norme, c'est-à-dire lorsqu'il s'agit d'un énoncé faisant appel à la logique déontique et non un simple énoncé descriptif.
Liste de concepts logiquesCet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique). Nota : La logique comporte aussi des branches en mathématiques et en informatique. Ces branches de la logique utilisent des concepts souvent différents comme les prédicats : axiome, théorème hypothèse, conjonction, disjonction, Déduction naturelle... Pour plus d'informations sur ces concepts consulter les articles : Logique mathématique, logique classique.
Intraoperative neurophysiological monitoringIntraoperative neurophysiological monitoring (IONM) or intraoperative neuromonitoring is the use of electrophysiological methods such as electroencephalography (EEG), electromyography (EMG), and evoked potentials to monitor the functional integrity of certain neural structures (e.g., nerves, spinal cord and parts of the brain) during surgery. The purpose of IONM is to reduce the risk to the patient of iatrogenic damage to the nervous system, and/or to provide functional guidance to the surgeon and anesthesiologist.
Logic translationLogic translation is the process of representing a text in the formal language of a logical system. If the original text is formulated in ordinary language then the term natural language formalization is often used. An example is the translation of the English sentence "some men are bald" into first-order logic as . The purpose is to reveal the logical structure of arguments. This makes it possible to use the precise rules of formal logic to assess whether these arguments are correct.
