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. |
Contents
CLASSICAL STUDIES | 1 |
G P YOUNGRemarks on Professor Booles Mathematical Theory of | 27 |
MATHEMATICAL ASPECTS | 45 |
T HAILPERIN Booles Algebra Isnt Boolean Algebra 1981 | 61 |
PHILOSOPHICAL ASPECTS | 79 |
J W VAN EVRA A Reassessment of George Booles Theory of Logic 1977 | 87 |
J CORCORAN and S WOOD Booles Criteria for Validity and Invalidity 1980 | 101 |
Leibniz and Boole | 129 |
GRATTANGUINNESS On Booles Algebraic Logic after The Mathematical | 213 |
B GODARTWENDLINGThe Conceptualization of Time in Booles Algebraic | 241 |
G BORNETGeorge Boole and the Science of Logic | 257 |
CONSEQUENCES | 271 |
S RAHMAN Hugh MacColl and George Boole on Hypotheticals | 287 |
Some Similarities between Boole | 311 |
CONTRIBUTORS | 327 |
| 333 | |
English Debates and Booles | 139 |
PANTEKI The Mathematical Background of George Booles Mathematical | 167 |
Other editions - View all
A Boole Anthology: Recent and Classical Studies in the Logic of George Boole James Gasser Limited preview - 2013 |
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 example exclusive disjunction expression fact Formal Logic Frege function George Boole given Grattan-Guinness Gregory Hamilton hypothetical Ibid idea idempotency inference integral 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 possible premises present principle problem processes Professor Boole psychologism reasoning referred relation Reprinted result Schröder secondary propositions solution syllogism syllogistic Symbolic Logic symbolical algebra theorem theory tion traditional treatise true truth uninterpretable universe validity variables Whately Whately's