uninaire

== Français == === Étymologie === (1949) Composé de latin uni- (« un seul »), du latin unus (« un »), et du suffixe -aire pour désigner ce qui est relatif à l’unité ou à la singularité, sur le modèle de binaire, ternaire… === Attestations historiques === Le psychologue suisse Jean Piaget introduit le terme dans sa communication à la Société française de philosophie intitulée La réversibilité de la pensée et les opérations logiques, le 3 décembre 1949, et le publie dans le Bulletin de la Société française de philosophie, 44ᵉ année, nᵒ 4, en 1950. === Adjectif === uninaire \y.ni.nɛʁ\ (Logique, Mathématiques) Qualifie un opérateur ou un connecteur logique qui ne porte que sur une seule proposition. Un opérateur uninaire n’affecte qu’une seule proposition, à la différence d’un opérateur binaire qui en met deux en relation ; la négation est l’exemple canonique d’opérateur uninaire. — (Jean Piaget (dir.), Logique et connaissance scientifique, Encyclopédie de la Pléiade, n° 22, Gallimard, Paris, 1967.) En cet article nous montrons en premier lieu que la théorie de l’hexagone logique de Blanché n’est pas, comme il le pense, le résultat d’une réflexion philosophique, mais qu’elle relève véritablement de la logique scientifique, puisqu’elle s’insère tout naturellement dans la structure d’ensemble des liaisons uninaires (ou monaires) de la logique trivalente des propositions. — (Pierre Sauriol, Remarques sur la théorie de l’hexagone logique de Blanché, Dialogue. Revue canadienne de philosophie, vol. 7, n° 3, Cambridge University Press, 1968. → lire en ligne) === Synonymes === monaire (d'après Logique et connaissance scientifique, 1967, p. 265) singulaire (d'après Logique et connaissance scientifique, 1967, p. 265) unaire === Antonymes === binaire (connecteur à deux propositions) ternaire (connecteur à trois propositions) n-aire (connecteur à n propositions) === Variantes orthographiques === unaire (forme concurrente plus courante en mathématiques et en informatique) === Vocabulaire apparenté par le sens === arité connecteur logique connecteur unaire liaison propositionnelle logique bivalente logique des propositions logique trivalente monaire négation (exemple canonique de connecteur monaire) opérateur logique unaire === Hyperonymes === logique (domaine) opérateur logique === Hyponymes === négation (seul opérateur uninaire de la logique propositionnelle classique) === Traductions === === Prononciation === France (Paris) : [y.ni.nɛʁ] \y.ni.nɛʁ\ === Références === Jean Piaget (dir.), Logique et connaissance scientifique, Encyclopédie de la Pléiade, n° 22, Gallimard, Paris, 1967. ISBN 978-2-07-010413-0