terme

(Nom commun 1) (Milieu XI) Du moyen français terme, de l’ancien français terme, du latin terminus (« borne »). En latin chrétien, terminus (ou parfois termen, → voir tertre) a rendu le grec όρος, oros (« borne »).

(Nom commun 2) (1370) Du moyen français terme, de l’ancien français terme, du latin médiéval terminus (« qui limite le sens ») découlant du premier mot d'où l’analogie, « détermination du sens d’un mot, définition » et « terme d’une proposition ».

(Nom commun 3) (1571) Du moyen français terme, du dieu latin Terminus qui servait de bornes et qui était représenté avec une partie inférieure du corps dans une gaine.

Term

élément d'une addition ou d'une soustraction

ne pas ménager ses termes

dire avec dureté des choses désagréables

Chacun des éléments d’un rapport, d’une relation, d’une comparaison ou d’une progression.

Classiquement, on admet que le taux de chaleur reçu par le système se décompose en deux termes, l'un volumique et l'autre surfacique.

Vincent Honorat, Analyse thermomécanique par mesure des champs élastomères, thèse de doctorat, Université de Montpellier II, janvier 2006, page 78

Chacune des trois parties d’un syllogisme qui, combinés deux à deux, forment les parties.


et

(Conjonction) (842, Serments de Strasbourg) Du latin et. Souvent écrit e en ancien français ; t rétabli au XIIᵉ siècle d’après le latin.

(Nom) (Date à préciser) Du nom de la suite de lettre (et) que le symbole remplace.

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-T. Le Berre-et.wav

Les virgules séparant des éléments précédant un et font office de « et » : Je n’aime une personne que si elle est cultivée, sympathique, drôle et généreuse.

Le et est parfois remplacé par le symbole esperluette, &. Cependant l’esperluette n’est jamais utilisée au début des phrases, on écrit plutôt Et en toutes lettres.

On peut trouver des mélanges entre « et logique » et des « et inductif » : Elle a mangé des crevettes périmées et (en même temps) bu de l’eau non-potable et (puis) elle a eu des maux de ventre.

Même dans le cas où l’ordre a une importance, et où le mot et a donc plus ou moins le sens de puis, on ne peut utiliser et que si les deux parties de la phrase sont toutes les deux vraies prises séparément. Cette règle a parfois été négligée dans le passé dans le cas des messages vocaux de la SNCF construits par ordinateur en juxtaposant des bouts de phrase, du style : Ce train desservira Suresnes-Mont-Valérien, La Défense, Courbevoie, Bécon-les-Bruyères, et sera direct Paris-Saint-Lazare. Dans ce cas, les deux parties de la phrase sont incohérentes : si un train dessert plusieurs gares, il ne peut pas être direct pour sa destination finale. Le mot et devrait donc être remplacé par puis dans ces messages. On ne rencontre jamais ce genre d’erreur dans le langage courant.

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 ils sont énoncés.

Un oiseau est un animal ailé et ovipare.

Ses yeux sont bruns et le ciel est bleu.

Le ciel est bleu et ses yeux sont bruns.

Je n’aime une personne que si elle est cultivée et sympathique et drôle et généreuse.


majeure

(Date à préciser) Dérivé de majeur, avec le suffixe -eure.

Attribut de la conclusion, qui a plus d'extension que le sujet.

Je pense, donc je suis, n'est pas un enthymème dont la majeure serait : « Point de phénomène sans substance », ou : « Point d'action sans agent.»

Jules Simon, en introduction de « Œuvres de Descartes », édition Charpentier à Paris, 1845


majeur

majeurs (plural masculine)
majeure (singular feminine)
majeures (plural feminine)

ordre majeur

la prêtrise, le diaconat, le sous-diaconat, par opposition aux quatre ordres mineurs

tierce majeure

aux cartes, as, roi, dame de la même couleur

quarte majeure

aux cartes, as, roi, dame, valet de la même couleur

quinte majeure

aux cartes, as, roi, dame, valet, dix de la même couleur

Attribut de la conclusion, qui a plus d’extension que le sujet.

Terme majeur d’un syllogisme.

La proposition majeure, la première des prémisses, formée du terme majeur de la conclusion et du terme moyen.

Je vous accorde la majeure et vous nie la mineure.


universel

Ce qu’il y a de commun dans les individus d’un même genre, d’une même espèce.

Toujours on commence par une vue de l’ensemble, puis on va de l’universel au particulier; puis enfin, après avoir étudié en détail chaque partie du tout, on reconstruit ce tout qu’on avait décomposé, et ainsi, on finit comme on avait commencé, par des encyclopédies.

Jean-Jacques Ampère, La Chine et les travaux d’Abel Rémusat, Revue des Deux Mondes, 1832, tome 8

L’universel a parte rei. - L’universel a parte mentis.


catégorie

(1564) Du latin categoria, issu du grec ancien κατηγορία, katêgoria (« accusation, catégorie ») dérivé de κατηγορέω, katēgoreō (« accuser, parler contre ») de κατά, kata (« contre ») et ἀγορεύω, agoreuō (« parler »). Le Bailly ^([1]) ne mentionne que le sens de « accusation », en latin cătēgŏrĭa ne prend son sens moderne que tardivement, chez Augustin d’Hippone et Isidore de Séville lequel traduit le mot grec par praedicamentum (« prédicat »), sens qui est dû aux Catégories d’Aristote, ouvrage fondamental de la philosophie hellénistique qui dresse les bases de la pensée, du discours philosophique.

Classe dans laquelle on range plusieurs choses qui sont d’espèce différente, mais qui appartiennent à un même genre.

L’esprit humain conçoit toute chose sous la catégorie du temps et de l’espace.


non

Du latin non. Il connaît une variation nun en ancien français et nan en français familier.


diégèse

Du grec ancien διήγησις, diếgêsis. Ce terme a été créé en 1950 par Étienne Souriau et les chercheurs de l’Institut de filmologie de Paris qui avaient besoin de cet outil pour analyser des films. Cette notion s’applique cependant à tout art représentatif.

La diégèse n’est pas la réalité extérieure : cette notion ne s’embarrasse pas des frontières entre fiction et réalité.

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 supposait vraie.


jugement

(Vers 1100) Dérivé de juger avec le suffixe nominal -ment.

judgment

Acte de juger ou résultat de cette action

judgment

Approbation ou condamnation de quelque action morale

judgment

Faculté de l’entendement qui compare et qui juge

NOTE : Le mot « jugement » demande une explication. On peut parler d’« un jugement qui a été porté par un juge contre un criminel » ou encore de « jugeote », de « bon sens ». Quand je dis qu’il ne faut pas se juger, c'est évidemment dans le premier sens : il ne faut pas se condamner. C’est le sens qu'emploie l’Évangile lorsqu’il dit : Ne jugez pas et vous ne serez pas jugé. Mais s’il faut arrêter de juger (de condamner), il est par ailleurs essentiel de garder sa jugeote, sa capacité de juger de la valeur des choses, d’utiliser son jugement, puisque c’est justement cela que nous avons perdu dans l’aventure de la dépendance alcoolique ou du fait que nous avons perdu « la maîtrise de notre vie »; …. — (Placide Gaboury, Sérénité en 12 étapes, éditions de Mortagne, Boucherville (Québec), 2ᵉ édition, 2017, page 61)

Acte par lequel on affirme ou nie une chose.

Tout jugement qu’on exprime est une proposition.


postulat

Proposition que le géomètre demande qu’on lui accorde au commencement d’une discussion, bien qu’elle ne soit ni démontrée ni évidente, parce qu’il ne voit pas d’autre principe auquel il puisse rattacher une vérité ou des vérités qu’on ne saurait mettre en doute. Autrement dit une proposition première indémontrable ou indémontrée, et que le mathématicien demande au lecteur d’accepter. Le postulat n’est pas forcément évident, contrairement à l’axiome.

Le postulat d’Euclide est appelé parfois "Le postulatum d’Euclide".

en remplaçant le postulat d’Euclide par des postulats qui lui sont contraires, on élabore des géométries cohérentes du point de vue logique, mais qui semblent ne pas refléter la réalité du monde


discursif

(Date à préciser) Du latin discursivus (« discours ») Référence nécessaire.

discursifs (plural masculine)
discursive (singular feminine)
discursives (plural feminine)

Qui passe d'une proposition à une autre par le raisonnement.


prédicat

(XIVᵉ siècle) Du latin praedicatum (« attribut »), de praedicare (« proclamer, prêcher »).

groupe verbal

(Linguistique) Partie de la phrase qui dit quelque chose à propos du sujet

Attribut d’une proposition, d’un jugement.

Calcul des prédicats, par opposition au calcul des propositions, partie de la logique analysant les propositions en attribut et quantificateurs, et établissant les propriétés opératoires des systèmes logiques composés de ces éléments.

Le fait de considérer un ensemble de prédicats comme la définition d’un objet, puis comme un attribut constitutif d’un autre objet, ne constitue pas une innovation. Référence nécessaire

Expression incomplète du type «... est un homme », «... est plus petit que... », qui devient une proposition si on la complète par un ou plusieurs noms d’objet.

Prédicats unaires, binaires.


vrai

Du latin populaire de Gaule *veracus, forme expressive dérivée de verus (« vrai »).

Une des deux valeurs de vérité de l’algèbre de Boole, signifiant un état vrai, soit 1.


faux

(Adjectif, nom 1) Du latin falsus, de fallere (« tromper »).

(Nom 2) Du latin falx, falcis (sens identique).

wrong

Ce qui n’est pas vrai, ce qui n’est pas conforme à la vérité

Fälschung

Contrefaçon, altération frauduleuse d’actes, d’écritures publiques

plaider le faux pour le vrai

dire à quelqu’un une chose qu’on sait être fausse, pour l’amener à dire la vérité

Une des deux valeurs de vérité de l’algèbre de Boole, signifiant un état faux, soit 0.


déduction

Abzug

Action de soustraire une somme d'une autre

Schlussfolgerung

(Didactique) Action de tirer une conséquence, d'inférer une chose d'une autre

Ableitung

(Logique) Procédé par lequel on va de la cause aux effets, du principe aux conséquences, du général au particulier

Procédé par lequel on va de la cause aux effets, du principe aux conséquences, du général au particulier.

Le syllogisme est la principale forme de déduction.

La déduction est opposée à l’induction.


converse

Dérivé de convers, avec le suffixe -erse.

Proposition converse : proposition sur laquelle on opère la conversion, c’est-à-dire dont on change l’attribut en sujet et le sujet en attribut, sans qu’elle cesse d'être vraie.

Nulle pierre n’est homme devient ainsi : Nul homme n’est pierre. La première de ces deux propositions est la converse


mineure

Du latin minor (« le plus petit »). En ancien français menor et puis meneur, il est réécrit mineure en 1342 pour correspondre à l’orthographe latine.

Celle des deux prémisses du syllogisme qui contient le petit terme.

Le syllogisme comprend trois propositions : la majeure, la mineure et la conclusion.

Nier, accorder, prouver la mineure, une mineure.


modal

(XVIᵉ siècle) De mode avec le suffixe adjectival -al, dérivé du latin scolastique modalis.

modaux (plural masculine)
modale (singular feminine)
modales (plural feminine)

Rapporté au sujet selon un mode déterminé (possibilité ou impossibilité, nécessité ou contingence). → voir modale, ellipse de proposition modale.

Proposition modale.

Logique modale, partie de la logique qui étudie les propriétés des propositions modales.


canon

, (Adjectif 2) (XIIIᵉ siècle) Du latin canon, également apparenté à canne. Le mot canon, pour désigner l'ensemble des livres du Nouveau Testament reconnus par l'Église, apparaît pour la première en grec (kanôn) sous la plume d'Athanase d'Alexandrie, dans sa lettre Au sujet du concile de Nicée (écrite vers 347-348). Le même mot grec signifiait littéralement jusque là « règle », « mesure ». Il dérive peut-être du mot hébreu qaneh, qui désigne un roseau, une canne à mesurer, même si les Juifs n'utilisent jamais ce mot dans le sens de « canon » scripturaire

Kanon

polyphonie d’un thème se superposant à lui-même tout en étant décalé dans le temps

Norme pratique de raisonnement logique ou canonique.

Les canons de J. Stuart Mill.


corollaire

(Date à préciser) Du latin corollarium → voir corolle et -aire.

Énoncé directement déduit d'un autre déjà prouvé ou admis.

Le théorème d’Al-Kashi a pour corollaire le théorème de Pythagore.

Le théorème 1 peut donc être vu comme un corollaire du théorème 2.

Éric Delaygue, Propriétés arithmétiques des applications miroir, Institut Fourier, 2011, page 14

Corollaire de la conjecture de Mogridge (1990), selon laquelle le développement de la voirie en milieu urbain ne réduit pas la congestion, la régulation de la mobilité par la congestion est avancée par les économistes.

Iragael Joly, L’allocation au temps de transport, Université Lumière Lyon 2, 2005


cornu

Du latin cornutus, de cornu (« corne »).

cornus (plural masculine)
cornue (singular feminine)
cornues (plural feminine)

On donnait le nom d’argument cornu à cet argument-ci : Vous avez ce que vous n'avez pas perdu ; or vous n'avez pas perdu des cornes ; donc vous avez des cornes.

Etienne Bonnot de Condillac, Historique ancien III, 18

(Sens figuré)'Lièvres cornus', idées folles, extravagantes, ainsi dites parce que les lièvres n'ont pas de cornes.

Et de lièvres cornus le cerveau [ils] nous barbouillent.

Tous vos beaux arguments cornus Pour me persuader de vivre Et pour m’obliger à vous suivre, N'étaient donc que pour m’attraper.


universellement

Dérivé de universel, par son féminin universelle, avec le suffixe -ment.

En embrassant un genre, une classe ou toute chose.

Les termes ne doivent pas être pris plus universellement dans la conclusion, qu’ils ne l’ont été dans les prémisses,


transformation des propositions

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-transformation des propositions.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-transformation des propositions.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-transformation des propositions.wav

Se dit des diverses traductions que l'on peut faire subir à une proposition sans en changer le sens.


argument

argument

(Logique) Raisonnement construit selon certaines règles, par lequel on tire méthodiquement une conséquence d’une ou de deux propositions.

Argument

Indice, preuve qui sert à affirmer ou à nier un fait.

memoari

(Vieilli) Partie d’une thèse soutenue publiquement dans une université.

Argument

(Mathématiques) Inverse d'une fonction hyperbolique.

argument

(Programmation) Paramètre fourni lors de l’appel à une fonction ou à un programme.

Raisonnement construit selon certaines règles, par lequel on tire méthodiquement une conséquence d’une ou de plusieurs propositions.

Les mystères, étant supra-rationnels, ne sauraient être démontrés ; mais, comme ils ne sont pas pour cela anti-rationnels, les arguments qui tendent à établir qu’ils sont absurdes n’ont aucune valeur probante et peuvent être apodictiquement réfutés.

Louis Rougier, Histoire d’une faillite philosophique: la Scolastique, 1925, éd.1966

Personne ne pouvait prononcer une phrase, dire un mot, apprécier un argument, juger un fait sans qu’aussitôt les autres ne demandassent : « la conclusion ? »

Louis Pergaud, Un point d’histoire, dans Les Rustiques, nouvelles villageoises, 1921


abduction

(1541) Du latin abductio (« expulsion, enlèvement, écartement ») reconstitué dans le langage savant.

Suivant une reconstitution parallèle quoique plus tardive en anglais, le mot est revenu en français au XXᵉ siècle dans un sens spécialisé en ufologie.

Abduktion

Écartement des muscles de la ligne médiane du corps

abduktion

Action d'inférer les prémisses les plus vraisemblables

Action d’inférer les prémisses les plus vraisemblables permettant de parvenir, par déduction, à une conclusion concordante aux observations.

Percy Spencer avait des bonbons chocolatés dans la poche de sa chemisette […]. Il s’aperçut qu’ils avaient fondu […]. Il n’y avait pas d’autre explication que celle qui conduisit à l’abduction suivante : ils avaient été réchauffés par les ondes du magnétron près duquel il venait de passer

Pek Van Andel & Danièle Bourcier, De la sérendipité, Herrmann, 2013, page 143

L’abduction est utilisée pour faire des diagnostics.

Le raisonnement par abduction est un composant important de la démarche scientifique.

Patrice Degoulet, Marius Fieschi, Informatique médicale, 1998

Peirce a développé la logique de l’abduction, le raisonnement sérendipien par excellence, en s’affranchissant des limites de l’épistémologie positiviste.

Sylvie Catellin, « Sérendipité et réflexivité », Alliage, nᵒ 70, juillet 2012


contradiction

(Date à préciser) Du latin contradictio.

Connecteur logique, relation existant entre deux ou plusieurs termes ou deux ou plusieurs propositions dont l’un(e) affirme ce que l’autre nie.


convertible

(Siècle à préciser) Du latin convertibilis.

Qui peut devenir la converse d’une autre.

Cette proposition est convertible en telle autre.


proposition

Vorschlag

Action de proposer, de soumettre à un examen, à une délibération. (Sens général).

propozimesh

(Spécialement) (Par ellipse) Proposition de loi.

Teilsatz

(Grammaire) Membre de phrase composé essentiellement d’un sujet et d’un verbe et accessoirement d’un complément ou d’un attribut.

Énoncé doué d’une valeur de vérité, généralement le vrai ou le faux.

Une phrase impérative ou interrogative n’est pas une proposition logique.


dual

duaux (plural masculine)
duale (singular feminine)
duales (plural feminine)
duals (plural masculine)
duale (singular feminine)
duales (plural feminine)

Le CNRTL indique le masculin pluriel « duaux », dans TLFi, Le Trésor de la langue française informatisé, 1971–1994 → consulter cet ouvrage.

On voit aussi le masculin pluriel duals. Par exemple : Définition générale des problèmes duals — (Michel Simonnard, Xavier Choutet, Programmation linéaire: technique de calcul économique, 1972), ou encore Eléments corrélatifs ou duals — (Jean Lagasse, Étude des circuits électriques, 1962)

Se dit de propriétés qui sont par deux et qui présentent un caractère de réciprocité.

Les relations d’inégalité sont duales.


affirmation

Expression par laquelle une proposition est affirmative.

L’affirmation est opposée à la négation.


description

(1160) Du moyen français description, de l’ancien français, emprunt au latin descriptio (« description »), lui-même de descriptum, supin de describo, de scribo (« déchirer, gratter, graver », d’où « écrire », car les premières formes d’écriture était gravée sur des tablettes), de l’indo-européen commun *(s)kerībh-, extension de *(s)ker (« couper ») ; avec le préfixe de-.


analyse

[[:Modèle:XVIème siècle, de ἁναλύω, analuô (« délier »), de ἀνά, ana (« en haut »), et λύω, luô (« relâcher »).

anàlisi

Recherche des éléments d’un corps composé

anàlisi

Décomposition d’une phrase en ses éléments

anàlisi

Décomposition d’une proposition en ses parties

analysis

Emploi du calcul algébrique, du calcul différentiel ou du calcul intégral

analiza

Résumé, précis raisonné d’un ouvrage d’esprit

Un des procédés généraux de la pensée, qui consiste à décomposer un tout en ses éléments, à l’inverse de la synthèse qui (re)compose un tout à partir de ses éléments .

Cette remarque pose, d’ailleurs, à l’historien, un problème. L’analyse qui est la sienne s’appuie sur SA lecture, véritable relecture dans un contexte parfaitement différent.

Yvonne Turin, Littérature engagée et anticolonialisme européen dans l’Algérie du Centenaire: le cas singulier d’Albert Truphémus, dans la Revue d’Histoire moderne et contemporaine, tome XXIII, 1976, page 617

L’actualité fonce, les questions se bousculent, le temps manque pour l’analyse.

Harold Hyman, Alain Wang, Géopolitiquement correct et incorrect, 2014


exhaustion

Du latin exhaustio (« action d’épuiser »), dérivé du supin exhaustum de exhaurio (« épuiser »).

Énumération de tous les cas possibles dans une question.

L’induction est impossible, car elle suppose l’exhaustion de tous les singuliers.

Diderot, Opinions des anciens philosophes


trilemme

Du préfixe latin tri- et du mot français dilemme (latin dilemma, grec διλημμα).

On doit ce terme notamment à Gilbert Keith Chesterton et son trilemme sur les assertions du Christ sur sa divinité.

Situation de raisonnement dans laquelle trois prémisses incompatibles ou contradictoires peuvent aboutir toutes les trois à la même solution.


affirmatif

(XIIIᵉ siècle) Dérivé du bas latin affirmativus.

affirmatifs (plural masculine)
affirmative (singular feminine)
affirmatives (plural feminine)

(d’une affirmation logique) Qualifie une proposition par laquelle on affirme une chose.

Une proposition affirmative.

Les formes affirmative et négative.


antilogie

(Siècle à préciser) Du grec ancien ἀντιλογία, antilogía.

Contradiction entre quelques idées d’un même discours.

Car ce serait rester dans l’antinomie construite par l’antilogie de Zénon.

Alain Séguy-Duclot, Le Parménide de Platon, ou, Le jeu des hypothèses, 1998


antécédent

avoir de fâcheux antécédents

avoir eu une conduite antérieure blâmable

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.

Je vous accorde l’antécédent, mais je vous nie la conséquence.


affirmer

affirmer (infinitive present)
avoir affirmé (infinitive past)
en affirmant (gerund present)
en ayant affirmé (gerund past)
affirmant (participle present)
affirmé (participle past)
j’affirme (indicative present)
tu affirmes (indicative present)
il/elle/on affirme (indicative present)
nous affirmons (indicative present)
vous affirmez (indicative present)
ils/elles affirment (indicative present)
j’ai affirmé (indicative past multiword-construction)
tu as affirmé (indicative past multiword-construction)
il/elle/on a affirmé (indicative past multiword-construction)
nous avons affirmé (indicative past multiword-construction)
vous avez affirmé (indicative past multiword-construction)
ils/elles ont affirmé (indicative past multiword-construction)
j’affirmais (indicative imperfect)
tu affirmais (indicative imperfect)
il/elle/on affirmait (indicative imperfect)
nous affirmions (indicative imperfect)
vous affirmiez (indicative imperfect)
ils/elles affirmaient (indicative imperfect)
j’avais affirmé (indicative pluperfect)
tu avais affirmé (indicative pluperfect)
il/elle/on avait affirmé (indicative pluperfect)
nous avions affirmé (indicative pluperfect)
vous aviez affirmé (indicative pluperfect)
ils/elles avaient affirmé (indicative pluperfect)
j’affirmai (indicative past)
tu affirmas (indicative past)
il/elle/on affirma (indicative past)
nous affirmâmes (indicative past)
vous affirmâtes (indicative past)
ils/elles affirmèrent (indicative past)
j’eus affirmé (indicative past anterior)
tu eus affirmé (indicative past anterior)
il/elle/on eut affirmé (indicative past anterior)
nous eûmes affirmé (indicative past anterior)
vous eûtes affirmé (indicative past anterior)
ils/elles eurent affirmé (indicative past anterior)
j’affirmerai (indicative future)
tu affirmeras (indicative future)
il/elle/on affirmera (indicative future)
nous affirmerons (indicative future)
vous affirmerez (indicative future)
ils/elles affirmeront (indicative future)
j’aurai affirmé (indicative future perfect)
tu auras affirmé (indicative future perfect)
il/elle/on aura affirmé (indicative future perfect)
nous aurons affirmé (indicative future perfect)
vous aurez affirmé (indicative future perfect)
ils/elles auront affirmé (indicative future perfect)
que j’affirme (subjunctive present)
que tu affirmes (subjunctive present)
qu’il/elle/on affirme (subjunctive present)
que nous affirmions (subjunctive present)
que vous affirmiez (subjunctive present)
qu’ils/elles affirment (subjunctive present)
que j’aie affirmé (subjunctive past)
que tu aies affirmé (subjunctive past)
qu’il/elle/on ait affirmé (subjunctive past)
que nous ayons affirmé (subjunctive past)
que vous ayez affirmé (subjunctive past)
qu’ils/elles aient affirmé (subjunctive past)
que j’affirmasse (subjunctive imperfect)
que tu affirmasses (subjunctive imperfect)
qu’il/elle/on affirmât (subjunctive imperfect)
que nous affirmassions (subjunctive imperfect)
que vous affirmassiez (subjunctive imperfect)
qu’ils/elles affirmassent (subjunctive imperfect)
que j’eusse affirmé (subjunctive pluperfect)
que tu eusses affirmé (subjunctive pluperfect)
qu’il/elle/on eût affirmé (subjunctive pluperfect)
que nous eussions affirmé (subjunctive pluperfect)
que vous eussiez affirmé (subjunctive pluperfect)
qu’ils/elles eussent affirmé (subjunctive pluperfect)
j’affirmerais (conditional present)
tu affirmerais (conditional present)
il/elle/on affirmerait (conditional present)
nous affirmerions (conditional present)
vous affirmeriez (conditional present)
ils/elles affirmeraient (conditional present)
j’aurais affirmé (conditional past)
tu aurais affirmé (conditional past)
il/elle/on aurait affirmé (conditional past)
nous aurions affirmé (conditional past)
vous auriez affirmé (conditional past)
ils/elles auraient affirmé (conditional past)
affirme (imperative present)
affirmons (imperative present)
affirmez (imperative present)
aie affirmé (imperative past)
ayons affirmé (imperative past)
ayez affirmé (imperative past)
s’affirmer (pronominal)

Toute proposition affirme ou nie.

Ce sont vos affirmations qui provoquent et justifient mes négations. Cessez d’affirmer et je cesserai de nier.

Sébastien Faure, Douze preuves de l'inexistence de Dieu, conférence de 1908


appréhension

Verständnis

Action de saisir les choses par l’esprit (1)

Idée qu’on prend d’une chose sans en porter alors aucun jugement.

La simple appréhension est la première opération de l’esprit.


proposition alternative

Proposition qui contient deux affirmations, dont l’une exclut l’autre.

« Il faut ou payer, ou rendre. » est une proposition alternative.


assomption

Du latin assumptio (« action de prendre »).

Seconde proposition d’un syllogisme (mineure).

Dans le stoïcisme, hypothèse, notion de base que l’on considère comme étant valide d’avance.

Les Stoïciens appelaient ces principes (originairement contenus dans l'âme) notions communes, prolepses, c’est-à-dire des assomptions fondamentales ou ce qu’on prend pour accordé par avance.


attribut

Du latin médiéval attributum (de attribuere).

atribut

Ce qui est propre à un être, à une chose

Prädikativum

Fonction grammaticale qui attribue une qualité ou une propriété au moyen d’un verbe

attribute

Ce qui caractérise une figure mythologique ou allégorique

Ce qui s’affirme ou se nie du sujet d’une proposition.

Dans : Dieu est tout-puissant, « Dieu » est le sujet et tout-puissant est l’attribut.


compréhensif

compréhensifs (plural masculine)
compréhensive (singular feminine)
compréhensives (plural feminine)

verständnisvoll

Qui a la faculté de comprendre, de saisir par l’esprit.

verständnisvoll

Capable de comprendre les sentiments d’autrui.

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 les propriétés communes qui les relient.

Terme compréhensif : Qui embrasse dans sa signification un nombreplus ou moinsgrand d’êtres, de choses, d’idées.


compréhension

(1372) Emprunté au latin comprehensio, dérivé de comprehendere « saisir ensemble », « embrasser par la pensée ».

Joseph Halévy (1827-1917) qui, le premier défendit la thèse de l’identité entre Hammurabi et l’Amraphel biblique, ont aidé à la compréhension des inscriptions suméro-akkadiennes.

Léon Berman, Histoire des Juifs de France des origines à nos jours, 1937

La compréhension de ce terme est très étendue.


conditionnel

Dérivé de condition, avec le suffixe -el.

conditionnels (plural masculine)
conditionnelle (singular feminine)
conditionnelles (plural feminine)

Les conjonctions conditionnelles sont celles qui désignent, entre les propositions, une liaison conditionnelle d’existence, fondée sur ce que la seconde est une suite de la supposition de la première.

Encyclopédie méthodique ou par ordre de matières: grammaire et littérature, Paris : Panckoucke & Liège : Plomteux, 1782, vol.1, page 455

Proposition conditionnelle.


consistance

Composé de consister et du suffixe -ance.

Widerspruchsfreiheit

État d’un corps qui prend un certain degré de solidité.

consistency

État d’un corps dont les parties sont liées entre elles de manière à offrir une certaine résistance.

Konsistenz

(Sens figuré) Stabilité, fixité, permanence.

nite

(Droit) Il désigne Ce en quoi consiste une succession ou un domaine et ses dépendances.

consistency

(Logique) Absence d'énoncé contradictoire d'une théorie.


conjonction

Du latin conjunctio qui donne l’ancien français conjoncion.

Zusammentreffen

Rencontre apparente de deux planètes dans un même point de quelque signe

conjonction adversative

« mais » est une conjonction adversative.

Connecteur logique binaire, synonyme de et logique.


conséquence

(1253) Emprunté au latin consequentia (« suite, succession »), dérivé de consequi (« suivre, venir après »).

Folge

Suite qu’une action ou un évènement peut avoir

de conséquence

qui indique qu’une action ou un état est la conséquence du fait exprimé par la proposition principale

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.

Tirer une conséquence. - La conséquence est fausse. - Suivre toutes les conséquences d’un principe, en admettre toutes les conséquences. - Les conséquences qui découlent, qui résultent d’un principe.


contradictoire

(Siècle à préciser) Du bas latin contradictorius.

Cette affirmation est la contradictoire de telle autre.

Dans un livre divin, en effet, tout est vrai, et, deux contradictoires ne pouvant être vraies à la fois, il ne doit s’y trouver aucune contradiction.

Ernest Renan, Souvenirs d’enfance et de jeunesse, 1883, collection Folio, page 167.


convers

Du latin conversus, désigne celui qui s’est détourné du monde pour se tourner vers Dieu.

converse (singular feminine)
converses (plural feminine)

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 seconde, sans que la proposition cesse d’être vraie. → voir converse

La proposition : « Tout ce qui est matière est impénétrable », est converse de celle-ci : « Tout ce qui est impénétrable est matière ».


copule

Emprunté au latin copula (« chaîne », « laisse », « lien », « crampon », « grappin », « doublet », « couple », et, au figuré : « union » entre deux êtres ou deux entités). Copula est issu du latin cum (avec) et du latin apere (attacher).

Verbe être qui lie le prédicat au sujet.


déductif

(1842) Du latin deductivus (« dérivé »), de deductum, deducere, « déduire ».

déductifs (plural masculine)
déductive (singular feminine)
déductives (plural feminine)

La méthode déductive.

Les théories déductives.


dénombrement

Dérivé de dénombrer, avec le suffixe -ment.

Énonciation dans les prémisses de données dont dépend la conclusion.


détachement

(Siècle à préciser) Dérivé de détacher, avec le suffixe -ment.

detachment

Action de se détacher ou état de celui qui s’est détaché d’une passion, etc.

detachment

(Militaire) Groupe de soldats ou troupe qu’on a détachée d’un corps plus considérable pour quelque service.

modus ponens

(Logique) Figure du raisonnement logique concernant l’implication, qui pose l’antécédent pour déduire le conséquent

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.
(3) Donc Q.


diérèse

(1529) Du latin grammatical diaeresis (« séparation »), du grec ancien διαίρεσις, diaíresis (« division, séparation »).

diaeresis

Séparation d’une diphtongue en deux syllabes

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 dans l’arbre de Porphyre.

Parmi les corps, les animés et les non-animés (tels les minéraux ou les plantes), parmi les animés ceux doués de raison (les hommes) et ceux qui ne le sont pas.


disjonction

Dérivé de jonction, avec le préfixe dis-.

Depuis 1300 (« action de séparer »), en passant en 1575 en médecine (« résultat de la séparation d’os »). Emprunté au latin classique disjunction (« séparation »), terme de grammaire et de médecine en latin médiéval.

Jusqu’au XIXᵉ siècle, le s était muet (\di.ʒɔ̃k.sjɔ̃\) ^([1]).

Connecteur logique binaire, synonyme de ou logique.


distributif

distributifs (plural masculine)
distributive (singular feminine)
distributives (plural feminine)

Sens distributif. — « Chacun » est un pronom distributif, et « chaque », un adjectif distributif.


enthymème

(XVᵉ siècle) Du latin enthymema emprunté au grec ἐνθύμημα, enthúmêma (« ce qu'on a dans l'esprit, réflexion, pensée », « argument, enthymème »).

Forme de raisonnement dans laquelle on réduit le syllogisme à deux propositions, dont la première est appelée « antécédent » et la seconde « conséquent ».

Voyons un peu si, sans employer les enthymèmes des Stoïciens, je pourrai vous prouver cela par quelque bon exemple bien saisissable.

Érasme, Éloge de la Folie, 1509, traduction par G. Lejeal.

[« Je pense, donc je suis »] n’est pas un enthymème dont la majeure serait : « Point de phénomène sans substance », ou : « Point d’action sans agent. »

Jules Simon, Introduction de Œuvres de Descartes, édition Charpentier, Paris, 1845

On peut même sous-entendre l'une des deux prémisses, lorsqu'elle est évidente ; c'est ce qui fait l'enthymème, syllogisme abrégé qui convient beaucoup mieux à un raisonnement rapide, et que préfère l'orateur lorsqu'il veut être véhément et pressant.

Jean-François Marmontel, Élém. litt. Oeuv. t. IX, p. 507, dans POUGENS

Si l'on dit que c'est le matin, car le soleil se lève, on fait un enthymème, car on omet la prémisse majeure du raisonnement (le soleil se lève toujours le matin), prémisse qui est souvent considérée vraie par expérience ou probabilité, sans être cependant fondée logiquement ou dans les faits.

Charles Le Blanc, Le complexe d'Hermès, Presses de l'Université d'Ottawa, 2009, p. 116


épichérème

(Siècle à préciser) Via le latin epichirema, du grec ἐπιχείρημα, epikeírêma (« brève argumentation, épichérème »).

Syllogisme dans lequel une ou plusieurs prémisses sont accompagnées d’une preuve, d’une explication ou d’une définition.

Le philosophème est un syllogisme apodictique, l'épichérème un syllogisme dialectique, le sophisme un syllogisme éristique et l'aporème, un syllogisme dialectique de contradiction.

Ce premier épichérème soulève une question générale : la condition de comédien est-elle un malheur ?

Marc Fumaroli, Héros et orateurs : Rhétorique et dramaturgie cornéliennes, 1990


équivalence

Relation entre deux propositions ou affirmations ayant même valeur de vérité.

Si dit d’une situation où deux propositions ont la même valeur de vérité.


extrême

Du latin extremus (« le plus à l’extérieur »), superlatif de exter, « extérieur ».

le produit des extrêmes est égal au produit des moyens

Le mot extrême se prononce aussi [ɛks.tʁɛm] en français québécois, la prononciation [ɛks.tʁaɪ̯m] ne semble pas attestée.

L'un des deux termes du syllogisme, le grand ou le petit, par opposition au moyen.


extension

Du latin extensio, « action d’étendre ».

f'aresol

Propriété d’un corps d’avoir une étendue

extension

(Sémantique) Capacité du sens d’un terme d’inclure un nombre important d’objets référents

extension

(Grammaire) Action d’étendre la signification d’un mot

kiterjesztés

(Informatique) Suffixe indiquant un format de fichier

add-on

(Informatique) Programme ajoutant des fonctions supplémentaires

Désignation d’un ensemble d’éléments par énumération explicite de chacun des cas correspondant.


général

Du latin generālis (« qui appartient à une race, un genre, général »). Le substantif militaire date de la Renaissance, auparavant capitaine general (1508).

Faits, principes généraux, par opposition aux faits particuliers.

On ne doit point conclure du particulier au général.


implication

Contradiction, au sujet de propositions contradictoires.

Il y a de l’implication, il y a implication dans ces deux propositions.

Relation logique entre deux propositions ou affirmations telles que la réalisation de la première entraine la réalisation de la seconde.


inférence

« L’analyse du témoignage du plaignant … permet de tirer l’inférence qu’il se donne comme mission de convaincre le tribunal, ce qui n’est pas un problème en soi, a expliqué le juge. Cependant, il le fait parfois au détriment de la vérité. »

MichaëlNguyen, « Éric Salvail acquitté à son tour », Le journal de Montréal, 19 décembre 2020


impliquer

impliquer (infinitive present)
avoir impliqué (infinitive past)
en impliquant (gerund present)
en ayant impliqué (gerund past)
impliquant (participle present)
impliqué (participle past)
j’implique (indicative present)
tu impliques (indicative present)
il/elle/on implique (indicative present)
nous impliquons (indicative present)
vous impliquez (indicative present)
ils/elles impliquent (indicative present)
j’ai impliqué (indicative past multiword-construction)
tu as impliqué (indicative past multiword-construction)
il/elle/on a impliqué (indicative past multiword-construction)
nous avons impliqué (indicative past multiword-construction)
vous avez impliqué (indicative past multiword-construction)
ils/elles ont impliqué (indicative past multiword-construction)
j’impliquais (indicative imperfect)
tu impliquais (indicative imperfect)
il/elle/on impliquait (indicative imperfect)
nous impliquions (indicative imperfect)
vous impliquiez (indicative imperfect)
ils/elles impliquaient (indicative imperfect)
j’avais impliqué (indicative pluperfect)
tu avais impliqué (indicative pluperfect)
il/elle/on avait impliqué (indicative pluperfect)
nous avions impliqué (indicative pluperfect)
vous aviez impliqué (indicative pluperfect)
ils/elles avaient impliqué (indicative pluperfect)
j’impliquai (indicative past)
tu impliquas (indicative past)
il/elle/on impliqua (indicative past)
nous impliquâmes (indicative past)
vous impliquâtes (indicative past)
ils/elles impliquèrent (indicative past)
j’eus impliqué (indicative past anterior)
tu eus impliqué (indicative past anterior)
il/elle/on eut impliqué (indicative past anterior)
nous eûmes impliqué (indicative past anterior)
vous eûtes impliqué (indicative past anterior)
ils/elles eurent impliqué (indicative past anterior)
j’impliquerai (indicative future)
tu impliqueras (indicative future)
il/elle/on impliquera (indicative future)
nous impliquerons (indicative future)
vous impliquerez (indicative future)
ils/elles impliqueront (indicative future)
j’aurai impliqué (indicative future perfect)
tu auras impliqué (indicative future perfect)
il/elle/on aura impliqué (indicative future perfect)
nous aurons impliqué (indicative future perfect)
vous aurez impliqué (indicative future perfect)
ils/elles auront impliqué (indicative future perfect)
que j’implique (subjunctive present)
que tu impliques (subjunctive present)
qu’il/elle/on implique (subjunctive present)
que nous impliquions (subjunctive present)
que vous impliquiez (subjunctive present)
qu’ils/elles impliquent (subjunctive present)
que j’aie impliqué (subjunctive past)
que tu aies impliqué (subjunctive past)
qu’il/elle/on ait impliqué (subjunctive past)
que nous ayons impliqué (subjunctive past)
que vous ayez impliqué (subjunctive past)
qu’ils/elles aient impliqué (subjunctive past)
que j’impliquasse (subjunctive imperfect)
que tu impliquasses (subjunctive imperfect)
qu’il/elle/on impliquât (subjunctive imperfect)
que nous impliquassions (subjunctive imperfect)
que vous impliquassiez (subjunctive imperfect)
qu’ils/elles impliquassent (subjunctive imperfect)
que j’eusse impliqué (subjunctive pluperfect)
que tu eusses impliqué (subjunctive pluperfect)
qu’il/elle/on eût impliqué (subjunctive pluperfect)
que nous eussions impliqué (subjunctive pluperfect)
que vous eussiez impliqué (subjunctive pluperfect)
qu’ils/elles eussent impliqué (subjunctive pluperfect)
j’impliquerais (conditional present)
tu impliquerais (conditional present)
il/elle/on impliquerait (conditional present)
nous impliquerions (conditional present)
vous impliqueriez (conditional present)
ils/elles impliqueraient (conditional present)
j’aurais impliqué (conditional past)
tu aurais impliqué (conditional past)
il/elle/on aurait impliqué (conditional past)
nous aurions impliqué (conditional past)
vous auriez impliqué (conditional past)
ils/elles auraient impliqué (conditional past)
implique (imperative present)
impliquons (imperative present)
impliquez (imperative present)
aie impliqué (imperative past)
ayons impliqué (imperative past)
ayez impliqué (imperative past)

implizieren

(Mathématiques) (Logique) (Suivi d’un COD) Logique mathématique

Notons que le terme association a été très mal choisi. Il n’implique pas que les plantes se prêtent une aide quelconque. En général, elles sont concurrentes.

Henri Gaussen, Géographie des Plantes, Armand Colin, 1933, p.114

André plaisanta sur la distribution de l'espace. Elle impliquait, nous dit-il, pour autant qu'on voulût circuler à l'intérieur du chalet, qu'on orbitât sans fin autour du bloc-toilettes.

Christian Oster, Loin d'Odile, Éditions de Minuit, 1998/2001

L’idée d’homme implique les idées d’intelligence et de volonté.

La déclaration que vous avez faite implique nécessairement que vous connaissiez cette personne.

Vous dites qu’il est sage, et vous avouez qu’il ne fait que des folies ; cela implique contradiction.

La considération n’implique pas le mérite.

La science n’implique pas la vertu.

Ne pas pouvoir être vrai quand la proposition logique visée est fausse.

La proposition A implique la proposition B ; or la proposition A est vraie, donc la proposition B l’est aussi.

x= -2 implique x²= 4.


induire

induire (infinitive present)
avoir induit (infinitive past)
en induisant (gerund present)
en ayant induit (gerund past)
induisant (participle present)
induit (participle past)
j’induis (indicative present)
tu induis (indicative present)
il/elle/on induit (indicative present)
nous induisons (indicative present)
vous induisez (indicative present)
ils/elles induisent (indicative present)
j’ai induit (indicative past multiword-construction)
tu as induit (indicative past multiword-construction)
il/elle/on a induit (indicative past multiword-construction)
nous avons induit (indicative past multiword-construction)
vous avez induit (indicative past multiword-construction)
ils/elles ont induit (indicative past multiword-construction)
j’induisais (indicative imperfect)
tu induisais (indicative imperfect)
il/elle/on induisait (indicative imperfect)
nous induisions (indicative imperfect)
vous induisiez (indicative imperfect)
ils/elles induisaient (indicative imperfect)
j’avais induit (indicative pluperfect)
tu avais induit (indicative pluperfect)
il/elle/on avait induit (indicative pluperfect)
nous avions induit (indicative pluperfect)
vous aviez induit (indicative pluperfect)
ils/elles avaient induit (indicative pluperfect)
j’induisis (indicative past)
tu induisis (indicative past)
il/elle/on induisit (indicative past)
nous induisîmes (indicative past)
vous induisîtes (indicative past)
ils/elles induisirent (indicative past)
j’eus induit (indicative past anterior)
tu eus induit (indicative past anterior)
il/elle/on eut induit (indicative past anterior)
nous eûmes induit (indicative past anterior)
vous eûtes induit (indicative past anterior)
ils/elles eurent induit (indicative past anterior)
j’induirai (indicative future)
tu induiras (indicative future)
il/elle/on induira (indicative future)
nous induirons (indicative future)
vous induirez (indicative future)
ils/elles induiront (indicative future)
j’aurai induit (indicative future perfect)
tu auras induit (indicative future perfect)
il/elle/on aura induit (indicative future perfect)
nous aurons induit (indicative future perfect)
vous aurez induit (indicative future perfect)
ils/elles auront induit (indicative future perfect)
que j’induise (subjunctive present)
que tu induises (subjunctive present)
qu’il/elle/on induise (subjunctive present)
que nous induisions (subjunctive present)
que vous induisiez (subjunctive present)
qu’ils/elles induisent (subjunctive present)
que j’aie induit (subjunctive past)
que tu aies induit (subjunctive past)
qu’il/elle/on ait induit (subjunctive past)
que nous ayons induit (subjunctive past)
que vous ayez induit (subjunctive past)
qu’ils/elles aient induit (subjunctive past)
que j’induisisse (subjunctive imperfect)
que tu induisisses (subjunctive imperfect)
qu’il/elle/on induisît (subjunctive imperfect)
que nous induisissions (subjunctive imperfect)
que vous induisissiez (subjunctive imperfect)
qu’ils/elles induisissent (subjunctive imperfect)
que j’eusse induit (subjunctive pluperfect)
que tu eusses induit (subjunctive pluperfect)
qu’il/elle/on eût induit (subjunctive pluperfect)
que nous eussions induit (subjunctive pluperfect)
que vous eussiez induit (subjunctive pluperfect)
qu’ils/elles eussent induit (subjunctive pluperfect)
j’induirais (conditional present)
tu induirais (conditional present)
il/elle/on induirait (conditional present)
nous induirions (conditional present)
vous induiriez (conditional present)
ils/elles induiraient (conditional present)
j’aurais induit (conditional past)
tu aurais induit (conditional past)
il/elle/on aurait induit (conditional past)
nous aurions induit (conditional past)
vous auriez induit (conditional past)
ils/elles auraient induit (conditional past)
induis (imperative present)
induisons (imperative present)
induisez (imperative present)
aie induit (imperative past)
ayons induit (imperative past)
ayez induit (imperative past)
j’induis (imperative)
tu induis (imperative)
il/elle/on induit (imperative)
nous induîmes (imperative)
vous induîtes (imperative)
ils/elles induirent (imperative)
que j’induisse (imperative)
que tu induisses (imperative)
qu’il/elle/on induît (imperative)
que nous induissions (imperative)
que vous induissiez (imperative)
qu’ils/elles induissent (imperative)

Qu’induisez-vous de là ?

La conséquence que j’en induis.

M. Bergeret en était à ce point de ses considérations politiques lorsque éclata, du côté de la cuisine prochaine, un bruit de graisses répandues sur un brasier ; le maître de conférences en induisit que la jeune Euphémie avait, selon la coutume des jours de gala, renversé sa casserole dans le fourneau, après l’y avoir imprudemment dressée sur une pyramide de charbons.

Anatole France, Le Mannequin d’osier, Calmann Lévy, 1897, réédition Bibliothèque de la Pléiade, 1987, page 878

J’y devine qu’il a dû, la nuit précédente, rêver contre moi, et je n’en induis rien de bon.


infirmer

(XIVᵉ siècle) Du latin infirmare (« affaiblir, rendre infirme »).

infirmer (infinitive present)
avoir infirmé (infinitive past)
en infirmant (gerund present)
en ayant infirmé (gerund past)
infirmant (participle present)
infirmé (participle past)
j’infirme (indicative present)
tu infirmes (indicative present)
il/elle/on infirme (indicative present)
nous infirmons (indicative present)
vous infirmez (indicative present)
ils/elles infirment (indicative present)
j’ai infirmé (indicative past multiword-construction)
tu as infirmé (indicative past multiword-construction)
il/elle/on a infirmé (indicative past multiword-construction)
nous avons infirmé (indicative past multiword-construction)
vous avez infirmé (indicative past multiword-construction)
ils/elles ont infirmé (indicative past multiword-construction)
j’infirmais (indicative imperfect)
tu infirmais (indicative imperfect)
il/elle/on infirmait (indicative imperfect)
nous infirmions (indicative imperfect)
vous infirmiez (indicative imperfect)
ils/elles infirmaient (indicative imperfect)
j’avais infirmé (indicative pluperfect)
tu avais infirmé (indicative pluperfect)
il/elle/on avait infirmé (indicative pluperfect)
nous avions infirmé (indicative pluperfect)
vous aviez infirmé (indicative pluperfect)
ils/elles avaient infirmé (indicative pluperfect)
j’infirmai (indicative past)
tu infirmas (indicative past)
il/elle/on infirma (indicative past)
nous infirmâmes (indicative past)
vous infirmâtes (indicative past)
ils/elles infirmèrent (indicative past)
j’eus infirmé (indicative past anterior)
tu eus infirmé (indicative past anterior)
il/elle/on eut infirmé (indicative past anterior)
nous eûmes infirmé (indicative past anterior)
vous eûtes infirmé (indicative past anterior)
ils/elles eurent infirmé (indicative past anterior)
j’infirmerai (indicative future)
tu infirmeras (indicative future)
il/elle/on infirmera (indicative future)
nous infirmerons (indicative future)
vous infirmerez (indicative future)
ils/elles infirmeront (indicative future)
j’aurai infirmé (indicative future perfect)
tu auras infirmé (indicative future perfect)
il/elle/on aura infirmé (indicative future perfect)
nous aurons infirmé (indicative future perfect)
vous aurez infirmé (indicative future perfect)
ils/elles auront infirmé (indicative future perfect)
que j’infirme (subjunctive present)
que tu infirmes (subjunctive present)
qu’il/elle/on infirme (subjunctive present)
que nous infirmions (subjunctive present)
que vous infirmiez (subjunctive present)
qu’ils/elles infirment (subjunctive present)
que j’aie infirmé (subjunctive past)
que tu aies infirmé (subjunctive past)
qu’il/elle/on ait infirmé (subjunctive past)
que nous ayons infirmé (subjunctive past)
que vous ayez infirmé (subjunctive past)
qu’ils/elles aient infirmé (subjunctive past)
que j’infirmasse (subjunctive imperfect)
que tu infirmasses (subjunctive imperfect)
qu’il/elle/on infirmât (subjunctive imperfect)
que nous infirmassions (subjunctive imperfect)
que vous infirmassiez (subjunctive imperfect)
qu’ils/elles infirmassent (subjunctive imperfect)
que j’eusse infirmé (subjunctive pluperfect)
que tu eusses infirmé (subjunctive pluperfect)
qu’il/elle/on eût infirmé (subjunctive pluperfect)
que nous eussions infirmé (subjunctive pluperfect)
que vous eussiez infirmé (subjunctive pluperfect)
qu’ils/elles eussent infirmé (subjunctive pluperfect)
j’infirmerais (conditional present)
tu infirmerais (conditional present)
il/elle/on infirmerait (conditional present)
nous infirmerions (conditional present)
vous infirmeriez (conditional present)
ils/elles infirmeraient (conditional present)
j’aurais infirmé (conditional past)
tu aurais infirmé (conditional past)
il/elle/on aurait infirmé (conditional past)
nous aurions infirmé (conditional past)
vous auriez infirmé (conditional past)
ils/elles auraient infirmé (conditional past)
infirme (imperative present)
infirmons (imperative present)
infirmez (imperative present)
aie infirmé (imperative past)
ayons infirmé (imperative past)
ayez infirmé (imperative past)


inférer

inférer (infinitive present)
avoir inféré (infinitive past)
en inférant (gerund present)
en ayant inféré (gerund past)
inférant (participle present)
inféré (participle past)
j’infère (indicative present)
tu infères (indicative present)
il/elle/on infère (indicative present)
nous inférons (indicative present)
vous inférez (indicative present)
ils/elles infèrent (indicative present)
j’ai inféré (indicative past multiword-construction)
tu as inféré (indicative past multiword-construction)
il/elle/on a inféré (indicative past multiword-construction)
nous avons inféré (indicative past multiword-construction)
vous avez inféré (indicative past multiword-construction)
ils/elles ont inféré (indicative past multiword-construction)
j’inférais (indicative imperfect)
tu inférais (indicative imperfect)
il/elle/on inférait (indicative imperfect)
nous inférions (indicative imperfect)
vous infériez (indicative imperfect)
ils/elles inféraient (indicative imperfect)
j’avais inféré (indicative pluperfect)
tu avais inféré (indicative pluperfect)
il/elle/on avait inféré (indicative pluperfect)
nous avions inféré (indicative pluperfect)
vous aviez inféré (indicative pluperfect)
ils/elles avaient inféré (indicative pluperfect)
j’inférai (indicative past)
tu inféras (indicative past)
il/elle/on inféra (indicative past)
nous inférâmes (indicative past)
vous inférâtes (indicative past)
ils/elles inférèrent (indicative past)
j’eus inféré (indicative past anterior)
tu eus inféré (indicative past anterior)
il/elle/on eut inféré (indicative past anterior)
nous eûmes inféré (indicative past anterior)
vous eûtes inféré (indicative past anterior)
ils/elles eurent inféré (indicative past anterior)
j’infèrerai (indicative future)
tu infèreras (indicative future)
il/elle/on infèrera (indicative future)
nous infèrerons (indicative future)
vous infèrerez (indicative future)
ils/elles infèreront (indicative future)
j’aurai inféré (indicative future perfect)
tu auras inféré (indicative future perfect)
il/elle/on aura inféré (indicative future perfect)
nous aurons inféré (indicative future perfect)
vous aurez inféré (indicative future perfect)
ils/elles auront inféré (indicative future perfect)
que j’infère (subjunctive present)
que tu infères (subjunctive present)
qu’il/elle/on infère (subjunctive present)
que nous inférions (subjunctive present)
que vous infériez (subjunctive present)
qu’ils/elles infèrent (subjunctive present)
que j’aie inféré (subjunctive past)
que tu aies inféré (subjunctive past)
qu’il/elle/on ait inféré (subjunctive past)
que nous ayons inféré (subjunctive past)
que vous ayez inféré (subjunctive past)
qu’ils/elles aient inféré (subjunctive past)
que j’inférasse (subjunctive imperfect)
que tu inférasses (subjunctive imperfect)
qu’il/elle/on inférât (subjunctive imperfect)
que nous inférassions (subjunctive imperfect)
que vous inférassiez (subjunctive imperfect)
qu’ils/elles inférassent (subjunctive imperfect)
que j’eusse inféré (subjunctive pluperfect)
que tu eusses inféré (subjunctive pluperfect)
qu’il/elle/on eût inféré (subjunctive pluperfect)
que nous eussions inféré (subjunctive pluperfect)
que vous eussiez inféré (subjunctive pluperfect)
qu’ils/elles eussent inféré (subjunctive pluperfect)
j’infèrerais (conditional present)
tu infèrerais (conditional present)
il/elle/on infèrerait (conditional present)
nous infèrerions (conditional present)
vous infèreriez (conditional present)
ils/elles infèreraient (conditional present)
j’aurais inféré (conditional past)
tu aurais inféré (conditional past)
il/elle/on aurait inféré (conditional past)
nous aurions inféré (conditional past)
vous auriez inféré (conditional past)
ils/elles auraient inféré (conditional past)
infère (imperative present)
inférons (imperative present)
inférez (imperative present)
aie inféré (imperative past)
ayons inféré (imperative past)
ayez inféré (imperative past)
j’inférerai (future)
tu inféreras (future)
il/elle/on inférera (future)
nous inférerons (future)
vous inférerez (future)
ils/elles inféreront (future)
j’inférerais
tu inférerais
il/elle/on inférerait
nous inférerions
vous inféreriez
ils/elles inféreraient

Tirer une conclusion d’une proposition ou d’un fait, etc.

Et de cette démonstration affectueuse, le gars aux biques inféra que M. de Scaër, qui devait s'y connaitre, voyait que Zina était d'une race supérieure à sa condition présente.

Fortuné du Boisgobey, Double-Blanc, Paris : chez Plon & Nourrit, 1889, p. 124

Que pouvais-je inférer de sa disparition ? J’eus le pressentiment qu’elle était de mauvais augure, mais ne voulus point accroître les craintes de Lady Diana.

Maurice Dekobra, La Madone des sleepings, 1925, réédition Le Livre de Poche, page 225

5 septembre 44 – Il ne voyait pas plus loin que le bout de mes mots : je lui offrais un bain et il n’en inférait pas – comme l’eût fait un Français – que je lui ouvrais mon lit.

Benoîte et Flora Groult, Journal à quatre mains, Denoël, 1962, page 350

J’ai moins de détails sur les sentiments de Fernande pendant cet hiver-là, et puis tout au plus inférer ce à quoi elle pensait durant ses insomnies, allongée dans son lit jumeau d’acajou, séparée par une carpette de Michel qui pensait de son côté.

Marguerite Yourcenar, Souvenirs pieux, Gallimard, 1974 ; coll. Folio, page 24

J’inférais leur âge de l’état plus ou moins bon de leur pochette.

Anne Garréta, Sphinx, 1986, page 51, Grasset, éd. 2002

Ces connaissances sont inférées à partir de nos expériences de vie.

Andréanne Williams, Quels impacts les voyages ont-ils sur notre cerveau?, ici.radio-canada.ca, 7 novembre 2021


lemme

(Nom commun 1) (1629) Du latin lemma (« proposition auxiliaire »), lui-même issu du grec ancien λῆμμα, lêmma (« gain, profit, base d’un syllogisme »).

(Nom commun 2) (Date à préciser) Du grec ancien λέμμα, lémma (« pelure, enveloppe »).

Proposition que l’on prend pour accordée.

Montrer ensuite que cette théorie T’ admet un modèle, dans la construction duquel, les témoins de Henkin jouent un rôle primordial. Pour cela nous avons besoin de quelques lemmes préparatoires.

Jacques Duparc, La logique pas à pas : spécialement conçu pour lesbuses en maths et les manchots de la logique, Presses polytechniques & universitaires romandes, 2015, page 476


juger

Du latin jūdĭcare (« rendre un jugement, juger »), de jūs (« loi, droit ») et dīcĕre, « dire ».

juger (infinitive present)
avoir jugé (infinitive past)
en jugeant (gerund present)
en ayant jugé (gerund past)
jugeant (participle present)
jugé (participle past)
je juge (indicative present)
tu juges (indicative present)
il/elle/on juge (indicative present)
nous jugeons (indicative present)
vous jugez (indicative present)
ils/elles jugent (indicative present)
j’ai jugé (indicative past multiword-construction)
tu as jugé (indicative past multiword-construction)
il/elle/on a jugé (indicative past multiword-construction)
nous avons jugé (indicative past multiword-construction)
vous avez jugé (indicative past multiword-construction)
ils/elles ont jugé (indicative past multiword-construction)
je jugeais (indicative imperfect)
tu jugeais (indicative imperfect)
il/elle/on jugeait (indicative imperfect)
nous jugions (indicative imperfect)
vous jugiez (indicative imperfect)
ils/elles jugeaient (indicative imperfect)
j’avais jugé (indicative pluperfect)
tu avais jugé (indicative pluperfect)
il/elle/on avait jugé (indicative pluperfect)
nous avions jugé (indicative pluperfect)
vous aviez jugé (indicative pluperfect)
ils/elles avaient jugé (indicative pluperfect)
je jugeai (indicative past)
tu jugeas (indicative past)
il/elle/on jugea (indicative past)
nous jugeâmes (indicative past)
vous jugeâtes (indicative past)
ils/elles jugèrent (indicative past)
j’eus jugé (indicative past anterior)
tu eus jugé (indicative past anterior)
il/elle/on eut jugé (indicative past anterior)
nous eûmes jugé (indicative past anterior)
vous eûtes jugé (indicative past anterior)
ils/elles eurent jugé (indicative past anterior)
je jugerai (indicative future)
tu jugeras (indicative future)
il/elle/on jugera (indicative future)
nous jugerons (indicative future)
vous jugerez (indicative future)
ils/elles jugeront (indicative future)
j’aurai jugé (indicative future perfect)
tu auras jugé (indicative future perfect)
il/elle/on aura jugé (indicative future perfect)
nous aurons jugé (indicative future perfect)
vous aurez jugé (indicative future perfect)
ils/elles auront jugé (indicative future perfect)
que je juge (subjunctive present)
que tu juges (subjunctive present)
qu’il/elle/on juge (subjunctive present)
que nous jugions (subjunctive present)
que vous jugiez (subjunctive present)
qu’ils/elles jugent (subjunctive present)
que j’aie jugé (subjunctive past)
que tu aies jugé (subjunctive past)
qu’il/elle/on ait jugé (subjunctive past)
que nous ayons jugé (subjunctive past)
que vous ayez jugé (subjunctive past)
qu’ils/elles aient jugé (subjunctive past)
que je jugeasse (subjunctive imperfect)
que tu jugeasses (subjunctive imperfect)
qu’il/elle/on jugeât (subjunctive imperfect)
que nous jugeassions (subjunctive imperfect)
que vous jugeassiez (subjunctive imperfect)
qu’ils/elles jugeassent (subjunctive imperfect)
que j’eusse jugé (subjunctive pluperfect)
que tu eusses jugé (subjunctive pluperfect)
qu’il/elle/on eût jugé (subjunctive pluperfect)
que nous eussions jugé (subjunctive pluperfect)
que vous eussiez jugé (subjunctive pluperfect)
qu’ils/elles eussent jugé (subjunctive pluperfect)
je jugerais (conditional present)
tu jugerais (conditional present)
il/elle/on jugerait (conditional present)
nous jugerions (conditional present)
vous jugeriez (conditional present)
ils/elles jugeraient (conditional present)
j’aurais jugé (conditional past)
tu aurais jugé (conditional past)
il/elle/on aurait jugé (conditional past)
nous aurions jugé (conditional past)
vous auriez jugé (conditional past)
ils/elles auraient jugé (conditional past)
juge (imperative present)
jugeons (imperative present)
jugez (imperative present)
aie jugé (imperative past)
ayons jugé (imperative past)
ayez jugé (imperative past)

richten

Décider une affaire, un différend en qualité de juge.

erachten

Estimer que, être d’avis, d’opinion que.

juger d’autrui par soi-même

estimer les sentiments d’autrui par les siens

Un enfant de dix ans est en état de raisonner et de juger.


négation

(Date à préciser) Du latin negatio. (XIIᵉ siècle) negatiun.

(Logique) Permutation entre le vrai et le faux

Permutation entre vrai et faux : négation logique.

La négation d’une proposition A s’écrit usuellement « non A », « ¬A » ou « ̄A ».


négatif

négatifs (plural masculine)
négative (singular feminine)
négatives (plural feminine)

Une proposition négative.

Les formes affirmative et négative.


prédicable

Dérivé de prédiquer, avec le suffixe -able.

Le terme Animal est prédicable autant de l’homme que de la bête.


prédicament

(Siècle à préciser) Du latin praedicamentum, de praedico.

Catégorie, ordre, rang, classe où les philosophes scolastiques avaient coutume de ranger tous les êtres, selon leur genre et leur espèce.

Ces déterminations se rangent sous dix chefs principaux, ou genres suprêmes, irréductibles entre eux, appelés catégories par Aristote et prédicaments par les Scolastiques, parce qu’ils sont censés représenter la totalité des prédicats que l’on peut affirmer d’un sujet. Ces catégories sont : la substance, la quantité, la qualité, la relation, le lieu, le temps, la situation, la manière d’être, l’action, la passion.

Louis Rougier, Histoire d’une faillite philosophique : la Scolastique, 1925, éd. 1966


positif

Du latin positivus (« posé », « qui repose sur quelque chose » d’où « établi, conventionnel »).

positifs (plural masculine)
positive (singular feminine)
positives (plural feminine)

Qui affirme ou pose une qualité comme existante et réelle. Affirmatif.

Terme positif.


réciproque

Qualifie deux propositions telles que le sujet de l’une peut devenir l’attribut de l’autre, et réciproquement.

Ces deux propositions : « L’homme est un animal raisonnable, l’animal raisonnable est un homme », sont réciproques.


réciproque

J'adore ce collègue. J'espère que la réciproque est vraie, et qu'il a du plaisir à travailler avec moi.

Edgar Fruitier, Mémoires, propos recueillis par Jean Faucher, éd. Québec Amérique, 2009, p. 92


réduction

(fin XIIIᵉ siècle) Du latin reductio, du latin reducere (« ramener »). Le premier sens apparu était « rapprochement ».

Minderung

Action de diminuer, de réduire ou de se réduire, résultat de cette action

riduttore

Pièce qui diminue le diamètre d’un conduit

Raisonnement par lequel on démontre une proposition, en faisant voir que le contraire serait impossible ou absurde, ou que la proposition elle-même contient quelque chose d’absurde ou d’impossible, ou conduit nécessairement à des conséquences qui auraient ces mêmes vices.

La conversion exige donc que le syllogisme soit déjà tout fait ; la réduction à l’absurde n'a besoin que d’une seule proposition, dont la vérité est prouvée par cela seul que sa contradictoire est absurde.

Aeistote, Aristote : Œuvres complètes et annexes (annotées, illustrées), Arvensa Éditions, 2019


renversement

(Siècle à préciser) Dérivé de renverser, avec le suffixe -ment.

\ʁɑ̃.vɛʁ.sə.mɑ̃\

état fondamental

(Musique) Accord dont la basse n’est pas la fondamentale

Renversement des termes d’une proposition,


réduire

Du latin reduco, « rapporter, remporter, ramener ».

réduire (infinitive present)
avoir réduit (infinitive past)
en réduisant (gerund present)
en ayant réduit (gerund past)
réduisant (participle present)
réduit (participle past)
je réduis (indicative present)
tu réduis (indicative present)
il/elle/on réduit (indicative present)
nous réduisons (indicative present)
vous réduisez (indicative present)
ils/elles réduisent (indicative present)
j’ai réduit (indicative past multiword-construction)
tu as réduit (indicative past multiword-construction)
il/elle/on a réduit (indicative past multiword-construction)
nous avons réduit (indicative past multiword-construction)
vous avez réduit (indicative past multiword-construction)
ils/elles ont réduit (indicative past multiword-construction)
je réduisais (indicative imperfect)
tu réduisais (indicative imperfect)
il/elle/on réduisait (indicative imperfect)
nous réduisions (indicative imperfect)
vous réduisiez (indicative imperfect)
ils/elles réduisaient (indicative imperfect)
j’avais réduit (indicative pluperfect)
tu avais réduit (indicative pluperfect)
il/elle/on avait réduit (indicative pluperfect)
nous avions réduit (indicative pluperfect)
vous aviez réduit (indicative pluperfect)
ils/elles avaient réduit (indicative pluperfect)
je réduisis (indicative past)
tu réduisis (indicative past)
il/elle/on réduisit (indicative past)
nous réduisîmes (indicative past)
vous réduisîtes (indicative past)
ils/elles réduisirent (indicative past)
j’eus réduit (indicative past anterior)
tu eus réduit (indicative past anterior)
il/elle/on eut réduit (indicative past anterior)
nous eûmes réduit (indicative past anterior)
vous eûtes réduit (indicative past anterior)
ils/elles eurent réduit (indicative past anterior)
je réduirai (indicative future)
tu réduiras (indicative future)
il/elle/on réduira (indicative future)
nous réduirons (indicative future)
vous réduirez (indicative future)
ils/elles réduiront (indicative future)
j’aurai réduit (indicative future perfect)
tu auras réduit (indicative future perfect)
il/elle/on aura réduit (indicative future perfect)
nous aurons réduit (indicative future perfect)
vous aurez réduit (indicative future perfect)
ils/elles auront réduit (indicative future perfect)
que je réduise (subjunctive present)
que tu réduises (subjunctive present)
qu’il/elle/on réduise (subjunctive present)
que nous réduisions (subjunctive present)
que vous réduisiez (subjunctive present)
qu’ils/elles réduisent (subjunctive present)
que j’aie réduit (subjunctive past)
que tu aies réduit (subjunctive past)
qu’il/elle/on ait réduit (subjunctive past)
que nous ayons réduit (subjunctive past)
que vous ayez réduit (subjunctive past)
qu’ils/elles aient réduit (subjunctive past)
que je réduisisse (subjunctive imperfect)
que tu réduisisses (subjunctive imperfect)
qu’il/elle/on réduisît (subjunctive imperfect)
que nous réduisissions (subjunctive imperfect)
que vous réduisissiez (subjunctive imperfect)
qu’ils/elles réduisissent (subjunctive imperfect)
que j’eusse réduit (subjunctive pluperfect)
que tu eusses réduit (subjunctive pluperfect)
qu’il/elle/on eût réduit (subjunctive pluperfect)
que nous eussions réduit (subjunctive pluperfect)
que vous eussiez réduit (subjunctive pluperfect)
qu’ils/elles eussent réduit (subjunctive pluperfect)
je réduirais (conditional present)
tu réduirais (conditional present)
il/elle/on réduirait (conditional present)
nous réduirions (conditional present)
vous réduiriez (conditional present)
ils/elles réduiraient (conditional present)
j’aurais réduit (conditional past)
tu aurais réduit (conditional past)
il/elle/on aurait réduit (conditional past)
nous aurions réduit (conditional past)
vous auriez réduit (conditional past)
ils/elles auraient réduit (conditional past)
réduis (imperative present)
réduisons (imperative present)
réduisez (imperative present)
aie réduit (imperative past)
ayons réduit (imperative past)
ayez réduit (imperative past)
je réduis (imperative)
tu réduis (imperative)
il/elle/on réduit (imperative)
nous réduîmes (imperative)
vous réduîtes (imperative)
ils/elles réduirent (imperative)
que je réduisse (imperative)
que tu réduisses (imperative)
qu’il/elle/on réduît (imperative)
que nous réduissions (imperative)
que vous réduissiez (imperative)
qu’ils/elles réduissent (imperative)
se réduire (pronominal)

reduzieren

Restreindre, diminuer, ou faire diminuer.

Réduire à l’absurde un raisonnement, En faire la réduction à l’absurde.

Voyez « réduction ».

Réduire une proposition, un problème à ses plus simples termes, à sa plus simple expression, Exprimer cette proposition, ce problème de la manière la plus simple, la plus précise, la plus dégagée de toute circonstance accessoire ou indifférente.

On dit de même, en termes d’Arithmétique :

Réduire une fraction à sa plus simple expression.


sorite

Raisonnement composé de plusieurs propositions (un tas) si bien liées entre elles que l’attribut de la première devient le sujet de la deuxième, l’attribut de la deuxième le sujet de la troisième, et ainsi de suite ; en sorte que la dernière proposition doit être implicitement comprise dans la première, si le raisonnement est juste.


syllogisme

(XIVᵉ siècle) Emprunté au latin syllogismus, lui-même emprunté au grec ancien συλλογισμός, sullogismós (« inférence, conclusion »). (1265) silogime. → voir syn-, logos et -isme

Syllogismus

Raisonnement composé de trois propositions, la majeure, la mineure et la conclusion.

« Tous les hommes sont mortels, Socrate est un homme, donc Socrate est mortel. » est un syllogisme.

Toute cette dialectique en syllogismes constituait une gymnastique excellente. Je dois la clarté de mon esprit, en particulier une certaine habileté dans l’art de diviser (art capital, une des conditions de l’art d’écrire), aux exercices de la scolastique et surtout à la géométrie, qui est l’application par excellence de la méthode syllogistique.

Ernest Renan, Souvenirs d’enfance et de jeunesse, 1883, collection Folio, page 142.

… un adversaire emmuré dans la cotte de maille du syllogisme, ferme sur ses étriers, mobile, porté çà et là soudain par la fougue de son cheval, Mauvaise-Foi, et pointant Donc, sa lance de douze coudées.

Remy de Gourmont, Le Chemin de Velours - Nouvelles dissociations d'idées, Mercure de France, 1902, éd. 1911, p. 28

Un syllogisme de l’espèce la plus simple et la seule qui fût accessible à son esprit fatigué lui démontra que, « un » étant contenu dans « deux », s’il ne pouvait soulever un seau, il serait encore moins capable de déambuler avec la paire.

Pierre Louÿs, Les aventures du roi Pausole, 1901

La conclusion d’un syllogisme est contenue dans les prémisses, et c’est pourquoi on ne saurait accepter les prémisses et rejeter la conclusion sans contradiction.

Ainsi, en accusant les militants antiracistes d’être “racialistes” , on sous-entend, in fine, qu’ils sont “racistes”. Le syllogisme est consternant : les antiracistes parlent de racisme, donc utilisent la notion de “race”, donc sont “racialistes”, sous-entendu “racistes”. Une entourloupe purement lexicale et rhétorique.


syllogistique

Emprunté au latin syllogisticus, lui même emprunté au grec ancien συλλογιστικός, sullogistikós.

syllogistiques (plural masculine feminine)

La forme syllogistique.

Mon hypothèse, et même ma conviction, on l’aura compris, est que la rigueur mathématique et syllogistique de l’enchaînement logique en sait plus, malgré son apparente absurdité, et contient plus de vérité, adhère plus étroitement à ce qui s’est passé, que les aménagements de bon sens, de décence et de modération qu’on est naturellement tenté de lui apporter sans y penser.

Renaud Camus, La Grande Déculturation, Paris, Fayard, 2008


synthèse

(1541) Du latin synthesis ou du grec ancien σύνθεσις, súnthesis (« composition ») → voir syn- et thèse.

synthesis

Action de composer un corps avec ses éléments.

sintèsi

Opération chirurgicale par laquelle on réunit des parties d’une plaie, des fragments d’os fracturé.

synthesis

Méthode de composition qui descend des principes aux conséquences, des causes aux effets.

conclusion

Méthode qui descend des principes aux conséquences


universalité

Qualité d’une proposition dont l’attribut convient à la totalité du sujet.

L’universalité d’une proposition.


prémisse

Du latin praemissa (« (proposition) mise en avant »).

Chacune des deux propositions d’un syllogisme, la majeure et la mineure, d’où résulte la conclusion.

Si une des prémisses est particulière, la conclusion doit aussi être particulière ; et, si une des prémisses est négative, la conclusion doit aussi être négative.

La conclusion d'un syllogisme est contenue dans les prémisses, et c'est pourquoi on ne saurait accepter les prémisses et rejeter la conclusion sans contradiction.

Louis Rougier, Histoire d'une faillite philosophique: la Scolastique, éd.1966, 1925

Quelle prémisse manque dans cet enthymème : je pense, donc je suis ?


ssi

(Date à préciser) (Abréviation) De si et seulement si.

Deux entiers relatifs a et b sont premiers entre eux ssi il existe des entiers n et m vérifiant na+mb=1.


ET

(Nom 1) Abréviation de extraterrestre, nom d’un héros extraterrestre dans le film E.T. l’extra-terrestre de Steven Spielberg, sorti en 1982. Ce sigle est depuis devenu un substantif dans la langue courante.

(Nom 2) Mise en majuscule de et. Calque de l’anglais AND.


algorithme

De l’arabe الخُوَارِزْمِيّ, al-Ḵuwārizmiyy, nom du mathématicien perse Al-Khwarizmi déformé d’après le grec ancien ἀριθμός, arithmós (« nombre ») (Ac. 9e édition, TLFi).

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 ensemble de données, et répétant un certain nombre de fois un procédé élémentaire, finit par fournir une solution, un classement, une mise en avant d’un phénomène, d’un profil, ou de détecter une fraude.

L’algorithme de chiffrage dépend de certains paramètres que l'on appelle clé. La connaissance de la clé permet d'effectuer l’opération inverse, à savoir revenir de l'espace des cryptogrammes à l'espace des messages; cette opération s'appelle déchiffrage.

Alexandru Spataru, Fondements de la théorie de la transmission de l'information, 1987, p. 145

Aujourd’hui, les modèles mathématiques et les algorithmes prennent des décisions majeures, servent à classer et catégoriser les personnes et les institutions, influent en profondeur sur le fonctionnement des Etats sans le moindre contrôle extérieur. Et avec des effets de bords incontrôlables.

Libération du 17.11.2018, Cathy O’Neil : « Les algorithmes créent leur propre réalité »https://www.liberation.fr/debats/2018/11/16/cathy-o-neil-les-algorithmes-creent-leur-propre-realite_1692515

En perpétuelle évolution, l'algorithme du moteur de recherche de Google détermine en fonction de plus de 200 critères l'ordre de la liste des sites répondant aux requêtes de chaque internaute.

Jean-LucFerré, Faut-il avoir peur des algorithmes ?, Journal La Croix, page 14, 16 février 2016

Il s’agit de familiariser les élèves avec les grands principes d’organisation d’un algorithme : gestion des entrées-sorties, affectation d’une valeur et mise en forme d’un calcul.

Bulletin officiel de l’Éducation Nationale numéro 30 du 23 juillet 2009

Utilisant pour code personnel des algorithmes beaucoup plus sophistiqués que le matériel standard de cryptage des données, il était en principe impiratable par les superordinateurs du gouvernement.’' — (Douglas Preston, Cauchemar génétique, traduit de l'américain, Robert Laffont, 1997 & L'Archipel, 2011)


bivalent

bivalents (plural masculine)
bivalente (singular feminine)
bivalentes (plural feminine)

Qui ne considère que deux valeurs de vérité, le vrai et le faux.

La logique bivalente.


quantificateur

Dérivé de quantification, remplaçant le suffixe -ation par -ateur,,.

Symbole représentant une quantification.

Rétrospectivement, on peut dire que la logique aristotélicienne prend en considération quatre quantificateurs : « tous », « quelques », « aucun » et « pas tous ».

Pierre Wagner. « Chapitre V. Logique et langage », Pierre Wagner éd., La Logique. Presses Universitaires de France, 2020, pp. 62-81.


quantificateur existentiel

(Date à préciser) Composé du nom quantificateur et de l’adjectif existentiel.

Existenzquantor

Opérateur indiquant qu’un prédicat est vrai pour au moins un élément

Opérateur, représenté par le symbole ∃ (E retourné), utilisé dans le calcul des prédicats pour indiquer qu’un prédicat est vrai pour au moins un élément d’un ensemble donné. Le symbole ∃ est lu « il existe (au moins un) ». Le symbole ∃! est lu « il existe un et un seul ».


quantifieur

De anglais quantifier (« quantificateur »).


quantificateur universel

(Date à préciser) Composé du nom quantificateur et de l’adjectif universel.

universal quantifier

Opérateur indiquant qu’un prédicat est vrai pour tous les élements

Opérateur, représenté par le symbole ∀ (A renversé) utilisé pour le calcul des prédicats pour indiquer qu’un prédicat est vrai pour tous les élements d’un certain ensemble. Le symbole ∀x se lit « pour tout x » ou « quel que soit x ».


complétude

(1943) Mot dérivé de complet, avec le suffixe -tude.

Qualité d'un objet auquel on ne peut rien ajouter.


bivalence

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 vraie ou fausse.

Le principe de bivalence


judicande

(Date à préciser) Du latin judicandus (« à juger ») → voir juger, judicat et judicateur.

Ces plages sont indifférentes encore et déterminées seulement par la figure mince, presque imperceptible et centrale, qui désigne l’être ; elles fonctionnent, autour de ce « judicateur », comme la chose à juger , le judicande, et la chose jugée, le judicat.

Antoine Destutt de Tracy, Élements d’idéologie, an XII (1805


judicateur

(Date à préciser) Mot dérivé de judicat, avec le suffixe -eur.

Ces plages sont indifférentes encore et déterminées seulement par la figure mince, presque imperceptible et centrale, qui désigne l’être ; elles fonctionnent, autour de ce «judicateur», comme la chose à juger , le judicande, et la chose jugée, le judicat.


judicat

(Date à préciser) Du latin judicatus (« jugé ») → voir judicateur et judicatrice.

Ces plages sont indifférentes encore et déterminées seulement par la figure mince, presque imperceptible et centrale, qui désigne l’être ; elles fonctionnent, autour de ce « judicateur », comme la chose à juger le judicande, et la chose jugée le judicat.

Antoine Destutt de Tracy, Élements d’idéologie, an XII (1805)


colligance

Du latin colligare, « enchaîner », de cum, « avec », et ligare, « lier ».

La « colligance », c’est ce lien invisible et perdurable qui unit à travers l’espace les hommes désunis et à travers la durée les anciens et les modernes, les vivants et les morts.

Centre V. L. Saulnier, Stoïcisme et christianisme à la Renaissance, 2006


OR

De l’anglais OR, lui-même de or (« ou »).


distributivement

→ voir distributive, et le suffixe -ment.

Que la connaissance de ces procès appartienne distributivement, savoir est à nostre cour de parlement pour ce qui concerne la police, et à nos dits élus pour ce qui concerne la perception.

Si les genres et les espèces existent distributivement chez tous les individus d'une même espèce, comment concilier l'unité numérique de l'être individuel avec les formes substantielles qui s'emboitent en lui comme un jeu de poupées japonaises ?

Louis Rougier, Histoire d'une faillite philosophique: la Scolastique, 1925, éd.1966


convertiblement

Dérivé de convertible, avec le suffixe -ment.


tarskien

tarskiens (plural masculine)
tarskienne (singular feminine)
tarskiennes (plural feminine)

Relatif à Alfred Tarski, logicien d’origine polonaise.

La théorie tarskienne de la vérité n’a pas l’ambition de donner une définition générale du concept de vérité, car Tarski estime que cela n’est pas possible, sans réintroduire les paradoxes sémantiques, mais seulement une définition cas par cas.


pétition de principe

Calque du latin scolastique petitio principii. Composé de pétition et de principe.

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-pétition de principe.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-pétition de principe.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-pétition de principe.wav

Raisonnement fallacieux dans lequel on suppose vrai ce qu’il s’agit de démontrer.

L’hypothèse est certes ingénieuse. Mais il faudrait alors expliquer pourquoi seul le nominatif masculin pluriel aurait échappé à la gémination. Cette condition préalable, nécessaire à l’hypothèse, est une pétition de principe.

François de la Chaussée, Initiation à la morphologie historique de l’ancien français, Paris, Éditions Klincksieck, 1977

On objectera : Mais à la fin du premier siècle de notre ère les chrétiens issus du paganisme se moquaient bien de la prise de Jérusalem et de la destruction du Temple ! Ils n’en ont pas parlé tout simplement parce que cela ne les intéressait pas ! — L’objection comporte tout d’abord une pétition de principe, à savoir que les quatre Évangiles ont été composés en langue grecque à la fin du Iᵉʳ siècle, ce qui justement est en question.

Claude Tresmontant, Le Christ hébreu, O.E.I.L., Paris, 1983

Il faut lire : c’est une pétition de principe pour des oreilles adolescentes. Si brillantes soient nos démonstrations... rien d’autre qu’une pétition de principe.

Daniel Pennac, Comme un roman, Gallimard, 1992, page 96


hypothétisme

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 considérant celle-ci comme étant simplement probable.

[…] cet hypothétisme et ce moralisme conjoint, cet hypothétisme scientiste et ce moralisme rationaliste, rendent méconnaissable ce dont ils approchent.

Marie-Françoise Poizat-Costa, Le Problème corse : essai d’anthropologie philosophique, 1987


sous-alterne

Adjectif utilisé dans la locution propositions sous-alternes.


propositions sous-alternes

Propositions qui ne diffèrent que dans la quantité, comme : « Tout cercle est rond, quelque cercle est rond ». En matière nécessaire, deux propositions sous-alternes sont toujours vraies ou fausses ensemble. En matière contingente, la proposition particulière peut être vraie, sans que l’universelle le soit : « Tout logicien est vertueux, quelque logicien est vertueux » ; la dernière seule est vraie.


proposition convertente

Composé de proposition et de convertent.

Celle en laquelle une première a été changée par la conversion.

La proposition universelle : « tout homme est animal », se convertit en cette particulière : « quelque animal est homme ». Cette dernière est la proposition convertente.


seulement si

S’emploie la plupart du temps après la proposition principale pour en nuancer le sens. Dans l’exemple donné, on ne dirait pas couramment seulement si vous m’accompagnez, demain, j’irai à Londres. Par contre si l’on ne veut pas donner à si une nuance exclusive en ajoutant seulement, on peut dire sans distinction Demain, j’irai à Londres, si vous m’accompagnez, et Si vous m’accompagnez, demain, j’irai à Londres.

Peut être vrai, en parlant d’un énoncé, qu’à la condition exclusive que l’énoncé suivant soit vrai. A seulement si B signifie que B est une condition nécessaire pour A.

La carte est valide seulement si la date d’expiration est dans le futur.


contraposition

Mot dérivé de position, avec le préfixe contra-.

Raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en déduire la négation de l'antécédent (« donc non A »).

C’est ce qu’on appelle, en logique mathématique, une contraposition. À titre d’illustration, disons que si vous avez beaucoup d’affaires (P), vous avez besoin d’une grande valise (S). Il n’en découle pas que si un un voyageur a une grande valise, il transporte en réalité beaucoup de choses. En revanche, cela signifie que si la valise n’est pas grande, il ne peut pas avoir emporté beaucoup de choses. En d’autres termes, « non S » prouve « non P ».

George G. Szpiro, La conjecture de Poincaré, Points, 2007, page 186


intension

(Date à préciser) Du latin intensio (« action de tendre »).

Désignation d’un ensemble d’éléments par un prédicat qu’ils vérifient.

L’ensemble 1,2,3 peut être défini en intension comme étant l’ensemble des entiers compris — au sens large — entre 1 et 3.


si et seulement si

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-si et seulement si.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-si et seulement si.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-si et seulement si.wav

Cette conjonction indique une condition suffisante (si) et nécessaire (seulement si). Il s’agit d’une relation d’équivalence entre la proposition principale et la proposition subordonnée. Si l’une est satisfaite, l’autre aussi (il y a deux implications).

Conjonction qui signifie que l’un est vrai si l’autre est vrai, et que l’un est faux si l’autre est faux.

Un angle est dit :
— plat si et seulement si les points A, B et C sont alignés dans l'ordre ;
— droit si et seulement si il représente la moitié d'un angle plat ;
— aigu si et seulement si il est plus petit que l'angle droit ;
— obtus si et seulement si il est plus grand que l'angle droit ; […].

Annie Grewis, Concours Professeur des écoles : Epreuve écrite de Mathématiques, sous la direction éditoriale de Eric Tisserand, éd. Sup’Foucher, 2015, page 228


trivalent

trivalents (plural masculine)
trivalente (singular feminine)
trivalentes (plural feminine)

Une logique trivalente.


colligation

(Siècle à préciser) Du latin colligatio (« liaison, jointure »).

Action de synthétiser un ensemble de faits séparément observés induisant un phénomène non encore mis en évidence.


réciprocable

réciprocables (plural masculine feminine)

Qui est susceptible de réciprocité, de conversion réciproque, en parlant d'un sujet et de son prédicat.

Au surplus, les transcendantaux sont réciprocables : l'être, l'un, le vrai, le bien sont convertibles.

En effet, tout prédicat d'un sujet est nécessairement soit réciprocable, soit non-réciprocable. Et s'il est réciprocable, ce sera ou sa définition ou son propre : sa définition s'il exprime la quiddité, son propre s'il ne l'exprime pas ; […].

Aristote,Organon: Les topiques, traduit par Jules Tricot, 2004, page 33


illation

illation

action d’inférer, de tirer une conséquence

Action d’inférer, de tirer une conséquence.


induit

(Siècle à préciser) Participe passé adjectivé de induire.

induits (plural masculine)
induite (singular feminine)
induites (plural feminine)

Ils étaient des garçons bien élevés. Du Sud où ils étaient nés, du Sud où, s’il n’y étaient pas nés, ils étaient venus faire leurs études, ils avaient reçu de façon induite l’art de l’apologie, le discours de la politesse, le réflexe d’admettre que rien n’était sûr.

Philippe Labro, L’étudiant étranger, Gallimard, 1986, page 284

Le tunnel Québec-Lévis de 8,3 km sera soumis au principe de la demande induite qui est largement documenté, rappelle Fanny Tremblay-Racicot, professeure à l’École nationale d’administration publique (ÉNAP).

Dominique Lelièvre, Troisième lien: des propos de Gilles Lehouillier font sourciller une experte, Le Journal de Québec, 18 novembre 2021


satisfaisable

Dérivé de satisfaire avec le suffixe -able.

satisfaisables (plural masculine feminine)

Se dit d'une proposition qui peut être vraie, sous réserve que les variables propositionnelles prennent certaines valeurs.


retournable

Dérivé de retourner, avec le suffixe -able.

retournables (plural masculine feminine)

Dont on peut retourner l'argument, en parlant d'un débat, d'une controverse, etc.

Parfois, certes, un aphorisme se réduit à un cliché ou à une vérité générale facilement « retournable », ou d'une application si large qu'il ne résiste pas à l'analyse.

Maurice Hambursin, Textes en archipels: anthologie, 2000, page 53


diallèle

Du grec ancien διάλληλος, diallêlos (« qui se remplace mutuellement, réciproque »).

Raisonnement circulaire, cercle vicieux.


connecteur logique

Fonction combinant plusieurs formules et leurs valeurs de vérité pour indiquer une nouvelle valeur de vérité.

En vertu des deux thèses que nous avons énoncées, décrire un connecteur logique consiste uniquement à décrire comment il contribue à conférer une valeur de vérité à un énoncé complexe à partir des valeurs de vérité des énoncés plus simples.

FrançoisLepage, Éléments de logique contemporaine, 2001


analyse comparée

Procédé d'examen, de confrontation et de raisonnement en vue de rechercher par décomposition, opposition ou rapprochement de ressemblances ou différences de caractéristiques des structures observées afin de les déterminer par quantification qualitative ou quantitative et d'en produire des conclusions plus ou moins précises ou exhaustives ou un résumé raisonné.


table de vérité

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-table de vérité.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-table de vérité.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-table de vérité.wav

Tableau représentant les valeurs que prend une expression booléenne pour chaque combinaison possible de ses entrées.


implicature

(1975) De l’anglais implicature, terme forgé par Paul Grice ^([1]).

Dans la théorie du langage naturel, forme faible d’implication contextuelle. Insinuation.

Grice […] décelait une relation logique d’une nouvelle espèce entre propositions, relation que l’on pourrait appeler « invitation à inférer, suggestion d’une conclusion, insinuation ». Pour les désigner, il a forgé le terme d’« implicature ». Il en distingue deux espèces : l’implicature discursive véhiculée par le discours et l’implicature conventionnelle véhiculée par la langue.

Paul Gochet, Théorie des modèles et compétence pragmatique, in Herman Parret et al., Le Langage en contexte, Lingvisticæ Investigationes Supplementa 3, John Benjamins Publishing Company, 1980

[L’implicature] ne fait pas partie de la signification des expressions utilisées, […] elle dépend du contexte, […] elle est annulable, […] elle n’est pas détachable […(]on ne pourrait substituer à l’énoncé porteur de l’insinuation un énoncé synonyme d’où elle serait absente[), et elle] peut être fausse sans que la proposition porteuse de l’insinuation devienne fausse, contrairement à [… l’implication (]qui sera fausse si l’impliquée est fausse) et […] à la […] présupposition [(]qui sera privée de valeur de vérité si la […] présupposée est fausse[)].


monde possible

(1710) De le meilleur des mondes possibles, utilisé par Gottfried Leibniz dans son œuvre Essais de Théodicée sur la bonté de Dieu, la liberté de l’homme et l’origine du mal. Le sens moderne a été développé dans les années 1950 par Saul Kripke entre autres.

Monde hypothétique avec certaines conditions différentes, par exemple un monde où Napoléon Iᵉʳ a gagné contre le Royaume-Uni, utilisé dans des analyses du conditionnel irréel. Notre monde actuel est considéré l’un des mondes possibles.


hypothético-déductif

hypothético-déductifs (plural masculine)
hypothético-déductive (singular feminine)
hypothético-déductives (plural feminine)

Qui consiste à formuler une hypothèse afin d'en déduire des conséquences observables.

Méthode hypothético-déductive.


et logique

→ voir et et logique. Calque de l’anglais logical and.

Conjonction, opérateur logique qui quand il associe deux propositions, ne donne vrai que si elles sont vraies toutes les deux. (Symbole : ∧)


ou logique

→ voir ou et logique. Calque de l’anglais logical or.

Disjonction, opérateur logique qui quand il associe deux propositions, donne vrai si au moins l’une d’elles est vraie. (Symbole : ∨)


existentiation

Substantivation du qualitatif existentiel.

Pour la logique du premier ordre, les matériaux de base sont les notions premières, ou prédicats fondamentaux, les objets de base, les opérateurs d’objet, les variables d’objet, et un petit nombre d’opérateurs logiques, les opérateurs booléens et les opérateurs de généralisation et d’existentiation.

Logique (mathématiques) : Grammaire des prédicats sur Wikiversité. Consulté le 26 août 2017


logique floue

Forme de logique où les valeurs des états du système ne sont pas précisément déterminés, mais donnés par des probabilités d’appartenir à des classes de valeurs.


stœchiologie

(Date à préciser) Du grec ancien στοιχεῖον, stoikheîon (« élément ») et λόγος, lógos (« discours »).

Doctrine des réquisits élémentaires de seul penser.


quanteur

(Siècle à préciser) Dérivé savant du latin quantus (« combien ») et -eur.

Le quanteur universel I.6 est un signe logique : une paire de parenthèses avec une variable à l’intérieur ; la partie de formule qui le suit et qui généralement contient cette variable sera délimitée par des parenthèses ad hoc, qui serviront à faire reconnaître l’étendue (le scope) de ce quanteur.

Jean Largeault, Intuitionisme et théorie de la démonstration, 1992


ou inclusif

→ voir ou et inclusif. Calque de l’anglais inclusive or.

Opérateur logique renvoyant VRAI si au moins une de ses deux opérandes booléennes est vraie.


ou exclusif

→ voir ou et exclusif. Calque de l’anglais exclusive or.

Opérateur logique renvoyant VRAI seulement si ses deux opérandes booléennes ont des valeurs distinctes.


valeur de vérité

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-valeur de vérité.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-valeur de vérité.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-valeur de vérité.wav

Valeur indiquant si une proposition est vraie ou non, appelée respectivement le vrai (ou V ou 1) et le faux (ou F ou 0).


forme normale conjonctive

Composé de forme normale et de conjonctif.

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-forme normale conjonctive.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-forme normale conjonctive.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-forme normale conjonctive.wav

Normalisation d'une expression logique qui est une conjonction de clauses.


enthymémisme

De enthymème du latin enthymema plus -isme Du latin -ismus.

Forme de raisonnement dans laquelle on réduit le syllogisme à deux propositions, dont la première est appelée « antécédent » et la seconde « conséquent ».

On peut rapporter ici également l’enthymémisme, syllogisme dénué d’une de ses prémisses.

NicoleGoisbeault, L’enseignement du français et les sciences du langage, 1993


multivariable

Mot dérivé de variable, avec le préfixe multi-.

multivariables (plural masculine feminine)

Qui a plusieurs variables ; qui s’appuie sur plusieurs variables.

La classification sigmatiste comprend toute une série de niveaux qui sont tous définis par la méthode des tableaux (souvent complétée par des analyses multivariables), mais ces niveaux ne jouent pas tous le même rôle et n'ont pas tous la même signification : […].

Michel Godron, Écologie et évolution du monde vivant , vol.2, L'Harmattan, 2012, page 142


connotatif

Dérivé de connotation, avec le suffixe -if, par substitution de suffixe.

connotatifs (plural masculine)
connotative (singular feminine)
connotatives (plural feminine)

Qui sert à connoter une idée secondaire en même temps que l’idée principale.


cataphase

Au reste, ce principe qui veut que la cataphase procède de haut en bas comporte un double enseignement que l’on a peu souligné.

Jean Borella, Lumières de la théologie mystique, 2002


NON

Mise en majuscule de non. Calque de l’anglais NOT.

Opérateur logique unaire de l’algèbre de Boole qui donne la négation logique (commutation vrai ↔ faux).


OU

Mise en majuscule de ou. Calque de l’anglais OR.


NON-OU

Composé de NON et de OU. Calque de l’anglais NOR.

Négation du ou logique. Le NON-OU de p et q est vrai si et seulement si p et q sont faux tous les deux.


NON-ET

Composé de NON et de ET. Calque de l’anglais NAND.

Négation du et logique. Le NON-ET de p et q est vrai si et seulement si p ou q est faux.


XOR

De l’anglais XOR, lui-même abréviation de exclusive or.


ensemble ordonné

Ensemble, au sens mathématique du terme, muni d’une relation d'ordre.

Il en résulte que tout ensemble ordonné fini non vide admet au moins un élément maximal.

Michel Marchand, Outils mathématiques pour l'informaticien: Mathématiques discrètes, De Boeck Supérieur, 2005, page 192

La manière la plus simple pour exprimer cette situation sans ambiguïté est de considérer un ensemble ordonné comme un couple donné par un ensemble et une relation d'ordre définie sur cet ensemble.

Marco Panza, Nombres: éléments de mathématiques pour philosophes, Lyon : ENS Éditions & SFHST, 2007, page 108


ensemble partiellement ordonné

Composé de ensemble, partiellement et ordonné.

ensembles partiellement ordonnés (plural)

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-ensemble partiellement ordonné.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-ensemble partiellement ordonné.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-ensemble partiellement ordonné.wav

Ensemble mathématique muni d’une relation d’ordre partielle, c’est-à-dire non totale.

Dans le cas des ensembles partiellement ordonnés, cependant, est donnée une quatrième relation, ou une quatrième valeur fonctionnelle possible.

Pierre Kaufmann, Kurt Lewin: Une Théorie du champ dans les sciences de L'Homme, avec le concours du CNRS, Paris : J. Vrin, 1968, page 31


celarent

Du latin celarent (« célassent »). Sens mnémotechnique créé par les scolastiques du XVᵉ siècle par la succession des lettres EAE où E désignait une exclusive et A une proposition vraie.

Un des quatre syllogismes dans la scolastique.

Un syllogisme en celarent consiste en une proposition de ce type :
Nul voleur impénitent ne doit s’attendre d'être sauvé ;
Tous ceux qui meurent après s’être enrichis du bien de l’Église, sans vouloir le restituer, sont des voleurs impénitents ;
Donc nul d’[entre] eux ne doit s’attendre [à] être sauvé.

Antoine Arnauld, Pierre Nicole, La logique ou l’art de penser, troisième partie, chap.V.