 credits Peacock with being the first to separate what are now called  the syntactic [technical] and the semantic [logical] aspects of algebra.  In the second foundations paper (in 1841) De Morgan proposed what he considered to be a complete set of eight rules for working with symbolical algebra.