## Functional Logic • Inquiry and Analogy • 18

### Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory

Last time we took up a fourfold schema of quantified propositional forms traditionally known as a “Square of Opposition”, relating it to a quartet of higher order propositions which, depending on context, are also known as measures, qualifiers, or higher order indicator functions.

Table 18 develops the above ideas in further detail, expressing a larger set of quantified propositional forms by means of propositions about propositions.

$\text{Table 18. Simple Qualifiers of Propositions (Version 1)}$

### 1 Response to Functional Logic • Inquiry and Analogy • 18

This site uses Akismet to reduce spam. Learn how your comment data is processed.