John, List: JFS: In his letter on Delta graphs, Peirce was breaking new ground. He was proposing a totally new foundation for modal logic, based on metalanguage.
There is no "letter on Delta graphs." Peirce wrote only *one sentence* that mentions them in a letter to Risteen (R L376, 1909 Dec 6), and he was *not *"proposing a totally new foundation for modal logic, based on metalanguage." He simply expresses the need to "add a *Delta *part [to EGs] in order to deal with modals," and nothing else in the 19 extant pages is about modal logic or unique to Delta. JFS: The full letter [to James], which mentions the Big Book that Peirce had in mind, is in NEM 3:867-875. That is quite a lot of text to wade through, so it would still be very helpful if you could provide exact quotations of what you consider to be the most relevant portions to support the points that you wish to make. JFS: The outline for the Big Book has a large overlap with L231 and with topics in his last long letter of 1913. That suggests that the Big Book was intended to be the long awaited proof of pragmatism. That also suggests that he intended Delta graphs to be the logic for his proof. Peirce only briefly discusses EGs near the end of the letter to James. In fact, that is where he states, "This ought to be the Logic of the Future" (NEM 3:874, 1909 Dec 28), supplying Pietarinen's title for his five-volume comprehensive collection of Peirce's writings about them. His sole mention of the Big Book comes several sentences later--"I have done a lot of work in Methodeutic that is valuable and very little of it is printed. This will be the most widely useful part of my Big Book" (ibid). Pragmatism falls within methodeutic in Peirce's architectonic classification of the sciences, but he does not say anything about *proving *it in this letter, let alone using EGs to do so, much less a new Delta part that he would not even give that name until two years later. JFS: Peirce's Delta graphs and the IKL logic have very similar goals. Is the *only *goal of the IKL logic "to deal with modals"? That is Peirce's *only *stated goal for Delta EGs. Regards, Jon Alan Schmidt - Olathe, Kansas, USA Structural Engineer, Synechist Philosopher, Lutheran Christian www.LinkedIn.com/in/JonAlanSchmidt / twitter.com/JonAlanSchmidt On Wed, Mar 6, 2024 at 1:26 PM John F Sowa <[email protected]> wrote: > Gary, > > In his letter on Delta graphs, Peirce was breaking new ground. He was > proposing a totally new foundation for modal logic, based on metalanguage. > The important references are in the future, not the past. For Peirce's > past, the most relevant references were cited and discussed many times: > His 1903 Lowell lectures, his tinctured graphs of 1906, and the references > in R514, L231, and the primary source L376. > > For modern references, I have cited quite a few. The most important one > is to the IKL logic of 2006. For that, I repeatedly pointed to the web > page, which has hundreds of references: https://jfsowa.com/ikl/ . > > The title of that web page is "Semantics for Interoperable Systems" with > four sections. Each section has multiple short paragraphs with several > links for individual systems of that type: > > 1. From the conceptual schema to the semantic web. > 2. The IKRIS project > 3. A foundation for multiple projects > 4. Supporting an open-ended diversity > > Section 1 is historical, but many of the systems mentioned there are still > in use or are the foundation for later developments. Section 2 and the > references there are the basis for IKL and related projects that build on > the IKL base. Section 3 also includes some projects that use IKL. And > Section 4 discusses issues that are still being debated and developed > today. Every section has multiple references. Just look at that article > and note all the phrases in blue. Each one is clickable. > > As for the letter to William James, I was in a hurry, and I didn't have > the time to dig up references to a point that was not directly relevant to > the topic of the letter. For the record, it's the last letter to WJ in > EP2. Unfortunately, the end of the letter was deleted in EP2. The full > letter, which mentions the Big Book that Peirce had in mind, is in NEM > 3:867-875. > > Now that I dug up that reference, I realize that I should have mentioned > something I wrote in an unfinished article. I think I'll include it in my > article on Delta graphs. It shows why Peirce realized the need for a new > approach to modality, and it certainly goes far beyond Alpha graphs. I'll > say more in another note. > > And by the way, that letter was written on 25 Dec 1909. In the part that > was deleted in EP2, Peirce wrote that he was planning to include a section > of the Big Book in an article for Carus. The outline for the Big Book has > a large overlap with L231 and with topics in his last long letter of 1913. > That suggests that the Big Book was intended to be the long awaited proof > of pragmatism. That also suggests that he intended Delta graphs to be the > logic for his proof. > > And by the way, please read that section 2 about the IKRIS project. Its > goal was to support interoperability among multiple systems. And the IKL > logic is a major part. That shows a definite convergence: a logic of > pragmatism would indeed support interoperability among multiple projects in > science and engineering. > > Peirce's Delta graphs and the IKL logic have very similar goals. That's > why they are so closely related. I'll mention that in my article on Delta > graphs. > > 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 [email protected] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] 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.
