|
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 un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 is credited with laying the foundations for the Information Age. Early life Boole was born in 1815 in Lincoln, Lincolnshire, England, the son of John Boole senior (1779–1848), a shoemaker and Mary Ann Joyce. He had a primary school education, and received lessons from his father, but due to a serious decline in business, he had little further formal and academic teaching. William Brooke, a bookseller in Lincoln, may have helped him with Latin, which he may also have learned at the school of Thomas Bainbridge. He was self-taught in modern languages.Hi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Sanders Peirce
Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism". Educated as a chemist and employed as a scientist for thirty years, Peirce made major contributions to logic, a subject that, for him, encompassed much of what is now called epistemology and the philosophy of science. He saw logic as the formal branch of semiotics, of which he is a founder, which foreshadowed the debate among logical positivists and proponents of philosophy of language that dominated 20th-century Western philosophy. Additionally, he defined the concept of abductive reasoning, as well as rigorously formulated mathematical induction and deductive reasoning. As early as 1886, he saw that logic gate, logical operations could be carried out by electrical switching circuits. The same idea was used decades later to produce digital computers. See Also In 1934, the philosopher Paul W ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Project Gutenberg
Project Gutenberg (PG) is a Virtual volunteering, 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 50,000 items in its collection of free eBooks. The releases are available in Text file, plain text as well as other formats, such as HTML, PDF, EPUB, Mobipocket, 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 Inte ... [...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] |
Algebra Of Concepts
Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of mathematics. He wrote works on philosophy, theology, ethics, politics, law, history and philology. 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. In addition, he contributed to the field of library science: while serving as overseer of the Wolfenbüttel library in Germany, he devised a cataloging system that would have served as a guide for many of Europe's largest libraries. Leibniz's contributions to this vast array of subjects were scattered in various learned journals, in tens of thousands of letters and in unpublished manuscripts. He wrote in several languages, primarily in Lat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...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 and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Macmillan Publishers
Macmillan Publishers (occasionally known as the Macmillan Group; formally Macmillan Publishers Ltd and Macmillan Publishing Group, LLC) is a British publishing company traditionally considered to be one of the 'Big Five' English language publishers. Founded in London in 1843 by Scottish brothers Daniel and Alexander MacMillan, the firm would soon establish 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, Macmillan has been a wholly owned subsidiary of Holtzbrinck Publishing Group with offices in 41 countries worldwide and operations in more than thirty others. History Macmillan was founded in London in 1843 by Daniel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universe Of Discourse
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range. Overview 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''.José Miguel Sagüillo, Domains of sciences, universe of discourse, and omega arguments, History and philosophy of logic, vol. 20 (1999), pp. 267–280. Examples For example, in an interpretation of first-order logic, the domain of discourse is the set of individuals over which the quantifiers range. A proposition such as is ambiguous, if no domain of discourse has been identified. In one interpretation, the domain of di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring (mathematics)
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ''ring'' is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. 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. Formally, a ''ring'' is an abelian group whose operation is called ''addition'', with a second binary operation called ''multiplication'' that is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors use the term " " with a missing i to refer to the more general structure that omits this last requirement; see .) Whether a ring is commutative (that is, whether the order in which two elements are multiplied might change the result) has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ernst Schröder (mathematician)
Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Mannheim, Baden, Germany – 16 June 1902 in Karlsruhe, Germany) 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 math ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Stanley Jevons
William Stanley Jevons (; 1 September 183513 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 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 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 assayer in Sydney, where he acquired an interest in political economy. Returning to the UK in 1859, h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
