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 and 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.
- 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