Search results
Results From The WOW.Com Content Network
George Boole (/ b uː l /; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland.
More specifically, Boole agreed with what Aristotle said; Boole's ‘disagreements’, if they might be called that, concern what Aristotle did not say. First, in the realm of foundations, Boole reduced the four propositional forms of Aristotle's logic to formulas in the form of equations– by itself a revolutionary idea. Second, in the realm ...
Though he never questioned Aristotle, George Boole's algebraic reformulation of logic, so-called Boolean logic, was a predecessor of modern mathematical logic and classical logic. William Stanley Jevons and John Venn, who also had the modern understanding of existential import, expanded Boole's system. Begriffsschrift title page
More than two millennia later, George Boole alluded to the very same principle as did Aristotle when Boole made the following observation with respect to the nature of language and those principles that must inhere naturally within them:
An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities by George Boole, published in 1854, is the second of Boole's two monographs on algebraic logic. Boole was a professor of mathematics at what was then Queen's College, Cork, now University College Cork, in Ireland.
George Boole's unwavering acceptance of Aristotle's logic is emphasized by the historian of logic John Corcoran in an accessible introduction to Laws of Thought. [10] [11] Corcoran also wrote a point-by-point comparison of Prior Analytics and Laws of Thought. [12] According to Corcoran, Boole fully accepted and endorsed Aristotle's logic.
According to Corcoran, Boole fully accepted and endorsed Aristotle's logic. Boole's goals were "to go under, over, and beyond" Aristotle's logic by 1) providing it with mathematical foundations involving equations, 2) extending the class of problems it could treat—from assessing validity to solving equations—and 3) expanding the range of ...
George Boole (1815–1864) introduced this principle into modern logic: Even though he changed from a monistic fixed-universe framework in his 1840s writings to a pluralistic multiple-universe framework in 1854, [1] he never wavered in his frank avowal of the principle of wholistic reference. Indeed, he took it as an essential accompaniment to ...