Diagrams have been central to scientific and technological development since methods to print them in mass quantities were invented. Yet in modern logic, the language of choice […] ...

Blumind is a free, tiny, portable tool for quickly creating mind maps, org charts, and logic diagrams.

Truth diagrams (TDs) are introduced as a novel graphical representation for propositional logic (PL). To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive ...

Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system ...

It's a funny old world. If you'd asked me this morning if I understood Venn diagrams, my answer would have been a resounding” “Yes!” Quite apart from anything else, some time ago I penned a rather ...