Archives for July, 2018

KNOLmnc 1 L (p ≡ Lq) est la formule de l’implication stricte proposée par Jean-François Monteil. Le fait p implique strictement le fait q, s’il est établi que le possible fait p équivaut à la certitude du fait q. La représentation de l’implication stricte dans wikipedia et chez de bons auteurs comme John Lyons est clairement déficiente.

La définition de l’implication stricte adoptée par les contributeurs de wikipedia et par John Lyons dans Semantics 1 dit que p implique strictement q, si l’on a L (p → q) Il est nécessaire que p implique q, autrement dit, ~M (p & ~q) Il est im-possible d’avoir à la fois p et q. L (p […]