>but the truth tables, the AND/OR/NOT trinity, de Morgan's laws ― it's all there already.
Yes, the idea of algebraizing logic was to my knowledge first done by Frege in his 1884 book "Begriffsschrift" (Hard to translate, maybe "Statement Notation" gets close?), which is fascinating to read. He had developed a (from our perspective) very weird notation, but it actually expresses what we would nowadays call "formal logic". Importantly it includes decuctions, which is an important addition to the and/or/not operations.
Before Frege philosophy/mathematics also had these notions, but instead of being algebraic they were linguistic notions. Those you can find even in ancient Greek Texts.
If the author really does argue that Shannon invented formal logic, then he is definitely wrong, although I have not read his argument on that.
Yes, the idea of algebraizing logic was to my knowledge first done by Frege in his 1884 book "Begriffsschrift" (Hard to translate, maybe "Statement Notation" gets close?), which is fascinating to read. He had developed a (from our perspective) very weird notation, but it actually expresses what we would nowadays call "formal logic". Importantly it includes decuctions, which is an important addition to the and/or/not operations.
Before Frege philosophy/mathematics also had these notions, but instead of being algebraic they were linguistic notions. Those you can find even in ancient Greek Texts.
If the author really does argue that Shannon invented formal logic, then he is definitely wrong, although I have not read his argument on that.