Article ID Journal Published Year Pages File Type
4662996 Journal of Applied Logic 2013 9 Pages PDF
Abstract

We characterize those identities and independencies which hold for all probability functions on a unary language satisfying the Principle of Atom Exchangeability. We then show that if this is strengthen to the requirement that Johnsonʼs Sufficientness Principle holds, thus giving Carnapʼs Continuum of inductive methods for languages with at least two predicates, then new and somewhat inexplicable identities and independencies emerge, the latter even in the case of Carnapʼs Continuum for the language with just a single predicate.

Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
,