Connection Between the Principle of Inductive Evidence and the Bar Theorem

  • Enrico MartinoEmail author
Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 42)


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.


Inductive Evidence Creative Subject Sketchy Proof Absolute Equality Problematic Assumptions 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Martino, E. (1982). Creative subject and bar theorem. In D. V. Dalen & A. Troelstra (Eds.), The L. E. J. Brouwer Centenary Symposium (pp. 311–318). North Holland: Amsterdam. Reprinted here as chapter 2.Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.FISPPA DepartmentUniversity of PaduaPaduaItaly

Personalised recommendations