I. On the diagrammatic and mechanical representation of propositions and reasonings | Synapse