# Category Archives: Theorem Proving

## Charles Sanders Peirce, George Spencer Brown, and Me • 2

Re: Laws Of Form Discussion • JA • JB • AM I’m making an effort to present this material in a more gradual and logical order than I’ve ever managed to do before.  There are issues about the relationship between … Continue reading

## Charles Sanders Peirce, George Spencer Brown, and Me • 1

Re: Laws Of Form Discussion • Jon Awbrey It’s almost 50 years now since I first encountered the volumes of Peirce’s Collected Papers in the math library at Michigan State, and shortly afterwards a friend called my attention to the … Continue reading

## Charles Sanders Peirce, George Spencer Brown, and Me

Re: Laws Of Form Discussion • James Bowery James Bowery left a comment on my blog and opened a thread in the Yahoo! group devoted to discussing the mathematics of George Spencer Brown’s Laws of Form.  I’ve been meaning to … Continue reading

## Animated Logical Graphs : 10

Re: Peirce List Discussion • Charles Pyle Let’s consider Peirce’s logical graphs at the alpha level, the abstract forms of which can be interpreted for propositional logic.  I say “can be interpreted” advisedly because the system of logical graphs itself … Continue reading

## Pragmatic Cosmos • 1

Re: Michael Harris • Not About Fibonacci I have often reflected on the interminglings of the main three normative sciences.  In one of my earliest meditations I saw Beauty, Goodness, and Truth as the intersecting circles of a Venn diagram, with the … Continue reading

## Prospects for Inquiry Driven Systems • 1

I finally finished retyping the bibliography to my systems engineering project prospectus that had gotten lost in a move between computers, so here is a link to the InterSciWiki copy: Prospects for Inquiry Driven Systems This may be of interest … Continue reading

## Animated Logical Graphs : 9

Re: Ken Regan • The Shapes of Computations The insight that it takes to find a succinct axiom set for a theoretical domain falls under the heading of abductive or retroductive reasoning, a knack as yet refractory to computational attack, … Continue reading