Functional Logic • Inquiry and Analogy • 18
•
https://inquiryintoinquiry.com/2023/07/16/functional-logic-inquiry-and-anal…
Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory
(Part 2)
•
https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy#App_Qu…
All,
Last time we took up a fourfold scheme 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.
Table 18. Simple Qualifiers of Propositions (Version 1)
•
https://inquiryintoinquiry.files.wordpress.com/2022/05/simple-qualifiers-of…
Regards,
Jon