[CG] Re: Functional Logic • Inquiry and Analogy

Functional Logic • Inquiry and Analogy • 10 • http://inquiryintoinquiry.com/2023/07/07/functional-logic-inquiry-and-analo… Functional Conception of Quantification Theory • https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy#Quanti… All, Up till now quantification theory has been based on the assumption of individual variables ranging over universal collections of perfectly determinate elements. The mere act of writing quantified formulas like (∀x∈X)f(x) and (∃x∈X)f(x) involves a subscription to such notions, as shown by the membership relations invoked in their indices. As we reflect more critically on the conventional assumptions in the light of pragmatic and constructive principles, however, they begin to appear as problematic hypotheses whose warrants are not beyond question, as projects of exhaustive determination overreaching the powers of finite information and control to manage. Thus it is worth considering how the scene of quantification theory might be shifted nearer to familiar ground, toward the predicates themselves which represent our continuing acquaintance with phenomena. Regards, Jon