Continuing from Lowell Lecture 4.1, https://www.fromthepage.com/jeffdown1/1903-lowell-lectures/ms-466-467-1903-l owell-lecture-iv/display/13956:
The only reason I do not agree with Dedekind in making mathematics a branch of logic is that logic is not a science of pure assumptions but is a study of positive truth. The mathematician seeks only to trace out the consequences of his assumptions in the readiest and speediest way. The logician does not care much what the conclusions from this or that system of assumptions may be. What he is interested in is in dissecting reasonings, in finding out what their elementary steps are, and in showing what positive facts about the real universe of things and of thoughts it is from which the necessity of the mathematician's reasonings and the validity of other kinds of reasonings depend, and exactly what the nature of that dependence is. I have already pointed out that the characters that make a system of symbols good for [mathematical] purposes are quite contrary to those which would make it good for logical purposes. The truth is that the mathematician and the logician meet in one department on a common highway. They meet; but one is facing one way while the other is facing just the other way. Each of them, it is true, finds it interesting to turn round occasionally and take a glance in the opposite direction. The mathematician, however, has little or nothing to learn of the logician. Mathematics differs from all the special sciences whether of physics or of psychics in never encountering logical difficulties, which it does not lie entirely within his own competence to resolve. The logician on the other hand has everything to learn from the mathematician. Mathematics is, with the exception of Phenomenology and Ethics, the only science from which he can draw any real guidance. There is therefore every reason in the world why we should not delay examining the fundamental nature of mathematics. The simplest possible kind of mathematics would be the mathematics of a system of only two values. Do we in experience meet with any case in which such mathematics could have any application? I reply that we do. There are just two values that any assertion can have. It is either true when it has all the value it can have, or it is false, and has no value at all. It follows that our system of Existential Graphs is precisely an application of the mathematics of two values. It will give you an idea of what Pure Mathematics is to imagine the Existential Graphs to be described without any allusion whatever to their interpretation, but to be defined as symbols subject to the fundamental rules of transformation. Namely, 1st, Graphs are figures drawn on a surface and composed of any finite number including zero of each of these 3 kinds of elements: 1st oval cuts of which no two intersect, 2nd heavy lines, and 3rd spots each with definite places each of which is at an extremity of a heavy line. 2nd, Any graph within an even number of cuts can be erased and any within an odd number of existing cuts can be inserted. 3rd, Any graph can be iterated or deiterated provided the iterated or deiterated replica is not outside of any cut that the other is inside of. 4th, Two cuts one inside the other with nothing between except heavy lines passing from within the inner to outside the outer, can either be made or destroyed anywhere. 5th, A heavy line of which both ends connect with lines inside a cut which lines do not connect spots connected inside the cut can anywhere be erased or inserted. >From those assumptions everything universally true of existential graphs could be deduced, and that would be the Pure Mathematical Treatment. I have defined Mathematics in general as the science which draws necessary conclusions and which formulates the assumptions from which such conclusions can be drawn. I now define Pure Mathematics as that Mathematics which leaves its assumptions entirely indeterminate in respects which have no bearing upon the manner in which they can be combined to produce conclusions. The Pure Mathematics of the System of Two Values would leave us free to regard the Graphs as representing anything for which their fundamental transformations would hold good. In like manner there would be a Mathematics of a System of Three Values which would not be without utility and which has been in some measure developed. The theory of numbers furnishes partial developments of the mathematics of every system having a finite multitude of values. http://gnusystems.ca/Lowell4.htm }{ Peirce's Lowell Lectures of 1903
----------------------------- PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . To UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm .
