search

prathyvsh / history-of-logic

A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
55 stars 3 forks source link

Logical Algebra vs. Arithmetic Reckoning #2

Closed prathyvsh closed 3 years ago

prathyvsh commented 4 years ago

De Morgan and Boole would publish their work on logic on the same day.

Algebraic tradition of logic looks more declarative (top down) and the ratiocinative binary arithmetic looks more like imperative (bottom up) modes of operation. Does this distinction link back to Calculus Ratiocinator vs. Characteristica Universalis?

prathyvsh commented 3 years ago

I think such a distinction is not mutually exclusive. Leibniz wanted his lingua universalis to have a calculus ratiocinator. Also, as the question as it stands here Boole’s algebra contains in itself a form of binary arithmetic which allows one to deduce arguments by manipulating the algebra. So declarative statements of Aristotelian logic represented by it does indeed have deductive qualities.