On Deduction (1875-1899)

"Whatever lies beyond the limits of experience, and claims another origin than that of induction and deduction from established data, is illegitimate." (George H Lewes, "The Foundations of a Creed", 1875)

"I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction." (Gottlob Frege, "The Foundations of Arithmetic", 1884)

"[…] deduction consists in constructing an icon or diagram the relations of whose parts shall present a complete analogy with those of the parts of the object of reasoning, of experimenting upon this image in the imagination, and of observing the result so as to discover unnoticed and hidden relations among the parts." (Charles S Peirce, 1885)

"There is as great a distinction between mathematics and the mathematical sciences as there is between induction and the inductive sciences. Practically, few cases of induction do not involve, to a greater or less extent, deductions; so few mathematical processes do not involve some strictly logical procedure." (Charles C Everett, "The Science of Thought", 1890)

"By investigating the universe by an inductive method (endeavoring from the much which is observable to arrive at a little which may be verified and is indubitable) the new science refuses to recognise dogma as truth, but through reason, by a slow and laborious method of investigation, strives for and attains to true deductions." (Dmitri Mendeleev, "Principles of Chemistry", 1891)

"In deduction the mind is under the dominion of a habit or association by virtue of which a general idea suggests in each case a corresponding reaction. This is the way the hind legs of a frog separated from the rest of the body, reason, when you pinch them. It is the lowest form of psychical manifestation." (Charles S Peirce, "The Law of Mind", 1892)

"In every science, after having analysed the ideas, expressing the more complicated by means of the more simple, one finds a certain number that cannot be reduced among them, and that one can define no further. These are the primitive ideas of the science; it is necessary to acquire them through experience, or through induction; it is impossible to explain them by deduction." (Giuseppe Peano, "Notations de Logique Mathématique", 1894)

"All deduction rests ultimately upon the data derived from experience. This is the tortoise that supports our conception of the cosmos." (Percival Lowell, "Mars", 1895)

"Deduction is that mode of reasoning which examines the state of things asserted in the premises, forms a diagram of that state of things, perceives in the parts of the diagram relations not explicitly mentioned in the premises, satisfies itself by mental experiments upon the diagram that these relations would always subsist, or at least would do so in a certain proportion of cases, and concludes their necessary, or probable, truth." (Charles S Peirce, "Kinds of Reasoning", cca. 1896)