I shall not now reiterate arguments I here set forth to my own satisfaction in 2012, shortly after we got started – with the corrective editorial (and indeed, therefore, also substantive) help of my old friend and interlocutor (and, as with any true friend, my teacher) Ilíon, an orthospherean and shieldmate for years before there was such a thing as the Orthosphere – but shall rather recommend that any reader of the present post who finds it at all confusing should first recur thereto, and take it, and ponder it in his heart, before adding below any quibbles or queries. Consider the arguments of that post, together with the relatively brief commentary thereto, as praeparatio for this.
The arguments I proposed in 2012 are nevertheless fundamental to what I shall now suggest, so unless you understand them already, dear reader, it would do you well first to review them.
The basic notion is that any orderly system must, as orderly (and, so, qua system, properly so called; to say “orderly system” is rather like saying “rectangular square”), be amenable in principle at least to complete – i.e., to exhaustive – nomological formalization in a logical calculus. Think, e.g., of the System of Nature, which – as Baconian science, and indeed her predecessor of the more expansive Aristotelian sort both presuppose – must be capable of formalization in a system of natural laws, or at least of natural regularities (tace for the nonce on how any given regularity gets to be anything of the sort, or what any such law might be, or how it might operate). If there is truly a System of Nature, then truly her ways must be legated, and so then legible to us, in some order that can at least in principle be set forth in some formal scheme that undergirds and supports – and, somehow, regulates and so enables – her apparent and merely phenomenal orderliness, in such a way as to secure to us in the first place such a thing as phenomena.