[#] Self-evident, that is, in a purely logical sense. When you apprehend the principles in question, you see at once that they are true, and do not require to have them proved. It is not meant that any and every man does, in point of fact, always apprehend the principles, or that they can be apprehended without preliminary mental discipline.
We proceed to the question how many subdivisions there are within "theoretical" Philosophy itself. Plato had held that there are none. All the sciences are deductions from a single set of ultimate principles which it is the business of that supreme science to which Plato had given the name of Dialectic to establish. This is not Aristotle's view. According to him, "theoretical" Philosophy falls into a number of distinct though not co-ordinate branches, each with its own special subjects of investigation and its own special axiomatic principles. Of these branches there are three, First Philosophy, Mathematics, and Physics. First Philosophy--afterwards to be known to the Middle Ages as Metaphysics[#]--treats, to use Aristotle's own expression, of "Being quà Being." This means that it is concerned with the universal characteristics which belong to the system of knowable reality as such, and the principles of its organisation in their full universality. First Philosophy alone investigates the character of those causative factors in the system which are without body or shape and exempt from all mutability. Since in Aristotle's system God is the supreme Cause of this kind, First Philosophy culminates in the knowledge of God, and is hence frequently called Theology. It thus includes an element which would to-day be assigned to the theory of knowledge, as well as one which we should ascribe to metaphysics, since it deals at once with the ultimate postulates of knowledge and the ultimate causes of the order of real existence.
[#] The origin of this name seems to be that Aristotle's lectures on First Philosophy came to be studied as a continuation of his course on Physics. Hence the lectures got the name Metaphysica because they came after (meta) those on Physics. Finally the name was transferred (as in the case of Ethics) from the lectures to the subject of which they treat.
Mathematics is of narrower scope. What it studies is no longer "real being as such," but only real being in so far as it exhibits number and geometrical form. Since Aristotle holds the view that number and figure only exist as determinations of objects given in perception (though by a convenient fiction the mathematician treats of them in abstraction from the perceived objects which they qualify), he marks the difference between Mathematics and First Philosophy by saying that "whereas the objects of First Philosophy are separate from matter and devoid of motion, those of Mathematics, though incapable of motion, have no separable existence but are inherent in matter." Physics is concerned with the study of objects which are both material and capable of motion. Thus the principle of the distinction is the presence or absence of initial restrictions of the range of the different branches of Science. First Philosophy has the widest range, since its contemplation covers the whole ground of the real and knowable; Physics the narrowest, because it is confined to a "universe of discourse" restricted by the double qualification that its members are all material and capable of displacement. Mathematics holds an intermediate position, since in it, one of these qualifications is removed, but the other still remains, for the geometer's figures are boundaries and limits of sensible bodies, and the arithmetician's numbers properties of collections of concrete objects. It follows also that the initial axioms or postulates of Mathematics form a less simple system than those of First Philosophy, and those of Physics than those of Mathematics. Mathematics requires as initial assumptions not only those which hold good for all thought, but certain other special axioms which are only valid and significant for the realm of figure and number; Physics requires yet further axioms which are only applicable to "what is in motion." This is why, though the three disciplines are treated as distinct, they are not strictly co-ordinate, and "First Philosophy," though "first," is only prima inter pares.
We thus get the following diagrammatic scheme of the classification of sciences:--
Science
|
+-----------+------------+
| |
Theoretical Practical
|
+---+---------+-----------+
| | |
First Philosophy Mathe- Physics
or matics
Theology
Practical Philosophy is not subjected by Aristotle to any similar subdivision. Later students were accustomed to recognise a threefold division into Ethics (the theory of individual conduct), Economics (the theory of the management of the household), Politics (the theory of the management of the State). Aristotle himself does not make these distinctions. His general name for the theory of conduct is Politics, the doctrine of individual conduct being for him inseparable from that of the right ordering of society. Though he composed a separate course of lectures on individual conduct (the Ethics), he takes care to open the course by stating that the science of which it treats is Politics, and offers an apology for dealing with the education of individual character apart from the more general doctrine of the organisation of society. No special recognition is given in Aristotle's own classification to the Philosophy of Art. Modern students of Aristotle have tried to fill in the omission by adding artistic creation to contemplation and practice as a third fundamental form of mental activity, and thus making a threefold division of Philosophy into Theoretical, Practical, and Productive. The object of this is to find a place in the classification for Aristotle's famous Poetics and his work on Rhetoric, the art of effective speech and writing. But the admission of the third division of Science has no warrant in the text of Aristotle, nor are the Rhetoric and Poetics, properly speaking, a contribution to Philosophy. They are intended as collections of practical rules for the composition of a pamphlet or a tragedy, not as a critical examination of the canons of literary taste. This was correctly seen by the dramatic theorists of the seventeenth century. They exaggerated the value of Aristotle's directions and entirely misunderstood the meaning of some of them, but they were right in their view that the Poetics was meant to be a collection of rules by obeying which the craftsman might make sure of turning out a successful play. So far as Aristotle has a Philosophy of Fine Art at all, it forms part of his more general theory of education and must be looked for in the general discussion of the aims of education contained in his Politics.
The Methods of Science.--No place has been assigned in the scheme to what we call logic and Aristotle called Analytics, the theory of scientific method, or of proof and the estimation of evidence. The reason is that since the fundamental character of proof is the same in all science, Aristotle looks upon logic as a study of the methods common to all science. At a later date it became a hotly debated question whether logic should be regarded in this way as a study of the methods instrumental to proof in all sciences, or as itself a special constituent division of philosophy. The Aristotelian view was concisely indicated by the name which became attached to the collection of Aristotle's logical works. They were called the Organon, that is, the "instrument," or the body of rules of method employed by Science. The thought implied is thus that logic furnishes the tools with which every science has to work in establishing its results. Our space will only permit of a brief statement as to the points in which the Aristotelian formal logic appears to be really original, and the main peculiarities of Aristotle's theory of knowledge.
(a) Formal Logic.--In compass the Aristotelian logic corresponds roughly with the contents of modern elementary treatises on the same subject, with the omission of the sections which deal with the so-called Conditional Syllogism. The inclusion of arguments of this type in mediæval and modern expositions of formal logic is principally due to the Stoics, who preferred to throw their reasoning into these forms and subjected them to minute scrutiny. In his treatment of the doctrine of Terms, Aristotle avoids the mistake of treating the isolated name as though it had significance apart from the enunciations in which it occurs. He is quite clear on the all-important point that the unit of thought is the proposition in which something is affirmed or denied, the one thought-form which can be properly called "true" or "false." Such an assertion he analyses into two factors, that about which something is affirmed or denied (the Subject), and that which is affirmed or denied of it (the Predicate). Consequently his doctrine of the classification of Terms is based on a classification of Predicates, or of Propositions according to the special kind of connection between the Subject and Predicate which they affirm or deny. Two such classifications, which cannot be made to fit into one another, meet us in Aristotle's logical writings, the scheme of the ten "Categories," and that which was afterwards known in the Middle Ages as the list of "Predicaments" or "Heads of Predicates," or again as the "Five Words." The list of "Categories" reveals itself as an attempt to answer the question in how many different senses the words "is a" or "are" are employed when we assert that "x is y" or "x is a y" or "xs are ys." Such a statement may tell us (1) what x is, as if I say "x is a lion"; the predicate is then said to fall under the category of Substance; (2) what x is like, as when I say "x is white, or x is wise,"--the category of Quality; (3) how much or how many x is, as when I say "x is tall" or "x is five feet long,"--the category of Quantity; (4) how x is related to something else, as when I say "x is to the right of y," "x is the father of y,"--the category of Relation. These are the four chief "categories" discussed by Aristotle. The remainder are (5) Place, (6) Time, (7) and (8) Condition or State, as when I say "x is sitting down" or "x has his armour on,"--(the only distinction between the two cases seems to be that (7) denotes a more permanent state of x than (8)); (9) Action or Activity, as when I say "x is cutting," or generally "x is doing something to y"; (10) Passivity, as when I say "x is being cut," or more generally, "so-and-so is being done to x." No attempt is made to show that this list of "figures of predication" is complete, or to point out any principle which has been followed in its construction. It also happens that much the same enumeration is incidentally made in one or two passages of Plato. Hence it is not unlikely that the list was taken over by Aristotle as one which would be familiar to pupils who had read their Plato, and therefore convenient for practical purposes. The fivefold classification does depend on a principle pointed out by Aristotle which guarantees its completeness, and is therefore likely to have been thought out by him for himself, and to be the genuine Aristotelian scheme. Consider an ordinary universal affirmative proposition of the form "all xs are ys." Now if this statement is true it may also be true that "all ys are xs," or it may not. On the first supposition we have two possible cases, (1) the predicate may state precisely what the subject defined is; then y is the Definition of x, as when I say that "men are mortal animals, capable of discourse." Here it is also true to say that "mortal animals capable of discourse are men," and Aristotle regards the predicate "mortal animal capable of discourse" as expressing the inmost nature of man. (2) The predicate may not express the inmost nature of the subject, and yet may belong only to the class denoted by the subject and to every member of that class. The predicate is then called a Proprium or property, an exclusive attribute of the class in question. Thus it was held that "all men are capable of laughter" and "all beings capable of laughter are men," but that the capacity for laughter is no part of the inmost nature or "real essence" of humanity. It is therefore reckoned as a Proprium.
Again in the case where it is true that "all xs are ys," but not true that all "ys are xs," y may be part of the definition of x or it may not. If it is part of the definition of x it will be either (3) a genus or wider class of which x forms a subdivision, as when I say, "All men are animals," or (4) a difference, that is, one of the distinctive marks by which the xs are distinguished from other sub-classes or species of the same genus, as when I say, "All men are capable of discourse." Or finally (5) y may be no part of the definition of x, but a characteristic which belongs both to the xs and some things other than xs. The predicate is then called an Accident. We have now exhausted all the possible cases, and may say that the predicate of a universal affirmative proposition is always either a definition, a proprium, a genus, a difference, or an accident. This classification reached the Middle Ages not in the precise form in which it is given by Aristotle, but with modifications mainly due to the Neo-Platonic philosopher Porphyry. In its modified form it is regarded as a classification of terms generally. Definition disappears from the list, as the definition is regarded as a complex made up of the genus, or next highest class to which the class to be defined belongs, and the differences which mark off this particular species or sub-class. The species itself which figures as the subject-term in a definition is added, and thus the "Five Words" of mediæval logic are enumerated as genus, species, difference, proprium, accident.