Re: Opérateur mathématique?

[Alain LaBonté <alb@xxxxxxxxxxxxxx>]

A 09:44 98-04-28 -0500, Sylvie Lachize a écrit :
> En tant que logicienne, je me sens soudain poussée à intervenir!
> Chez nous « Plus_grand_que » est un prédicat binaire, ou encore une
> relation. Le « résulta t» de « Plus_grand_que(2,6) » n'est ni 1 ni
> 0. Pour juger de la valeur de vérité de cet énoncé, il faut d'abord
> assigner une interprétation à « 2 », « 6 » et à « Plus_grand_que »
> (on appelle cette interprétation un modèle). Bien sûr, selon
> l'interprétation standard de ces trois termes, Plus_grand_que(2,6)
> est faux. Mais on peut assigner une autre interprétation à l'énoncé
> qui le rendrait vrai... par exemple, il suffit que « 2 » désigne 6
> et « 6 » désigne 2! 

   [Alain] :
   Je suis tout à fait d'accord... mais le commun des mortels ne vous
suivrait pas...

[Sylvie] :
> Comment ça, tordu?

   [Alain] :
   Ce n'est pas moi qui vais dire cela... je dois avoir moi-même l'esprit
tordu... mais souvent cela rend très malheureusement la pensée
incommunicable. Ça aide beaucoup dans les relations humaines [ (;  ): ]

Alain LaBonté
Québec