Venn used his diagrams to illustrate and explore such “symbolic logic” – defending and extending it. Symbolic logic underpins modern computing ... Following his abstract work on logic ...