Page:Philosophical Review Volume 1.djvu/694

678

Logic is called by some the science of the laws of correct thinking. Kant regarded it as a completed science; algebraic logicians, however, view it as the meagre beginning of a science. Philosophical logicians reject the claims of the other school; for them the algebra of logic is no logic at all. But the algebra of logic aims to be logic in the full sense of the term; it claims to pursue the same ends as the older logic on safer and more exact lines. Both disciplines declare as their object the discovery of the laws or rules of correct thinking. Husserl seems to maintain that algebraic logic contains only the rules of thought and not its laws. This is not the case. Algebraic logic is not merely a calculus of logic, a mechanical method, a means of dispensing with logical thought. The logical rules applied could certainly not have been found without the recognition of the corresponding logical laws. Those who doubt the claims of algebraic logic to be a logic, we refer to its final settlement of the controversy regarding the negative judgment, the reality of the subject in the categorical judgment, etc. The algebra of logic develops laws of thought and is real logic. It is true it has hitherto neglected the elementary laws of thought, but this deficiency V. tries to make good. It is also true that this science has hitherto been, though not necessarily, a logic of extent as opposed to a logic of content. Philosophers characterize the logic of extent as an inadequate exposition of logical laws. In order to decide this question, we must determine precisely the problem of logic. If we affirm a relation between two objects, we have a judgment; if we deny it, a negation of judgment. The latter is not identical with the negative judgment of philosophy. The negation of a categorical judgment is not a negative, but a particular judgment. Now the relations between objects are two-fold: either original ones, due to synthesis, or derived from an analysis of other relations. The process of thought which in this way derives relations from given relations is deduction. Induction creates original relations. The theory of the derivation of relations forms the content of deductive sciences, of which logic is one. By means of experience or deduction we find that certain relations are true not only of particular objects, but of many such. If we hold fast one object of a relation, letting the others vary, we arrive at notions. The undetermined relation becomes the object of a new relation and is called a notion. We define a notion by giving a relation which is to be fulfilled by objects. The content of a notion is not formed by the totality of properties belonging to the objects fulfilling the notion, but the relation, which the definition demands. The totality of the objects meeting the demands