Clik here to view.
Animated Logical Graphs : 8
Re: Ken Regan • The Shapes of Computations The most striking example of a “Primitive Insight Proof” (PIP❢) known to me is the Dawes–Utting proof of the Double Negation Theorem from the CSP–GSB axioms...
View ArticleClik here to view.
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...
View ArticleAnimated Logical Graphs : 11
Re: Richard Coyne • Inside Out Logic Venn diagrams make for very iconic representations of their universes of discourse. That is one of the main sources of their intuitive utility and also the main...
View ArticleAnimated Logical Graphs : 12
Re: Facebook Discussion • MBM I’ve always been fond of picture proofs — it was one of the things that drew me to graph theory, topology, and the logical graphs of C.S. Peirce and Spencer Brown in the...
View ArticleClik here to view.
Theme One • A Program Of Inquiry : 6
Re: Laws Of Form Discussions • (1) • (2) • (3) Programs are algorithms that operate on data structures (Wirth). How do we turn abstract graphs like those used by C.S. Peirce and Spencer Brown into...
View ArticleTheme One • A Program Of Inquiry : 7
Re: Laws Of Form Discussions • (1) • (2) • (3) Re: Peirce List Discussions • (1) • (2) Discussion arose in the Laws Of Form Group about computational explorations of George Spencer Brown’s calculus of...
View ArticleTheme One • A Program Of Inquiry : 8
Re: Laws Of Form Discussions • (1) • (2) • (3) Re: Peirce List Discussions • (1) • (2) Coding Logical Graphs My earliest experiments with coding logical graphs as pointer data structures taught me that...
View ArticleTheme One • A Program Of Inquiry : 9
Re: Laws Of Form Discussions • (1) • (2) • (3) Re: Peirce List Discussions • (1) • (2) We have seen how to take an abstract logical graph of a sort a person might have in mind to represent a logical...
View ArticleTheme One • A Program Of Inquiry : 10
Re: Laws Of Form Discussions • (1) • (2) • (3) Re: Peirce List Discussions • (1) • (2) Lexical, Literal, Logical Theme One puts cactus graphs to work in three distinct but related ways, called lexical,...
View ArticleTheme One Program • Discussion 1
Re: Laws Of Form Discussion • AM AM: Why do you need XOR in your inquiry system? Clearly we need a way to represent exclusive disjunction, along with its dual logical equivalence, in any calculus...
View ArticleClik here to view.
Theme One • A Program Of Inquiry : 11
Re: Laws Of Form Discussions • (1) • (2) • (3) Re: Peirce List Discussions • (1) • (2) The portions of exposition just skipped over covered the use of cactus graphs in the program’s learning module to...
View ArticleClik here to view.
Theme One • A Program Of Inquiry : 12
Re: Laws Of Form Discussions • (1) • (2) • (3) Re: Peirce List Discussions • (1) • (2) • (3) Logical Cacti (cont.) The main things to take away from the previous post are the following two ideas, one...
View ArticleClik here to view.
Theme One • A Program Of Inquiry : 13
Re: Laws Of Form Discussions • (1) • (2) • (3) Re: Peirce List Discussions • (1) • (2) • (3) Logical Cacti (cont.) The abstract character of the cactus language relative to its logical interpretations...
View ArticleTheme One • A Program Of Inquiry : 14
Re: Ontolog Forum Discussion As an alternative to piling generalities on generalities, not that there’s anything wrong with that, it also helps to look at issues as they arise in concrete applications....
View ArticleTheme One • A Program Of Inquiry : 15
Re: Laws Of Form Discussions • (1) • (2) • (3) Re: Peirce List Discussions • (1) • (2) • (3) • (4) Re: Ontolog Forum Discussion • (1) An unexpected benefit of cleaning out our basement and putting our...
View ArticleTheme One Motivation • 1
Re: Sys Sci Group Discussion • (1) Re: Ontolog Forum Discussion • (1) Re: Laws Of Form Discussions • (1) • (2) • (3) The main idea behind the Theme One program is the efficient use of graph-theoretic...
View ArticleTheme One Motivation • 2
Re: Sys Sci Group Discussion • (1) Re: Ontolog Forum Discussion • (1) Re: Laws Of Form Discussions • (1) • (2) • (3) A side-effect of working on the Theme One program over the course of a decade was...
View ArticleTheme One Motivation • 3
Re: Laws Of Form Discussion • JB Re: Ontolog Forum Discussion • (1) Re: Sys Sci Group Discussion • (1) All through the 70s and 80s I spent many interesting hours hanging out in John Eulenberg’s...
View ArticleTheme One Motivation • 4
Re: Laws Of Form Discussion • JB Re: Ontolog Forum Discussion • (1) Re: Sys Sci Group Discussion • (1) Speaking of compression, either my present memory or my mind at the time apparently mushed...
View ArticleTheme One • A Program Of Inquiry : 16
Re: Sys Sci Group Discussion • (1) Re: Ontolog Forum Discussion • (1) Re: Laws Of Form Discussions • (1) • (2) • (3) Re: Peirce List Discussions • (1) • (2) • (3) • (4) It looks like my time will be at...
View Article