Joël, tu as réagi à mon dernier message en proposant une autre table de vérité, elle aussi parfaitement conforme à la logique, dont les résultats ne diffèrent qu'en raison de l'utilisation d'un autre connecteur logique. [ à la place du "Et" conjonctif, tu utilises le "Ou" alternatif ]
Le "Ou" n'était pas le connecteur pertinent pour calculer les valeurs découlant de la proposition initialement formulée par Godwin sous cette forme: > Le concept de liberté est il concevable dans le cas d'un > logiciel libre tournant sur un système propriétaire... Il ne s'agissait pas d'envisager l'alternative entre un logiciel libre ou un logiciel propriétaire, mais les conséquences découlant de la conjonction de ces deux types de logiciels... LOGICIEL libre "Et" SYSTEME propriétaire ... Je maintiens que dans cette perspective, les valeurs de vérité des différentes propositions qui en découlent ne peuvent être calculées qu'en utilisant le connecteur "Et" ... Mais la logique n'ayant pouvoir d'imposer aucune tyranie, demeure pour chacun l'entière liberté d'utiliser ces logiciels de nature opposée. Leur conjonction ou leur disjonction ne saurait résulter que de dispositions librement consenties ... En d'autres termes, Joël, je n'ai armé de logique aucune intransigence .... Amicalement, jean-louis.bader Linux-Azur : http://www.linux-azur.org Désinscriptions: http://www.linux-azur.org/liste.php3 **** Pas de message au format HTML, SVP ****
