Work ䷹

Three Column Display

Array Format

Abduction, Deduction, Induction, Analogy, Inquiry • 22

Step 1 is an Abduction that abstracts a Case from the consideration of a Fact and a Rule.

$\begin{array}{lll} \texttt{Fact} & : & {C \Rightarrow A}, \end{array}$ In the Current situation the Air is cool.
$\begin{array}{lll} \texttt{Rule} & : & {B \Rightarrow A}, \end{array}$ Just Before it rains, the Air is cool.
$\begin{array}{lll} \texttt{Case} & : & {C \Rightarrow B}, \end{array}$ The Current situation is just Before it rains.

Step 2 is a Deduction that admits this Case to another Rule and so arrives at a novel Fact.

$\begin{array}{lll} \texttt{Case} & : & {C \Rightarrow B}, \end{array}$ The Current situation is just Before it rains.
$\begin{array}{lll} \texttt{Rule} & : & {B \Rightarrow D}, \end{array}$ Just Before it rains, a Dark cloud will appear.
$\begin{array}{lll} \texttt{Fact} & : & {C \Rightarrow D}, \end{array}$ In the Current situation, a Dark cloud will appear.

Table Format

Returning to the “Rainy Day” story, we find our hero presented with a surprising Fact.

$C \Rightarrow A$

$``\text{Currently the Air is cool}"$

$\text{(Fact)}$

Responding to an intellectual reflex of puzzlement about the situation, his resource of common knowledge about the world is impelled to seize on an approximate Rule.

$B \Rightarrow A$

$``\text{Before it rains, the Air is cool}"$

$\text{(Rule)}$

Logical Concepts

Ampheck	Logical Graph	Propositional Calculus
Boolean Domain	Minimal Negation Operator	Sole Sufficient Operator
Boolean Function	Multigrade Operator	Truth Table
Boolean-Valued Function	Parametric Operator	Universe of Discourse
Differential Logic	Peirce’s Law	Zeroth Order Logic

Relational Concepts

Continuous Predicate	Relation	Relation Theory
Hypostatic Abstraction	Relation Composition	Relative Term
Logic of Relatives	Relation Construction	Sign Relation
Logical Matrix	Relation Reduction	Triadic Relation