[seqfan] Re: Animated Proofs

franktaw at netscape.net franktaw at netscape.net
Fri Apr 2 23:20:13 CEST 2010


Jon,

I have the same problem these articles that I have had with other 
presentations you have made of these ideas.  Nowhere is there any 
explanation of how these graphs relate to more familiar presentations 
of logic.  Looking at the proofwiki article on Peirce's Law, there is a 
reference to an article on the existential interpretation for these 
graphs -- but the referenced article is a bare stub, with no 
information at all.  Now, I'm sure that Peirce knew what he was doing; 
but how about filling in the rest of us?

Franklin T. Adams-Watters

-----Original Message-----
From: Jon Awbrey <jawbrey at att.net>

I finished animating all the proofs that I had in
my articles on Logical Graphs and Peirce's Law.
There are copies on the following wiki sites
if anyone has comments or questions or wants
to collaborate on further development:

http://mywikibiz.com/Logical_graph
http://mywikibiz.com/Peirce%27s_law

http://www.proofwiki.org/wiki/Definition:Logical_Graph
http://www.proofwiki.org/wiki/Peirce%27s_Law

http://beta.wikiversity.org/wiki/Logical_graph
http://beta.wikiversity.org/wiki/Peirce%27s_law




More information about the SeqFan mailing list