- #1

PainterGuy

- 940

- 69

Hi,

I was reading this article, https://writings.stephenwolfram.com/2015/11/george-boole-a-200-year-view/, and the following excerpt is taken from it.

George Boole came up with his Boolean logic around 1847.

I think that it was Claude Shannon who showed that any numerical operation can be carried out using the basic building blocks of Boolean algebra; as this is also mentioned in this video around 17:00 /watch?v=IgF3OX8nT0w (put youtube.com in front).

I understand that these days Boolean logic is the basis for digital computation and its use is widespread in terms of applicability and usefulness.

What was logic really used for, for example, before George Boole formalized it, or even after its formalization by Boole but before adoption as a tool for digital computation? I'm sure it must have had some useful applications before it became the basis for digital computation but mostly, as a layman, I come across examples as the one shown below which is just interesting but IMHO not very useful in terms of real world application. Could you please help me it? Thanks!

All men are mortals

All Socrates are men

All Socrates are mortals

Source: https://en.wikipedia.org/wiki/Term_logic

https://en.wikipedia.org/wiki/Logic

Aristotelian logic is also called "term logic", traditional logic, and syllogistic logic.

I was reading this article, https://writings.stephenwolfram.com/2015/11/george-boole-a-200-year-view/, and the following excerpt is taken from it.

When George Boole came onto the scene, the disciplines of logic and mathematics had developed quite separately for more than 2000 years. And George Boole’s great achievement was to show how to bring them together, through the concept of what’s now called Boolean algebra. And in doing so he effectively created the field of mathematical logic, and set the stage for the long series of developments that led for example to universal computation.

When George Boole invented Boolean algebra, his basic goal was to find a set of mathematical axioms that could reproduce the classical results of logic. His starting point was ordinary algebra, with variables likexandy, and operations like addition and multiplication.

George Boole came up with his Boolean logic around 1847.

I think that it was Claude Shannon who showed that any numerical operation can be carried out using the basic building blocks of Boolean algebra; as this is also mentioned in this video around 17:00 /watch?v=IgF3OX8nT0w (put youtube.com in front).

Source: https://en.wikipedia.org/wiki/George_Boole#Symbolic_logicContrary to widespread belief, Boole never intended to criticize or disagree with the main principles of Aristotle's logic. Rather he intended to systematise it, to provide it with a foundation, and to extend its range of applicability.

**My Question:**I understand that these days Boolean logic is the basis for digital computation and its use is widespread in terms of applicability and usefulness.

What was logic really used for, for example, before George Boole formalized it, or even after its formalization by Boole but before adoption as a tool for digital computation? I'm sure it must have had some useful applications before it became the basis for digital computation but mostly, as a layman, I come across examples as the one shown below which is just interesting but IMHO not very useful in terms of real world application. Could you please help me it? Thanks!

All men are mortals

All Socrates are men

All Socrates are mortals

Source: https://en.wikipedia.org/wiki/Term_logic

**Helpful links and notes:**https://en.wikipedia.org/wiki/Logic

Aristotelian logic is also called "term logic", traditional logic, and syllogistic logic.

Last edited: