Hostname: page-component-7c8c6479df-995ml Total loading time: 0 Render date: 2024-03-28T16:21:30.750Z Has data issue: false hasContentIssue false

THE THEORY OF SPECTRUM EXCHANGEABILITY

Published online by Cambridge University Press:  06 November 2014

E. HOWARTH*
Affiliation:
School of Mathematics, The University Of Manchester
J. B. PARIS*
Affiliation:
School of Mathematics, The University Of Manchester
*
*SCHOOL OF MATHEMATICS, THE UNIVERSITY OF MANCHESTER MANCHESTER M13 9PL, UNITED KINGDOM E-mail:lizhowarth@outlook.com, jeff.paris@manchester.ac.uk
*SCHOOL OF MATHEMATICS, THE UNIVERSITY OF MANCHESTER MANCHESTER M13 9PL, UNITED KINGDOM E-mail:lizhowarth@outlook.com, jeff.paris@manchester.ac.uk

Abstract

Spectrum 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.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Carnap, R. (1980). A Basic system of inductive logic. In Jeffrey, R. C., editor. Studies in Inductive Logic and Probability, Volume II, California: University of California Press, pp. 7155.Google Scholar
de Finetti, B. (1974). Theory of Probability, Volume 1. New York: Wiley.Google Scholar
Fagin, R. (1976). Probabilities on finite models. Journal of Symbolic Logic, 41(1), 5058.CrossRefGoogle Scholar
Gaifman, H. (1964). Concerning measures on first order calculi. Israel Journal of Mathematics, 2, 118.CrossRefGoogle Scholar
Howarth, E. (Forthcoming). New rationality principles in pure inductive logic. PhD Thesis, University of Manchester. To appear athttp://www.maths.manchester.ac.uk/∼jeff/.Google Scholar
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/.Google Scholar
Landes, J., Paris, J. B., & Vencovská, A. (2008). Some aspects of polyadic inductive logic. Studia Logica, 90, 316.Google Scholar
Landes, J., Paris, J. B., & Vencovská, A. (2009). Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic, International Journal of Approximate Reasoning, 51(1), 3555.Google Scholar
Nix, C. J. (2005). Probabilistic induction in the predicate calculus. PhD Thesis, University of Manchester, UK. Available from: http://www.maths.manchester.ac.uk/∼jeff/.Google Scholar
Nix, C. J., & Paris, J. B. (2007). A note on binary inductive logic. Journal of Philosophical Logic, 36(6), 735771.Google Scholar
Paris, J. B. (1994). The Uncertain Reasoner’s Companion. Cambridge: Cambridge University Press.Google Scholar
Paris, J. B. (2011). Pure inductive logic. In Horsten, L., & Pettigrew, R., editors. The Continuum Companion to Philosophical Logic, London: Continuum International Publishing Group, pp. 428449.Google Scholar
Paris, J. B., & Rad, S. R. (2010). A note on the least informative model of a theory. In Ferreira, F., Löwe, B., Mayordomo, E., & Gomes, L. M., editors. Programs, Proofs, Processes, CiE 2010, LNCS 6158, Berlin: Springer, pp. 342351.CrossRefGoogle Scholar
Paris, J. B., & Vencovská, A. (2011). From unary to binary inductive logic. In van Bentham, J., Gupta, A., & Pacuit, E., editors. Games, Norms and Reasons – Logic at the Crossroads, Synthese Library 353, Berlin: Springer, pp. 199212.CrossRefGoogle Scholar
Paris, J. B., & Vencovská, A. (To appear). Pure Inductive Logic. Perspectives in Mathematical Logic, The Association of Symbolic Logic Series. Cambridge: Cambridge University Press.Google Scholar
Trakhtenbrot, B. (1950). The impossibility of an algorithm for the decidability problem on finite classes. Proceedings of the USSR Academy of Sciences (in Russian), 70(4), 569572. [English translation in AMS Translations, Series 2, 23(1–6), 1963.]Google Scholar