[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