Vers la fin du XIXe siecle et surtout au XXe, on ne controle plus l'application de la forme logique p->q (argument, inference, conditionnel) par les savants. Si le savant a ete deifie (le cas d'Einstein par exemple), tout argument est valide et les premisses et la conclusion sont toujours vraies. On peut appeler ce developpement Le Postscientisme:
http://dogma.free.fr/txt/PVInconsistance.htm
http://www.wbabin.net/valev/valev4.htm
http://www.wbabin.net/valev/valev8.htm
La logique elle-meme subit un developpement similaire. Dans Tractatus 5 et 5.101 Wittgenstein definit le conditionnel comme verifonctionnel (sa verite ne depend que de la verite de l'antecedent et du consequent) et lui donne une table de verite assez arbitraire:
p q p->q
V V V
F V V
V F F
F F V
Pourtant, dans Tractatus 5.122, Wittgenstein en fait nie la definition precedente et redefinit le conditionnel comme non-verifonctionnel (il y a un lien entre l'antecedent et le consequent). Cette fois la definition est correcte mais l'usage verifonctionnel du conditionnel s'est etabli et la logique n'est devenue qu'un moyen de jouer avec des "inferences" absurdes comme (p et non-p)->q et p->(p ou q). Ce developpement peut etre baptise Le Postlogicisme.
Pentcho Valev
