From Mathematics in Logic to Logic in Mathematics

Progress made in mathematical logic stemmed from two continuous and overlapping research programmes: Boole's introduction of mathematics into logic and Frege's introduction of logic into mathematics. Aliou Tall considers these two concurrent research streams, as it were, side-by-side, discussing Boole's research program in the context of logical debates and the emergence of symbolical algebra and the Fregean research program including Frege's discussion of the commonality of the two programs.