Le Fri, 08 Aug 2008 09:34:15 +0200, Jil S a écrit :

Albert ARIBAUD a pensé très fort :

Le Thu, 07 Aug 2008 22:29:10 +0200, Jil S a écrit :

Un shareware et un freeware ne sont pas libres [...]

toutafé

Ergo, Open Office ne peut pas être freeware sinon il ne serait pas
libre, or il est libre.

Amicalement,

Pur syllogisme

Aucun syllogisme dans mes conclusions, juste l'application rigoureuse de la logique.

Tu as accepté plus haut comme vraie cette implication :

(1) (X appartient à Freeware) => (X n'appartient pas à Libre)

Tu as affirmé par ailleurs cette proposition :

(2) OO appartient à Freeware

On applique (2) comme prémisse à (1), et tu ne peux que conclure :

(3) OO n'appartient pas à Libre

Or, de ton propre aveu (et c'est heureux, car ça rejoint la position de ses ayant-droit [1]) OO est libre.

Nous avons donc une contradiction : OO serait à la fois non libre et libre, ce qui viole le principe du tiers exclus. La liberté étant la  qualité définie par les ayant-droits conformément à leurs prérogatives, elle est axiomatique ; c'est donc ta prémisse qui est fausse.

Amicalement,