# Work ䷟

## Functional Logic • Inquiry and Analogy

### Functional Logic • Inquiry and Analogy • 1

$\text{Figure 1. Types of Reasoning in Aristotle}$

### Functional Logic • Inquiry and Analogy • 2

$\text{Figure 2. A Triply Wise Act}$

### Functional Logic • Inquiry and Analogy • 3

$\text{Figure 3. Types of Reasoning in Transition}$

$\text{Figure 4. Types of Reasoning in Peirce}$

### Functional Logic • Inquiry and Analogy • 4

#### Teachability, Understanding, Virtue • Version 3.0

$\text{Figure 5. Teachability, Understanding, Virtue}$

#### Teachability, Understanding, Virtue • Version 2.0

$\text{Figure 5. Teachability, Understanding, Virtue}$

#### Teachability, Understanding, Virtue • Version 1.0

$\text{Figure 5. Teachability, Understanding, Virtue}$

### LaTeX

#### Table of Implications

$\begin{array}{|c|c|} \multicolumn{2}{c}{\text{Table of Implications}} \\ \hline \text{Line Segment} & \text{Logical Relation} \\ \hline \mathrm{AB} & A \Leftarrow B \\ \mathrm{BC} & B \Leftarrow C \\ \mathrm{AC} & A \Leftarrow C \\ \hline \end{array}$

#### Table of Subsumptions

$\begin{array}{|c|c|} \multicolumn{2}{c}{\text{Table of Subsumptions}} \\ \hline \text{Line Segment} & \text{Logical Relation} \\ \hline \mathrm{AB} & A \geqslant B \\ \mathrm{BC} & B \geqslant C \\ \mathrm{AC} & A \geqslant C \\ \hline \end{array}$

#### Term, Position, Interpretation

$\begin{array}{|c|l|l|l|} \hline \text{Term} & \text{Position} & \text{Interpretation} & \text{Greek} \\ \hline \mathrm{T} & \text{Major} & \text{Teachable} & didacton\\ \mathrm{U} & \text{Middle} & \text{Understanding} & epistem\acute{e} \\ \mathrm{V} & \text{Minor} & \text{Virtue} & aret\acute{e} \\ \hline \end{array}$

#### Premiss, Predication, Inference Role

$\begin{array}{|c|c|c|} \hline \text{Premiss} & \text{Predication} & \text{Inference Role} \\ \hline \mathrm{TV} & \text{T of V} & \text{Fact in Question} \\ \mathrm{TU} & \text{T of U} & \text{Rule in Evidence} \\ \mathrm{UV} & \text{U of V} & \text{Case in Question} \\ \hline \end{array}$

#### Abduction Schema

$\begin{array}{l} ~ \text{Fact:}~ V \Rightarrow T? \\ ~ \text{Rule:}~ U \Rightarrow T. \\ \overline{~~~~~~~~~~~~~~~~~~~~~~} \\ ~ \text{Case:}~ V \Rightarrow U? \end{array}$