● foncteur nom masculin Foncteur de vérité, connecteur logique qui permet d'établir une proposition complexe à partir de plusieurs propositions simples et indique en même temps la valeur de vérité de la proposition complexe. ● foncteur (expressions) nom masculin Foncteur de vérité, connecteur logique qui permet d'établir une proposition complexe à partir de plusieurs propositions simples et indique en même temps la valeur de vérité de la proposition complexe.
foncteur [fɔ̃ktœʀ] n. m.
❖
♦ Log. Chacun des opérateurs qui exprime de quelle manière la vérité de la proposition complexe qu'il sert à former est fonction de celle des propositions élémentaires (on dit parfois foncteur de vérité). || Les foncteurs comprennent les connectifs binaires et la négation.
0 (…) Mc Culloch et Pitts ont montré, en effet, qu'il y a isomorphisme entre les opérateurs intervenant dans les différentes formes de connexions neuroniques et les foncteurs de la logique des propositions (réseau booléen) et ce fait fondamental indique que si les structures logiques sont le produit de constructions progressives, se réorganisant et se poursuivant de palier en palier jusqu'à celui de la formalisation elle-même, ces constructions, sans être préformées puisqu'elles sont de plus en plus riches, remontent jusqu'aux coordinations nerveuses et sensori-motrices elles-mêmes.
J. Piaget, Épistémologie des sciences de l'homme, p. 101.
Encyclopédie Universelle. 2012.