Pure Logic is the science of the formal laws of thought. Its office is to ascertain the rules or conditions under which the mind, by its own constitution, reasons and discourses. The office of Applied Logic--of logic as an art--is "to form and judge of conclusions, and, through conclusions, to establish proof. The conclusions, however, arise from propositions, and the propositions from conceptions." It is chiefly under the latter aspect that logic is treated by Aristotle. According to this natural point of view he has divided the contents of the logical and dialectic teaching in the different treatises of the Organon.
The first treatise is the "Categories" or "Predicaments"--a work which treats of the universal determinations of Being. It is a classification of all our mental conceptions. As a matter of fact, the mind forms notions or conceptions about those natures and essences of things which present an outward image to the senses, or those, equally real, which utter themselves to the mind. These may be defined and classified; there may be general conceptions to which all particular conceptions are referable. This classification has been attempted by Aristotle, and as the result we have the ten "Categories" of Substance, Quantity, Quality, Relation, Time, Place, Position, Possession, Action, Passion. He does not pretend that this classification is complete, but he held these "Predicaments" to be the most universal expressions for the various relations of things, under some one of which every thing might be reduced.
The second treatise, "On Interpretation," investigates language as the expression of thought; and inasmuch as a true or false thought must be expressed by the union or separation of a subject and a predicate, he deems it necessary to discuss the parts of speech--the general term and the verb--and the modes of affirmation and denial. In this treatise he develops the nature and limitations of propositions, the meaning of contraries and contradictions, and the force of affirmations and denials in possible, contingent, and necessary matter.
The third are the "Analytics," which show how conclusions are to be referred back to their principles, and arranged in the order of their precedence.
The First or Prior Analytic presents the universal doctrine of the Syllogism, its principles and forms, and teaches how must reason, if we would not violate the laws of our own mind. The theory of reasoning, generally, with a view to accurate demonstration, depends upon the construction of a perfect syllogism, which is defined as "a discourse in which, certain things being laid down, something else different from the premises necessarily results, in consequence of their existence." [693] Conclusions are, according to their own contents and end, either Apodeictic, which deal with necessary and demonstrable matter, or Dialectic, which deal with probable matter, or Sophistical, which are imperfect in matter or form, and announced, deceptively, as correct conclusions, when they are not. The doctrine of Apodeictic conclusions is given in the "Posterior Analytic," that of Dialectic conclusions in the "Topics," and that of the Sophistical in the "Sophistical Elenchi."
Now, if Logic is of any value as an instrument for the discovery of truth, the attainment of certitude, it must teach us not only how to deduce conclusions from premises, but it must certify to us the validity of the principles from whence we reason and this is attempted by Aristotle in the Posterior Analytic. This treatise opens with the following statement: All doctrine, and all intellectual discipline, arises from a prior or pre-existent knowledge. This is evident, if we survey them all; for both mathematical sciences, and also each of the arts, are obtained in this manner. The same holds true in the case of reasonings, whether through [deductive] Syllogism or through Induction, for both accomplish the instruction they afford from information previously known--the former (syllogistic reasoning) receiving it, as it were, from the traditions of the intelligent, the latter (inductive reasoning) manifesting the universal through the light of the singular. [694] Induction and Syllogism are thus the grand instruments of logic. [695]
[Footnote 693: ][ (return) ] "Prior Analytic," bk. i. ch. i.; "Topics," bk. i. ch. i.
[Footnote 694: ][ (return) ] "Post. Analytic," bk. i. ch. i.
[Footnote 695: ][ (return) ] "We believe all things through syllogism, or from induction."--"Prior Analytic," bk. ii. ch. xxiii.