John, List: Up until the off-List message that you sent me late Saturday evening, we were having a respectful and substantive discussion despite our ongoing disagreements. I am disappointed that this is no longer the case and inclined to refrain from any further engagement after one more attempt to set the record straight.
JFS: The critical additions [for a proof of pragmatism] are closely related to what Peirce specified in L376. I call that material a specification of Delta graphs. I don't care what you call it. The specifications are important. The names are irrelevant. The name is relevant when it is one that Peirce himself used. If he had never mentioned a Delta part of EGs at all, then anyone would be free to invent one and give it that name. However, he *did *mention it, albeit in only one sentence-- "I shall now have to add a *Delta *part in order to deal with modals"--so no one should misleadingly use the name "Delta graphs" for anything that deviates from or goes well beyond this very brief description. As I have explicitly and repeatedly acknowledged, unless additional pages of R L376 turn up that spell it out, *no one* can know for sure exactly what he had in mind. That is why I have carefully and consistently referred to the notation that he scribed on R 339:[340r] as a *candidate* for Delta EGs. JFS: I realize that you insist in ignoring everything but the first two paragraphs of L376. I believe that is a serious mistake. You are deliberately putting blinders on your eyes. I think that we can all agree that it's unwise to reject anything Peirce wrote just because of some preconceived notion that it's irrelevant. On the contrary, I am not ignoring *anything *in R L376, and I have no preconceived notions about it. I am simply reading and explaining what the *entire *extant text actually says--and does not say. Again, the "many papers" correspond to different *subjects *that attract "the common attention" of the utterer and interpreter at different times, such that *together *they represent the entire universe of discourse. This is not new or innovative in 1911--it echoes what Peirce had already written at least twice previously, as I have demonstrated with exact quotations ( https://list.iupui.edu/sympa/arc/peirce-l/2024-03/msg00004.html). Nothing precludes using the "many papers" with Alpha, Beta, or Gamma EGs--they do not "deal with modals" and are not otherwise unique to Delta EGs. Cheers, Jon Alan Schmidt - Olathe, Kansas, USA Structural Engineer, Synechist Philosopher, Lutheran Christian www.LinkedIn.com/in/JonAlanSchmidt / twitter.com/JonAlanSchmidt On Sun, Mar 17, 2024 at 9:29 PM John F Sowa <s...@bestweb.net> wrote: > Jon, List, > > Before I read your note below, I had just sent an off-list note to you and > Gary R. to recommend that you make very important revisions to your > article. It's a pity that you had sent the article to the publisher so > long ago. It's probably too late to stop the publication and make the > necessary revisions. > > Basic point: Peirce added the notation for metalanguage to EGs in 1898 > (RLT). That is 5 years before the Gamma graphs of 1903. That addition is > sufficient to support modality. It makes the modal features of Gamma > graphs irrelevant. > > But modality alone is not sufficient for a proof of pragmatism (a major > goal of Peirce's last decade). Metalanguage is a prerequisite, but much > more is necessary. I have been urging you (and other subscribers to > P-list) to read the developments of the IKRIS project of 2004 to 2006, > which uses a metalanguage feature added to the ISO standard for Common > Logic. See https://jfsowa.com/ikl . > > I was just one of a committee of 9 who defined the IKL logic. But that > logic, by itself, was not sufficient to support the major developments > needed for a proof of pragmatism. The critical additions are closely > related to what Peirce specified in L376. I call that material a > specification of Delta graphs. I don't care what you call it. The > specifications are important. The names are irrelevant. > > Allan Risteen was also highly influential in discussing the issues with > Peirce before he started to write L376. Please read the references to > Risteen in EP2 -- they're all listed in the index. And one of Risteen's > areas of expertise was his study of the mathematics by Arthur Cayley (see > his Wikipedia page). > > I realize that you insist in ignoring everything but the first two > paragraphs of L376. I believe that is a serious mistake. You are > deliberately putting blinders on your eyes. I think that we can all agree > that it's unwise to reject anything Peirce wrote just because of some > preconceived notion that it's irrelevant. > > I have a strong background in mathematics and logic and their applications > to computer systems. By working with a logic similar to the one Peirce > developed (IKL), I learned how such a logic is important for scientific and > engineering applications. The IKRIS project is an important example. That > is one reason why I have been so enthusiastic about L376. Modern > technology is more advanced, but the principles of pragmatism are just as > important. > > In summary, the specifications in L376, supplemented with R514, L231, and > the kinds of topics Peirce would have discussed with Risteen, are essential > for a proof of pragmatism. The iKRIS project of 2004-2006 shows the value > of a very similar logic, but much more is needed beyond the metalanguage > Peirce knew that, and the full IKRIS project (much more than just the > logic) demonstrated that. What you or Peirce or I may call it is > irrelevant. > > John >
_ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.