OK Gatot, let’s see where this leads to :-)
Peter van den Engel

Thank you for your response,

“The logic used in computers however is not based on argument as you state.”

The logic used in computers are based on computability theory, modal logic and category theory. Mathematics of digital computers is Boolean Algebras and logic “1” and logic “0”/Binary System to construct logic circuits.

Wikipedia gives a fairly complete explanations of logic in computer science. Development of modal logic was started from Aristotle and Theophrastus. Then, C. I. Lewis founded modern modal logic in his 1910 Harvard thesis and in a series of scholarly articles beginning in 1912, etc. The mathematical structure of modal logic, namely Boolean Algebras.

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.