A Boole Anthology: Recent and Classical Studies in the Logic of George BooleJames Gasser Modern mathematical logic would not exist without the analytical tools first developed by George Boole in The Mathematical Analysis of Logic and The Laws of Thought. The influence of the Boolean school on the development of logic, always recognised but long underestimated, has recently become a major research topic. This collection is the first anthology of works on Boole. It contains two works published in 1865, the year of Boole's death, but never reprinted, as well as several classic studies of recent decades and ten original contributions appearing here for the first time. From the programme of the English Algebraic School to Boole's use of operator methods, from the problem of interpretability to that of psychologism, a full range of issues is covered. The Boole Anthology is indispensable to Boole studies and will remain so for years to come. |
From inside the book
Results 1-5 of 78
Page ii
... PHILOSOPHY OF SCIENCE Managing Editor : JAAKKO HINTIKKA , Boston University Editors : DIRK VAN DALEN , University of Utrecht , The Netherlands DONALD DAVIDSON , University of California , Berkeley THEO A.F. KUIPERS , University of ...
... PHILOSOPHY OF SCIENCE Managing Editor : JAAKKO HINTIKKA , Boston University Editors : DIRK VAN DALEN , University of Utrecht , The Netherlands DONALD DAVIDSON , University of California , Berkeley THEO A.F. KUIPERS , University of ...
Page vi
... PHILOSOPHICAL ASPECTS S. NAMBIAR / The ... Philosophy of Logic : the Reduction of Hypotheticals to Categoricals 217 B. GODART - WENDLING / The Conceptualization of Time in Boole's Algebraic Logic 241 G. BORNET / George Boole and the Science ...
... PHILOSOPHICAL ASPECTS S. NAMBIAR / The ... Philosophy of Logic : the Reduction of Hypotheticals to Categoricals 217 B. GODART - WENDLING / The Conceptualization of Time in Boole's Algebraic Logic 241 G. BORNET / George Boole and the Science ...
Page vii
... Philosophy of Science . One of the soci- ety's more active members , Gérard Bornet , sent me a note in the mid - 1990s which I quote in full : ' 1847 + 150 = 1997. Why not a meeting ? ' . ( I was well acquainted with Gérard's research ...
... Philosophy of Science . One of the soci- ety's more active members , Gérard Bornet , sent me a note in the mid - 1990s which I quote in full : ' 1847 + 150 = 1997. Why not a meeting ? ' . ( I was well acquainted with Gérard's research ...
Page viii
... Science Foundation , the Swiss Academy of Sciences , and the University of Lausanne made it possible to invite the ... philosophy . Basel : Birkhäuser . 4 MacHale , Desmond . 1985. George Boole : His life and work . Dublin : Boole Press ...
... Science Foundation , the Swiss Academy of Sciences , and the University of Lausanne made it possible to invite the ... philosophy . Basel : Birkhäuser . 4 MacHale , Desmond . 1985. George Boole : His life and work . Dublin : Boole Press ...
Page 6
... philosophy more enduring than themselves . The Coliseum and the Acropolis are in ruins , but the philosophies which sprung up beneath their shadows are yet deep in the tide of human opinions , still influencing , with an unseen but ...
... philosophy more enduring than themselves . The Coliseum and the Acropolis are in ruins , but the philosophies which sprung up beneath their shadows are yet deep in the tide of human opinions , still influencing , with an unseen but ...
Contents
G P YOUNGRemarks on Professor Booles Mathematical Theory of | 26 |
MATHEMATICAL ASPECTS | 45 |
T HAILPERIN Booles Algebra Isnt Boolean Algebra 1981 61 | 60 |
PHILOSOPHICAL ASPECTS | 79 |
J W VAN EVRA A Reassessment of George Booles Theory of Logic 1977 87 | 86 |
J CORCORAN and S WOOD Booles Criteria for Validity and Invalidity 1980 | 101 |
Leibniz and Boole | 129 |
English Debates and Booles | 139 |
GRATTANGUINNESS On Booles Algebraic Logic after The Mathematical | 213 |
B GODARTWENDLING The Conceptualization of Time in Booles Algebraic | 240 |
G BORNET George Boole and the Science of Logic | 257 |
CONSEQUENCES | 271 |
S RAHMAN Hugh MacColl and George Boole on Hypotheticals 287 | 286 |
Some Similarities between Boole | 311 |
CONTRIBUTORS | 327 |
333 | |
Other editions - View all
A Boole Anthology: Recent and Classical Studies in the Logic of George Boole James Gasser Limited preview - 2000 |
A Boole Anthology: Recent and Classical Studies in the Logic of George Boole James Gasser No preview available - 2010 |
Common terms and phrases
algebraic logic Analysis of Logic application argument Aristotelian Aristotelian logic Aristotle arithmetic axioms basic logic Boole's logic Boolean algebra Boolean ring calculus of operations Cambridge Mathematical Journal categorical propositions coefficients concept conditional connection considered deductive denotes differential equations elective symbols elements elimination equivalent essay example exclusive disjunction expression fact Formal Logic Frege function George Boole given Grattan-Guinness Gregory Hamilton hypothetical ibid idea idempotency inference interpretation ISBN Ivor Grattan-Guinness Kneale language Laws of Thought Leibniz logicians London MacColl MacColl's Mathematical Analysis mathematical logic mathematician means Method in Analysis mind modern logic multisets nature Panteki paper particular Peacock philosophy of logic Philosophy of Science possible premises principle problem processes Professor Boole psychologism reasoning referred relation result secondary propositions solution syllogism Symbolic Logic symbolical algebra theorem theory tion traditional translation treatise true truth uninterpretable universe validity variables Whately Whately's