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 85
Page v
... Analysis on the Creation of His Logic ( 1977 ) 45 T. HAILPERIN / Boole's Algebra Isn't Boolean Algebra ( 1981 ) 61 3. PHILOSOPHICAL ASPECTS M. DUMMETT / Review of Boole , Studies in Logic and Probability , and of ' Celebration of the ...
... Analysis on the Creation of His Logic ( 1977 ) 45 T. HAILPERIN / Boole's Algebra Isn't Boolean Algebra ( 1981 ) 61 3. PHILOSOPHICAL ASPECTS M. DUMMETT / Review of Boole , Studies in Logic and Probability , and of ' Celebration of the ...
Page vi
... Logic : Leibniz and Boole 129 M.-J. DURAND - RICHARD / Logic versus Algebra : English Debates and Boole's Mediation 139 2. MATHEMATICAL ASPECTS M. PANTEKI / The Mathematical Background of George Boole's Mathematical Analysis of Logic ...
... Logic : Leibniz and Boole 129 M.-J. DURAND - RICHARD / Logic versus Algebra : English Debates and Boole's Mediation 139 2. MATHEMATICAL ASPECTS M. PANTEKI / The Mathematical Background of George Boole's Mathematical Analysis of Logic ...
Page vii
... study of logic were followed by an explosion of prog- ress in the late nineteenth century . It was George Boole's first book on logic , pub- lished in 1847 as The Mathematical Analysis of Logic , that provided the spark . Boole showed ...
... study of logic were followed by an explosion of prog- ress in the late nineteenth century . It was George Boole's first book on logic , pub- lished in 1847 as The Mathematical Analysis of Logic , that provided the spark . Boole showed ...
Page 8
Recent and Classical Studies in the Logic of George Boole James Gasser ... study of the ancient lan- guages and mathematics , and perseveringly toiled on in ... Analysis ' , and treated of ' the separa- tion of the symbols of operation ...
Recent and Classical Studies in the Logic of George Boole James Gasser ... study of the ancient lan- guages and mathematics , and perseveringly toiled on in ... Analysis ' , and treated of ' the separa- tion of the symbols of operation ...
Page 18
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
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