Peirce's Law -- Now With Animated Proofs !!!

Peircers,

Computations and proofs are closely related examples of semiotic processes
that are well worth studying in light of what they can tell us about inquiry,
reasoning, and semiosis in general.

Computations, if properly directed, move from sign to sign of the same object,
preserving information while increasing clarity, eventually reaching a sign
so clear that we consider it the canonical sign of the object in question.

Equational proofs are very similar to computations, preserving logical equivalence
while increasing clarity, eventually reaching a canonical expression for the given
information that requires no further processing to be understood.

Implicational proofs allow for the loss of some information in the transition from
sign to sign, and so they require more care to keep from losing the critical bits.

With that preamble, I recommend to your attention the following blog post on Peirce's Law.
It contains two examples of equational proofs in a graphical syntax derived from Peirce's
alpha graphs for propositional logic.

Peirce's Law
http://inquiryintoinquiry.com/2008/10/06/peirce-s-law/

Regards,

Jon

-- 

facebook page: https://www.facebook.com/JonnyCache
inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol profile: http://knol.google.com/k/Jon-Awbrey#
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
polmic: www.policymic.com/profiles/1110/Jon-Awbrey