The principle of signature exchangeability. (English) Zbl 1436.03149
Summary: We investigate the notion of a signature in Polyadic Inductive Logic and study the probability functions satisfying the Principle of Signature Exchangeability. We prove a representation theorem for such functions on binary languages and show that they satisfy a binary version of the Principle of Instantial Relevance. We discuss polyadic versions of the Principle of Instantial Relevance and Johnson’s Sufficientness Postulate.
MSC:
| 03B48 | Probability and inductive logic |
Keywords:
constant exchangeability; pure inductive logic; polyadic atoms; polyadic signature; instantial relevance; Johnson’s sufficientness postulate; rationality; uncertain reasoning; probabilityReferences:
| [1] | Carnap, R., Replies and systematic expositions, (Schilpp, P. A., The Philosophy of Rudolf Carnap (1963), Open Court Publishing Company: Open Court Publishing Company La Salle, Ill), 859-1016 |
| [2] | Carnap, R., A basic system of inductive logic, (Carnap, R.; Jeffrey, R. C., Studies in Inductive Logic and Probability I (1971), University of California Press: University of California Press Berkeley, Calif.), 33-165 · Zbl 0246.02024 |
| [3] | Carnap, R., Notes on probability and induction, (Hintikka, J., Rudolf Carnap, Logical Empiricist (1975), D. Reidel Publishing Co.: D. Reidel Publishing Co. Dordrecht-Boston, Mass.), 293-324 |
| [4] | Cutland, N., Loeb measure theory, (Developments in Nonstandard Mathematics. Developments in Nonstandard Mathematics, Aveiro, 1994. Developments in Nonstandard Mathematics. Developments in Nonstandard Mathematics, Aveiro, 1994, Pitman Research Notes in Mathematics Series, vol. 336 (1995), Longman: Longman Harlow), 151-177 · Zbl 0842.28008 |
| [5] | de Finetti, B., Theory of Probability, Wiley Classics Library, vol. 1 (1974), John Wiley & Sons, Ltd.: John Wiley & Sons, Ltd. Chichester · Zbl 0328.60002 |
| [6] | Gaifman, H., Concerning measures in first order calculi, Isr. J. Math., 2, 1-18 (1964) · Zbl 0192.03302 |
| [7] | Johnson, W. E., Probability: the deductive and inductive problems, Mind, 41, 409-423 (1932) · Zbl 0005.25401 |
| [8] | Loeb, P., Conversion from nonstandard to standard measure spaces and applications in probability theory, Trans. Am. Math. Soc., 211, 113-122 (1975) · Zbl 0312.28004 |
| [9] | Paris, J. B.; Waterhouse, P., Atom exchangeability and instantial relevance, J. Philos. Log., 38, 313-332 (2009) · Zbl 1170.03012 |
| [10] | Paris, J. B.; Vencovská, A., Pure Inductive Logic, The Association of Symbolic Logic Series: Perspectives in Mathematical Logic (2015), Cambridge University Press · Zbl 1338.03001 |
| [11] | Ronel, T., Symmetry principles in polyadic inductive logic (2015), University of Manchester: University of Manchester Manchester, UK, Ph.D. thesis |
| [12] | Ronel, T.; Vencovská, A., Invariance principles in polyadic inductive logic, Log. Anal., 228, 541-561 (2014) · Zbl 1373.03028 |
| [13] | Royden, H. L., Real Analysis (1968), Macmillan Publishing Company: Macmillan Publishing Company New York · Zbl 0704.26006 |
| [14] | Vencovská, A., Binary induction and Carnap’s continuum, (Proceedings of the 7th Workshop on Uncertainty Processing. Proceedings of the 7th Workshop on Uncertainty Processing, WUPES, Mikulov, Czech Republic (2006)), available at |
| [15] | Vencovská, A., Extending Carnap’s continuum to binary relations, (Logic and Its Applications. Logic and Its Applications, Lecture Notes in Computer Science, vol. 8923 (2015), Springer), 207-217 · Zbl 1304.03057 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
