Signed in as:

filler@godaddy.com

Signed in as:

filler@godaddy.com

This glossary is provided as alternative means of learning Pattern Logic through an examination of its terms and their definitions.

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.*

- Generic Quantities: total & individual
- General Quantities: existential, non-existential, universal & partial.
- 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.*

a *modal concept* that relates two *logical terms* in a* copula.*

a *logical statement* having a *mediation copula* and *general quantities* for *logical terms*.

a logical statement having an overlap or union copula and either *existential *or *non-existential quantities *for its *logical terms*. There are eight subtypes of logical connective.

an *overlap copula* with *existential quantities* for both *logical terms*; the *opposite* of *non-conjunction*.

a *union copula* with *non-existential quantities* for both *logical terms*; the *opposite *of*conjunction*.

a *union copula* with *existential quantities* for both *logical terms*; the *opposite* of *non-disjunction*.

an *overlap copula* with *non-existential quantities* for both *logical terms*; the *opposite *of *disjunction*.

a *union copula* with a *non-existential quantity* for its first *logical term* and an *existential quantity* for its second *logical term*; the *opposite* of *material non-implication*.

an *overlap copula* with an *existential quantity* for its first *logical term* and a *non-existential quantity* for its second *logical term*; the *opposite *of *material implication*.

a *union copula* with an *existential quantity* for its first *logical term* and a *non-existential quantity* for its second *logical term*; the *opposite *of c*onverse non-implication*.

an *overlap copula* with a *non-existential quantity* for its first *logical term* and an *existential quantity* for its second *logical term*; the *opposite *of *converse implication*.

a *logical term*; a quantified *logical statement*.

a *modal concept* that relates two *quantified statements *in a* copula.* There are two subtypes of *logical decisions*.

a *logical decision* that is not a contradiction or a tautology and whose *opposite *is not a contradiction or a tautology. Accounting for pattern redundancy, there are 40 subtypes of logical determination. Each *logical determination* has an “opposite” *logical determination* defined by the transformation of *involution*

a *logical decision* that is a __contradiction__ or a __tautology,__ or whose *opposite *is a __contradiction__ or a __tautology__. Accounting for pattern redundancy, there are 32 subtypes of logical judgement.

- Associate truth values with modal concepts (of which propositions are one kind), or their complements
- Associate truth values with logical assertions of equality or inequality.
- Associate truth values with mereological assertions of inclusion or exclusion

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.

Copyright © 2024 Pattern's Language - All Rights Reserved.

ADEPT LION is a Salveretec PBC patented invention