Connection Between the Principle of Inductive Evidence and the Bar Theorem

Abstract

I introduced the “principle of inductive evidence” PIE in my paper “Creative subject and bar theorem” (Martino 1982). Because of a misunderstanding in my correspondence with the editors, the published version of the above paper is not the final revised draft, but a first outline of the article which needs some corrections and explications. I shall refer to the published version as CS. In CS, I asserted somewhat rashly the absolute equivalence of PIE and the monotonic bar theorem $BI_{M}$ by means of all too sketchy proof in the course of which I introduced in passing a rather problematic assumption without explaining it properly. Therefore, I shall present here a more adequate treatment of the connection between PIE and $BI_{M}$. In fact, I shall assume acquaintance with Sects. 4.1 and Theorem 4.1 of CS and provide a revised version of Theorem 4.2.