Skip to main content Accessibility help




We present a semantics for a language that includes sentences that can talk about their own probabilities. This semantics applies a fixed point construction to possible world style structures. One feature of the construction is that some sentences only have their probability given as a range of values. We develop a corresponding axiomatic theory and show by a canonical model construction that it is complete in the presence of the ω-rule. By considering this semantics we argue that principles such as introspection, which lead to paradoxical contradictions if naively formulated, should be expressed by using a truth predicate to do the job of quotation and disquotation and observe that in the case of introspection the principle is then consistent.


Corresponding author



Hide All
Aumann, R. J. (1999). Interactive epistemology II: Probability. International Journal of Game Theory, 28(3), 301314.
Bacchus, F. (1990). Lp, a logic for representing and reasoning with statistical knowledge. Computational Intelligence, 6(4), 209231.
Caie, M. (2011). Paradox and Belief. Berkeley: University of California. Unpublished doctoral dissertation.
Caie, M. (2013). Rational probabilistic incoherence. Philosophical Review, 122(4), 527575.
Caie, M. (2014). Calibration and probabilism. Ergo, 1, 1338.
Campbell-Moore, C. (2015). Rational probabilistic incoherence? A reply to Michael Caie. Philosophical Review, 124(3).
Chang, C., & Keisler, H. (1990). Model Theory. Amsterdam, The Netherlands: Elsevier Science. Retrieved from
Christiano, P., Yudkowsky, E., Herresho, M., & Barasz, M. (n.d.). Definability of Truth in Probabilistic Logic, early draft. Retrieved from (Accessed June 10, 2013).
Fagin, R., Halpern, J. Y., & Megiddo, N. (1990). A logic for reasoning about probabilities. Information and computation, 87(1), 78128.
Fischer, M., Halbach, V., Kriener, J., & Stern, J. (2015, 2). Axiomatizing semantic theories of truth? The Review of Symbolic Logic, FirstView, 122. Retrieved from doi: 10.1017/S1755020314000379
Goldblatt, R. (2014). The countable Henkin principle. In Manzano, M., Sain, I., and Alonso, E., editors. The Life and Work of Leon Henkin. Birkhäuser Basel: Springer, pp. 179201.
Halbach, V. (2014). Axiomatic Theories of Truth (revised edition). Cambridge University Press.
Halbach, V., Leitgeb, H., & Welch, P. (2003). Possible-worlds semantics for modal notions conceived as Predicates. Journal of Philosophical Logic, 32, 179222.
Halbach, V., & Welch, P. (2009). Necessities and necessary truths: A prolegomenon to the use of modal logic in the analysis of intensional notions. Mind, 118(469), 71100.
Harsanyi, J. C. (1967). Games with incomplete information played by bayesian players, I-III part I. The basic model. Management Science, 14(3), 159182.
Heifetz, A., & Mongin, P. (2001). Probability logic for type spaces. Games and economic behavior, 35(1), 3153.
Kripke, S. (1975). Outline of a theory of truth. The journal of philosophy, 72(19), 690716.
Leitgeb, H. (2008). On the probabilistic convention T. The Review of Symbolic Logic, 1(2), 218224.
Leitgeb, H. (2012). From type-free truth to type-free probability. In Restall, G. and Russel, G., editors. New Waves in Philosophical Logic. New York: Palgrave Macmillan, pp. 8494.
McGee, V. (1985). How truthlike can a predicate be? A negative result. Journal of Philosophical Logic, 14(4), 399410.
Ognjanović, Z., & Rašković, M. (1996). A logic with higher order probabilities. Publications de l’Institut Mathématique. Nouvelle Série, 60, 14.
Skyrms, B. (1980). Higher order degrees of belief. In Ramsey, F. P. and Melor, D. H., editors. Prospects for Pragmatism. Cambridge, UK: Cambridge University Press, pp. 109137.
Stern, J. (2014a). Modality and axiomatic theories of truth I: Friedman-Sheard. The Review of Symbolic Logic, 7(2), 273298.
Stern, J. (2014b). Modality and axiomatic theories of truth II: Kripke-Feferman. The Review of Symbolic Logic, 7(2), 299318.
Weaver, G. (1992). Unifying some modifications of the Henkin construction. Notre Dame journal of formal logic, 33(3), 450460.
Williams, J. R. G. (in press). Probability and non-classical logic. In Hitchcock, C. and Hájek, A., editors. Oxford Handbook of Probability and Philosophy. Oxford, UK: Oxford University Press.
Zhou, C. (2013). Belief functions on distributive lattices. Artificial Intelligence, 201(0), 131. Retrieved from, doi:




Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed