With effectiveness my doubt is that you iss kinds of knowledge in your definition and that logic might be less than effective in the grander scheme of things. For example the knowledge of how to ride a bike is hard to get into the scope of logic, in that respect logic is incomplete ie it leaves a bit of knowledge out. There is the issue with Mary’s room and whether color experience counts as knowledge, we can grant her allthe math test books and science books but we can still doubt whether we have caught all knowledge. Even the context of “effective method” Turing suspected that mathematicians use a kind of “insight” that coming up with a proof is a different kind of process than following a proof. Universal turing machine captures “effective method” which encompasses all of formal mathematics that person could write down. But still doubt lingers whether that is all the intersting kind of processes.
One could also be worried about a method of knowing that encapsulates logic. Divine relevation could be posited to give vast amounts of knowledge maybe enough so that further knowledge production work ceases to be viable. There is also the “trivial theory of arithmetic” where we just assume all arithmetic truths as axioms. In such a system there are no theorems, there is only a check whether or not a thing is a axiom or not. Such a system could be all encompassing and avoid the use of logical inference.
Starting point is a bit undefined, axiomaatic approach is way more defined. Sure we don’thave super cdertani “boot-system” on how we get going. But it doesn’t feature the characteristics of a axiomatic system. In the axiomatic style you can go “Assume X. Is it the case that X?” and you can definetely that “yes, X is the case”. If you tried to shoehorn the sensory reliance in axiomatic terms it would go something like “Assume X. Now turns out that X isn’t the case” which is non-sense in proof terms. Sure there is appeal to absurdity “Entertain subthought:[Assume X. X leads to contradiction]. Because subthought is contradictory the axiom set can’t all be true at the same time. Therefore not-X.”. But when our sensory expectations are violated they are not appeals to absurdity, it is more of a trial and error of “Guess X. If X then Y is a prosperous choice. Experience of Y is very unprosperous. Regard X as bad guess.”. A purely axiomatic approach will always refes to the starting definitions to resolve issues of truth. We don’t need to guess our axioms because we assume them true, which in effect we define to be true. “Assume all Xs are Y”, “well what if I find an X that isn’t Y?”, “then it is not an X, thefore you can’t find an X that isn’t Y”
I get that getting asteroided would be my business. But knowing what half of china is going to have for lunch tomorrow really isn’t, I am fine not knowing that I am fine that I don’t have control over that they can have their culinary autonomy. When you would scan for impact asteroids you would not generally scan all things in the same way, but focus on paths and locations that could contain dangerous elements which means giving more scrutinity to some and less to others. There is also the issue of balancing the prediction horizon over several threats. Do you want to spend time getting an addtiional decade advance warning on a collider asteroid or do you want to get another decade advance warning on climate disaster? Just because you can fret about or control something doesn’t mean you should. And integrating garbage can be more dangerous than acknowledging that you don’t know.
Regarding logic and methods of knowing, I agree that logic might not be the only useful way of knowledge production, but why shouldn’t you have it in your toolbox? I’m just trying to argue that there’s no reason for anyone to neglect logical arguments if they yield new knowledge.
I agree that “prior” is a vastly better word choice than “axiom” because it allows us to refine the prior later.
The “planetary consciousness” thing also appears to me as a misunderstanding: I don’t want to propose that every information about the world should be retrieved and processed, in the same way that even in my direct environment, what my neighbour does in his house is none of my business.
With effectiveness my doubt is that you iss kinds of knowledge in your definition and that logic might be less than effective in the grander scheme of things. For example the knowledge of how to ride a bike is hard to get into the scope of logic, in that respect logic is incomplete ie it leaves a bit of knowledge out. There is the issue with Mary’s room and whether color experience counts as knowledge, we can grant her allthe math test books and science books but we can still doubt whether we have caught all knowledge. Even the context of “effective method” Turing suspected that mathematicians use a kind of “insight” that coming up with a proof is a different kind of process than following a proof. Universal turing machine captures “effective method” which encompasses all of formal mathematics that person could write down. But still doubt lingers whether that is all the intersting kind of processes.
One could also be worried about a method of knowing that encapsulates logic. Divine relevation could be posited to give vast amounts of knowledge maybe enough so that further knowledge production work ceases to be viable. There is also the “trivial theory of arithmetic” where we just assume all arithmetic truths as axioms. In such a system there are no theorems, there is only a check whether or not a thing is a axiom or not. Such a system could be all encompassing and avoid the use of logical inference.
Starting point is a bit undefined, axiomaatic approach is way more defined. Sure we don’thave super cdertani “boot-system” on how we get going. But it doesn’t feature the characteristics of a axiomatic system. In the axiomatic style you can go “Assume X. Is it the case that X?” and you can definetely that “yes, X is the case”. If you tried to shoehorn the sensory reliance in axiomatic terms it would go something like “Assume X. Now turns out that X isn’t the case” which is non-sense in proof terms. Sure there is appeal to absurdity “Entertain subthought:[Assume X. X leads to contradiction]. Because subthought is contradictory the axiom set can’t all be true at the same time. Therefore not-X.”. But when our sensory expectations are violated they are not appeals to absurdity, it is more of a trial and error of “Guess X. If X then Y is a prosperous choice. Experience of Y is very unprosperous. Regard X as bad guess.”. A purely axiomatic approach will always refes to the starting definitions to resolve issues of truth. We don’t need to guess our axioms because we assume them true, which in effect we define to be true. “Assume all Xs are Y”, “well what if I find an X that isn’t Y?”, “then it is not an X, thefore you can’t find an X that isn’t Y”
I get that getting asteroided would be my business. But knowing what half of china is going to have for lunch tomorrow really isn’t, I am fine not knowing that I am fine that I don’t have control over that they can have their culinary autonomy. When you would scan for impact asteroids you would not generally scan all things in the same way, but focus on paths and locations that could contain dangerous elements which means giving more scrutinity to some and less to others. There is also the issue of balancing the prediction horizon over several threats. Do you want to spend time getting an addtiional decade advance warning on a collider asteroid or do you want to get another decade advance warning on climate disaster? Just because you can fret about or control something doesn’t mean you should. And integrating garbage can be more dangerous than acknowledging that you don’t know.
Regarding logic and methods of knowing, I agree that logic might not be the only useful way of knowledge production, but why shouldn’t you have it in your toolbox? I’m just trying to argue that there’s no reason for anyone to neglect logical arguments if they yield new knowledge.
I agree that “prior” is a vastly better word choice than “axiom” because it allows us to refine the prior later.
The “planetary consciousness” thing also appears to me as a misunderstanding: I don’t want to propose that every information about the world should be retrieved and processed, in the same way that even in my direct environment, what my neighbour does in his house is none of my business.