Symmetry in Polyadic Inductive Logic
First Online: 01 May 2011 DOI:
10.1007/s10849-011-9143-z Cite this article as: Paris, J.B. & Vencovská, A. J of Log Lang and Inf (2012) 21: 189. doi:10.1007/s10849-011-9143-z Abstract
A family of symmetries of polyadic inductive logic are described which in turn give rise to the purportedly rational
Permutation Invariance Principle stating that a rational assignment of probabilities should respect these symmetries. An equivalent, and more practical, version of this principle is then derived. Keywords Symmetry Inductive logic Probability logic Spectrum exchangeability Rationality
Supported by a UK Engineering and Physical Sciences Research Council (EPSRC) Research Assistantship.
Carnap R. (1950) Logical foundations of probability. University of Chicago Press, Routledge & Kegan Paul Ltd., Chicago
Carnap R. (1980) A basic system of inductive logic. In: Jeffrey R. C. (eds) Studies in inductive logic and probability, vol. II. University of California Press, California, pp 7–155
de Finetti B. (1974) Theory of probability, vol. 1. Wiley, New York
Gaifman H. (1964) Concerning measures on first order calculi. Israel Journal of Mathematics 2: 1–18
Gaifman H. (1971) Applications of de Finetti’s theorem to inductive logic. In: Carnap R., Jeffrey R. C. (eds) Studies in inductive logic and probability, vol. I. University of California Press, Berkeley, pp 235–251
Johnson W. E. (1932) Probability: The deductive and inductive problems. Mind 49: 409–423
Landes J., Paris J. B., Vencovská A. (2008) Some aspects of polyadic inductive logic. Studia Logica 90: 3–16
Landes, J., Paris, J. B. & Vencovská, A. (2011). A survey of some recent results on spectrum exchangeability in polyadic inductive logic.
Knowledge, Rationality and Action (to appear).
Landes, J., Paris, J. B. & Vencovská, A. (2011). Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic.
International Journal of Approximate Reasoning (to appear).
Nix C. J., Paris J. B. (2007) A note on binary inductive logic. Journal of Philosophical Logic 36(6): 735–771
Paris, J. B. & Vencovská, A. (2011). Symmetry’s end?
Erkenntnis (to appear). Copyright information
© Springer Science+Business Media B.V. 2011