Re: All Process, No Paradox

Post   : All Process, No Paradox : 4
URL    : http://inquiryintoinquiry.com/2014/01/20/all-process-no-paradox-4/
Posted : January 20, 2014 at 2:00 pm
Author : Jon Awbrey

| Thus began the Days of the Bliss of Valinor;
| and thus began also the Count of Time.
|
| Tolkien • “Quenta Silmarillion”

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 bit that seems fit to revive.

Time Representation
-------------------
http://web.archive.org/web/20070629144821/http://stderr.org/pipermail/arisbe/2008-January/003423.html
http://web.archive.org/web/20070629144821/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, to a clock.

Of course, we can always develop yet 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 to have a logical 
framework that can deal with relations between systems that undergo changes in their properties, as 
described by logical statements.

This is the impulse that leads to Differential Logic.  As it happens, Peirce's way of doing logic, 
especially in graphical form, lends itself quite naturally to being able to do this especially well.

Related Readings
----------------

• Differential Logic : Introduction
http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction

• Differential Propositional Calculus
http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus

• Differential Logic and Dynamic Systems
http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0

-- 

academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
isw: http://intersci.ss.uci.edu/wiki/index.php/JLA
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache
_______________________________________________
Inquiry mailing list
[email protected]
http://stderr.org/cgi-bin/mailman/listinfo/inquiry