{
localUrl: '../page/probability.html',
arbitalUrl: 'https://arbital.com/p/probability',
rawJsonUrl: '../raw/1rf.json',
likeableId: '699',
likeableType: 'page',
myLikeValue: '0',
likeCount: '4',
dislikeCount: '0',
likeScore: '4',
individualLikes: [
'EricBruylant',
'PetrHudeek',
'SzymonWilczyski',
'AlisaKuznetsova'
],
pageId: 'probability',
edit: '11',
editSummary: '',
prevEdit: '10',
currentEdit: '11',
wasPublished: 'true',
type: 'wiki',
title: 'Probability',
clickbait: 'The degree to which someone believes something, measured on a scale from 0 to 1, allowing us to do math to it.',
textLength: '4788',
alias: 'probability',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'EricBruylant',
editCreatedAt: '2016-08-26 11:14:18',
pageCreatorId: 'EliezerYudkowsky',
pageCreatedAt: '2016-01-26 22:05:40',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '1',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '691',
text: '*Probabilities* are the central subject of the discipline of [1bv]. $\\mathbb{P}(X)$ denotes our level of belief, or someone's level of belief, that the proposition $X$ is true. In the classical and canonical representation of probability, 0 expresses absolute incredulity, and 1 expresses absolute credulity. %%knows-requisite([1mh]): Furthermore, [1rd mutually exclusive] events have additive classical probabilities: $\\mathbb{P}(X \\wedge Y) = 0 \\implies \\mathbb{P}(X \\vee Y) = \\mathbb{P}(X) + \\mathbb{P}(Y).$%%\n\nFor the standard probability axioms, see https://en.wikipedia.org/wiki/Probability_axioms. [todo: write up page on arbital about probability axioms.]\n\n# Notation\n\n$\\mathbb{P}(X)$ is the probability that X is true.\n\n$\\mathbb{P}(\\neg X) = 1 - \\mathbb{P}(X)$ is the probability that X is false.\n\n$\\mathbb{P}(X \\wedge Y)$ is the probability that both X and Y are true.\n\n$\\mathbb{P}(X \\vee Y)$ is the probability that X or Y or both are true.\n\n$\\mathbb{P}(X|Y) := \\frac{\\mathbb{P}(X \\wedge Y}{\\mathbb{P}(Y)}$ is the **[1rj conditional probability] of X given Y.** That is, $\\mathbb{P}(X|Y)$ is **the degree to which we would believe X, assuming Y to be true.** $\\mathbb{P}(yellow|banana)$ expresses "The probability that a banana is yellow." $\\mathbb{P}(banana|yellow)$ expresses "The probability that a yellow thing is a banana".\n\n# Centrality of the classical representation\n\nWhile there are other ways of expressing quantitative degrees of belief, such as [1rb odds ratios], there are several especially useful properties or roles of classical probabilities that give them a central / convergent / canonical status among possible ways of representing credence.\n\n[1rb Odds ratios] are isomorphic to probabilities - we can readily go back and forth between a probability of 20%, and odds of 1:4. But unlike odds ratios, probabilities have the further appealing property of being able to add the probabilities of two [1rd mutually exclusive] possibilities to arrive at the probability that one of them occurs. The 1/6 probability of a six-sided die turning up 1, plus the 1/6 probability of a die turning up 2, equals the 1/3 probability that the die turns up 1 or 2. The odds ratios 1:5, 1:5, and 1:2 don't have this direct relation (though we could convert to probabilities, add, and then convert back to odds ratios).\n\nThus, classical probabilities are uniquely the quantities that must appear in the [18v expected utilities] to weigh how much we proportionally care about the uncertain consequences of our decisions. When an outcome has classical probability 1/3, we multiply the degree to which we care by a factor of 1/3, not by, e.g., the odds ratio 1:2.\n\nIf the amount you'd pay for a lottery ticket that paid out on 1 or 2 was more or less than twice the price you paid for a lottery ticket that only paid out on 1, or a lottery ticket that paid out on 2, then I could buy from you and sell to you a combination of lottery tickets such that you would end up with a certain loss. This is an example of a [dutch_book Dutch book argument], which is one kind of coherence theorem that underpins classical probability and its role in choice. (If we were dealing with actual betting and gambling, you might reply that you'd just refuse to bet on disadvantageous combinations; but in the much larger gamble that is life, "doing nothing" is just one more choice with an uncertain, probabilistic payoff.)\n\nThe combination of several such coherence theorems, most notably including the [Dutch Book arguments](http://plato.stanford.edu/entries/dutch-book/), [Cox's Theorem](https://en.wikipedia.org/wiki/Cox%27s_theorem) and its variations for probability theory, and the [Von Neumann-Morgenstern theorem](https://en.wikipedia.org/wiki/Von_Neumann%E2%80%93Morgenstern_utility_theorem) (VNM) and its variations for expected utility, together give the classical probabilities between 0 and 1 a *central* status in the theory of [9l epistemic and instrumental rationality]. Other ways of representing scalar probabilities, or alternatives to scalar probability, would need to be converted or munged back into classical probabilities in order to animate [agents agents] making coherent choices.\n\nThis also suggests that bounded agents which *approximate* coherence, or at least manage to avoid blatantly self-destructive violations of coherence, might have internal mental states which can be *approximately* viewed as corresponding to classical probabilities. Perhaps not in terms of such agents necessarily containing floating-point numbers that directly represent those probabilities internally, but at least in terms of our being able to look over the agent's behavior and deduce that they were "behaving as if" they had assigned some coherent classical probability.',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '1',
maintainerCount: '1',
userSubscriberCount: '0',
lastVisit: '2016-02-17 11:21:45',
hasDraft: 'false',
votes: [],
voteSummary: [
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0'
],
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'true',
proposalEditNum: '12',
permissions: {
edit: {
has: 'false',
reason: 'You don't have domain permission to edit this page'
},
proposeEdit: {
has: 'true',
reason: ''
},
delete: {
has: 'false',
reason: 'You don't have domain permission to delete this page'
},
comment: {
has: 'false',
reason: 'You can't comment in this domain because you are not a member'
},
proposeComment: {
has: 'true',
reason: ''
}
},
summaries: {
Summary: '*Probabilities* are the central subject of the discipline of [1bv]. $\\mathbb{P}(X)$ denotes our level of belief, or someone's level of belief, that the proposition $X$ is true. In the classical and canonical representation of probability, 0 expresses absolute incredulity, and 1 expresses absolute credulity. %%knows-requisite([1mh]): Furthermore, [1rd mutually exclusive] events have additive classical probabilities: $\\mathbb{P}(X \\wedge Y) = 0 \\implies \\mathbb{P}(X \\vee Y) = \\mathbb{P}(X) + \\mathbb{P}(Y).$%%'
},
creatorIds: [
'EliezerYudkowsky',
'EricRogstad',
'EricBruylant',
'AlanLiddell'
],
childIds: [
'joint_probability',
'conditional_probability',
'probability_interpretations',
'likelihoods_not_pvalues'
],
parentIds: [
'probability_theory'
],
commentIds: [],
questionIds: [],
tagIds: [
'math2',
'c_class_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [
{
id: '5871',
parentId: 'probability',
childId: 'probability',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-08-02 17:59:34',
level: '1',
isStrong: 'true',
everPublished: 'true'
}
],
learnMore: [
{
id: '5806',
parentId: 'probability',
childId: 'bayes_rule_elimination',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-08-02 00:52:48',
level: '2',
isStrong: 'false',
everPublished: 'true'
},
{
id: '5852',
parentId: 'probability',
childId: 'subjective_probability',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-08-02 17:28:10',
level: '2',
isStrong: 'false',
everPublished: 'true'
},
{
id: '5756',
parentId: 'probability',
childId: 'odds_intro',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-08-01 23:11:57',
level: '2',
isStrong: 'false',
everPublished: 'true'
},
{
id: '5851',
parentId: 'probability',
childId: 'probability_distribution_motivated_definition',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-08-02 17:27:52',
level: '2',
isStrong: 'false',
everPublished: 'true'
},
{
id: '6568',
parentId: 'probability',
childId: 'odds_technical',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-10-11 18:39:18',
level: '2',
isStrong: 'false',
everPublished: 'true'
}
],
requirements: [
{
id: '1883',
parentId: 'math2',
childId: 'probability',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '2',
isStrong: 'true',
everPublished: 'true'
}
],
subjects: [
{
id: '5871',
parentId: 'probability',
childId: 'probability',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-08-02 17:59:34',
level: '1',
isStrong: 'true',
everPublished: 'true'
}
],
lenses: [],
lensParentId: '',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '22734',
pageId: 'probability',
userId: 'AlanLiddell',
edit: '12',
type: 'newEditProposal',
createdAt: '2017-08-19 12:56:41',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20094',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'deleteTeacher',
createdAt: '2016-10-11 18:40:44',
auxPageId: 'odds',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20080',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTeacher',
createdAt: '2016-10-11 18:39:20',
auxPageId: 'odds_technical',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19324',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTeacher',
createdAt: '2016-08-27 22:22:09',
auxPageId: 'odds',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19160',
pageId: 'probability',
userId: 'EricBruylant',
edit: '11',
type: 'newEdit',
createdAt: '2016-08-26 11:14:18',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19159',
pageId: 'probability',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-08-26 11:12:45',
auxPageId: 'math2',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19147',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'deleteTag',
createdAt: '2016-08-25 19:06:41',
auxPageId: 'hub_page_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18177',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTag',
createdAt: '2016-08-02 17:59:56',
auxPageId: 'c_class_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18176',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newSubject',
createdAt: '2016-08-02 17:59:35',
auxPageId: 'probability',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18175',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTeacher',
createdAt: '2016-08-02 17:59:35',
auxPageId: 'probability',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18174',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTag',
createdAt: '2016-08-02 17:59:08',
auxPageId: 'hub_page_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18144',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTeacher',
createdAt: '2016-08-02 17:28:11',
auxPageId: 'subjective_probability',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18142',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTeacher',
createdAt: '2016-08-02 17:27:53',
auxPageId: 'probability_distribution_motivated_definition',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18040',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTeacher',
createdAt: '2016-08-02 00:52:49',
auxPageId: 'bayes_rule_elimination',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17934',
pageId: 'probability',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTeacher',
createdAt: '2016-08-01 23:11:57',
auxPageId: 'odds_intro',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16351',
pageId: 'probability',
userId: 'EricRogstad',
edit: '10',
type: 'newEdit',
createdAt: '2016-07-10 07:15:31',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'fixed knows-requisite syntax'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15005',
pageId: 'probability',
userId: 'NateSoares',
edit: '0',
type: 'newChild',
createdAt: '2016-07-01 01:52:55',
auxPageId: 'likelihoods_not_pvalues',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14941',
pageId: 'probability',
userId: 'NateSoares',
edit: '0',
type: 'newChild',
createdAt: '2016-06-30 07:36:37',
auxPageId: 'probability_interpretations',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5743',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '8',
type: 'newEdit',
createdAt: '2016-01-26 23:33:18',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5730',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '7',
type: 'newChild',
createdAt: '2016-01-26 22:55:53',
auxPageId: 'joint_probability',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5725',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '7',
type: 'newChild',
createdAt: '2016-01-26 22:26:25',
auxPageId: 'conditional_probability',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5724',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '7',
type: 'newEdit',
createdAt: '2016-01-26 22:26:08',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5723',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '6',
type: 'newEdit',
createdAt: '2016-01-26 22:11:11',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5722',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '5',
type: 'newEdit',
createdAt: '2016-01-26 22:10:58',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5721',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '4',
type: 'newEdit',
createdAt: '2016-01-26 22:10:08',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5720',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '3',
type: 'newEdit',
createdAt: '2016-01-26 22:08:52',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5719',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '2',
type: 'newEdit',
createdAt: '2016-01-26 22:08:23',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5718',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '1',
type: 'newEdit',
createdAt: '2016-01-26 22:05:40',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5717',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'newRequirement',
createdAt: '2016-01-26 21:19:03',
auxPageId: 'math2',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5715',
pageId: 'probability',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'newParent',
createdAt: '2016-01-26 21:18:48',
auxPageId: 'probability_theory',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {
lessTechnical: {
likeableId: '3439',
likeableType: 'contentRequest',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '63',
pageId: 'probability',
requestType: 'lessTechnical',
createdAt: '2016-08-26 11:14:28'
}
}
}