“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.
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.