George Boole Selected Manuscripts on Logic and its Philosophy

George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his name has spread world-wide for his innovations in symbolic logic and the development and applications made since his day. The utility of "Bool

  • PDF / 42,382,637 Bytes
  • 297 Pages / 439.37 x 666.142 pts Page_size
  • 30 Downloads / 195 Views

DOWNLOAD

REPORT


Edited by Erwin Hiebert and Hans Wussing Editorial Board: K. Anderson, Aarhus D. Barkan, Pasadena H.J.M. Bos, Utrecht U. Bottazzini, Roma J.Z. Buchwald, Cambridge, Mass. K. Chemla, Paris S.S. Demidov, Moskva E.A. Fellmann, Basel M. Folkerts, Munchen P. Galison, Cambridge, Mass. 1. Grattan-Guinness, London J. Gray, Milton Keynes

R. Halleux, Liege S. Hildebrandt, Bonn E. Knobloch, Berlin D. Laugwitz, Muhltal Ch. Meinel, Regensburg J. Peiffer, Paris W. Purkert, Leipzig D. Rowe, Mainz A.1. Sabra, Cambridge, Mass. E. Scholz, Wupperthal R.H. Stuewer, Minneapolis V.P. Vizgin, Moskva

Springer Basel AG

George Boole Selected Manuscripts on Logic and its Phi losophy

Editors: Ivor Grattan-Guinness Gerard Bornet

Springer Sasel AG

Editors: Ivor Grattan-Guinness Professor of the History of Mathematics and Logic Middlesex University Queensway Enfield Middlesex EN3 4SF Great Britain

Dr. phil.-hist. Gerard Bornet Philosophisches Seminar Universite Misericorde 1700 Fribourg Switzerland

Published with support of the Swiss National Science Foundation. Library of Congress Cataloging-in-Publication Data Boole, George. 1815-1864 George Boole: selected manuscripts on logic and its philosophy I [edited by]lvor Grattan-Guinness, Gerard Bornet. -- (Science networks historical studies ; v. 20) Includes bibliographical references and index. ISBN 978-3-0348-9805-8 ISBN 978-3-0348-8859-2 (eBook) DOI 10.1007/978-3-0348-8859-2 1. Logic, Symbolic and mathematical. 2. Mathematics--philosophy. 3. Boole, 1. Grattan-Guinness, 1. II. Bornet, Gerard. George, 1815-1864. III. Title. IV. Series. QA9.2.B68 1997 511.3--dc21

Deutsche Bibliothek Cataloging-in-Publication Data George Boole - selected manuscripts on logic and its philosophy Ilvor Grattan-Guinness/Gerard Bornet. - Basel ; Boston; Berlin: Birkhauser, 1997 (Science networks ; VoI. 20) ISBN 978-3-0348-9805-8 NE: Grattan-Guinness, Ivor; Bornet, Gerard; GT This work is subject to copyright. AII rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. For any kind of use, permission of the copyright owner must be obtained. © 1997 Springer Basel AG Originally published by Birkhiiuser Verlag in 1997 Softcover reprint of the hardcover 1st edition 1997 Cover Design: Micha Lotrovsky, Therwil, Switzerland Printed on acid-free paper produced from chlorine-free pulp. TCF ISBN 978-3-0348-9805-8

987654321

00

Contents

Editors' Introduction Part 1: Boole's quest for the foundations of his logic

xiii

Ivor Grattan-Guinness

§ lOur purpose

§2 §3 §4

§5 §6 §7 §8 §9 §10 § 11 § 12 § 13 § 14

Life and career The fate of Boole's Nachlass Organisation and explanation of the selected manuscripts The renaissance of logic in Britain Boole, English algebraist par excellence Logic in Boole's Mathematical analysis of logic Between books, 1848-1854 Logic in The laws of thought Logic after The laws of thought Plans and tex