intuitionnisme [ ɛ̃tɥisjɔnism ] n. m.
• 1908; de intuition
♦ Philos. Doctrine attribuant un rôle essentiel à l'intuition dans la connaissance. Intuitionnisme bergsonien.
♢ Théorie d'après laquelle les mathématiques ont recours à l'intuition et pas seulement à l'hypothèse et à la déduction. — N. et adj. INTUITIONNISTE , 1874 .
● intuitionniste adjectif et nom Relatif à l'intuitionnisme ; partisan de l'intuitionnisme. ● intuitionniste (expressions) adjectif et nom Logique intuitionniste, logique qui présente de notables différences par rapport à la logique classique. (La loi de la double négation : non-non p → p (¬ ¬ p → p), en particulier, n'y est pas admise.)
⇒INTUITIONNISTE, adj.
A. — PHILOSOPHIE
1. Relatif à l'intuitionnisme (v. ce mot A). Les morales intuitionnistes et les morales empiriques, malgré l'opposition de leurs principes (LÉVY-BRUHL, Mor. et sc. mœurs, 1903, p. 38). Les doctrines strictement intuitionistes sont écartées, parce que la vision naturelle immédiate de Dieu est impossible (Théol. cath. t. 4, 1, 1920, p. 888).
2. Qui est partisan de l'intuitionnisme. Philosophe intuitionniste (BACHELARD, Poét. espace, 1957, p. 149).
— Emploi subst. Les intuitionnistes, en effet, se donnent tout d'un seul regard, alors que les détails se découvrent et s'ordonnent les uns après les autres, patiemment, avec la malice discursive du fin miniaturiste (BACHELARD, Poét. espace, 1957, p. 149).
B. — LOG., MATH. Qui se réfère à l'intuitionnisme (v. ce mot B). Mathématiciens intuitionnistes (BOURBAKI, Hist. math., 1960, p. 55). La mathématique intuitionniste n'attache guère plus d'importance à la logique qu'au langage : une démonstration n'est pas concluante en vertu de règles logiques fixées une fois pour toutes, mais en raison de l'« évidence immédiate » de chacun de ses chaînons (BOURBAKI, Hist. math., 1960, p. 55).
Prononc. et Orth. : [
]. Forme intuitioniste, supra. Cf. -isme. Étymol. et Hist. a) 1874 « qui se rapporte à un système philosophique où l'intuition joue un rôle important » (J. STUART MILL, Mémoires, trad. par CAZELLES, p. 262 ds LITTRÉ); b) 1878 « partisan d'un système où l'intuition joue un rôle important » (Lar. 19e Suppl.). Dér. de intuition; suff. -iste. Bbg. JOURJON (A.). Rem. lexicogr. R. de Philol. fr. 1917-18, t. 30, p. 152.
]. Forme intuitioniste, supra. Cf. -isme. Étymol. et Hist. a) 1874 « qui se rapporte à un système philosophique où l'intuition joue un rôle important » (J. STUART MILL, Mémoires, trad. par CAZELLES, p. 262 ds LITTRÉ); b) 1878 « partisan d'un système où l'intuition joue un rôle important » (Lar. 19e Suppl.). Dér. de intuition; suff. -iste. Bbg. JOURJON (A.). Rem. lexicogr. R. de Philol. fr. 1917-18, t. 30, p. 152.
intuitionniste [ɛ̃tɥisjɔnist] n. et adj.
ÉTYM. 1874, trad. de Stuart Mill; de intuition, par l'angl. intuitionism, de intuition. → Intuition.
❖
♦ Didactique.
1 De l'intuitionnisme. Partisan de l'intuitionnisme. — Var. graphique : intuitioniste.
1 Du point de vue des intuitionnistes (…) la méthode logique ne devrait jouer dans la science qu'un rôle auxiliaire.
2 Leibniz est analyste; plus encore, il est logiciste; plus, il est formaliste. Descartes est un géomètre grec; plus encore, il est algébriste (au sens classique), plus, il est intuitioniste.
Michel Serres, Hermès I, La communication, p. 130.
2 (Mil. XXe). || Logique intuitionniste : logique modale de Brouwer et Heyting, fondée sur l'intuitionnisme mathématique. || La mathématique intuitionniste.
♦ Partisan de l'intuitionnisme. || Mathématicien intuitionniste. — N. || Un, une intuitionniste.
Encyclopédie Universelle. 2012.