Journal of Logic, Language and Information

, Volume 21, Issue 2, pp 189–216 | Cite as

Symmetry in Polyadic Inductive Logic



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.


Symmetry Inductive logic Probability logic Spectrum exchangeability Rationality 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Carnap R. (1950) Logical foundations of probability. University of Chicago Press, Routledge & Kegan Paul Ltd., ChicagoGoogle Scholar
  2. 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–155Google Scholar
  3. de Finetti B. (1974) Theory of probability, vol. 1. Wiley, New YorkGoogle Scholar
  4. Gaifman H. (1964) Concerning measures on first order calculi. Israel Journal of Mathematics 2: 1–18CrossRefGoogle Scholar
  5. 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–251Google Scholar
  6. Johnson W. E. (1932) Probability: The deductive and inductive problems. Mind 49: 409–423CrossRefGoogle Scholar
  7. Landes J., Paris J. B., Vencovská A. (2008) Some aspects of polyadic inductive logic. Studia Logica 90: 3–16CrossRefGoogle Scholar
  8. 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).Google Scholar
  9. 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).Google Scholar
  10. Nix C. J., Paris J. B. (2007) A note on binary inductive logic. Journal of Philosophical Logic 36(6): 735–771CrossRefGoogle Scholar
  11. Paris, J. B. & Vencovská, A. (2011). Symmetry’s end? Erkenntnis (to appear).Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.School of MathematicsUniversity of ManchesterManchesterUK

Personalised recommendations