Pattern Logic involves a method for interpreting a particular system of patterns that express logical concepts and models. While most approaches to logic are grounded by an axiomatization of human intuition in symbols, pattern logic is grounded by the systematic development of patterns that anticipate this intuition.
All of pattern logic rests on an algebraic evaluation of patterns given a particular method of interpretation. This approach is similar in approach but different in formulation than the algebra introduced by George Boole.
Iterating through combinations of patterns while applying the algebraic model to derive logical interpretations the primitive elements of pattern logic are established. How these primitives can illuminate historical categorizations of a priori thought, such as the "judgements" of Immanuel Kant raises intriguing questions.
The modern symbolic logic recognizes the two concepts of Existential and Universal Quantification, whose symbols were established by C. S. Peirce. Pattern logic expands upon these concepts and distinguishes two additional types of Quantification anticipated by its patterns: Non and Partial Quantification.
Our understanding of syllogistic logic and deductive reasoning is strongly associated with the writings of Aristotle. Pattern Logic presents an alternative approach to understanding why syllogistic reasoning actually works, and how it can be modeled as machine-readable patterns. It also provides a new means of performing abductive reasoning: what are reasonable hypotheses given the known facts?
The building blocks of Boolean and First Order Logic are operations like conjunction, disjunction and negation. The primitive elements of pattern logic come to express these, as well as more complex logical operations such as De Morgan's laws.
The following articles pertain to ADEPT LION as a pattern logic.