Work ䷟

Functional Logic • Inquiry and Analogy

Functional Logic • Inquiry and Analogy • 1

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

Functional Logic • Inquiry and Analogy • 2

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

Functional Logic • Inquiry and Analogy • 3

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

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

Functional Logic • Inquiry and Analogy • 4

Table of Implications

Table of Implications

Table of Subsumptions

Table of Subsumptions

Term, Position, Interpretation

Term, Position, Interpretation

Premiss, Predication, Inference Role

Premiss, Predication, Inference Role

Teachability, Understanding, Virtue • Version 3.0

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

Teachability, Understanding, Virtue • Version 2.0

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

Teachability, Understanding, Virtue • Version 1.0

Teachability, Understanding, Virtue
\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}