There is a science of nature, and evidently it must be different both from practical and from productive science. For in the case of productive science the principle of movement is in the producer and not in the product, and is either an art or some other faculty. And similarly in practical science the movement is not in the thing done, but rather in the doers. But the science of the natural philosopher deals with the things that have in themselves a principle of movement. It is clear from these facts, then, that natural science must be neither practical nor productive, but theoretical (for it must fall into some one of these classes). And since each of the sciences must somehow know the 'what' and use this as a principle, we must not fall to observe how the natural philosopher should define things and how he should state the definition of the essence-whether as akin to 'snub' or rather to 'concave'. For of these the definition of 'snub' includes the matter of the thing, but that of 'concave' is independent of the matter;for snubness is found in a nose, so that we look for its definition without eliminating the nose, for what is snub is a concave nose.
Evidently then the definition of flesh also and of the eye and of the other parts must always be stated without eliminating the matter.
Since there is a science of being qua being and capable of existing apart, we must consider whether this is to be regarded as the same as physics or rather as different. Physics deals with the things that have a principle of movement in themselves; mathematics is theoretical, and is a science that deals with things that are at rest, but its subjects cannot exist apart. Therefore about that which can exist apart and is unmovable there is a science different from both of these, if there is a substance of this nature (I mean separable and unmovable), as we shall try to prove there is. And if there is such a kind of thing in the world, here must surely be the divine, and this must be the first and most dominant principle. Evidently, then, there are three kinds of theoretical sciences-physics, mathematics, theology. The class of theoretical sciences is the best, and of these themselves the last named is best; for it deals with the highest of existing things, and each science is called better or worse in virtue of its proper object.
One might raise the question whether the science of being qua being is to be regarded as universal or not. Each of the mathematical sciences deals with some one determinate class of things, but universal mathematics applies alike to all. Now if natural substances are the first of existing things, physics must be the first of sciences; but if there is another entity and substance, separable and unmovable, the knowledge of it must be different and prior to physics and universal because it is prior.
8
Since 'being' in general has several senses, of which one is 'being by accident', we must consider first that which 'is' in this sense. Evidently none of the traditional sciences busies itself about the accidental. For neither does architecture consider what will happen to those who are to use the house (e.g. whether they have a painful life in it or not), nor does weaving, or shoemaking, or the confectioner's art, do the like; but each of these sciences considers only what is peculiar to it, i.e. its proper end. And as for the argument that 'when he who is musical becomes lettered he'll be both at once, not having been both before; and that which is, not always having been, must have come to be; therefore he must have at once become musical and lettered',-this none of the recognized sciences considers, but only sophistic; for this alone busies itself about the accidental, so that Plato is not far wrong when he says that the sophist spends his time on non-being.
That a science of the accidental is not even possible will be evident if we try to see what the accidental really is. We say that everything either is always and of necessity (necessity not in the sense of violence, but that which we appeal to in demonstrations), or is for the most part, or is neither for the most part, nor always and of necessity, but merely as it chances; e.g. there might be cold in the dogdays, but this occurs neither always and of necessity, nor for the most part, though it might happen sometimes. The accidental, then, is what occurs, but not always nor of necessity, nor for the most part. Now we have said what the accidental is, and it is obvious why there is no science of such a thing; for all science is of that which is always or for the most part, but the accidental is in neither of these classes.
Evidently there are not causes and principles of the accidental, of the same kind as there are of the essential; for if there were, everything would be of necessity. If A is when B is, and B is when Cis, and if C exists not by chance but of necessity, that also of which C was cause will exist of necessity, down to the last causatum as it is called (but this was supposed to be accidental). Therefore all things will be of necessity, and chance and the possibility of a thing's either occurring or not occurring are removed entirely from the range of events. And if the cause be supposed not to exist but to be coming to be, the same results will follow; everything will occur of necessity. For to-morrow's eclipse will occur if A occurs, and A if B occurs, and B if C occurs; and in this way if we subtract time from the limited time between now and to-morrow we shall come sometime to the already existing condition. Therefore since this exists, everything after this will occur of necessity, so that all things occur of necessity.