TERMIUM Plus®

Par le Bureau de la traduction

Dans les médias sociaux

Consultez la banque de données terminologiques du gouvernement du Canada.

LOGICAL REASONING [20 fiches]

Fiche 1 2026-01-08

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

The electronics expert uses circuit-specific knowledge to analyze the circuit in terms o the behavior of logical modules. The circuit-specific knowledge is represented as a behavior three which is central to the expert's reasoning capabilities.

Français

Domaine(s)
  • Intelligence artificielle
OBS

Comparer à connaissance spécifique du domaine.

Espagnol

Conserver la fiche 1

Fiche 2 2026-01-08

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Mathematics
  • Artificial Intelligence
CONT

Intuitionistic logic encompasses the general principles of logical reasoning which have been abstracted by logicians from intuitionistic mathematics.

Français

Domaine(s)
  • Logique (Philosophie)
  • Mathématiques
  • Intelligence artificielle

Espagnol

Conserver la fiche 2

Fiche 3 2026-01-08

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
CONT

Fallacious reasoning refers to a deceptive argument that appears to be logical but actually contains false or misleading information. It is a type of faulty reasoning that can manipulate or deceive the reader or listener.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
CONT

Le raisonnement fallacieux est expressément destiné à tromper. L’idée de mauvaise foi, de moyens détournés domine. L’argument tiré de la fausseté est fallacieux.

Espagnol

Conserver la fiche 3

Fiche 4 2026-01-08

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming
CONT

Hoare logic... is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
CONT

Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes.

Espagnol

Conserver la fiche 4

Fiche 5 2024-09-25

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

... semantic reasoning, which is the ability to reach logical conclusions based on facts extracted from text.

Français

Domaine(s)
  • Intelligence artificielle
CONT

[...] le raisonnement sémantique, qui consiste en la capacité à parvenir à une conclusion logique sur la base des faits extraits du texte.

Espagnol

Conserver la fiche 5

Fiche 6 2024-09-24

Anglais

Subject field(s)
  • General Conduct of Military Operations
DEF

A logical process of reasoning by which a commander considers the circumstances affecting the military situation and arrives at a decision as to the course of action to be taken to accomplish the mission.

OBS

estimate of the situation; appreciation of the situation: designations and definition officially approved by the Joint Terminology Panel and the Defence Terminology Standardization Board; designations and definition standardized by NATO.

OBS

estimate; est: designations officially approved by the Department of National Defence and the Canadian Forces.

Français

Domaine(s)
  • Conduite générale des opérations militaires
DEF

Procédé de raisonnement logique qui permet à un commandant de prendre en considération les facteurs influant sur la situation militaire et de choisir le plan d'action à adopter pour accomplir la mission.

OBS

appréciation de la situation : désignation et définition uniformisées par le Groupe d'experts en terminologie interarmées et par le Conseil de normalisation de terminologie de la Défense.

OBS

appréciation de la situation : désignation normalisée par l'OTAN.

OBS

appréciation; appr : désignations uniformisées par le ministère de la Défense nationale et les Forces canadiennes et par le Comité de terminologie française du Conseil de doctrine et de tactique de l'Armée de terre.

Espagnol

Campo(s) temático(s)
  • Conducción general de las operaciones militares
DEF

Proceso lógico de razonamiento mediante el cual un [comandante] considera [...] las circunstancias que afectan la situación militar y [elige] la línea de acción que debe adoptar para el cumplimiento de su misión.

Conserver la fiche 6

Fiche 7 2024-07-19

Anglais

Subject field(s)
  • Psychometry and Psychotechnology
  • Recruiting of Personnel
CONT

... tests of reasoning assess an individual' s capacity for logical thinking, appreciation of relationships, and practical judgment. Reasoning tests may focus on verbal reasoning, arithmetic and numeric reasoning, or visuospatial reasoning.

Français

Domaine(s)
  • Psychométrie et psychotechnique
  • Recrutement du personnel
CONT

Quand un poste suscite de nombreuses candidatures, les tests de raisonnement permettent de faire un premier tri, sur la base d'un critère considéré comme objectif et non discriminant.

Espagnol

Conserver la fiche 7

Fiche 8 2018-03-22

Anglais

Subject field(s)
  • Mathematics
  • Logic (Philosophy)
  • Artificial Intelligence
CONT

... what underlies inference in conjectural reasoning is not only logical implication but some criterion of plausibility, allowing the choice of a class of conclusions among the possible ones.

Français

Domaine(s)
  • Mathématiques
  • Logique (Philosophie)
  • Intelligence artificielle
DEF

Raisonnement qui repose uniquement sur des opinions établies en se fondant sur des probabilités.

Espagnol

Conserver la fiche 8

Fiche 9 2013-09-03

Anglais

Subject field(s)
  • PAJLO
  • Law of Evidence
DEF

A process of reasoning by which a fact or proposition sought to be established is deduced as a logical consequence from other facts, or a state of facts, already proved or admitted.(Black's, p. 700)

Français

Domaine(s)
  • PAJLO
  • Droit de la preuve
OBS

inférence : terme normalisé par le Comité de normalisation dans le cadre du Programme national de l'administration de la justice dans les deux langues officielles (PAJLO).

Espagnol

Conserver la fiche 9

Fiche 10 2013-03-26

Anglais

Subject field(s)
  • PAJLO
  • Property Law (common law)
DEF

Doctrines of law are systematic formulations of legal principles, rules, conceptions, and standards with respect to particular situations, or types of cases, or fields of the legal order, in logically interdependent schemes, whereby reasoning may proceed on the basis of the scheme and its logical implications. Examples are the doctrine of consideration in contract, the doctrine of personal bar, and the doctrine of "respondeat superior". The development and formulation of doctrines are the work of judges and jurists, not of legislation, which treats of particular rules only.("Oxford Companion to Law", 1980, p. 371).

Français

Domaine(s)
  • PAJLO
  • Droit des biens et de la propriété (common law)
OBS

doctrine : terme normalisé par le Comité de normalisation dans le cadre du Programme national de l'administration de la justice dans les deux langues officielles (PAJLO).

Espagnol

Conserver la fiche 10

Fiche 11 2009-09-11

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
  • Diagnostic Procedures (Medicine)
DEF

The ability to apply general concepts or rules to specific cases or to proceed from stated premises to their logical conclusions. This ability can also be termed syllogistic reasoning or analytic reasoning in that progression is from the whole to the parts.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
  • Méthodes diagnostiques (Médecine)

Espagnol

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Inteligencia artificial
  • Procedimientos diagnósticos (Medicina)
Conserver la fiche 11

Fiche 12 1999-12-30

Anglais

Subject field(s)
  • Education Theory and Methods
  • Psychometry and Psychotechnology
DEF

This IQ test measures several factors of intelligence, namely logical reasoning, math skills and general knowledge. It also measures your ability to classify things according to various attributes, and to see analogies and relations among concepts or things. It doesn’t take into consideration verbal, social, or emotional intelligence.

Français

Domaine(s)
  • Théories et méthodes pédagogiques
  • Psychométrie et psychotechnique
DEF

(Condition) influençant la différence entre les capacités cognitives.

OBS

Sparman, par ex., analysant les performances des mêmes sujets à plusieurs tests d'intelligence, trouve, après le traitement statistique des intercorrélations, un facteur général d'intelligence (facteur g.) à côté duquel ont été dégagés des facteurs spécifiques.

Espagnol

Conserver la fiche 12

Fiche 13 1997-06-23

Anglais

Subject field(s)
  • General Vocabulary
OBS

Term and equivalent used in the publication: The Estates General on Education, Quebec, 1995-1996.

CONT

Beyond the knowledge specific to each subject, schools must help students acquire more general methodology skills that are essential to reflection, observation, analysis, deductive reasoning, clear and logical thinking.

Français

Domaine(s)
  • Vocabulaire général
OBS

Terme et équivalent relevés dans Les États généraux sur l'éducation, Québec, 1995-1996.

CONT

Il s'agit de connaissances de nature méthodologiques. Elles résultent en effet de l'application de méthodes qui permettent la réflexion, l'observation, l'analyse, la synthèse, le raisonnement, le jugement, la recherche et la sélection de l'information.

Espagnol

Conserver la fiche 13

Fiche 14 1995-02-21

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A resolution method that reaches conclusions using logic; it is normally done by theorem proving.

CONT

Japanese planners want their machines to handle millions of logical inferences per second(LIPS)-one logical inference equalling one step in a syllogistic, or IF-THEN, sequence of reasoning.

CONT

Each logical inference involves a set of premises, a reason, and a conclusion. ... The student is finished when there is a set of logical inferences connecting the given statements to the statements to be proved.

Français

Domaine(s)
  • Intelligence artificielle
CONT

Lorsqu'il fallut formaliser des règles effectivement utilisées par les médecins, il fut évident que leurs inférences étaient moins des inférences logiques, (SI E alors H), que des inférences plausibles.

Espagnol

Conserver la fiche 14

Fiche 15 1993-05-12

Anglais

Subject field(s)
  • Artificial Intelligence
  • Continuing Education
CONT

The electronics expert functions at three levels. At the local level of the circuit's components, the electronics expert applies general knowledge of the principles of electronics to propagate quantitative information about voltage and currents across components. These local inferences, expressed as quantitative ranges, are then translated into qualitative assertions for a rule-based system that infers the behavior of the circuit's modules. Finally, at the global level, the electronics expert uses circuit-specific knowledge to analyze the circuit in terms of the behavior of logical modules. The circuit-specific knowledge is represented as a behavior tree which is central to the expert's reasoning capabilities.

CONT

The electronic expert is a separate on-call system component that may be asked for help or assistance by the user. The range of assistance it provides to the user relates to explanations about various electronics concepts ..., statements about the qualitative dependencies between the device parameters and the specific circuit parameters ..., the detection and elimination of redundancy in user built circuits....

Français

Domaine(s)
  • Intelligence artificielle
  • Éducation permanente

Espagnol

Conserver la fiche 15

Fiche 16 1989-06-23

Anglais

Subject field(s)
  • Artificial Intelligence
  • Mathematics
CONT

The definition of a special internal language to represent informal reasoning and follow a sequence of arguments is somewhat similar to EXCHECK's treatment of proofs, although ACE's language is based on a grammar rather than on logical macro-operators. This gives the student more freedom of expression. The translation of her statements into the formal language is done with a semantic grammar, as defined by Burton and used in SOPHIE. The elements of the formal language that record the traces internally constitute the semantic categories to be looked for(such as facts, equations, and deductions), organized into successive arguments. In this case, the parser has the interesting ability to interact with the student when it encounters difficulties, asking for specific corrections until it can satisfy its expectations.

Français

Domaine(s)
  • Intelligence artificielle
  • Mathématiques

Espagnol

Conserver la fiche 16

Fiche 17 1989-06-13

Anglais

Subject field(s)
  • Artificial Intelligence
  • Continuing Education
CONT

The definition of a special internal language to represent internal reasoning and follow a sequence of arguments is somewhat similar to EXCHECK's treatment of proofs, although ACE's language is based on a grammar rather than on logical macro-operators. The translation of the student's statements into the formal language is done with a semantic grammar as defined by Burton and used in SOPHIE.

Français

Domaine(s)
  • Intelligence artificielle
  • Éducation permanente

Espagnol

Conserver la fiche 17

Fiche 18 1988-04-20

Anglais

Subject field(s)
  • Artificial Intelligence
  • Philosophy (General)
DEF

Peirce's notion of a reasoning, problem-solving machine that differs from any other machine merely in working upon an excessively simple principle which is applied in a manyfold and complex way, instead of upon an occult principle applied in a monotonous way. The only thing that matters is whether the result which the logical machine turns out has a relation to the data with which it is fed, which relation may be considered from the point of view of whether the former could be false so long as the latter are true.

Français

Domaine(s)
  • Intelligence artificielle
  • Philosophie (Généralités)
OBS

Terminologie de Peirce.

Espagnol

Conserver la fiche 18

Fiche 19 1987-03-17

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 19

Fiche 20 1981-03-03

Anglais

Subject field(s)
  • Social Psychology
OBS

A societal norm prescribing that people should be accurate and factually correct, logical in their reasoning, and cautious when making judgments.

Français

Domaine(s)
  • Psychologie sociale

Espagnol

Conserver la fiche 20

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)

Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :