Logic

2. A process of deduction based upon this universal principle or law as its major premise, and thus extending our knowledge to the de termination of new cases which have not as yet gained a place in our body of knowledge.

3. A process of verification, by which the results of the process of deduction are com pared with the facts as actually observed. When there is not an exact correspondence be tween the theoretically deduced results and the observed facts, and we are able to assure our selves that there has been no flaw in the proc esses of deduction, then the original induction stands as so far forth discredited and must be revised so as to square it with fact. This com bined method of deduction and induction serves as a check on the one hand upon all tendency to hasty generalization, and on the other it is most valuable as a means of extending our knowledge into unknown regions beyond the sphere of immediate observation. We are con stantly using our inductive results as a basis for a deductive inference concerning the things not yet seen; and then when seen, at once com paring the former inference with present fact we are either confirmed in the result which we had reached by the processes of reasoning, or else compelled to discard the earlier inference as false or inadequate as may be. The unseen which we are determining in our minds by what we think the seen necessitates we are, however, from time to time compelled to alter. Bacon has insisted that '

Bibliography.—Aikins, 'The Principles of Logic' ; Aristotle's various writings, sp. 'Or ganotP (Eng. trans. by 0. F. Owen, 2 vols., London 1908-10); Bacon, Francis, 'Novum Or ganum' ; Baldwin, J. M., 'Thought and Things' (New York 1906-11); Bain, Alexan der, 'Logic, Inductive and Deductive' (2 vols., London 1895) ; Bentham, (3c1 ed., New York 1909); Croce, Bene detto, (Logics como scienza del concetto puro> (2d ed., 1909); De Morgan, (Formal Logic'; Descartes, (Discourse on Method); Dewey, John, (Studies in Logical Theory) (Chicago 1903); Dinwiddie, William, of Logic' (New York 1914); Erdman, J. E., (Logik' (Halle 1892) ; Fischer, Kuno, (Sys tem der Logik and Metaphysik, oder Wissen schaft); Fowler, Thomas, 'The Elements of Deductive Logic) and of Inductive Logic' (10th ed., Oxford 1892); Gibson, W. R. B., 'Problem of (London 1908);

Gilbart, J. W., 'Hope for the Million' (Lon don 1913) ; Hamilton, Sir William, (Lectures on Logic> (London 1859) ; Harms, Friedrich, (Geschichte der Logik' (Berlin 1881); id., (Die Philosophic in ihrer Geschichte); Hegel, G. W. F., der Logik' (Berlin 1831) ; id., (Encyklopidie der philosophischen Wissenschaften im Grundrisse; Enter Theil, Die Logik' (Heidelberg 1817; Eng. trans., 1894); Hermont and Van di Waile, prin cipales theories de la logique contemporaries> (Paris 1909); Hibben, J. G., and Deductive (New York 1905); Hob house, L. T., of Knowledge' (London 1896) ; Hyslop,. H., of Logic' (New York 1892); Husserl, E., (Logische Un tersuchungen) (2 vols., Halle 1901); Jevons, W. S., (Substitution on Similars' (London 1869); id., (Pure Logic' (New York 1890) ; id., Lessons in Logic' (London 1895); (Studies in Deductive Logic) (3d ed., New York 1896) ; id., (Principles of Science' (ib. 1900) ; Joseph, H. W. B., to Logic' (Oxford 1906); Jones, A. L., (Logic, Inductive and Deductive) (New York 1909); Kant, Immanuel, (Konigsberg 1800) ; Lange, (Logische Studien); Laird, logi ciens anglais contemporains> (Paris 1878); Leibniz, Essais sur l'entendement humain' ; Lotze, R. H., (System der Philoso phie: Logik) (Leipzig 1880; Eng. trans., Ox ford 1881) ; Locke, (Essay Concerning Human Understanding' ; McColl, H., (Symbolic Logic and its Applications' (New York 1906); Mc Cosh, Laws of Discursive Thought); Mansel, H. L. ed., (Aldrich's Artis Logi cz Rudimenta) (London 1851) ; id., gomena Logica' (Oxford 1851) ; Mellone, (In troductory Textbook of Logic); Mill, John Stuart, (System of Logic, Ratiocinative and In ductive' (8th ed., New York 1900); Minto, Wil liam, (Logic, Inductive and Deductive' (ib. 1894) ; Newman, of Assent); Pear son, (Grammar of Science' ; Prantl, Karl von, der Logik im Ahendlande> (4 vols., Leipzig 1855-70) ; Russell, L. J., (Introduction to Logic from the Standpoint of Education' (New York 1914) ; Schiller, F. C. S., (Formal Logic: A Scientific and Social Problem' (Lon don 1912) ; Schopenhauer, (Ueber die Vier fache Wurzel des Saltzes vom zureichenden Grundes); Schiippe, Wilhelm, theoretische Logik' (Bonn 1878); Sidgwick, Alfred, 'The Process of Argument' (London 1893); id., (The Application of Logic' (New York 1911) ; id., 'Elementary Logic' (ib. 1914); Sigwart, Christoph von, (Logik) (3d ed., Tribingen 1904; trans. by Denby, London 1895) ' • Shearman, A. T., (Development of Sym bolic Logic) (London 1906) ; id., (Scope of Formal Logic) (ib. 1911) id., 'Formal Logic' (ib. 1912); Stoeckl, (Geschichte der Philosophie des Mittelalters' ; Stock, George, (Logic); Thomson, William, 'Outline of the Necessary Laws of Thought' (4th ed., New York 1863); Trendelenburg, (Logische Untersuchungen' (3d ed., Leipzig 1870) ' • Turner, (Lessons in Logic' (Washington 1910); Ueberweg, (Friedrich, der Logik> (5th ed., Bonn 1882); Ul ric, H., (System der Logik); Venn, John, Logic' (London 1881) ; Logic' (ib. 1889); Welton, J. of Logic> (ib. 1896) ; Whately, J., (Ele ments of Logic' (New York 1855) ; Whewell, of the Inductive Wundt, Wilhelm, (2d ed., Stuttgart 1895).