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
Induction, then, is a real process of Reasoning or Inference. Whether, and in what sense, as much can be said of the Syllogism, remains to be determined by the examination into which we are about to enter.
CHAPTER II.OF RATIOCINATION, OR SYLLOGISM.
§ 1. The analysis of the Syllogism has been so accurately and fully performed in the common manuals of Logic, that in the present work, which is not designed as a manual, it is sufficient to recapitulate, memoriæ causÒ, the leading results of that analysis, as a foundation for the remarks to be afterwards made on the functions of the syllogism, and the place which it holds in science.
To a legitimate syllogism it is essential that there should be three, and no more than three, propositions, namely, the conclusion, or proposition to be proved, and two other propositions which together prove it, and which are called the premises. It is essential that there should be three, and no more than three, terms, namely, the subject and predicate of the conclusion, and another called the middleterm, which must be found in both premises, since it is by means of it that the other two terms are to be connected together. The predicate of the conclusion is called the major term of the syllogism; the subject of the conclusion is called the minor term. As there can be but three terms, the major and minor terms must each be found in one, and only one, of the premises, together with the middleterm which is in them both. The premise which contains the middleterm and the major term is called the major premise; that which contains the middleterm and the minor term is called the minor premise.
Syllogisms are divided by some logicians into three figures, by others into four, according to the position of the middleterm, which may either be the subject in both premises, the predicate in both, or the subject in one and the predicate in the other. The most common case is that in which the middleterm is the subject of the major premise and the predicate of the minor. This is reckoned as the first figure. When the middleterm is the predicate in both premises, the syllogism belongs to the second figure; when it is the subject in both, to the third. In the fourth figure the middleterm is the subject of the minor premise and the predicate of the major. Those writers who reckon no more than three figures, include this case in the first.
Each figure is divided into moods, according to what are called the quantity and quality of the propositions, that is, according as they are universal or particular, affirmative or negative. The following are examples of all the legitimate moods, that is, all those in which the conclusion correctly follows from the premises. A is the minor term, C the major, B the middleterm.
First Figure.
Second Figure.
Third Figure.
Fourth Figure.
In these exemplars, or blank forms for making syllogisms, no place is assigned to singular propositions; not, of course, because such propositions are not used in ratiocination, but because, their predicate being affirmed or denied of the whole of the subject, they are ranked, for the purposes of the syllogism, with universal propositions. Thus, these two syllogismsβ
are arguments precisely similar, and are both ranked in the first mood of the first figure.
The reasons why syllogisms in any of the above forms are legitimate, that is, why, if the premises are true, the conclusion must inevitably be so, and why this is not the case in any other possible mood, (that is, in any other combination of universal and particular, affirmative and negative propositions,) any person taking interest in these inquiries may be presumed to have either learned from the common school books of the syllogistic logic, or to be capable of discovering for himself. The reader may, however, be referred, for every needful explanation, to Archbishop Whately's Elements of Logic, where he will find stated with philosophical precision, and explained with remarkable perspicuity, the whole of the common doctrine of the syllogism.
All valid ratiocination; all reasoning by which, from general propositions previously admitted, other propositions equally or less general are inferred; may be exhibited in some of the above forms. The whole of Euclid, for example, might be thrown without difficulty into a series of syllogisms, regular in mood and figure.
Though a syllogism framed according to any of these formulΓ¦ is a valid argument, all correct ratiocination admits of being stated in syllogisms of the first figure alone. The rules for throwing an argument in any of the other figures into the first figure, are called rules for the reduction of syllogisms. It is done by the conversion of one or other, or both, of the premises. Thus an argument in the first mood of the second figure, asβ
may be reduced as follows. The proposition, No C is B, being an universal negative, admits of simple conversion, and may be changed into No B is C, which, as we showed, is the very same assertion in other wordsβthe same fact differently expressed. This transformation having been effected, the argument assumes the following form:β
which is a good syllogism in the second mood of the first figure. Again, an argument in the first mood of the third figure must resemble the following:β
where the minor premise, All B is A, conformably to what was laid down in the last chapter respecting universal affirmatives, does not admit of simple conversion, but may be converted per accidens, thus, Some A is B; which, though it does not express the whole of what is asserted in the proposition All B is A, expresses, as was formerly shown, part of it, and must therefore be true if the whole is true. We have, then, as the result of the reduction, the following syllogism in the third mood of the first figure:β
from which it obviously follows, that
In the same manner, or in a manner on which after these examples it is not necessary to enlarge, every mood of the second, third, and fourth figures may be reduced to some one of the four moods of the first. In other words, every conclusion which can be proved in any of the last three figures, may be proved in the first figure from the same premises, with a slight alteration in the mere manner of expressing them. Every valid ratiocination, therefore, may be stated in the first figure, that is, in one of the following forms:β
Or if more significant symbols are preferred:β
To prove an affirmative, the argument must admit of being stated in this form:β
To prove a negative, the argument must be capable of being expressed in this form:β
Though all ratiocination admits of being thrown into one or the other of these forms, and sometimes gains considerably by the transformation, both in clearness and in the obviousness of its consequence; there are, no doubt, cases in which the argument falls more naturally into one of the other three figures, and in which its conclusiveness is more apparent at the first glance in those figures, than when reduced to
Comments (0)