Vers la fin de sa vie, en 1896, Charles Lutwidge Dodgson (plus connu sous le nom de Lewis Carroll) publia un rsum de son "uvre professionnelle de mathmaticien Oxford.
La logique symbolique avait pour but de clarifier la confusion qu'il constatait parmi les spcialistes de logique de son poque. La logique merge, dans cet ouvrage, comme une sorte de jeu: gouverne par des rgles, mais arbitraire.
Ce n'est pas la vision
...