RE: [PEIRCE-L] Delta Existential Graphs (was The Proper Way in Logic)

2024-02-19 Thread John F Sowa
Jon,

That's true:

JAS> I am admittedly curious about the content of your new article. As you 
know, there is only one place in Peirce's entire vast corpus of writings where 
he mentions Delta.

But note the following excerpt from R514, which also contains a rough draft of 
the EGs in L231:

"Since my paper of 1906, I have improved the [EG] system slightly (at least), 
and the manner of exposition of it greatly, by first stating the force of the 
different signs without going into their deeper significance in the
Since my paper of 1906, I have improved the [EG] system slightly (at least), 
and the manner of exposition of it greatly, by first stating the force of the 
different signs without going into their deeper significance in the least...

One of my possibly slight improvements, is that I begin by drawing (preferably 
with a red pencil), a line all round my sheet at a little distance from the 
edge; and in the margin outside the red line, whatever is scribed is merely 
asserted to be possible. Thus, if the subject were geometry, I could write in 
that margin the postulates, and any pertinent problems stated in the form of 
postulates such as, that "if on a plane, there be circle with a ray cutting it, 
and two be marked [end of R514]

That operation is the way L376 represents multiple parts of the phemic sheet.  
And it is a way of saying the conditions for the nested graph to be possible.  
That doesn't say much more.  But that operation when combined with a notation 
for first-order logic is a method for representing modality in various logics 
in the late 20th and early 21st C.

There are also other hints that suggest ways of extending FOL.  They don't 
prove that Peirce intended exactly the same kinds of applications.  But it 
shows that his ways of thinking could lead in promising directions.  Following 
is the abstract of the article I'm writing.

Abstract.  In December 1911, Peirce wrote an intriguing claim about existential 
graphs:  “I shall now have to add a Delta part in order to deal with modals.” 
Although his unfinished draft does not specify the details, it explains how an 
utterer and an interpreter may use Delta graphs in an investigation. Further 
hints may be found in several manuscripts he wrote in the previous six months. 
As another hint, the intended recipient of the letter was Allan Risteen. When 
that letter is combined with information about Risteen’s expertise and Peirce’s 
work on a proof of pragmaticism, it suggests that the phemic sheet of a Delta 
graph consists of multiple “papers”, each of which represents a different time, 
aspect, or modality of some universe of discourse. Although Peirce did not 
specify the details of Delta graphs, a combination of features mentioned in 
several 1911 manuscripts would satisfy the hints about Delta graphs. The result 
would be similar or perhaps equivalent to a logic for modality that was 
invented in 2006.

John


From: "Jon Alan Schmidt" 
Sent: 2/18/24 8:08 PM
To: Peirce-L 
Subject: [PEIRCE-L] Delta Existential Graphs (was The Proper Way in Logic)

John, List:

JFS: I am now writing the article on Delta Graphs. That is an example where 
Peirce was on solid ground with his deep understanding of logic and 
mathematics. Next week, I'll send the abstract and preview of the new article, 
which shows how Peirce anticipated a version of logic that was developed in the 
21st century (2006 to be exact). 
(https://list.iupui.edu/sympa/arc/peirce-l/2024-02/msg00038.html)

JFS: I'm moving on to the the article on Delta graphs. I'll send a note with a 
preview of that article later this week. 
(https://list.iupui.edu/sympa/arc/peirce-l/2024-02/msg00104.html)

I am admittedly curious about the content of your new article. As you know, 
there is only one place in Peirce's entire vast corpus of writings where he 
mentions Delta.

CSP: In this ["Prolegomena to an Apology for Pragmaticism," CP 4.530-572, 1906] 
I made an attempt to make the syntax [of Existential Graphs] cover Modals; but 
it has not satisfied me. The description was, on the whole, as bad as it well 
could be, in great contrast to the one Dr. Carus rejected [in 1897]. For 
although the system itself is marked by extreme simplicity, the description 
fills 55 pages, and defines over a hundred technical terms applying to it. The 
necessity for these was chiefly due to the lines called "cuts" which simply 
appear in the present description as the boundaries of shadings, or shaded 
parts of the sheet. The better exposition of 1903 divided the system into three 
parts, distinguished as the Alpha, the Beta, and the Gamma, parts; a division I 
shall here adhere to, although I shall now have to add a Delta part in order to 
deal with modals. (R L376, R 500:2-3, 1911 Dec 6)

For EGs as described in "the better exposition of 1903," modal logic is 
implemented with broken cuts in Gamma. However, by the time Peirce wrote this 
letter to Allan Douglas Rist

Re: [PEIRCE-L] The Proper Way in Logic (was Peirce's Ongoing Semiotic Project)

2024-02-19 Thread John F Sowa
Jon, Edwina, List,

Peirce's writings and Jon's article about "temporal synechism" do not conflict 
with the following sentence:

JFS: In any case, there is no conflict between Peirce's categories and 
different theories about time.

There is a major difference between Newtonian time, time in Einstein's special 
relativity, time in general relativity, and time in many variations that 
physicists have proposed in the past century.   Nobody know what theories may 
be developed in the future.   But it's doubtful that any of them will make any 
noticeable difference in the way that different cultures talk about time.

Edwina said that she considered the Hopi way of talking about time as 
objectionable.  I admit that it's different from SAE, which is closer to my way 
of thinking.  But I believe that there is a one-to-one mapping between Hopi 
times and SAE times -- at least at a level that is humanly perceptible without 
special instruments.

And I can't see any conflict with anything Peirce wrote.  Those examples just 
show that different people think in different ways.  I can't see any reason for 
objecting.

John


From: "Jon Alan Schmidt" 

John, List:
JFS: In any case, there is no conflict between Peirce's categories and 
different theories about time.

I wrote a lengthy paper on this subject, "Temporal Synechism: A Peircean 
Philosophy of Time" (https://rdcu.be/b9xVm).

JFS: Since every hypothesis is stated as a proposition, asking the question 
"Why?" about any 3ns would lead to a proposition. That proposition is the 
reason that explains why the first and second are related.

This is getting closer to the phaneroscopic essence of 3ns as mediation, and it 
is fully consistent with one of Peirce's own examples that I quoted previously.

CSP: Nature herself often supplies the place of the intention of a rational 
agent in making a 3ns genuine and not merely accidental; as when a spark, as 
third, falling into a barrel of gunpowder, as first, causes an explosion, as 
second. But how does nature do this? By virtue of an intelligible law according 
to which she acts. (CP 1.366, EP 1:255, 1886-7)

Why did the gunpowder explode? Because a spark ignited it. Indeed, the third 
(spark) explains why the first (gunpowder) and second (explosion) are related, 
reflecting the intelligibility of that relation. Nevertheless, this answer does 
not require a verb that names a triadic relation; and although it provides a 
reason for what happened, it does not identify a rational agent's goal, 
purpose, or intention behind it. After all, the explosion might have been 
entirely accidental, not the result of any goal/purpose/intention at all.

Regards,

Jon Alan Schmidt - Olathe, Kansas, USA
Structural Engineer, Synechist Philosopher, Lutheran Christian
www.LinkedIn.com/in/JonAlanSchmidt / twitter.com/JonAlanSchmidt
_ _ _ _ _ _ _ _ _ _
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.