scientific article; zbMATH DE number 1163360

From MaRDI portal
Publication:4394885





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].











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4394885)