Hostname: page-component-8448b6f56d-c4f8m Total loading time: 0 Render date: 2024-04-18T03:03:49.760Z Has data issue: false hasContentIssue false

AXIOMS FOR TYPE-FREE SUBJECTIVE PROBABILITY

Published online by Cambridge University Press:  27 February 2023

CEZARY CIEŚLIŃSKI
Affiliation:
FACULTY OF PHILOSOPHY UNIVERSITY OF WARSAW WARSAW, POLAND E-mail: c.cieslinski@uw.edu.pl
LEON HORSTEN
Affiliation:
FACHBEREICH PHILOSOPHIE UNIVERSITÄT KONSTANZ UNIVERSITAETSSTRASSE 10 78464 KONSTANZ, GERMANY E-mail: Leon.Horsten@uni-konstanz.de
HANNES LEITGEB
Affiliation:
FAKULTÄT FÜR PHILOSOPHIE WISSENSCHAFTSTHEORIE UND RELIGIONSWISSENSCHAFT LUDWIG-MAXIMILIANS-UNIVERSITÄT MÜNCHEN D-80539 MUNICH, GERMANY E-mail: hannes.leitgeb@lmu.de

Abstract

We formulate and explore two basic axiomatic systems of type-free subjective probability. One of them explicates a notion of finitely additive probability. The other explicates a concept of infinitely additive probability. It is argued that the first of these systems is a suitable background theory for formally investigating controversial principles about type-free subjective probability.

Type
Research Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

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

Benci, V., Horsten, L., & Wenmackers, S. (2018). Infinitesimal probabilities. British Journal for the Philosophy of Science, 69, 509552.CrossRefGoogle ScholarPubMed
Campbell-Moore, C. (2016). Self-Referential Probability. Ph.D. Thesis, Ludwig-Maximilans-Universität München.Google Scholar
Campbell-Moore, C., Horsten, L., & Leitgeb, H. (2019). Probability for the revision theory of truth. Journal of Philosophical Logic, 48, 87112.CrossRefGoogle Scholar
Christensen, D. (2007). Epistemic self-respect. Proceedings of the Aristotelian Society, 107, 319337.CrossRefGoogle Scholar
Christiano, P., Yudkowski, E., Herreshof, M., & Barasz, M. (2014). Definability in probabilistic logic. Unpublished manuscript.Google Scholar
Cieśliński, C. (2017). The Epistemic Lightness of Truth: Deflationism and its Logic. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
Cieśliński, C. Believability Theories: Corrigendum to the Epistemic Lightness of Truth. Deflationism and its Logic. Unpublished manuscript. Available from: http://cieslinski.filozofia.uw.edu.pl/Corrigendum.pdf.Google Scholar
de Finetti, B. (1972). Probability Induction and Statistics. London: Wiley.Google Scholar
De Howson, C. (2008). Finetti, countable additivity, consistency and coherence. British Journal for Philosophy of Science, 59, 123.CrossRefGoogle Scholar
Friedman, H., & Sheard, M. (1987). Axiomatic theories of self-referential truth. Annals of Pure and Applied Logic, 33, 121.CrossRefGoogle Scholar
Fujimoto, K. (2012). Classes and truths in set theory. Annals of Pure and Applied Logic, 163, 14841523.CrossRefGoogle Scholar
Hajek, A. Staying regular? Unpublished manuscript.Google Scholar
Halbach, V. (1994). A system of complete and consistent truth. Notre Dame Journal of Formal Logic, 35, 311327.CrossRefGoogle Scholar
Halbach, V. (2014). Axiomatic Theories of Truth (second edition). Cambridge: Cambridge University Press.CrossRefGoogle Scholar
Kaplan, D., & Montague, R. (1960). A paradox regained. Notre Dame Journal of Formal Logic, 1, 7990.CrossRefGoogle Scholar
Kolmogorov, A. (1933). Grundbegriffe der Wahrscheinlichkeitsrechnung. Ergebnisse der Mathematik. Translated by N. Morrison, Foundations of the Theory of Probability. New York: Chelsea Publishing Company, 1956 (second edition).CrossRefGoogle Scholar
Leitgeb, H. (2008). On the probabilistic convention T. Review of Symbolic Logic, 1, 218224.CrossRefGoogle Scholar
Leitgeb, H. (2012). From type-free truth to type-free probability. In Restall, G. and Russell, G., editors. New Waves in Philosophical Logic. London: Palgrave Macmillan, pp. 8494.CrossRefGoogle Scholar
Leitgeb, H. (2014). Probabilistic theories of type-free truth and probability. Talk given at the Conference in Honour of the 60th Birthday of Philip Welch. University of Bristol, March 22nd 2014.Google Scholar
Leitgeb, H., & Schurz, G. (2008). Finitistic and frequentistic approximation of probability measures with or without $\sigma$ -additivity. Studia Logica, 85, 257283 Google Scholar
Schuster, D., & Horsten, L. (2022). On the pure logic of justified belief. Synthese, 200, https://doi.org/10.1007/s11229-022-03905-6.CrossRefGoogle Scholar
Sheard, M. (2001). Weak and strong theories of truth. Studia Logica, 68, 89101.CrossRefGoogle Scholar
van Fraassen, B. (1984). Belief and the will. Journal of Philosophy, 81, 235256.CrossRefGoogle Scholar
van Fraassen, B. (1995). Belief and the problem of Ulysses and the sirens. Philosophical Studies, 77, 737.CrossRefGoogle Scholar
Weisberg, J. (2007). Conditionalisation, reflection, and self-knowledge. Philosophical Studies, 135, 179197.CrossRefGoogle Scholar
Williamson, T. (2000). Knowledge and its Limits. Oxford: Oxford University Press.Google Scholar
Zhou, C. (2014). Probability logic for Harsanyi type spaces. Logical Methods in Computer Science, 10, 123.CrossRefGoogle Scholar