Bibliography

Minute Logic: Chapter III. The Simplest Mathematics

How it can be that, although the reasoning is based upon the study of an individual schema, it is nevertheless necessary, that is, applicable, to all possible cases, is one of the questions we shall have to consider. Just now, I wish to point out that after the schema has been constructed according to the precept virtually contained in the thesis, the assertion of the theorem is not evidently true, even for the individual schema; nor will any amount of hard thinking of the philosophers’ corollarial kind ever render it evident. Thinking in general terms is not enough. It is necessary that something should be DONE. In geometry, subsidiary lines are drawn. In algebra permissible transformations are made. Thereupon, the faculty of observation is called into play. Some relation between the parts of the schema is remarked. But would this relation subsist in every possible case? Mere corollarial reasoning will sometimes assure us of this. But, generally speaking, it may be necessary to draw distinct schemata to represent alternative possibilities. Theorematic reasoning invariably depends upon experimentation with individual schemata. We shall find that, in the last analysis, the same thing is true of the corollarial reasoning, too; even the Aristotelian “demonstration why.” Only in this case, the very words serve as schemata. Accordingly, we may say that corollarial, or “philosophical” reasoning is reasoning with words; while theorematic, or mathematical reasoning proper, is reasoning with specially constructed schemata.

What is experience? It is the resultant ideas that have been forced upon us. We find we cannot summon up what images we like. Try to banish an idea and it only comes home with greater violence later.

Mathematical logic is formal logic. Formal logic, however developed, is mathematics. Formal logic, however, is by no means the whole of logic, or even its principal part. It is hardly to be reckoned as a part of logic proper.

The most ordinary fact of perception, such as “it is light,” involves precisive abstraction, or prescission. But hypostatic abstraction, the abstraction which transforms “it is light” into “there is light here,” which is the sense which I shall commonly attach to the word abstraction (since prescission will do for precisive abstraction) is a very special mode of thought. It consists in taking a feature of a percept or percepts (after it has already been prescinded from the other elements of the percept), so as to take propositional form in a judgment (indeed, it may operate upon any judgment whatsoever), and in conceiving this fact to consist in the relation between the subject of that judgment and another subject, which has a mode of being that merely consists in the truth of propositions of which the corresponding concrete term is the predicate. Thus, we transform the proposition, “honey is sweet,” into “honey possesses sweetness.”

It was Benjamin Peirce, whose son I boast myself, that in 1870 first defined mathematics as “the science which draws necessary conclusions.” This was a hard saying at the time; but today, students of the philosophy of mathematics generally acknowledge its substantial correctness.

How it can be that, although the reasoning is based upon the study of an individual schema, it is nevertheless necessary, that is, applicable, to all possible cases, is one of the questions we shall have to consider. Just now, I wish to point out that after the schema has been constructed according to the precept virtually contained in the thesis, the assertion of the theorem is not evidently true, even for the individual schema; nor will any amount of hard thinking of the philosophers’ corollarial kind ever render it evident. Thinking in general terms is not enough. It is necessary that something should be DONE. In geometry, subsidiary lines are drawn. In algebra permissible transformations are made. Thereupon, the faculty of observation is called into play. Some relation between the parts of the schema is remarked. But would this relation subsist in every possible case? Mere corollarial reasoning will sometimes assure us of this. But, generally speaking, it may be necessary to draw distinct schemata to represent alternative possibilities. Theorematic reasoning invariably depends upon experimentation with individual schemata. We shall find that, in the last analysis, the same thing is true of the corollarial reasoning, too; even the Aristotelian “demonstration why.” Only in this case, the very words serve as schemata. Accordingly, we may say that corollarial, or “philosophical” reasoning is reasoning with words; while theorematic, or mathematical reasoning proper, is reasoning with specially constructed schemata.