A System of Logic: Ratiocinative and Inductive by John Stuart Mill (popular e readers .txt) π
3. Some of the first principles of geometry are axioms, and these are not hypothetical 256
4. --but are experimental truths 258
5. An objection answered 261
6. Dr. Whewell's opinions on axioms examined 264
CHAPTER VI.
The same Subject continued.
Sec. 1. All deductive sciences are inductive 281
2. The propositions of the science of number are not verbal, but generalizations from experience 284
3. In what sense hypothetical 289
4. The characteristic property of demonstrative science is to be hypothetical 290
5. Definition of demonstrative evidence 292
CHAPTER VII.
Examination of some Opinions opposed to the preceding doctrines.
Sec. 1. Doctrine of the Universal Postulate 294
2. The test of inconceivability does not
Read free book Β«A System of Logic: Ratiocinative and Inductive by John Stuart Mill (popular e readers .txt) πΒ» - read online or download for free at americanlibrarybooks.com
- Author: John Stuart Mill
- Performer: -
Read book online Β«A System of Logic: Ratiocinative and Inductive by John Stuart Mill (popular e readers .txt) πΒ». Author - John Stuart Mill
Sir William Hamilton's theory of the "quantification of the predicate" (concerning the originality of which in his case there can be no doubt, however Mr. De Morgan may have also, and independently, originated an equivalent doctrine) may be briefly described as follows:β
"Logically" (I quote his own words) "we ought to take into account the quantity, always understood in thought, but usually, for manifest reasons, elided in its expression, not only of the subject, but also of the predicate of a judgment." All A is B, is equivalent to all A is some B. No A is B, to No A is any B. Some A is B, is tantamount to some A is some B. Some A is not B, to Some A is not any B. As in these forms of assertion the predicate is exactly coextensive with the subject, they all admit of simple conversion; and by this we obtain two additional formsβSome B is all A, and No B is some A. We may also make the assertion All A is all B, which will be true if the classes A and B are exactly coextensive. The last three forms, though conveying real assertions, have no place in the ordinary classification of Propositions. All propositions, then, being supposed to be translated into this language, and written each in that one of the preceding forms which answers to its signification, there emerges a new set of syllogistic rules, materially different from the common ones. A general view of the points of difference may be given in the words of Sir W. Hamilton (Discussions, 2nd ed. p. 651):β
"The revocation of the two terms of a Proposition to their true relation; a proposition being always an equation of its subject and its predicate.
"The consequent reduction of the Conversion of Propositions from three species to oneβthat of Simple Conversion.
"The reduction of all the General Laws of Categorical Syllogisms to a single Canon.
"The evolution from that one canon of all the Species and varieties of Syllogisms.
"The abrogation of all the Special Laws of Syllogism.
"A demonstration of the exclusive possibility of Three syllogistic Figures; and (on new grounds) the scientific and final abolition of the Fourth.
"A manifestation that Figure is an unessential variation in syllogistic form; and the consequent absurdity of Reducing the syllogisms of the other figures to the first.
"An enouncement of one Organic Principle for each Figure.
"A determination of the true number of the Legitimate Moods; with
"Their amplification in number (thirty-six);
"Their numerical equality under all the figures; and
"Their relative equivalence, or virtual identity, throughout every schematic difference.
"That, in the second and third figures, the extremes holding both the same relation to the middle term, there is not, as in the first, an opposition and subordination between a term major and a term minor, mutually containing and contained, in the counter wholes of Extension and Comprehension.
"Consequently, in the second and third figures, there is no determinate major and minor premise, and there are two indifferent conclusions: whereas in the first the premises are determinate, and there is a single proximate conclusion."
This doctrine, like that of Mr. De Morgan previously noticed, is a real addition to the syllogistic theory; and has moreover this advantage over Mr. De Morgan's "numerically definite Syllogism," that the forms it supplies are really available as a test of the correctness of ratiocination; since propositions in the common form may always have their predicates quantified, and so be made amenable to Sir W. Hamilton's rules. Considered however as a contribution to the Science of Logic, that is, to the analysis of the mental processes concerned in reasoning, the new doctrine appears to me, I confess, not merely superfluous, but erroneous; since the form in which it clothes propositions does not, like the ordinary form, express what is in the mind of the speaker when he enunciates the proposition. I cannot think Sir William Hamilton right in maintaining that the quantity of the predicate is "always understood in thought." It is implied, but is not present to the mind of the person who asserts the proposition. The quantification of the predicate, instead of being a means of bringing out more clearly the meaning of the proposition, actually leads the mind out of the proposition, into another order of ideas. For when we say, All men are mortal, we simply mean to affirm the attribute mortality of all men; without thinking at all of the class mortal in the concrete, or troubling ourselves about whether it contains any other beings or not. It is only for some artificial purpose that we ever look at the proposition in the aspect in which the predicate also is thought of as a class-name, either including the subject only, or the subject and something more. (See above, p. 104.)
For a fuller discussion of this subject, see the twenty-second chapter of a work already referred to, "An Examination of Sir William Hamilton's Philosophy."
[5] Mr. Herbert Spencer (Principles of Psychology, pp. 125-7), though his theory of the syllogism coincides with all that is essential of mine, thinks it a logical fallacy to present the two axioms in the text, as the regulating principles of syllogism. He charges me with falling into the error pointed out by Archbishop Whately and myself, of confounding exact likeness with literal identity; and maintains, that we ought not to say that Socrates possesses the same attributes which are connoted by the word Man, but only that he possesses attributes exactly like them: according to which phraseology, Socrates, and the attribute mortality, are not two things coexisting with the same thing, as the axiom asserts, but two things coexisting with two different things.
The question between Mr. Spencer and me is merely one of language; for neither of us (if I understand Mr. Spencer's opinions rightly) believes an attribute to be a real thing, possessed of objective existence; we believe it to be a particular mode of naming our sensations, or our expectations of sensation, when looked at in their relation to an external object which excites them. The question raised by Mr. Spencer does not, therefore, concern the properties of any really existing thing, but the comparative appropriateness, for philosophical purposes, of two different modes of using a name. Considered in this point of view, the phraseology I have employed, which is that commonly used by philosophers, seems to me to be the best. Mr. Spencer is of opinion that because Socrates and Alcibiades are not the same man, the attribute which constitutes them men should not be called the same attribute; that because the humanity of one man and that of another express themselves to our senses not by the same individual sensations but by sensations exactly alike, humanity ought to be regarded as a different attribute in every different man. But on this showing, the humanity even of any one man should be considered as different attributes now and half-an-hour hence; for the sensations by which it will then manifest itself to my organs will not be a continuation of my present sensations, but a repetition of them; fresh sensations, not identical with, but only exactly like the present. If every general conception, instead of being "the One in the Many," were considered to be as many different conceptions as there are things to which it is applicable, there would be no such thing as general language. A name would have no general meaning if man connoted one thing when predicated of John, and another, though closely resembling, thing when predicated of William. Accordingly a recent pamphlet asserts the impossibility of general knowledge on this precise ground.
The meaning of any general name is some outward or inward phenomenon, consisting, in the last resort, of feelings; and these feelings, if their continuity is for an instant broken, are no longer the same feelings, in the sense of individual identity. What, then, is the common something which gives a meaning to the general name? Mr. Spencer can only say, it is the similarity of the feelings; and I rejoin, the attribute is precisely that similarity. The names of attributes are in their ultimate analysis names for the resemblances of our sensations (or other feelings). Every general name, whether abstract or concrete, denotes or connotes one or more of those resemblances. It will not, probably, be denied, that if a hundred sensations are undistinguishably alike, their resemblance ought to be spoken of as one resemblance, and not a hundred resemblances which merely resemble one another. The things compared are many, but the something common to all of them must be conceived as one, just as the name is conceived as one, though corresponding to numerically different sensations of sound each time it is pronounced. The general term man does not connote the sensations derived once from one man, which, once gone, can no more occur again than the same flash of lightning. It connotes the general type of the sensations derived always from all men, and the power (always thought of as one) of producing sensations of that type. And the axiom might be thus worded: Two types of sensation each of which coexists with a third type, coexist with another; or Two powers each of which coexists with a third power coexist with one another.
Mr. Spencer has misunderstood me in another particular. He supposes that the coexistence spoken of in the axiom, of two things with the same third thing, means simultaneousness in time. The coexistence meant is that of being jointly attributes of the same subject. The attribute of being born without teeth, and the attribute of having thirty-two teeth in mature age, are in this sense coexistent, both being attributes of man, though ex vi termini never of the same man at the same time.
[6] Supra, p. 128.
[7] Logic, p. 239 (9th ed.).
[8] It is hardly necessary to say, that I am not contending for any such absurdity as that we actually "ought to have known" and considered the case of every individual man, past, present, and future, before affirming that all men are mortal: although this interpretation has been, strangely enough, put upon the preceding observations. There is no difference between me and Archbishop Whately, or any other defender of the syllogism, on the practical part of the matter; I am only pointing out an inconsistency in the logical theory of it, as conceived by almost all writers. I do not say that a person who affirmed, before the Duke of Wellington was born,
Comments (0)