A successful attempt to express logical propositions by symbols, the laws of whose combinations should be founded upon the laws of the mental processes which they represent, would, so far, be a step towards a philosophical language.

— George Boole, The Mathematical Analysis of Logic (1847)

From The Mathematical Analysis of Logic (1847).

Topics: mathematics