Animated Logical Graphs : 1
For Your Musement … Here are some animations I made up to illustrate several different styles of proof in an extended topological variant of Peirce’s Alpha Graphs for propositional logic. ☞ Proof...
View ArticleAnimated Logical Graphs : 2
Re: Peirce List Discussion • Jim Willgoose 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...
View ArticleAnimated Logical Graphs : 3
Re: Peirce List Discussion • Helmut Raulien I have a little more leisure now to begin the process of climbing back into the saddle, so let me see where we left off … Try looking into the article I...
View ArticleAnimated Logical Graphs : 4
Re: Peirce List Discussion • Helmut Raulien Although it’s fair to say that most of my university coursework leaned to the theoretical side of things, I did cobble together a respectable enough...
View ArticleAnimated Logical Graphs : 5
Re: Peirce List Discussion • Howard Pattee A computational problem is defined as a set of problem instances with specified properties. An algorithm solves a problem if it computes the correct answer...
View ArticleAnimated Logical Graphs : 6
Re: Peirce List Discussion • Jim Willgoose At root we are dealing with a genre of very abstract formal systems. They have grammars that determine their well-formed expressions and rules that determine...
View ArticleSurvey of Precursors Of Category Theory • 1
A few years ago I began a sketch on the Precursors of Category Theory, aiming to trace the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to...
View ArticleProblems In Philosophy • 4
Re: R.J. Lipton and K.W. Regan • Did Euclid Really Mean ‘Random’? These are the forms of time, which imitates eternity and revolves according to a law of number. Plato • Timaeus • 38 A Benjamin Jowett...
View ArticleHomunculomorphisms • 2
Re: John Baez • The Internal Model Principle There’s a far-ranging discussion that takes off from this point, touching on links among analogical reasoning, arrows and functors, cybernetic images,...
View ArticleCharles 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....
View ArticleCharles 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...
View ArticleCharles 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...
View ArticleCharles Sanders Peirce, George Spencer Brown, and Me • 3
Re: Laws Of Form Discussion • AM • AM • AM • AM There are a number of “difficulties at the beginning” that arise here. I’ve been trying to get to the point where I can respond to James Bowery’s...
View ArticleCharles Sanders Peirce, George Spencer Brown, and Me • 4
Re: Laws Of Form Discussion Two things that had a big impact on my studies of Peirce and Spencer Brown over the years were my parallel studies in mathematics and computer science. In the overlap...
View ArticleCharles Sanders Peirce, George Spencer Brown, and Me • 5
Re: Laws Of Form Discussion • Peirce’s Law Here are blog and wiki versions of an article I wrote on Peirce’s Law, an axiom or theorem (depending on the logical basis you choose) that distinguishes...
View ArticleCharles Sanders Peirce, George Spencer Brown, and Me • 6
Re: Laws Of Form Discussion • Peirce’s Law • AM • AM The formal system of logical graphs is defined by a foursome of formal equations, called initials when regarded purely formally, in abstraction from...
View ArticleCharles Sanders Peirce, George Spencer Brown, and Me • 7
Re: Laws Of Form Discussion • Boundary Logic • CB A statement that implies both and is called a false statement, and anyone can prove anything at all from a false statement, as we all too frequently...
View ArticleCharles Sanders Peirce, George Spencer Brown, and Me • 8
Re: Laws Of Form Discussion • Boundary Logic • JW For me, the heart of the matter is what is the purpose of logic and what is the purpose of math and what is their relationship? There are ways of...
View ArticleCharles Sanders Peirce, George Spencer Brown, and Me • 9
Re: Laws Of Form Discussion • Boundary Logic • RS A wider field of investigation opens up at this point, having to do with the diversity of interactions among the languages we use, and systems of signs...
View ArticleCharles Sanders Peirce, George Spencer Brown, and Me • 10
Re: Laws Of Form Discussion With any formal system it is easy to spend a long time roughing out primitives and reviewing first principles before getting on to practical applications, and logical graphs...
View Article