history-of-logic icon indicating copy to clipboard operation
history-of-logic copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Progenies of Boole’s Work

Open prathyvsh opened this issue 4 years ago • 2 comments

Boole’s work is not the Boolean Algebra that we know today.

It has gone refinement and axiomatization under the hands of Venn, Peirce, and Huntington. Trace these lineages and describe their outcomes.

prathyvsh avatar Jul 09 '20 22:07 prathyvsh

There seems to be a three part tutorial on the evolution of Boole’s logic here: https://www.maa.org/press/periodicals/convergence/applications-of-boolean-algebra-claude-shannon-and-circuit-design

prathyvsh avatar Jul 09 '20 23:07 prathyvsh

Some people involved here till 1900s is:

  • Richard Whatley
  • Stuart Mill
  • Augustus De Morgan
  • Boole
  • Hugh MacColl
  • Alexander MacFarlane
  • William Stanley Jevons
  • Venn
  • Schröeder
  • Gottlob Frege
  • Peirce
  • Allan Marquand
  • Huntington
  • Rosaiah Joyce
  • Löwenheim

prathyvsh avatar Jul 10 '20 17:07 prathyvsh