There are three types of implications available in set networks: Association, Expectation, and Attribution.
|
Type |
Implication |
Implicator Test |
Example of Test |
|
Implication |
A => B |
A&B |
A&B => C |
|
Expectation |
A => *B |
A B |
A B => C |
|
Attribution |
A:B |
A|B |
A|B => C |
Association implication provides immediate detail to an existing pool of symbols. It is an association implied directly in the same pool of symbols, which enhances and co-occurs with the others all at once. Most logic problems are ultimately distilled down into associational relationships. A set of symptoms will imply a set of diagnosis, each represented by their own independent symbol in the same pool. A set of stimulus will simplify a set of responses, each represented by their own independent symbol in the same pool. There is no complexity of meaning of relationships derivable within the pool. The pool is one common set of meaning.
Expectation implication provides sequence. Each step in the sequence is its own associational pool. Thus associations can be implied individually along each step without collapsing the meaning of the other steps. The sentence Dog bites man creates a sequential relationship between three steps along the way. Dog, bites, and man can each individually branch their own associations in place, but the relationship between the three remains intact while they continue to absorb additional meaning in place. Without sequence the meaning would be just as much Dog bites man as Man bites dog (as well as man dog bites and bites dog man, etc).
Attribution implication provides nuance and complexity by allowing symbols to contain their own meaning. Attribution allows a single word to represent many more concepts. The network of these attributed symbols creates the relationships to build meaning. Thus, the sentence Dog bites man can be understood not only as its direct symbols, but of a sequence of its attributes. Thus |Thing |Action |Thing is just as recognizable from Dog bites man as the symbols itself, assuming we recognize Thing as an attribute of Dog, Action as an attribute of bites, and Thing as an attribute of man.
The internal recursion of these three types of implications are the way set networks work.
