A Boole Anthology: Recent and Classical Studies in the Logic of George BooleJames Gasser Springer Science & Business Media, 30 sept. 2000 - 336 pages 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. |
Table des matières
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 |
Autres éditions - Tout afficher
A Boole Anthology: Recent and Classical Studies in the Logic of George Boole James Gasser Aucun aperçu disponible - 2010 |
Expressions et termes fréquents
algebra analysis appear application argument arithmetic axioms Boole Boole's calculus called Cambridge categorical chapter claim combination common concept concerned conclusion conditional connection consequence considered contains course deductive definition denotes determined differential division edited elective elements elimination equation equivalent example existence expression extension fact formal Frege function give given human hypothetical idea important indicate inference influence instance interest interpretation introduced involved Journal knowledge known language later Laws of Thought logic London mathematical means method mind multisets nature objects obtained operations original particular philosophy possible premises present principle probability problem processes Professor propositions published question reasoning reduced referred regard relation remarkable represent result rules seems sense signs solution statement syllogism symbols theory things thinking tion traditional true truth universe validity variables writings
Informations bibliographiques
| Titre | A Boole Anthology: Recent and Classical Studies in the Logic of George Boole Volume 291 de Synthese Library Volume 291 de Synthese Library: Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
| Rédacteur | James Gasser |
| Édition | illustrée |
| Éditeur | Springer Science & Business Media, 2000 |
| ISBN | 0792363809, 9780792363804 |
| Longueur | 336 pages |
| Exporter la citation | BiBTeX EndNote RefMan |