Verisimilitude via Vietoris
Chris Brink, J.J.C. Vermeulen, J. P. G. PRETORIUS · Journal of Logic and Computation · 1992
The idea of an incremental approach to truth appears in many forms. One such approach concerns the notion of verisimilitude (or truthlikeness), introduced in Popper's philosophy of science. A more recent approach, in a different context, is the logic of finite observations, situated in the overlap between logic, topology and denotational semantics of programming languages. The aim of this Note is to relate these two approaches. Specifically: to show how a certain verisimilar ordering of theories arises from the Vietoris topology in exactly the same way in which powerdomains arise as hyperspaces of domains.