Glossary of Pattern Logic

 a distinct atom of pattern. 

 an instance of one or more occasions. 

 a binary operation consisting of an “extent” occasion that limits a “portion” occasion. The basis of all interpretation of pattern. 

 a group of patterns that are inter-related through three pattern transformations. 

 a transformation of pattern inputs involving a response to an examination of self-input type. 

 a transformation of pattern inputs involving a response to an examination of other-input type. 

 a serial transformation of aversion and inversion. Determines a pattern’s “opposite”. 

 an occasion having the pattern for one of the four alethic modalities. 

 an atomic contradiction; interpreted as “non-entity”; the opposite of possibility. 

 an atomic tautology; interpreted as “some entity”; the opposite of impossibility. 

 an atomic positive assertion; interpreted as “this entity”; the opposite of itself. 

  an atomic negative assertion; interpreted as “not some entity”; the opposite of itself. 

  an occasion having one relational input which is a modal concept. An instance of logical derivation is thus a pattern of two occasions. There are six subtypes of logical derivative. 

  an approximate valuation of a modal concept. 

 an approximate valuation of a selected modal concept.  

 an approximate valuation of “not” a modal concept.  

  an approximate valuation of being limited by a modal concept.  

  an approximate valuation of limiting a modal concept. 

 an occasion of limitation involving a modal concept and a logical derivative. An instance of quantification is thus a pattern of three occasions. 

1. Generic Quantities: total & individual
2. General Quantities: existential, non-existential, universal & partial.
3. Relative Quantities:  strong lesser, strong greater, weak lesser &  weak greater inequality

  every of a modal concept; the opposite of individual quantity. 

 each of a modal concept; the opposite of total quantity. 

 any of a modal concept; the opposite of non-existential quantity. 

 not any of a modal concept; the opposite of existential quantity. 

 all of a modal concept; the opposite of partial quantity. 

 some of a modal concept; the opposite of universal quantity. 

 less than a modal concept; the opposite of weak greater inequality. 

  more than a modal concept; the opposite of weak lesser inequality. 

not more than a modal concept; the opposite of strong greater inequality. 

 not less than a modal concept; the opposite of strong lesser inequality. 

 a pattern of three occasions that has one of four arrangements of limitation between two logical terms. 

 a copula whose central occasion is the portion of one limitation and the extent of another limitation; there are two subtypes of mediation: predication and counter-predication. 

 a mediation copula that arranges the limiting “predicate” logical term as “belonging to” the limited “subject” logical term. 

 a mediation copula that arranges the limited “subject” logical term as “being” the limiting “predicate” logical term. 

 a copula whose central occasion is the portion of two limitations. 

 a copula whose central occasion is the extent of two limitations. 

The first statement is called the claim of the decision. In the diagram above, the claim is the upper arch of occasions.

Claims have necessary modality.

The second statement is called the response of the decision. In the diagram above, the response is the lower arch of occasions.

Responses have necessary modality.

The third statement is called the judgement of the decision. It relates the claim to the response. In the diagram above, the judgement runs through the middle.

Judgements have necessary modality.

The claim and the response start at a given subject which may be a logical variable or a constant. In the diagram above, the subject is at 9 o'clock. 

Constants have necessary modality. 

Variables have possible modality.

The claim and the response terminate at a given predicate.  In the diagram above, the predicate is at 3 o'clock. 

Predicates have contingent modality.

The rationale of a decision is how the claim and the response are handled in producing the truth claims of the  the judgement. In the diagram, the occasions found within the outer ring compose the rationale.

 a pattern of transitive limitation that permits the use of inference rules to compose alternative patterns that may either extend or contract the count of occasions in an instance. 

 reasoning that is characterized by patterns that involve possible or impossible modal concepts, use of term substitution rules lacking existential import, and use of eliminations involving quantifications lacking existential import.

 reasoning that is characterized by patterns that involve necessary or contingent modal concepts, use of term substitution rules having existential import, use of involution rules, and use of eliminations involving quantifications having existential import. 

 reasoning that is characterized by a hybrid pattern of both abduction and deduction. 

 a presumption that the inferences found in the reasoning process for one set of occasions will parallel the inferences found in a reasoning process over a different set of occasions. The degree to which these presumptions correlate between the two patterns decides the “strength” of the analogy.