No label defined (Q4394885)

This is a brief outline of the history of the development of logic and algebras of and in logic. Starting with the mathematization of classical logic at the beginning of the nineteenth century with George Peacock and George Boole, to Jevons and Peirce, Huntington and Whitehead, Schröder and Del Re, and then the twentieth century with Frege, Peano, Russel, Church, Tarski, Lindenbaum, Garrett Birkhoff and then Marshall Stone's representation theorem, this algebraic logic (Halmos 1962? MacFarlaine 1879, Peirce 1880), or this algebra of logic is distinguished from algebraic methods simply used in logic: the internal and native to the external and imported. For the entire collection see [Zbl 0882.00029].