Cet ouvrage essaie de montrer comment la construction des langues symboliques L0 et L1 permet d'appliquer le calcul des propositions de la langue. La calcul n'est pas une simple technique permettant d'utiliser des symboles comme le ferait une machine mais il provient d'une pensée symbolique ou aveugle qui vise à définir et à déduire quand il ne peut y avoir d'intuition ou de vision.