 Peirce worked in the algebraic tradition of Boole. His first logic papers appeared in 1867; they simplify Boole’s system, re-interpret union or logical addition \(A+B\) so that it applies also when A and B are not disjoint, correct several mistakes, and explore connections between logic, arithmetic, and algebra. 