This paper reports a computational model of Boole's discovery of Logic as a part of Mathematics. George Boole (1815-1864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole contemporary theory of Logic by the use of methods such as the solution of algebraic equations. Study of the diierent historical factors that innuenced this achievement has served as ...

We propose an approach for decomposing Boolean satisfiability problems while extending recent results of [12] on solving Boolean systems of equations. Developments in [12] were aimed at the expansion of functions f in orthonormal (ON) sets of base functions as a generalization of the Boole-Shannon expansion and the derivation of the consistency condition for the equation f = 0 in terms of the e...

This article explores the ideas that went into George Boole’s development of an algebra for logic in his book The Laws of Thought. The many theories that have been proposed to explain the origins of his algebra have ignored his wife Mary Boole’s claim that he was deeply influenced by Indian logic. This paper investigates this claim and argues that Boole’s focus was more than a framework for pro...

Prior Analytics by the Greek philosopher Aristotle (384– 322 BCE) and Laws of Thought by the English mathematicianGeorge Boole (1815 – 1864) are the twomost important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and ...

We give examples of piecewise linear random interval maps satisfying arcsine and Darling–Kac laws, which are analogous to Thaler’s Aaronson’s laws for the Boole transformation. They constructed by switch two with attracting or repelling fixed points, behave as if they were indifferent points a deterministic map.