Logo Logo
Hilfe
Kontakt
Switch language to English
Self-referential probability
Self-referential probability
This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges. For example seemingly harmless principles, such as an introspection principle, lead to inconsistencies with the axioms of probability in this framework. This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. In this second part we are considering probability as measuring an agent’s degrees of belief. In fact that concept of probability will be the motivating one throughout the thesis. The first chapter of the thesis provides an introduction to the framework. The following four chapters, which make up Part I, focus on the question of how to provide a semantics for this expressively rich framework. In Chapter 2, we discuss some preliminaries and why developing semantics for such a framework is challenging. We will generally base our semantics on certain possible world structures that we call probabilistic modal structures. These immediately allow for a definition of a natural semantics in restrictive languages but not in the expressively rich languages that this thesis focuses on. The chapter also presents an overview of the strategy that will be used throughout this part of the thesis: we will generalise theories and semantics developed for the liar paradox, which is the sentence: (λ): “The sentence labelled λ is not true”. In Chapter 3, we will present a semantics that generalises a very influential theory of truth: a Kripke-style theory (Kripke, 1975) using a strong Kleene evaluation scheme. A feature of this semantics is that we can understand it as assigning sentences intervals as probability values instead of single numbers. Certain axioms of probability have to be dropped, for example “P ‘λ ∨ ¬λ’ = 1” is not satisfied in the construction, but the semantics can be seen as assigning non-classical probabilities. This semantics allows one to further understand the languages, for example the conflict with introspection, where one can see that the appropriate way to express the principle of introspection in this case is in fact to use a truth predicate in its formulation. We also develop an axiomatic system and show that it is complete in the presence of the ω-rule which allows one to fix the standard model of arithmetic. In Chapter 4, we will consider another Kripke-style semantics but now based on a supervaluational evaluation scheme. This variation is particularly interesting because it bears a close relationship to imprecise probabilities where agents’ credal states are taken to be sets of probability functions. In this chapter, we will also consider how to use this language to describe imprecise agents reasoning about one another. These considerations provide us with an argument for using imprecise probabilities that is very different from traditional justifications: by allowing agents to have imprecise probabilities one can easily extend a semantics to languages with sentences that talk about their own probability, whereas the traditional precise probabilist cannot directly apply his semantics to such languages. In Chapter 5, a revision theory of probability will be developed. In this one retains classical logic and traditional probability theory but the price to pay is that one obtains a transfinite sequence of interpretations of the language and identifying any particular interpretation as “correct” is problematic. In developing this we are particularly interested in finding limit stage interpretations that can themselves be used as good models for probability and truth. We will require that the limit stages “sum up” the previous stages, understood in a strong way. In this chapter two strategies for defining the successor stages are discussed. We first discuss defining (successor) probabilities by considering relative frequencies in the revision sequence up to that stage, extending ideas from Leitgeb (2012). The second strategy is to base the construction on a probabilistic modal structure and use the accessibility measure from that to determine the interpretation of probability. That concludes Part I and the development of semantics. In Part II, we consider rationality requirements on agents who have beliefs about self-referential probability sentences like π. For such sentences, a choice of the agent’s credences will affect which worlds are possible. Caie (2013) has argued that the accuracy and Dutch book arguments should be modified because the agent should only care about her inaccuracy or payoffs in the world(s) that could be actual if she adopted the considered credences. We consider this suggestion for the accuracy argument in Chapter 7 and the Dutch book argument in Chapter 8. Chapter 6 acts as an introduction to these considerations. We will show that these modified accuracy and Dutch book criteria lead to an agent being rationally required to be probabilistically incoherent, have negative credences, fail to be introspective and fail to assign the same credence to logically equivalent sentences. We will also show that this accuracy criterion depends on how inaccuracy is measured and that the accuracy criterion differs from the Dutch book criterion. We will in fact suggest rejecting Caie’s suggested modifications. For the accuracy argument, we suggest in Section 7.3 that the agent should consider how accurate the considered credences are from the perspective of her current credences. We will also consider how to generalise this version of the accuracy criterion and present ideas suggesting that it connects to the vi semantics developed in Part I. For the Dutch book argument, in Section 8.6 we suggest that this is a case where an agent should not bet with his credences.
Probabilistic Liar, type-free probability, possible world semantics for probability, rationality requirements, truth, non-classical probabilities, Kripke construction, Revision theory of probability
Campbell-Moore, Catrin
2016
Englisch
Universitätsbibliothek der Ludwig-Maximilians-Universität München
Campbell-Moore, Catrin (2016): Self-referential probability. Dissertation, LMU München: Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft
[thumbnail of Campbell-Moore_Catrin.pdf]
Vorschau
PDF
Campbell-Moore_Catrin.pdf

2MB

Abstract

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges. For example seemingly harmless principles, such as an introspection principle, lead to inconsistencies with the axioms of probability in this framework. This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. In this second part we are considering probability as measuring an agent’s degrees of belief. In fact that concept of probability will be the motivating one throughout the thesis. The first chapter of the thesis provides an introduction to the framework. The following four chapters, which make up Part I, focus on the question of how to provide a semantics for this expressively rich framework. In Chapter 2, we discuss some preliminaries and why developing semantics for such a framework is challenging. We will generally base our semantics on certain possible world structures that we call probabilistic modal structures. These immediately allow for a definition of a natural semantics in restrictive languages but not in the expressively rich languages that this thesis focuses on. The chapter also presents an overview of the strategy that will be used throughout this part of the thesis: we will generalise theories and semantics developed for the liar paradox, which is the sentence: (λ): “The sentence labelled λ is not true”. In Chapter 3, we will present a semantics that generalises a very influential theory of truth: a Kripke-style theory (Kripke, 1975) using a strong Kleene evaluation scheme. A feature of this semantics is that we can understand it as assigning sentences intervals as probability values instead of single numbers. Certain axioms of probability have to be dropped, for example “P ‘λ ∨ ¬λ’ = 1” is not satisfied in the construction, but the semantics can be seen as assigning non-classical probabilities. This semantics allows one to further understand the languages, for example the conflict with introspection, where one can see that the appropriate way to express the principle of introspection in this case is in fact to use a truth predicate in its formulation. We also develop an axiomatic system and show that it is complete in the presence of the ω-rule which allows one to fix the standard model of arithmetic. In Chapter 4, we will consider another Kripke-style semantics but now based on a supervaluational evaluation scheme. This variation is particularly interesting because it bears a close relationship to imprecise probabilities where agents’ credal states are taken to be sets of probability functions. In this chapter, we will also consider how to use this language to describe imprecise agents reasoning about one another. These considerations provide us with an argument for using imprecise probabilities that is very different from traditional justifications: by allowing agents to have imprecise probabilities one can easily extend a semantics to languages with sentences that talk about their own probability, whereas the traditional precise probabilist cannot directly apply his semantics to such languages. In Chapter 5, a revision theory of probability will be developed. In this one retains classical logic and traditional probability theory but the price to pay is that one obtains a transfinite sequence of interpretations of the language and identifying any particular interpretation as “correct” is problematic. In developing this we are particularly interested in finding limit stage interpretations that can themselves be used as good models for probability and truth. We will require that the limit stages “sum up” the previous stages, understood in a strong way. In this chapter two strategies for defining the successor stages are discussed. We first discuss defining (successor) probabilities by considering relative frequencies in the revision sequence up to that stage, extending ideas from Leitgeb (2012). The second strategy is to base the construction on a probabilistic modal structure and use the accessibility measure from that to determine the interpretation of probability. That concludes Part I and the development of semantics. In Part II, we consider rationality requirements on agents who have beliefs about self-referential probability sentences like π. For such sentences, a choice of the agent’s credences will affect which worlds are possible. Caie (2013) has argued that the accuracy and Dutch book arguments should be modified because the agent should only care about her inaccuracy or payoffs in the world(s) that could be actual if she adopted the considered credences. We consider this suggestion for the accuracy argument in Chapter 7 and the Dutch book argument in Chapter 8. Chapter 6 acts as an introduction to these considerations. We will show that these modified accuracy and Dutch book criteria lead to an agent being rationally required to be probabilistically incoherent, have negative credences, fail to be introspective and fail to assign the same credence to logically equivalent sentences. We will also show that this accuracy criterion depends on how inaccuracy is measured and that the accuracy criterion differs from the Dutch book criterion. We will in fact suggest rejecting Caie’s suggested modifications. For the accuracy argument, we suggest in Section 7.3 that the agent should consider how accurate the considered credences are from the perspective of her current credences. We will also consider how to generalise this version of the accuracy criterion and present ideas suggesting that it connects to the vi semantics developed in Part I. For the Dutch book argument, in Section 8.6 we suggest that this is a case where an agent should not bet with his credences.