Abstract
AbstractSpectrum Exchangeability, Sx, is an irrelevance principle of Pure Inductive Logic, and arguably the most natural (but not the only) extension of Atom Exchangeability to polyadic languages. It has been shown1 that all probability functions which satisfy Sx are comprised of a mixture of two essential types of probability functions; heterogeneous and homogeneous functions. We determine the theory of Spectrum Exchangeability, which for a fixed language L is the set of sentences of L which must be assigned probability 1 by every probability function satisfying Sx, by examining separately the theories of heterogeneity and homogeneity. We find that the theory of Sx is equal to the theory of finite structures, i.e., those sentences true in all finite structures for L, and it emerges that Sx is inconsistent with the principle of Super-Regularity (Universal Certainty). As a further consequence we are able to characterize those probability functions which satisfy Sx and the Finite Values Property.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference16 articles.
1. The impossibility of an algorithm for the decidability problem on finite classes;Trakhtenbrot;Proceedings of the USSR Academy of Sciences,1950
2. Landes J . (2009). The principle of spectrum exchangeability within inductive logic. PhD Thesis, University of Manchester. Available from: http://www.maths.manchester.ac.uk/∼jeff/.
3. Paris J. B. , & Vencovská A . (To appear). Pure Inductive Logic. Perspectives in Mathematical Logic, The Association of Symbolic Logic Series. Cambridge: Cambridge University Press.
4. Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic
5. Concerning measures in first order calculi