Cette page réunit les 166 entrées du dictionnaire relevant du domaine « Logique », telles que le Wiktionnaire les étiquette. Chaque mot mène à sa fiche complète : définitions, étymologie, prononciation, exemples. Page 1 sur 2 : de « abduction » à « monde possible ».
- abduction Nom commun Action d’inférer les prémisses les plus vraisemblables permettant de parvenir, par déduction, à une conclusion concordante aux observations.
- affirmatif Adjectif (d’une affirmation logique) Qualifie une proposition par laquelle on affirme une chose.
- affirmation Nom commun Expression par laquelle une proposition est affirmative.
- affirmer Verbe Exprimer qu’une chose est certaine.
- algorithme Nom commun Méthode générale pour résoudre un ensemble de problèmes, qui, appliquée systématiquement et d’une manière automatisée à une donnée ou à un…
- analyse Nom commun Un des procédés généraux de la pensée, qui consiste à décomposer un tout en divers éléments, à l’inverse de la synthèse qui compose un ou…
- analyse comparée Locution nominale Procédé d'examen, de confrontation et de raisonnement en vue de rechercher par décomposition, opposition ou rapprochement de ressemblances…
- antécédent Nom commun Première partie d’un argument qu’on appelle enthymème, et qui ne consiste qu’en une seule proposition, dont on tire une conséquence.
- appel à l’ignorance Locution nominale Raisonnement fallacieux qui affirme qu’une proposition est vraie parce qu’elle n’a pas été prouvée fausse, ou fausse parce qu’elle n’a pas…
- appréhension Nom commun Idée qu’on prend d’une chose sans en porter alors aucun jugement.
- argument Nom commun Raisonnement construit selon certaines règles, par lequel on tire méthodiquement une conséquence d’une ou de plusieurs propositions.
- argumentation fallacieuse Locution nominale Démarche argumentative qui cherche à convaincre ou persuader en recourant à des raisonnements trompeurs ou biaisés, parmi lesquels des…
- assomption Nom commun Seconde proposition d’un syllogisme (mineure).
- astuce de Rosser Locution nominale Procédé de démonstration employé pour renforcer le premier théorème d’incomplétude de Gödel, consistant à remplacer l’énoncé de Gödel par…
- attribut Nom commun Ce qui s’affirme ou se nie du sujet d’une proposition.
- autologisme Nom commun Propriété d’un concept à se référer à lui-même.
- automate cellulaire Locution nominale Grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer au cours du temps.
- barbara Nom commun Mode syllogistique AAA de la première figure, composé de trois propositions universelles affirmatives : majeure universelle affirmative («…
- bi-implication Nom commun Connecteur binaire (↔ ou ⇔) qui, à partir de deux formules, forme une troisième formule ; cette troisième formule.
- bivalence Nom commun Base du principe selon laquelle une proposition logique ne peut prendre que l'une ou l'autre de deux valeurs, i.e. elle ne peut être que…
- bivalent Adjectif Qui ne considère que deux valeurs de vérité, le vrai et le faux.
- canon Nom commun 2 Norme pratique de raisonnement logique ou canonique.
- carré logique Locution nominale Diagramme représentant les relations d’opposition entre les quatre types de propositions catégoriques — universelle affirmative (A)…
- castor affairé Locution nominale Machine de Turing qui maximise son « activité opérationnelle » (comme le nombre de pas effectués ou le nombre de symboles écrits avant son…
- catégorie Nom commun Classe dans laquelle on range plusieurs choses qui sont d’espèce différente, mais qui appartiennent à un même genre.
- catégorique Adjectif Une proposition énoncée simplement et absolument.
- cercle vicieux Locution nominale Raisonnement circulaire invalide.
- colligance Nom commun Connexion, enchaînement.
- colligation Nom commun Action de synthétiser un ensemble de faits séparément observés induisant un phénomène non encore mis en évidence.
- complétude Nom commun Qualité d'un objet auquel on ne peut rien ajouter.
- compréhensif Adjectif Qui, à l’inverse d’une énumération exhaustive qui explicite chacun d’entre eux, réfère implicitement à tous les éléments d’un ensemble par…
- compréhension Nom commun Qualité de ce qui est compréhensif.
- conditionnel Adjectif Qui exprime une condition.
- conjonction Nom commun Connecteur logique binaire, synonyme de et logique.
- connecteur logique Locution nominale Fonction combinant plusieurs formules et leurs valeurs de vérité pour indiquer une nouvelle valeur de vérité.
- conséquence Nom commun Conclusion tirée d’une ou plusieurs propositions et, en général, ce qui dérive, ce que l’on déduit d’un principe, d’un fait, etc.
- consistance Nom commun Absence d'énoncé contradictoire d'une théorie.
- constructivisme Nom commun Philosophie des mathématiques qui considère qu’il est nécessaire de trouver (ou « construire ») un objet mathématique pour prouver qu’il…
- contradiction Nom commun Connecteur logique, relation existant entre deux ou plusieurs termes ou deux ou plusieurs propositions dont l’un(e) affirme ce que l’autre…
- contradictoire Nom commun Ce qui est en contradiction.
- contraposition Nom commun Raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B »)…
- contrariété Nom commun Désigne un type spécifique de relation d'opposition entre deux termes ou deux propositions. Fondamentalement différente de la…
- convers Adjectif Qualifie une proposition où, de l’attribut de la première, on fait le sujet de la seconde, et du sujet de la première l’attribut de la…
- converse Nom commun 1 Proposition converse : proposition sur laquelle on opère la conversion, c’est-à-dire dont on change l’attribut en sujet et le sujet en…
- convertible Adjectif Qui peut devenir la converse d’une autre.
- copule Nom commun Verbe être qui lie le prédicat au sujet.
- cornu Adjectif Bizarre, étrange, absurde, illogique.
- corollaire Nom commun Énoncé directement déduit d'un autre déjà prouvé ou admis.
- déduction Nom commun Procédé par lequel on va de la cause aux effets, du principe aux conséquences, du général au particulier.
- défaisable Adjectif Qualifie une logique, un raisonnement, dans lesquels une inférence peut être contredite par un élément, appelé défaiseur.
- dénombrement Nom commun Énonciation dans les prémisses de données dont dépend la conclusion.
- description Nom commun Définition imparfaite.
- détachement Nom commun Figure du raisonnement logique concernant l’implication, qui pose l’antécédent pour déduire le conséquent : (1) Si P, alors Q. (2) Or P.…
- diallèle Nom commun Raisonnement circulaire, cercle vicieux.
- dictum de omni et nullo Locution-phrase Principe fondamental de la syllogistique aristotélicienne selon lequel ce qui est affirmé (ou nié) universellement d’un genre ou d’une…
- diégèse Nom commun Tout ce qui est censé se passer, selon la fiction constituée de prémisses fausses ; tout ce que cette fiction impliquerait si on la…
- diérèse Nom commun Procédure dichotomique qui enrichit la compréhension d’un concept en en diminuant l’extension : A se divise en B et non-B ; schématisée…
- discursif Adjectif Qui passe d'une proposition à une autre par le raisonnement.
- disjonction Nom commun Connecteur logique binaire, synonyme de ou logique.
- distributif Adjectif Par opposition à collectif.
- dual Adjectif Se dit de propriétés qui sont par deux et qui présentent un caractère de réciprocité.
- effet cigogne Locution nominale Sophisme qui consiste à prétendre que si deux événements sont corrélés alors il y a un lien de cause à effet entre les deux.
- en boucle Locution adverbiale D'une manière itérative ; par itérations.
- énoncé indécidable Locution nominale Dans une théorie axiomatique formelle, énoncé dont ni la démonstration ni la réfutation ne peuvent être obtenues à partir des axiomes de…
- ensemble totalement ordonné Locution nominale Ensemble, au sens mathématique du terme, muni d’une relation d'ordre valable pour tous éléments x et y de cet ensemble. Cela signifie que…
- épichérème Nom commun Syllogisme dans lequel une ou plusieurs prémisses sont accompagnées d’une preuve, d’une explication ou d’une définition.
- équivalence Nom commun Relation entre deux propositions ou affirmations ayant même valeur de vérité.
- et Conjonction de coordination Indique une simultanéité de caractéristiques. Énonce la véracité de tous les éléments qu’il relie, indépendamment de l’ordre dans lequel…
- et logique Locution nominale Conjonction, opérateur logique qui quand il associe deux propositions, ne donne vrai que si elles sont vraies toutes les deux. (Symbole : ∧)
- étoile de Kleene Locution nominale Opérateur unaire symbolisé par une étoile (*), signifiant entre zéro et une infinité d'un ensemble de caractères. Il est couramment utilisé…
- exhaustion Nom commun Énumération de tous les cas possibles dans une question.
- expressif Adjectif Dans un système d’axiomes, signifie que le langage du système est assez riche pour formaliser l’arithmétique de base (l’addition, la…
- extension Nom commun Désignation d’un ensemble d’éléments par énumération explicite de chacun des cas correspondant.
- extrême Nom commun L'un des deux termes du syllogisme, le grand ou le petit, par opposition au moyen.
- faux Nom commun 1 Une des deux valeurs de vérité de l’algèbre de Boole, signifiant un état faux, soit 0.
- fonction calculable Locution nominale Fonction dont la valeur, pour chaque argument de son domaine de définition, peut être obtenue au moyen d’un algorithme, c’est-à-dire d’une…
- général Nom commun 1 Faits, principes généraux, par opposition aux faits particuliers.
- hexagone logique Locution nominale Extension du carré logique aristotélicien à six sommets, obtenue en ajoutant aux quatre assertions traditionnelles (A, E, I, O) deux…
- hypothétisme Nom commun Théorie, qui s’oppose plus ou moins au positivisme (accepter une prémisse comme vraie) et au négationnisme (réfuter une prémisse) en…
- illation Nom commun Action d’inférer, de tirer une conséquence.
- implication Nom commun Contradiction, au sujet de propositions contradictoires.
- impliquer Verbe Renfermer ; contenir.
- induire Verbe Procéder par induction.
- induit Adjectif Produit par induction.
- inférence Nom commun Action d’inférer.
- infirmer Verbe Réfuter au moyen d'un contrexemple.
- insatisfaisable Adjectif Qualifie une formule dont aucune interprétation n’est vraie.
- intuitionnisme Nom commun Définition manquante ou à compléter. (Ajouter)…
- judicat Nom commun 1 Attribut d'une proposition.
- judicateur Nom commun Lien, copule d’une proposition.
- jugement Nom commun Acte par lequel on affirme ou nie une chose.
- juger Verbe Prononcer un jugement.
- lemme Nom commun 1 Proposition que l’on prend pour accordée.
- majeur Adjectif Attribut de la conclusion, qui a plus d’extension que le sujet.
- majeure Nom commun 1 Attribut de la conclusion, qui a plus d'extension que le sujet.
- mineure Nom commun 2 Celle des deux prémisses du syllogisme qui contient le petit terme.
- modal Adjectif Rapporté au sujet selon un mode déterminé (possibilité ou impossibilité, nécessité ou contingence). → voir modale, ellipse de proposition…
- mode de syllogisme Locution nominale Dans la syllogistique aristotélicienne, un mode de syllogisme désigne chacune des formes valides que peut prendre un syllogisme catégorique…
- monaire Adjectif Qui n’admet, ne porte que sur un seul argument ou opérande ; se dit d’un connecteur ou d’une liaison propositionnelle n’admettant qu’une…
- monde possible Locution nominale Monde hypothétique avec certaines conditions différentes, par exemple un monde où Napoléon Iᵉʳ a gagné contre le Royaume-Uni, utilisé dans…