Zeno’s amazing skill in argumentation and his paradoxical conclusions, particular and general, inaugurate a new era. “The philosophical mind,” says waiter Pater,[4] “will perhaps never be quite in health, quite sane or natural again.” The give and take of thought had by a swift transformation of values come by something more than its own. Zeno’s paradoxes, notably, for example, the puzzle of Achilles and the Tortoise, are still capable of amusing the modern world. In his own age they found him imitators. And there follows the sophistic movement.
The sophists have other claims to consideration than their service to the development of logic. In the history of the origins of logic the sophistic age is simply the age of the free play of thought in which men were aware that in a sense anything The Sophists. can be debated and not yet aware of the sense in which all things cannot be so. It is the age of discussion used as a universal solvent, before it has been brought to book by a deliberate unfolding of the principles of the structure of thought determining and limiting the movement of thought itself. The sophists furthered the transition from dialectic to logic in two ways. In the first place they made it possible. Incessant questioning leads to answers. Hair-splitting, even when mischievous in intent, leads to distinctions of value. Paradoxical insistence on the accidents of speech-forms and thought-forms leads in the end to perception of the essentials. Secondly they made it necessary. The spirit of debate run riot evokes a counter-spirit to order and control it. The result is a self-limiting dialectic. This higher dialectic is a logic. It is no accident that the first of the philosophical sophists, Gorgias, on the one hand, is Eleatic in his affinities, and on the other raises in the characteristic formula of his intellectual nihilism[5] issues which are as much logical and epistemological as ontological. The meaning of the copula and the relation of thoughts to the objects of which they are the thoughts are as much involved as the nature of being. It is equally no accident that the name of Protagoras is to be connected, in Plato’s view at least, with the rival school of Heracliteans. The problems raised by the relativism of Protagoras are no less fundamentally problems of the nature of knowledge and of the structure of thought. The Theaetetus indeed, in which Plato essays to deal with them, is in the broad sense of the word logical, the first distinctively logical treatise that has come down to us. Other sophists, of course, with more practical interests, or of humbler attainments, were content to move on a lower plane of philosophical speculation. As presented to us, for example, in Plato’s surely not altogether hostile caricature in the Euthydemus, they mark the intellectual preparation for, and the moral need for, the advance of the next generation.
Among the pioneers of the sophistic age Socrates stands apart. He has no other instrument than the dialectic of his compeers, and he is as far off as the rest from a criticism of the instrument, but he uses it differently and with a difference of aim. Socrates. He construes the give and take of the debate-game with extreme rigour. The rhetorical element must be exorcised. The set harangue of teacher to pupil, in which steps in argument are slurred and the semblance of co-inquiry is rendered nugatory, must be eliminated. The interlocutors must in truth render an account under the stimulus of organized heckling from their equals or superiors in debating ability. And the aim is heuristic, though often enough the search ends in no overt positive conclusion. Something can be found and something is found. Common names are fitted for use by the would-be users being first delivered from abortive conceptions, and thereupon enabled to bring to the birth living and organic notions.
Aristotle would assign to Socrates the elaboration of two logical functions:—general definition and inductive method.[6] Rightly, if we add that he gives no theory of either, and that his practical use of the latter depends for its value on selection.[7] It is rather in virtue of his general faith in the possibility of construction, which he still does not undertake, and because of his consequent insistence on the elucidation of general concepts, which in common with some of his contemporaries, he may have thought of as endued with a certain objectivity, that he induces the controversies of what are called the Socratic schools as to the nature of predication. These result in the formulation of a new dialectic or logic by Plato. Manifestly Socrates’ use of certain forms of argumentation, like their abuse by the sophists, tended to evoke their logical analysis. The use and abuse, confronted one with the other, could not but evoke it.
The one in the many, the formula which lies at the base of the possibility of predication, is involved in the Socratic doctrine of general concepts or ideas. The nihilism of Gorgias from the Eleatic point of view of bare identity, and the speechlessness of Cratylus from the Heraclitean ground of absolute difference, are alike disowned. But the one in the many, the identity in difference, is so far only postulated, not established. When the personality of Socrates is removed, the difficulty as to the nature of the Socratic universal, developed in the medium of the individual processes of individual minds, carries disciples of diverse general sympathies, united only through the practical inspiration of the master’s life, towards the identity-formula or the difference-formula of other teachers. The paradox of predication, that it seems to deny identity, or to deny difference, becomes a pons asinorum. Knowledge involves synthesis or nexus. Yet from the points of view alike of an absolute pluralism, of a flux, and of a formula of bare identity—and a fortiori with any blending of these principles sufficiently within the bounds of plausibility to find an exponent—all knowledge, because all predication of unity, in difference, must be held to be impossible. Plato’s problem was to find a way of escape from this impasse, and among his Socratic contemporaries he seems to have singled out Antisthenes[8] as most in need of refutation. Antisthenes, starting with the doctrine of Antisthenes. identity without difference, recognizes as the only expression proper to anything its own peculiar sign, its name. This extreme of nominalism for which predication is impossible is, however, compromised by two concessions. A thing can be described as like something else. And a compound can have a λόγος or account given of it by the (literally) adequate enumeration of the names of its simple elements or πρῶτα.[9] This analytical λόγος he offers as his substitute for knowledge.[10] The simple elements still remain, sensed and named but not known. The expressions of them are simply the speech-signs for them. The account of the compound simply sets itself taken piecemeal as equivalent to itself taken as aggregate. The subject-predicate relation fails really to arise. Euclides[11] found no difficulty in fixing Antisthenes’ mode of illustrating his simple elements by comparison, and therewith perhaps the “induction” of Socrates, with the dilemma; so far as the example is dissimilar, the comparison is invalid; so far as it is similar, it is useless. It is better to say what the thing is. Between Euclides and Antisthenes the Socratic induction and universal definition were alike discredited from the point of view of the Eleatic logic. It is with the other point of doctrine that Plato comes to grips, that which allows of a certainty or knowledge consisting in an analysis of a compound into simple elements themselves not known. The syllable or combination is, he shows, not known by resolution of it into letters or elements themselves not known. An aggregate analysed into its mechanical parts is as much and as little known as they. A whole which is more than its parts is from Antisthenes’ point of view inconceivable. Propositions analytical of a combination in the sense alleged do not give knowledge. Yet knowledge is possible. The development of a positive theory of predication has become quite crucial.
Plato’s logic supplies a theory of universals in the doctrine of ideas. Upon this it bases a theory of predication, which, however, is compatible with more than one reading of the metaphysical import of the ideas. And it sets Plato. forth a dialectic with a twofold movement, towards differentiation and integration severally, which amounts to a formulation of inference. The more fully analysed movement, that which proceeds downward from less determinate to more determinate universals, is named Division. Its associations, accordingly, are to the modern ear almost inevitably those of a doctrine of classification only. Aristotle, however, treats it as a dialectical rival to syllogism, and it influenced Galilei and Bacon in their views of inference after the Renaissance. If we add to this logic of “idea,” judgment and inference, a doctrine of categories in the modern sense of the word which makes the Theaetetus, in which it first occurs, a forerunner of Kant’s Critique of Pure Reason, we have clearly a very significant contribution to logic even in technical regard. Its general philosophical setting may be said to enhance its value even as logic.
(a) Of the idea we may say that whatever else it is, and apart from all puzzles as to ideas of relations such as smallness, of negative qualities such as injustice, or of human inventions such as beds, it is opposed to that of which The “Idea.” it is the idea as its intelligible formula or law, the truth or validity—Herbart’s word—of the phenomenon from the point of view of nexus or system. The thing of sense in its relative isolation is unstable. It is and is not. What gives stability is the insensible principle or principles which it holds, as it were, in solution. These are the ideas, and their mode of being is naturally quite other than that of the sensible phenomena which they order. The formula for an indefinite number of particular things in particular places at particular times, and all of them presentable in sensuous imagery of a given time and place, is not itself presentable in sensuous imagery side by side with the individual members of the group it orders. The law, e.g., of the equality of the radii of a circle cannot be exhibited to sense, even if equal radii may be so exhibited. It is the wealth of illustration with which Plato expresses his meaning, and the range of application which he gives the idea—to the class-concepts of natural groups objectively regarded, to categories, to aesthetic and ethical ideals, to the concrete aims of the craftsman as well as to scientific laws—that have obscured his doctrine, viz. that wherever there is law, there is an idea.
(b) The paradox of the one in the many is none, if the idea may be regarded as supplying a principle of nexus or organization to an indefinite multiplicity of particulars. But if Antisthenes is to be answered, a further step must be The one in the many. taken. The principle of difference must be carried into the field of the ideas. Not only sense is a principle of difference. The ideas are many. The multiplicity in unity must be established within thought itself. Otherwise the objection stands: man is man and good is good, but to say that man is good is clearly to say the thing that is not. Plato replies with the doctrine of the interpenetration of ideas, obviously not of all with all, but of some with some, the formula of identity in difference within thought itself. Nor can the opponent fairly refuse to admit it, if he affirms the participation of the identical with being, and denies the participation of difference with being, or affirms it with not-being. The Sophistes shows among other things that an identity-philosophy breaks down into a dualism of thought and expression, when it applies the predicate of unity to the real, just as the absolute pluralism on the other hand collapses into unity if it affirms or admits any form of relation whatsoever. Identity and difference are all-pervasive categories, and the speech-form and the corresponding thought-form involve both. For proposition and judgment involve subject and predicate and exhibit what a modern writer calls “identity of reference with diversity of characterization.” Plato proceeds to explain by his principle of difference both privative and negative predicates, and also the possibility of false predication. It is obvious that without the principle of difference error is inexplicable. Even Plato, however, perhaps scarcely shows that with it, and nothing else but it, error is explained.
(c) Plato’s Division, or the articulation of a relatively indeterminate and generic concept into species and sub-species with resultant determinate judgments, presumes of course the doctrine of the interpenetration of ideas laid down Division. in the Sophistes as the basis of predication, but its use precedes the positive development of that formula, though not, save very vaguely, the exhibition of it, negatively, in the antinomies of the one and the many in the Parmenides. It is its use, however, not the theory of it, that precedes. The latter is expounded in the Politicus (260 sqq.) and Philebus (16c sqq.). The ideal is progressively to determine a universe of discourse till true infimae species are reached, when no further distinction in the determinate many is possible, though there is still the numerical difference of the indefinite plurality of particulars. The process is to take as far as possible the form of a continuous disjunction of contraries. We must bisect as far as may be, but the division is after all to be into limbs, not parts. The later examples of the Politicus show that the permission of three or more co-ordinate species is not nugatory, and that the precept of dichotomy is merely in order to secure as little of a saltus as possible; to avoid e.g. the division of the animal world into men and brutes. It is the middle range of the μέσα of Philebus 17a that appeals to Bacon, not only this but their mediating quality that appeals to Aristotle. The media axiomata of the one and the middle term of the other lie in the phrase. Plato’s division is nevertheless neither syllogism nor exclusiva. It is not syllogism because it is based on the disjunctive, not on the hypothetical relation, and so extends horizontally where syllogism strikes vertically downward. Again it is not syllogism because it is necessarily and finally dialectical. It brings in the choice of an interlocutor at each stage, and so depends on a concession for what it should prove.[12] Nor is it Bacon’s method of exclusions, which escapes the imputation of being dialectical, if not that of being unduly cumbrous, in virtue of the cogency of the negative instance. The Platonic division was, however, offered as the scientific method of the school. A fragment of the comic poet Epicrates gives a picture of it at work.[13] And the movement of disjunction as truly has a place in the scientific specification of a concept in all its differences as the linking of lower to higher in syllogism. The two are complementary, and the reinstatement of the disjunctive judgment to the more honourable rôle in inference has been made by so notable a modern logician as Lotze.