Logique symbolique

Pourquoi faire de la logique quand on fait de la philosophie ? Il n'est sans doute pas faux de dire qu'elle sert à former le jugement mais pourquoi dit-on logique formelle ou logique symbolique ? Cet ouvrage voudrait montrer comment la construction des langues symboliques L0 et L1 permet ensuite d'appliquer le calcul aux propositions de la langue. Le 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. Bien que formelle, la logique garde un rapport au contenu par la possibilité d'interpréter les expressions de la langue.