All Process, No Paradox • 4 https://inquiryintoinquiry.com/2014/01/20/all-process-no-paradox-4/
All, While looking for something else on the web, I ran across an old note I had written in reply to an inquiry on the Conceptual Graphs List, and it seemed to express one of the points of the present thesis in a fairly clear fashion, so here’s the part I found fit to revive. Time Representation =================== https://web.archive.org/web/20081120094818/http://stderr.org/pipermail/arisbe/2008-January/003423.html https://web.archive.org/web/20081007070535/http://stderr.org/pipermail/inquiry/2008-January/003497.html The point of view that develops from fundamental physical considerations is that the concept of Process is more fundamental than the concept of Time, since references to a time parameter are simply references to a process taken as standard, in other words, a clock. We can always develop another “naive physics”, natural language “tense logic”, or implicit psychological theory of time, and maybe that’s all we need in particular settings, but if we push for a deeper logical analysis of timed processes themselves then we need a logical framework able to deal with relations between systems which undergo changes in their properties, as described by logical statements. That is the impulse motivating Differential Logic. As it turns out, Peirce’s way of doing logic, especially in graphical form, is naturally adapted to dealing with change and difference in logical form. Resources ========= Logical Graphs • Introduction https://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/ Logical Graphs • Formal Development https://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/ Differential Propositional Calculus • Part 1 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1 Differential Propositional Calculus • Part 2 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2 Regards, Jon
_ _ _ _ _ _ _ _ _ _ ► 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 no subject, and with the sole line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
