HOME





An Investigation Of The Laws Of Thought
''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. Review of the contents The historian of logic John Corcoran wrote an accessible introduction to ''Laws of Thought''George Boole. 1854/2003. ''The Laws of Thought'', facsimile of 1854 edition, with an introduction by J. Corcoran. Buffalo: Prometheus Books (2003). Reviewed by James van Evra in Philosophy in Review.24 (2004) 167–169. and a point by point comparison of '' Prior Analytics'' and ''Laws of Thought''.John Corcoran, Aristotle's Prior Analytics and Boole's Laws of Thought, ''History and Philosophy of Logic'', 24 (2003), pp. 261–288. According to Corcoran, Boole fully accepted and endorsed Aristotle's logic. Boole's goals were “to go und ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Boole
George Boole ( ; 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. He worked in the fields of differential equations and algebraic logic, and is best known as the author of ''The Laws of Thought'' (1854), which contains Boolean algebra. Boolean logic, essential to computer programming, is credited with helping to lay the foundations for the Information Age. Boole was the son of a shoemaker. He received a primary school education and learned Latin and modern languages through various means. At 16, he began teaching to support his family. He established his own school at 19 and later ran a boarding school in Lincoln. Boole was an active member of local societies and collaborated with fellow mathematicians. In 1849, he was appointed the first professor of mathematics at Queen's College, Cork (now Universi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

William Stanley Jevons
William Stanley Jevons (; 1 September 1835 – 13 August 1882) was an English economist and logician. Irving Fisher described Jevons's book ''A General Mathematical Theory of Political Economy'' (1862) as the start of the mathematical method in economics. It made the case that economics, as a science concerned with Real versus nominal value (economics), quantities, is necessarily mathematical. In so doing, it expounded upon the "final" (marginal) utility theory of value. Jevons' work, along with similar discoveries made by Carl Menger in Vienna (1871) and by Léon Walras in Switzerland (1874), marked the opening of a new period in the history of economic thought. Jevons's contribution to the Marginal utility#Marginal Revolution, marginal revolution in economics in the late 19th century established his reputation as a leading political economist and logician of the time. Jevons broke off his studies of the natural sciences in London in 1854 to work as an metallurgical assay, ass ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Project Gutenberg
Project Gutenberg (PG) is a volunteer effort to digitize and archive cultural works, as well as to "encourage the creation and distribution of eBooks." It was founded in 1971 by American writer Michael S. Hart and is the oldest digital library. Most of the items in its collection are the full texts of books or individual stories in the public domain. All files can be accessed for free under an open format layout, available on almost any computer. , Project Gutenberg had reached over 75,999 items in its collection of free eBooks. The releases are available in plain text as well as other formats, such as HTML, PDF, EPUB, MOBI, and Plucker wherever possible. Most releases are in the English language, but many non-English works are also available. There are multiple affiliated projects that provide additional content, including region- and language-specific works. Project Gutenberg is closely affiliated with Distributed Proofreaders, an Internet-based community for proofr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Edward Vermilye Huntington
Edward Vermilye Huntington (April 26, 1874November 25, 1952) was an American mathematician. Biography Huntington was awarded the B.A. and the M.A. by Harvard University in 1895 and 1897, respectively. After two years' teaching at Williams College, he began a doctorate at the University of Strasbourg, which was awarded in 1901. He then spent his entire career at Harvard, retiring in 1941. He taught in the engineering school, becoming Professor of Mechanics in 1919. Although Huntington's research was mainly in pure mathematics, he valued teaching mathematics to engineering students. He advocated mechanical calculators and had one in his office. He had an interest in statistics, unusual for the time, and worked on statistical problems for the USA military during World War I. Huntington's primary research interest was the foundations of mathematics. He was one of the "American postulate theorists" (according to Michael Scanlan, the expression is due to John Corcoran), American mathem ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Algebra Of Concepts
Gottfried Wilhelm Leibniz (or Leibnitz; – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat who is credited, alongside Sir Isaac Newton, with the creation of calculus in addition to many other branches of mathematics, such as binary arithmetic and statistics. Leibniz has been called the "last universal genius" due to his vast expertise across fields, which became a rarity after his lifetime with the coming of the Industrial Revolution and the spread of specialized labor. He is a prominent figure in both the history of philosophy and the history of mathematics. He wrote works on philosophy, theology, ethics, politics, law, history, philology, games, music, and other studies. Leibniz also made major contributions to physics and technology, and anticipated notions that surfaced much later in probability theory, biology, medicine, geology, psychology, linguistics and computer science. Leibniz contributed to the field of libr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Dover Publications
Dover Publications, also known as Dover Books, is an American book publisher founded in 1941 by Hayward and Blanche Cirker. It primarily reissues books that are out of print from their original publishers. These are often, but not always, books in the public domain. The original published editions may be scarce or historically significant. Dover republishes these books, making them available at a significantly reduced cost. Classic reprints Dover reprints classic works of literature, classical sheet music, and public-domain images from the 18th and 19th centuries. Dover also publishes an extensive collection of mathematical, scientific, and engineering texts. It often targets its reprints at a niche market, such as woodworking. Starting in 2015, the company branched out into graphic novel reprints, overseen by Dover acquisitions editor and former comics writer and editor Drew Ford. Most Dover reprints are photo facsimiles of the originals, retaining the original pagination ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Macmillan Publishers
Macmillan Publishers (occasionally known as the Macmillan Group; formally Macmillan Publishers Ltd in the United Kingdom and Macmillan Publishing Group, LLC in the United States) is a British publishing company traditionally considered to be one of the Big Five (publishers), "Big Five" English language publishers (along with Penguin Random House, Hachette Book Group USA, Hachette, HarperCollins and Simon & Schuster). Founded in London in 1843 by Scottish brothers Daniel MacMillan, Daniel and Alexander MacMillan (publisher), Alexander MacMillan, the firm soon established itself as a leading publisher in Britain. It published two of the best-known works of Victorian-era children's literature, Lewis Carroll's ''Alice's Adventures in Wonderland'' (1865) and Rudyard Kipling's ''The Jungle Book'' (1894). Former Prime Minister of the United Kingdom, Harold Macmillan, grandson of co-founder Daniel, was chairman of the company from 1964 until his death in December 1986. Since 1999, Macmi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Universe Of Discourse
In the formal sciences, the domain of discourse or universe of discourse (borrowing from the mathematical concept of ''universe'') is the set of entities over which certain variables of interest in some formal treatment may range. It is also defined as the collection of objects being discussed in a specific discourse. In model-theoretical semantics, a universe of discourse is the set of entities that a model is based on. The domain of discourse is usually identified in the preliminaries, so that there is no need in the further treatment to specify each time the range of the relevant variables. Many logicians distinguish, sometimes only tacitly, between the ''domain of a science'' and the ''universe of discourse of a formalization of the science''. Etymology The concept ''universe of discourse'' was used for the first time by George Boole (1854) on page 42 of his '' Laws of Thought'': The concept, probably discovered independently by Boole in 1847, played a crucial role i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Ring (mathematics)
In mathematics, a ring is an algebraic structure consisting of a set with two binary operations called ''addition'' and ''multiplication'', which obey the same basic laws as addition and multiplication of integers, except that multiplication in a ring does not need to be commutative. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series. A ''ring'' may be defined as a set that is endowed with two binary operations called ''addition'' and ''multiplication'' such that the ring is an abelian group with respect to the addition operator, and the multiplication operator is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors apply the term ''ring'' to a further generalization, often called a '' rng'', that omits the requirement for a multiplicative identity, and instead call the structure defi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Ernst Schröder (mathematician)
Friedrich Wilhelm Karl Ernst Schröder (; 25 November 1841 – 16 June 1902) was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic, by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce. He is best known for his monumental ''Vorlesungen über die Algebra der Logik'' (''Lectures on the Algebra of Logic'', 1890–1905), in three volumes, which prepared the way for the emergence of mathematical logic as a separate discipline in the twentieth century by systematizing the various systems of formal logic of the day. Life Schröder learned mathematics at Heidelberg, Königsberg, and Zürich, under Otto Hesse, Gustav Kirchhoff, and Franz Neumann. After teaching school for a few years, he moved to the Technische Hochschule Darmstadt in 1874. Two years later, he took up a chair in mathematics at the Karlsruhe Polytechnische Schule, w ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Charles Sanders Peirce
Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American scientist, mathematician, logician, and philosopher who is sometimes known as "the father of pragmatism". According to philosopher Paul Weiss (philosopher), Paul Weiss, Peirce was "the most original and versatile of America's philosophers and America's greatest logician". Bertrand Russell wrote "he was one of the most original minds of the later nineteenth century and certainly the greatest American thinker ever". Educated as a chemist and employed as a scientist for thirty years, Peirce meanwhile made major contributions to logic, such as theories of Algebraic logic, relations and Quantifier (logic), quantification. Clarence Irving Lewis, C. I. Lewis wrote, "The contributions of C. S. Peirce to symbolic logic are more numerous and varied than those of any other writer—at least in the nineteenth century." For Peirce, logic also encompassed much of what is now called epistemology and the philoso ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]