And how would you know which worlds are possible and which are not?
Yes, that’s why I only said “less arbitrary”.
Regarding “knowing”: In subjective probability theory, the probability over the “event” space is just about what you believe, not about what you know. You could theoretically believe to degree 0 in the propositions “the die comes up 6” or “the die lands at an angle”. Or that the die comes up as both 1 and 2 with some positive probability. There is no requirement that your degrees of belief are accurate relative to some external standard. It is only assumed that the beliefs we do have compose in a way that adheres to the axioms of probability theory. E.g. P(A)≥P(A and B). Otherwise we are, presumably, irrational.
Previously we arbritrary assumed that a particular sample space correspond to a problem. Now we are arbitrary assuming that a particular set of possible worlds corresponds to a problem. In the best case we are exactly as arbitrary as before and have simply renamed our set. In the worst case we are making a lot of extra unfalsifiable assumptions about metaphysics.
You could theoretically believe to degree 0 in the propositions “the die comes up 6” or “the die lands at an angle”. Or that the die comes up as both 1 and 2 with some positive probability. There is no requirement that your degrees of belief are accurate relative to some external standard. It is only assumed that the beliefs we do have compose in a way that adheres to the axioms of probability theory. E.g. P(A)≥P(A and B). Otherwise we are, presumably, irrational.
Well, technically P(Ω)=1 is an axiom, so you do need a sample space if you want to adhere to the axioms.
But sure, if you do not care about accurate beliefs and systematic ways to arrive to them at all, then the question is, indeed, not interesting. Of course then it’s not clear what use is probability theory for you, in the first place.
Well, technically P(Ω)=1 is an axiom, so you do need a sample space if you want to adhere to the axioms.
For a propositional theory this axiom is replaced with P(⊤)=1, i.e. a tautology in classical propositional logic receives probability 1.
But sure, if you do not care about accurate beliefs and systematic ways to arrive to them at all, then the question is, indeed, not interesting. Of course then it’s not clear what use is probability theory for you, in the first place.
Degrees of belief adhering to the probability calculus at any point in time rules out things like “Mary is a feminist and a bank teller” to simultaneously receive a higher degree of belief than “Mary is a bank teller”. It also requires e.g. that if P(A)=0.6 and P(B)=0.5 then 0.1≥P(A∧B)≥0.5. That’s called “probabilism” or “synchronic coherence”.
Another assumption is typically that Pnew(A):=Pold(A|B) after “observing” B. This is called “conditionalization” or sometimes “diachronic coherence”.
Degrees of belief adhering to the probability calculus at any point in time rules out things like “Mary is a feminist and a bank teller” to simultaneously receive a higher degree of belief than “Mary is a bank teller”. It also requires e.g. that if P(A)=0.6 and P(B)=0.5 then 0.1≥P(A∧B)≥0.5. That’s called “probabilism” or “synchronic coherence”.
What is even the motivation for it? If you are not interested in your map representing a territory, why demanding that your map is coherent?
And why not assume some completely different axioms? Surely, there is a lot of potential ways to logically pinpoint things. Why this one in particular? Why not allow
P(Mary is a feminist and bank teller) > P(Mary is a feminist)?
Why not simply remove all the limitations from the function P?
Not to remove all limitations: I think the probability axioms are a sort of “logic of sets of beliefs”. If the axioms are violated the belief set seems to be irrational. (Or at least the smallest incoherent subset that, if removed, would make the set coherent.) Conventional logic doesn’t work as a logic for belief sets, as the preface and lottery paradox show, but subjective probability theory does work. As a justification for the axioms: that seems a similar problem to justifying the tautologies / inference rules of classical logic. Maybe an instrumental Dutch book argument works. But I do think it does come down to semantic content: If someone says “P(A and B)>P(A)” it isn’t a sign of incoherence if he means with “and” what I mean with “or”.
Regarding the map representing the territory: That’s a more challenging thing to formalize than just logic or probability theory. It would amount to a theory of induction. We would need to formalize and philosophically justify at least something like Ockham’s razor. There are some attempts, but I think no good solution.
I think the probability axioms are a sort of “logic of sets of beliefs”. If the axioms are violated the belief set seems to be irrational.
Well yes, they are. But how do you know which axioms are the correct axioms for logic of sets beliefs? How comes violation of some axioms seems to be irrational, while violation of other axioms does not? What do you even mean by “rational” if not “systematic way to arrive to map-territory correspondence”?
You see, in any case you have to ground your mathematical model in reality. Natural numbers may be logically pinpointed by arithmetical axioms, but a question of whether some action with particular objects behave like addition of natural numbers is a matter of empiricism. The reason we came up with a notion of natural numbers, in the first place, is because we’ve encountered a lot of stuff in reality which behavior generalizes this way. And the same things with logic of beliefs. First we encounter some territory, then we try to approximate it with a map.
What I’m trying to say is that if you are already trying to make a map that corresponds to some territory, why not make the one that corresponds better? You can declare that any consistent map is “good enough” and stop your inquiry there, but surely you can do better. You can declare that any consistent map following several simple conditions is good enough—that’s a step in the right direction, but still there is a lot of place for improvement. Why not figure out the most accurate map that we can come up with?
That’s a more challenging thing to formalize than just logic or probability theory.
Well, yes, it’s harder than the subjective probability approach you are talking about. We are trying to pinpoint a more specific target: a probabilistic model for a particular problem, instead of just some probabilistic model.
It would amount to a theory of induction. We would need to formalize and philosophically justify at least something like Ockham’s razor.
No, not really. We can do a lot before we go this particular rabbit hole. I hope my next post will make it clear enough.
It seems clear to me that statements expressing logical or probabilistic laws like P(A∨B)=P(A)+P(B)−P(A∧B) or ¬(A∧¬A) are “analytic”. Similar to “Bachelors are unmarried”.
The truth of a statement in general is determined by two things, it’s meaning and what the world is like. But for some statements the latter part is irrelevant, and their meanings alone are sufficient to determine their truth or falsity.
As soon as you have your axioms you can indeed analytically derive theorems from them. However, the way you determine which axioms to pick, is entangled with reality. It’s an especially clear case with probability theory where the development of the field was motivated by very practical concerns.
The reason why some axioms appear to us appropriate for logic of beliefs and some don’t, is because we know what beliefs are from experience. We are trying to come up with a mathematical model approximating this element of reality—an intensional definition for an extensional referent that we have.
Being Dutch-bookable is considered irrational because you systematically lose your bets. Likewise, continuing to believe that a particular outcome can happen in a setting where it, in fact, can’t and another agent could’ve already figured it out with the same limitations you have, is irrational for the same reason.
Similar to “Bachelors are unmarried”.
Indeed. There is, in fact, some real world reasons why the words “bachelor” and “unmarried” have these meanings in the English language. In both “why these particular worlds for this particular meanings?” and “why these meanings deserved designating any words at all” senses. The etimology of english language and the existence of the institute of marrige in the first place, both of which the results of social dynamics of humans whose psyche has evolved in a particular way.
The truth of a statement in general is determined by two things, it’s meaning and what the world is like.
I hope the previous paragraph does a good enough job showing, how meaning of a statement is, in fact, connected to the way the world is like.
Truth is a map-territory correspondence. We can separately talk about its two components: validity and soundness. As long as we simply conceptualize some mathematical model, logically pinpointing it for no particular reason, then we are simply dealing with tautologies and there is only validity. Drawing maps for the sake of drawing maps, without thinking about territory. But the moment we want our model to be about something, we encounter soundness. Which requires some connection to the outside world. And then there is a natural question of having a more accurate map and how to have it.
Yes, the meaning of a statement depends causally on empirical facts. But this doesn’t imply that the truth value of “Bachelors are unmarried” depends less than completely on its meaning. Its meaning (M) screens off the empirical facts (E) and its truth value (T). The causal graph looks like this:
E —> M —> T
If this graph is faithful, it follows that E and T are conditionally independent given M. E⊥T∣M. So if you know M, E gives you no additional information about T.
And the same is the case for all “analytic” statements, where the truth value only depends on its meaning. They are distinguished from synthetic statements, where the graph looks like this:
E —> M —> T
|_________^
That is, we have an additional direct influence of the empirical facts on the truth value. Here E and T are no longer conditionally independent given M.
I think that logical and probabilistic laws are analytic in the above sense, rather than synthetic. Including axioms. There are often alternative axiomatizations of the same laws. So P(A∨B)=P(A)+P(B)−P(A∧B) and P(⊤)=1 are equally analytic, even though only the latter is used as an axiom.
Being Dutch-bookable is considered irrational because you systematically lose your bets.
I think the instrumental justification (like Dutch book arguments) for laws of epistemic rationality (like logic and probability) is too weak. Because in situations where there happens to be in fact no danger of being exploited by a Dutch book (because there is nobody who would do such an exploit) it is not instrumentally irrational to be epistemically irrational. But you continue to be epistemically irrational if you have e.g. incoherent beliefs. So epistemic rationality cannot be grounded in instrumental rationality. Epistemic rationality laws being true in virtue of their meaning alone (being analytic) therefore seems a more plausible justification for epistemic rationality.
Yes, the meaning of a statement depends causally on empirical facts. But this doesn’t imply that the truth value of “Bachelors are unmarried” depends less than completely on its meaning.
I think we are in agreement here.
My point is that if your picking of particular axioms is entangled with reality, then you are already using a map to describe some territory. And then you can just as well describe this territory more accurately.
I think the instrumental justification (like Dutch book arguments) for laws of epistemic rationality (like logic and probability) is too weak. Because in situations where there happens to be in fact no danger of being exploited by a Dutch book (because there is nobody who would do such an exploit) it is not instrumentally irrational to be epistemically irrational. But you continue to be epistemically irrational if you have e.g. incoherent beliefs.
Rationality is about systematic ways to arrive to correct map-territory correspondence. Even if in your particular situation no one is exploiting you, the fact that you are exploitable in principle is bad. But to know about what is exploitable in principle we generalize from all the individual acts of exploatation. It all has to be grounded in reality in the end.
Epistemic rationality laws being true in virtue of their meaning alone (being analytic) therefore seems a more plausible justification for epistemic rationality.
You’ve said yourself, meaning is downstream of experience. So in the end you have to appeal to reality while trying to justify it.
My point is that if your picking of particular axioms is entangled with reality, then you are already using a map to describe some territory. And then you can just as well describe this territory more accurately.
I think picking axioms is not necessary here and in any case inconsequential. “Bachelors are unmarried” is true whether or not I regard it as some kind of axiom or not. I seems the same holds for tautologies and probabilistic laws. Moreover, I think neither of them is really “entangled” with reality, in the sense that they are compatible with any possible reality. They merely describe what’s possible in the first place. That bachelors can’t be married is not a fact about reality but a fact about the concept of a bachelor and the concept of marriage.
Rationality is about systematic ways to arrive to correct map-territory correspondence. Even if in your particular situation no one is exploiting you, the fact that you are exploitable in principle is bad. But to know about what is exploitable in principle we generalize from all the individual acts of exploatation. It all has to be grounded in reality in the end.
Suppose you are not instrumentally exploitable “in principle”, whatever that means. Then it arguably would still be epistemically irrational to believe that “Linda is a feminist and a bank teller” is more likely than “Linda is a bank teller”. Moreover, it is theoretically possible that there are cases where it is instrumentally rational to be epistemically irrational. Maybe someone rewards people with (epistemically) irrational beliefs. Maybe theism has favorable psychological consequences. Maybe Pascal’s Wager is instrumentally rational. So epistemic irrationality can’t in general be explained with instrumental irrationality as the latter may not even be present.
You’ve said yourself, meaning is downstream of experience. So in the end you have to appeal to reality while trying to justify it.
I don’t think we have to appeal to reality. Suppose the concept of bachelorhood and marriage had never emerged. Or suppose humans had never come up with logic and probability theory, and not even with language at all. Or humans had never existed in the first place. Then it would still be true that all bachelors are necessarily unmarried, and that tautologies are true. Moreover, it’s clear that long before the actual emergence of humanity and arithmetic, two dinosaurs plus three dinosaurs already were five dinosaurs. Or suppose the causal history had only been a little bit different, such that “blue” means “green” and “green” means “blue”. Would it then be the case that grass is blue and the sky is green? Of course not. It would only mean that we say “grass is blue” when we mean that it is green.
“Bachelors are unmarried” is true whether or not I regard it as some kind of axiom or not.
No, you are missing the point. I’m not saying that this phrase has to be axiom itself. I’m saying that you need to somehow axiomatically define your individual words, assign them meaning and only then, in regards to these language axioms the phrase “Bachelors are unmarried” is valid.
Moreover, I think neither of them is really “entangled” with reality
You’ve drawn the graph yourself, how meaning is downstream of reality. This is the kind of entanglement we are talking about. The choice of axioms is motivated by our experience with stuff in the real world. Everything else is beside the point.
Suppose you are not instrumentally exploitable “in principle”, whatever that means. Then it arguably would still be epistemically irrational to believe that “Linda is a feminist and a bank teller” is more likely than “Linda is a bank teller”.
Yes. That’s, among other things, what not being instrumentally exploitable “in principle” means. Epistemic rationality is a generalisation of instrumental rationality the same way how arithmetics is a generalisation from the behaviour of individual objects in reality. The kind of beliefs that are not exploitable in any case other than literally adversarial cases such as a mindreader specifically rewarding people who do not have such beliefs.
I don’t think we have to appeal to reality. Suppose the concept of bachelorhood and marriage had never emerged. Or suppose humans had never come up with logic and probability theory, and not even with language at all. Or humans had never existed in the first place. Then it would still be true that all bachelors are necessarily unmarried, and that tautologies are true.
I think the problem is that you keep using the word Truth to mean both Validity and Soundness and therefore do not notice when you switch from one to another.
Validity depends only on the axioms. As long as you are talkin about some set of axioms in which P defined in such a way that P(A) ≥ P(A&B) is a valid theorem, no appeal to reality is needed.
Likewise, you can talk about a set of axioms where P(A) ≤ P(A&B). These two statements remain valid in regards to their axioms.
But the moment you claim that this has something to do with the way beliefs—a thing from reality—are supposed to behave you start talking about soundness, and therefore require a connection to reality. As soon as pure mathematical statements mean something you are in the domain of map-territory relations.
Moreover, it’s clear that long before the actual emergence of humanity and arithmetic, two dinosaurs plus three dinosaurs already were five dinosaurs.
Territory behaved the way that we now can describe in the map as 2+3=5. But no maps existed back then. If we are in agreement about it, there is nothing substabtial to argue about.
I think picking axioms is not necessary here and in any case inconsequential.
By picking your axioms you logically pinpoint what you are talking in the first place. Have you read Highly Advanced Epistemology 101 for Beginners? I’m noticing that our inferential distance is larger than it should be otherwise.
I have read it a while ago, but he overstates the importance of axiom systems. E.g. he wrote:
You need axioms to pin down a mathematical universe before you can talk about it in the first place. The axioms are pinning down what the heck this ‘NUM-burz’ sound means in the first place—that your mouth is talking about 0, 1, 2, 3, and so on.
That’s evidently not true. Mathematicians studied arithmetic for two thousand years before it was axiomatized by Dedekind and Peano. Likewise, mathematical statisticians have studied probability theory long before it was axiomatized by Kolmogorov in the 1930s. Advanced theorems preceded these axiomatizations. Mathematicians rarely use axiom systems in their work even if they are theoretically available. That’s why it is hard to translate proofs into Lean code. Mathematicians just use well-known mathematical facts (that are considered obvious or already sufficiently established by others) as assumptions for their proofs.
No, you are missing the point. I’m not saying that this phrase has to be axiom itself. I’m saying that you need to somehow axiomatically define your individual words, assign them meaning and only then, in regards to these language axioms the phrase “Bachelors are unmarried” is valid.
That’s obviously not necessary. We neither do nor need to “somehow axiomatically define” our individual words for “Bachelors are unmarried” to be true. What would these axioms even be? Clearly the sentence has meaning and is true without any axiomatization.
Yes, that’s why I only said “less arbitrary”.
Regarding “knowing”: In subjective probability theory, the probability over the “event” space is just about what you believe, not about what you know. You could theoretically believe to degree 0 in the propositions “the die comes up 6” or “the die lands at an angle”. Or that the die comes up as both 1 and 2 with some positive probability. There is no requirement that your degrees of belief are accurate relative to some external standard. It is only assumed that the beliefs we do have compose in a way that adheres to the axioms of probability theory. E.g. P(A)≥P(A and B). Otherwise we are, presumably, irrational.
I don’t think I can agree even with that.
Previously we arbritrary assumed that a particular sample space correspond to a problem. Now we are arbitrary assuming that a particular set of possible worlds corresponds to a problem. In the best case we are exactly as arbitrary as before and have simply renamed our set. In the worst case we are making a lot of extra unfalsifiable assumptions about metaphysics.
Well, technically P(Ω)=1 is an axiom, so you do need a sample space if you want to adhere to the axioms.
But sure, if you do not care about accurate beliefs and systematic ways to arrive to them at all, then the question is, indeed, not interesting. Of course then it’s not clear what use is probability theory for you, in the first place.
For a propositional theory this axiom is replaced with P(⊤)=1, i.e. a tautology in classical propositional logic receives probability 1.
Degrees of belief adhering to the probability calculus at any point in time rules out things like “Mary is a feminist and a bank teller” to simultaneously receive a higher degree of belief than “Mary is a bank teller”. It also requires e.g. that if P(A)=0.6 and P(B)=0.5 then 0.1≥P(A∧B)≥0.5. That’s called “probabilism” or “synchronic coherence”.
Another assumption is typically that Pnew(A):=Pold(A|B) after “observing” B. This is called “conditionalization” or sometimes “diachronic coherence”.
What is even the motivation for it? If you are not interested in your map representing a territory, why demanding that your map is coherent?
And why not assume some completely different axioms? Surely, there is a lot of potential ways to logically pinpoint things. Why this one in particular? Why not allow
P(Mary is a feminist and bank teller) > P(Mary is a feminist)?
Why not simply remove all the limitations from the function P?
Not to remove all limitations: I think the probability axioms are a sort of “logic of sets of beliefs”. If the axioms are violated the belief set seems to be irrational. (Or at least the smallest incoherent subset that, if removed, would make the set coherent.) Conventional logic doesn’t work as a logic for belief sets, as the preface and lottery paradox show, but subjective probability theory does work. As a justification for the axioms: that seems a similar problem to justifying the tautologies / inference rules of classical logic. Maybe an instrumental Dutch book argument works. But I do think it does come down to semantic content: If someone says “P(A and B)>P(A)” it isn’t a sign of incoherence if he means with “and” what I mean with “or”.
Regarding the map representing the territory: That’s a more challenging thing to formalize than just logic or probability theory. It would amount to a theory of induction. We would need to formalize and philosophically justify at least something like Ockham’s razor. There are some attempts, but I think no good solution.
Well yes, they are. But how do you know which axioms are the correct axioms for logic of sets beliefs? How comes violation of some axioms seems to be irrational, while violation of other axioms does not? What do you even mean by “rational” if not “systematic way to arrive to map-territory correspondence”?
You see, in any case you have to ground your mathematical model in reality. Natural numbers may be logically pinpointed by arithmetical axioms, but a question of whether some action with particular objects behave like addition of natural numbers is a matter of empiricism. The reason we came up with a notion of natural numbers, in the first place, is because we’ve encountered a lot of stuff in reality which behavior generalizes this way. And the same things with logic of beliefs. First we encounter some territory, then we try to approximate it with a map.
What I’m trying to say is that if you are already trying to make a map that corresponds to some territory, why not make the one that corresponds better? You can declare that any consistent map is “good enough” and stop your inquiry there, but surely you can do better. You can declare that any consistent map following several simple conditions is good enough—that’s a step in the right direction, but still there is a lot of place for improvement. Why not figure out the most accurate map that we can come up with?
Well, yes, it’s harder than the subjective probability approach you are talking about. We are trying to pinpoint a more specific target: a probabilistic model for a particular problem, instead of just some probabilistic model.
No, not really. We can do a lot before we go this particular rabbit hole. I hope my next post will make it clear enough.
It seems clear to me that statements expressing logical or probabilistic laws like P(A∨B)=P(A)+P(B)−P(A∧B) or ¬(A∧¬A) are “analytic”. Similar to “Bachelors are unmarried”.
The truth of a statement in general is determined by two things, it’s meaning and what the world is like. But for some statements the latter part is irrelevant, and their meanings alone are sufficient to determine their truth or falsity.
As soon as you have your axioms you can indeed analytically derive theorems from them. However, the way you determine which axioms to pick, is entangled with reality. It’s an especially clear case with probability theory where the development of the field was motivated by very practical concerns.
The reason why some axioms appear to us appropriate for logic of beliefs and some don’t, is because we know what beliefs are from experience. We are trying to come up with a mathematical model approximating this element of reality—an intensional definition for an extensional referent that we have.
Being Dutch-bookable is considered irrational because you systematically lose your bets. Likewise, continuing to believe that a particular outcome can happen in a setting where it, in fact, can’t and another agent could’ve already figured it out with the same limitations you have, is irrational for the same reason.
Indeed. There is, in fact, some real world reasons why the words “bachelor” and “unmarried” have these meanings in the English language. In both “why these particular worlds for this particular meanings?” and “why these meanings deserved designating any words at all” senses. The etimology of english language and the existence of the institute of marrige in the first place, both of which the results of social dynamics of humans whose psyche has evolved in a particular way.
I hope the previous paragraph does a good enough job showing, how meaning of a statement is, in fact, connected to the way the world is like.
Truth is a map-territory correspondence. We can separately talk about its two components: validity and soundness. As long as we simply conceptualize some mathematical model, logically pinpointing it for no particular reason, then we are simply dealing with tautologies and there is only validity. Drawing maps for the sake of drawing maps, without thinking about territory. But the moment we want our model to be about something, we encounter soundness. Which requires some connection to the outside world. And then there is a natural question of having a more accurate map and how to have it.
Yes, the meaning of a statement depends causally on empirical facts. But this doesn’t imply that the truth value of “Bachelors are unmarried” depends less than completely on its meaning. Its meaning (M) screens off the empirical facts (E) and its truth value (T). The causal graph looks like this:
If this graph is faithful, it follows that E and T are conditionally independent given M. E⊥T∣M. So if you know M, E gives you no additional information about T.
And the same is the case for all “analytic” statements, where the truth value only depends on its meaning. They are distinguished from synthetic statements, where the graph looks like this:
That is, we have an additional direct influence of the empirical facts on the truth value. Here E and T are no longer conditionally independent given M.
I think that logical and probabilistic laws are analytic in the above sense, rather than synthetic. Including axioms. There are often alternative axiomatizations of the same laws. So P(A∨B)=P(A)+P(B)−P(A∧B) and P(⊤)=1 are equally analytic, even though only the latter is used as an axiom.
I think the instrumental justification (like Dutch book arguments) for laws of epistemic rationality (like logic and probability) is too weak. Because in situations where there happens to be in fact no danger of being exploited by a Dutch book (because there is nobody who would do such an exploit) it is not instrumentally irrational to be epistemically irrational. But you continue to be epistemically irrational if you have e.g. incoherent beliefs. So epistemic rationality cannot be grounded in instrumental rationality. Epistemic rationality laws being true in virtue of their meaning alone (being analytic) therefore seems a more plausible justification for epistemic rationality.
I think we are in agreement here.
My point is that if your picking of particular axioms is entangled with reality, then you are already using a map to describe some territory. And then you can just as well describe this territory more accurately.
Rationality is about systematic ways to arrive to correct map-territory correspondence. Even if in your particular situation no one is exploiting you, the fact that you are exploitable in principle is bad. But to know about what is exploitable in principle we generalize from all the individual acts of exploatation. It all has to be grounded in reality in the end.
You’ve said yourself, meaning is downstream of experience. So in the end you have to appeal to reality while trying to justify it.
I think picking axioms is not necessary here and in any case inconsequential. “Bachelors are unmarried” is true whether or not I regard it as some kind of axiom or not. I seems the same holds for tautologies and probabilistic laws. Moreover, I think neither of them is really “entangled” with reality, in the sense that they are compatible with any possible reality. They merely describe what’s possible in the first place. That bachelors can’t be married is not a fact about reality but a fact about the concept of a bachelor and the concept of marriage.
Suppose you are not instrumentally exploitable “in principle”, whatever that means. Then it arguably would still be epistemically irrational to believe that “Linda is a feminist and a bank teller” is more likely than “Linda is a bank teller”. Moreover, it is theoretically possible that there are cases where it is instrumentally rational to be epistemically irrational. Maybe someone rewards people with (epistemically) irrational beliefs. Maybe theism has favorable psychological consequences. Maybe Pascal’s Wager is instrumentally rational. So epistemic irrationality can’t in general be explained with instrumental irrationality as the latter may not even be present.
I don’t think we have to appeal to reality. Suppose the concept of bachelorhood and marriage had never emerged. Or suppose humans had never come up with logic and probability theory, and not even with language at all. Or humans had never existed in the first place. Then it would still be true that all bachelors are necessarily unmarried, and that tautologies are true. Moreover, it’s clear that long before the actual emergence of humanity and arithmetic, two dinosaurs plus three dinosaurs already were five dinosaurs. Or suppose the causal history had only been a little bit different, such that “blue” means “green” and “green” means “blue”. Would it then be the case that grass is blue and the sky is green? Of course not. It would only mean that we say “grass is blue” when we mean that it is green.
By picking your axioms you logically pinpoint what you are talking in the first place. Have you read Highly Advanced Epistemology 101 for Beginners? I’m noticing that our inferential distance is larger than it should be otherwise.
No, you are missing the point. I’m not saying that this phrase has to be axiom itself. I’m saying that you need to somehow axiomatically define your individual words, assign them meaning and only then, in regards to these language axioms the phrase “Bachelors are unmarried” is valid.
You’ve drawn the graph yourself, how meaning is downstream of reality. This is the kind of entanglement we are talking about. The choice of axioms is motivated by our experience with stuff in the real world. Everything else is beside the point.
Yes. That’s, among other things, what not being instrumentally exploitable “in principle” means. Epistemic rationality is a generalisation of instrumental rationality the same way how arithmetics is a generalisation from the behaviour of individual objects in reality. The kind of beliefs that are not exploitable in any case other than literally adversarial cases such as a mindreader specifically rewarding people who do not have such beliefs.
I think the problem is that you keep using the word Truth to mean both Validity and Soundness and therefore do not notice when you switch from one to another.
Validity depends only on the axioms. As long as you are talkin about some set of axioms in which P defined in such a way that P(A) ≥ P(A&B) is a valid theorem, no appeal to reality is needed.
Likewise, you can talk about a set of axioms where P(A) ≤ P(A&B). These two statements remain valid in regards to their axioms.
But the moment you claim that this has something to do with the way beliefs—a thing from reality—are supposed to behave you start talking about soundness, and therefore require a connection to reality. As soon as pure mathematical statements mean something you are in the domain of map-territory relations.
Territory behaved the way that we now can describe in the map as 2+3=5. But no maps existed back then. If we are in agreement about it, there is nothing substabtial to argue about.
I have read it a while ago, but he overstates the importance of axiom systems. E.g. he wrote:
That’s evidently not true. Mathematicians studied arithmetic for two thousand years before it was axiomatized by Dedekind and Peano. Likewise, mathematical statisticians have studied probability theory long before it was axiomatized by Kolmogorov in the 1930s. Advanced theorems preceded these axiomatizations. Mathematicians rarely use axiom systems in their work even if they are theoretically available. That’s why it is hard to translate proofs into Lean code. Mathematicians just use well-known mathematical facts (that are considered obvious or already sufficiently established by others) as assumptions for their proofs.
That’s obviously not necessary. We neither do nor need to “somehow axiomatically define” our individual words for “Bachelors are unmarried” to be true. What would these axioms even be? Clearly the sentence has meaning and is true without any axiomatization.