The diamond of contraries ?
Linear diagrams are formalised for reasoning about formulae of first order monadic logic. The diamond of contraries is introduced as a foundation for representing complete knowledge. Compound diagrams are introduced that allow for disjunctive information, and thus, for treating incomplete knowledge. The diagrams support the simplification of formulae, their comparison, and they enable to test their satisfiability. It is shown how syllogisms can be comprehended by these diagrams.
diamond of contraries linear diagrams set space diagrams diagrammatic reasoning monadic first-order logic complete versus incomplete knowledge square of opposition