Propositions As Types

Peircers,

Here is an old hobby horse of mine in which I thought I saw,
and think I still see, a potential application for Peirce's
logical graphs, at least so for as the Alpha graphs for
propositional logic go.

It was brought back to mind by a recent mention
of mathematical analogies, dualities, and other
tricky business on the Gödel's Lost Letter blog.

| Re: Richard J. Lipton
| At: http://rjlipton.wordpress.com/2013/01/26/making-primes-more-random/
|
| One of my favorite tricks — it seems almost too tricky to be true —
| is the Propositions As Types Analogy.  And I seem to see hints that
| the 2-part analogy can be extended to a 3-part analogy, as follows.
|
| • proof hint : proof : proposition ~::~ untyped term : typed term : type
|
| See my working notes on Propositions As Types for more information:
|
| • http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositions_As_Types

Regards,

Jon

-- 

academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache