Studies in Logic Volume 26 Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics Volume 17 Reasoning in Simple Type Theory. Festschrift in Honour of Peter B. Andrews on His 70th Birthday. Christoph Benzmüller, Chad E. Brown and Jörg Siekmann, eds. Volume 18 Classification Theory for Abstract Elementary Classes Saharon Shelah Volume 19 The Foundations of Mathematics Kenneth Kunen Volume 20 Classification Theory for Abstract Elementary Classes, Volume 2 Saharon Shelah Volume 21 The Many Sides of Logic Walter Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D’Ottaviano, eds. Volume 22 The Axiom of Choice John L. Bell Volume 23 The Logic of Fiction John Woods, with a Foreword by Nicholas Griffin Volume 24 Studies in Diagrammatology and Diagram Praxis Olga Pombo and Alexander Gerner Volume 25 The Analytical Way: Proceedings of the 6th European Congress of Analytical Philosophy Tadeusz Czarnecki, Katarzyna Kijania-Placek, Olga Poller and Jan Woleski , eds. Volume 26 Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics Albrecht Heeffer and Maarten Van Dyck, eds. Studies in Logic Series Editor Dov Gabbay
[email protected] Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics Edited by Albrecht Heeffer and Maarten Van Dyck © Individual author and College Publications 2010. All rights reserved. ISBN 978-1-84890-017-2 College Publications Scientific Director: Dov Gabbay Managing Director: Jane Spurr Department of Computer Science King’s College London, Strand, London WC2R 2LS, UK http://www.collegepublications.co.uk Original cover design by orchid creative www.orchidcreative.co.uk Printed by Lightning Source, Milton Keynes, UK All rights reserved.