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 79
Page iv
... means , electronic or mechanical , including photocopying , recording or by any information storage and retrieval system , without written permission from the copyright owner . PREFACE ACKNOWLEDGEMENTS CLASSICAL STUDIES 1. BACKGROUND ...
... means , electronic or mechanical , including photocopying , recording or by any information storage and retrieval system , without written permission from the copyright owner . PREFACE ACKNOWLEDGEMENTS CLASSICAL STUDIES 1. BACKGROUND ...
Page 2
... mean or low thought , with not an iota of vanity — even when he had become one of the landmarks of science , and must have known it ' . Such is the voice of friendship regarding his personal character ; and in the sequel it will appear ...
... mean or low thought , with not an iota of vanity — even when he had become one of the landmarks of science , and must have known it ' . Such is the voice of friendship regarding his personal character ; and in the sequel it will appear ...
Page 3
... means of his parents , eager though they were to for- ward the scholarship of their son , prevented them from being able to afford him more than an ordinary education . In the National School he was first a pupil and then a monitor ...
... means of his parents , eager though they were to for- ward the scholarship of their son , prevented them from being able to afford him more than an ordinary education . In the National School he was first a pupil and then a monitor ...
Page 11
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
Page 12
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