#finitistic

In A Precise Idea of Precision I considered how the seven forms of vagueness identified and analyzed by J.L. Austin might be used to formulate seven forms of precision in contradistinction to each form of vagueness.

It is easy to see that precision and vagueness can coexist, and in any formulation of a given idea we are likely to find precise elements jumbled together with imprecise elements -- if one cared to do so, one could select from Austin's list of seven forms of vagueness and the parallel seven forms of precision in order to make this point. Moreover, a focus on any one aspect of precision is likely to come at the cost of the neglect of other forms of precision, unless one makes a conscious and dedicated effort to embody formal precision across the board. (As we all know, in quantum theory there is a direct trade-off of precision, such that precision in the measurement of the direction of a particle, for example, comes at the expense of precision of the measurement in the velocity of the particle, and this trade-off is precisely quantified by the Heisenberg Uncertainty Principle. It’s not always so neat.)

We see this imprecise intermingling of precision and imprecision even in the tradition of rigorous mathematics, which, I have previously observed, always involves a tension between intuition and formalization. Thus an axiom system renders our deductions rigorous, but at the cost of accepting axioms without proof. Rigorous mathematics demands precision, but it also demands the intuitions that underlie all mathematics and which make mathematics possible. Since mathematics is the oldest and most developed of all the sciences, the essential relationship to mathematical intuition has become obscured, and is even, on occasion, obfuscated, but the role of intuition cannot be entirely banished, no matter how devoutly this is desired.

There is a wonderful quote to this end from Hermann Broch:

“For positivism, intuition becomes a kind of secret and unpermitted love, while the positivistic moral, so thirsty for purity, anti-metaphysical, and anti-ontological, dictates that the visits to his mysterious lover are paid -- even though sterile -- more rigorously in incognito.”

That axioms are accepted without proof does not mean that they are wholly arbitrary. The formation of axioms is governed by unspoken conventions. That doesn't make them any less formal or any less mathematical, or deductions made therefrom any less rigorous, but it is as much as to acknowledge that the constitution of axioms is itself intuitive, i.e., one of the regions of contemporary mathematics that continues to employ mathematical intuition. Our intuitions may be refined and educated by previous formal experience, but we cannot reduce the formation of a formal system to a formal process. In other words, formal systems are not reflexively formal. 

In so far as a formal system is the only known embodiment of a precise idea of precision (according to Heyting), and in so far as a formal system is intrinsically finitistic (in both conception and execution), the only precise idea of precision we possess is intrinsically finitistic. This could be formulated as a syllogism, and this syllogism would seem to provide an epitaph upon infinitistic formal reasoning -- except that there is a problem here.

We are driven to the infinite in the pursuit of context, generality, formality, and extrapolation. With any step taken there is an immediate realization that another step can be taken; that this admits of no intrinsic limitation is the origin of mathematical induction as a technique of proof. Formal systems, too, must be placed in context, in intellectual context, and extrapolating the context of a formal system to an idealized generality is a process that converges on infinity. Even finitistic mathematical reasoning in finitistic formal systems implies the infinitistic context of this reasoning and these formal systems.

We have a theoretical context for conceptualizing the infinitistic context of our finite thoughts in Cantor’s work, though this has not been exploited as it might. Although set theory revolutionized mathematics in the twentieth century, the bulk of Cantor's work on transfinite numbers remains an outlier in mathematics research -- not unlike the way in which mathematicians have absorbed the formal lessons of Brouwer's intuitionism through Heyting while dispensing with Brouwer's mysticism. Just so, mathematicians have absorbed the lessons of Cantor's set theory through the axiomatizations of Zermelo (followed by the revisions of Fraenkel and Skolem) while largely dispensing with Cantor's transfinitism.

The infinitistic context of finite human life, thought, and reason is related to the problem of generalization, because generalization admits of the possibility of its infinite extrapolation. Can we conceptualize a pure generalization of a formal system or formal mathematical reasoning? Could there be any such thing as precise generality, i.e., a generality that would preserve the rigor of mathematical thought? And if we demand the extrapolation of our finitistic framework of formal thought, rather than arrive at a pure generality, would we not eventually and ultimately find ourselves in an exploration of the evolutionary psychology of mathematics, because of the history of human thought does not go back into the infinite past, but has a definite beginning in time?

These admittedly difficult questions point to an ambiguity that needs to be resolved that suggests a distinction between real (or empirical) and ideal formal thought -- eerily similar to Hilbert’s philosophy of mathematics. Perhaps it would be worthwhile to return to Hilbert at this juncture and to see what insights he has to offer in this vein. Is this a distinction -- between the real and the ideal -- that is useful today?  

Well, I’ve gone quite far afield without ever focusing on the central (and difficult) issue that I wanted to broach in relation to precise generality. But I sometimes find that, when I am pursuing a difficult and elusive idea, that I need to come at it from many different directions and by many different strategies, and by these indirections my direction find. So this inquiry into precisely generality is not at an end, but only at its beginning. Fate willing, I’ll return to this soon, either by way of an inquiry into the radical empiricism of Sextus Empiricus, or by way of the distinction between the formal and the general.