That particular system of graph-theoretical structures and transformations
came up in the process of trying to answer questions about the nature of
logic and proof, but there is of course the additional motivation that
better understanding leads to better tools for inquiry and vice versa. (02)
Jon Awbrey (03)
Adrian Walker wrote:
> Jon --
> Is the purpose for education and debugging?
> Another way of displaying proofs is to only show a success path --
> no backtracks, as in the system online at the site below.
> (Click on "Get an explanation"). A variation is to
> show such a proof with abductive (assumed) nodes,
> showing what would be needed to change a No
> to a Yes.
> -- Adrian
> Internet Business Logic
> A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL
> Online at www.reengineeringllc.com
> Shared use is free, and there are no advertisements
> Adrian Walker
> On Tue, Sep 21, 2010 at 9:40 PM, Jon Awbrey wrote:
> > OntoLoggers, Conceptual Graphers ...
> > Here's a collection of proof animations --
> > in a variant of Peirce's logical graphs --
> > that I worked up since last I was here:
> > http://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations
> > There's explanatory text to be had:
> > http://mywikibiz.com/Logical_Graph
> > http://mywikibiz.com/Propositional_Equation_Reasoning_Systems
> > But I thought it might be fun just
> > to show all the pics in one place.
> > Jon Awbrey (04)
inquiry list: http://stderr.org/pipermail/inquiry/
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey (06)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)