- Applying algebraic methods to a variety of fields (Leibniz's project)
- Logical propositions denoted by symbols
- Laws of logic denoted by operators
- "All humans are mortal" translates into "All y are some x" or y=vx, and can be further derived: y-vx=0, "Non-mortal humans do not exist"
- Systematic use of symbols eliminates the ambiguities of natural language
- Logic becomes as rigorous as Mathematics