Work ䷡

Functional Logic • Inquiry and Analogy • 11

Higher Order Propositions (n = 1)

PNG 2.0

\text{Higher Order Propositions}~ (n = 1)
Higher Order Propositions (n = 1)

PNG 1.0

\text{Higher Order Propositions}~ (n = 1)
Higher Order Propositions (n = 1)

Functional Logic • Inquiry and Analogy • 12

Interpretive Categories for Higher Order Propositions (n = 1)

PNG 2.0

\text{Interpretive Categories for Higher Order Propositions}~ (n = 1)
Interpretive Categories for Higher Order Propositions (n = 1)

PNG 1.0

\text{Interpretive Categories for Higher Order Propositions}~ (n = 1)
Interpretive Categories for Higher Order Propositions (n = 1)

Functional Logic • Inquiry and Analogy • 13

Higher Order Propositions (n = 2)

PNG 2.0

\text{Higher Order Propositions}~ (n = 2)
Higher Order Propositions (n = 2)

PNG 1.0

\text{Higher Order Propositions}~ (n = 2)
Higher Order Propositions (n = 2)