There is a Universal Language

Over the last century a small group of researchers, working largely independently and in isolation, have discovered and refined an Universal Language.

This is a logic-symbolic notation, not a spoken language (i.e. not like Esperanto), that captures and expresses the essence of logical reasoning in a direct and unmistakable way.

The rules of logical reasoning (and Set Theory, etc.) expressed in the Universal Language admit of a decision procedure that is of unprecedented simplicity and power.

It is the alphabet of thought.

I'm still gathering threads and learning but I've compiled a few links and a bit of history:

• C. S. Pierce, Existential Graphs, circa 1890
• Spencer-Brown, "Laws of Form"
• Bricken, http://iconicmath.com/
• Shroup, http://www.lawsofform.org/
• Burnett-Stuart, http://www.markability.net/

For your sake and the sake of the children, go read this, and tell the people.