xxii PREFACE TO THE SECOND EDITION. 



find a co])y of his book in London, even in the British 

 Mnseimi Library ; it is not mentioned in the printed 

 catalogue of the Bodleian Library ; Messrs. Asher have 

 failed to obtain it for me by advertisement in Germany ; 

 and Professor Adamson has been equally unsuccessful. 

 From the way in which the principle of substitution is 

 meu-tioned by Eeusch, it would seem likely that otlier 

 logicians of the early part of the eighteenth century were 

 acquainted with it ; but, if so, it is still more curious that 

 recent historians of logical science have overlooked the 

 doctrine. 



It is a strange and discouraging fact, that true views of 

 logic should have been discovered and discussed fiom one 

 to two centuries ago, and yet should have remained, like 

 George Bentham's work in this century, without influ- 

 ence on the subsequent progress of the science. It may 

 be regarded as certain that none of the discoverers of 

 the quantification of the predicate, Bentham, Hamilton, 

 Thomson, De Morgan, and Boole, were in any way assisted 

 by the hints of the principle contained in previous writers. 

 As to my own views of logic, they were originally moulded 

 by a careful study of Boole's works, as fully stated in my 

 first logical essay.^ As to the process of substitution, it 

 was not learnt from any work on logic, but is simply the 

 process of substitution perfectly ftxmiliar to mathematicians, 

 and with which I necessarily became familiar in the course 

 of m.y long-continued study of mathematics under the late 

 Professor De Morgan. 



I find that the Theory of Number, which I explained in 

 the eighth chapter of this work, is also partially anticipated 

 in a single scholium of Leibnitz. He first gives as aa 

 axiom the now well-known law of Boole, as follows : — 



" A.xioma I. Si idem secum ipso sumatur, nihil consti- 

 tuitur novum, seu A + A oc A." Then follows this 



^ Pure Logic, or the Logic of Qualitii apart from Q%iavtUy ; wilh 

 Reiii'irk.-' on Boole's Syftcvi, and on the Relation of Logic and Mathematics. 

 Loudon, 1864, p. 3. 



