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.
- Logic Syllabus
- Boolean Function
- Boolean-Valued Function
- Logical Conjunction
- Minimal Negation Operator
- Introduction to Inquiry Driven Systems
- Functional Logic • Part 1 • Part 2 • Part 3
- Cactus Language • Part 1 • Part 2 • Part 3 • References • Document History