So I don’t know what you expect such a “theorem” and such “proofs” to look like, without containing several volumes descriptive in symbolic form of the human context.
I have no such expectation either. But I do expect something, for what use is meta-ethics if no ethics results, or at least, practical procedures for discovering ethics?
What do you have in mind by “a description in symbolic form of the human context”? The Cyc database? What would you do with it?
for what use is meta-ethics if no ethics results, or at least, practical procedures for discovering ethics?
We have the processing unit called “brain” which does contain our understanding of the human context and therefore can plug a context parameter into a metaethical philosophy and thus derive an ethic. But we can’t currently express the functioning of the brain as theorems and proofs—our understanding of its working is far fuzzier than that.
I expect that the use of metaethic in AI development would similarly be so that the AI has something to plug its understanding of the human context into.
I have no such expectation either. But I do expect something, for what use is meta-ethics if no ethics results, or at least, practical procedures for discovering ethics?
It hasn’t been established that we can’t have them, just that we can’t by some formal, computational method.I’m afraid we’re back to hand-wavy socio-politico-philosphical discussion.
I have no such expectation either. But I do expect something, for what use is meta-ethics if no ethics results, or at least, practical procedures for discovering ethics?
What do you have in mind by “a description in symbolic form of the human context”? The Cyc database? What would you do with it?
We have the processing unit called “brain” which does contain our understanding of the human context and therefore can plug a context parameter into a metaethical philosophy and thus derive an ethic. But we can’t currently express the functioning of the brain as theorems and proofs—our understanding of its working is far fuzzier than that.
I expect that the use of metaethic in AI development would similarly be so that the AI has something to plug its understanding of the human context into.
It hasn’t been established that we can’t have them, just that we can’t by some formal, computational method.I’m afraid we’re back to hand-wavy socio-politico-philosphical discussion.