That means CON+TDT doesn’t prohibit a decision to carve up a vagrant for organs conditional on some unique feature of the situation.
Provided that the unique feature is relevant, no it does not. For example, if the vagrant’s parts were capable of saving 1,000 lives (a very unlikely situation, and not one anyone needs to worry of finding themself in) that would be a relevant unique feature.
However merely noticing that the vagrant is wearing a red baseball cap, made in 1953, and has $1.94 in their left pants pocket; while unique, is irrelevant. And as such it is easily modelled by using the protocol “insert random, irrelevant, unique aspect”.
No disagreement about relevance of baseball caps for organ transplantations, but if TDT is defined using “all other instantiations and simulations of that computation”, any small difference, however irrelevant, may exclude the agent from the category of instantiations of the same computation. The obvious countermeasure would be to ask TDT to include outputs not only of other instantiations of itself, but of a broader class of agents which behave similarly in all relevant aspects (in given situation). Which leads to the question how to precisely define “relevant”, which, as far as I understand, is the parent comment asking.
Provided that the unique feature is relevant, no it does not. For example, if the vagrant’s parts were capable of saving 1,000 lives (a very unlikely situation, and not one anyone needs to worry of finding themself in) that would be a relevant unique feature.
However merely noticing that the vagrant is wearing a red baseball cap, made in 1953, and has $1.94 in their left pants pocket; while unique, is irrelevant. And as such it is easily modelled by using the protocol “insert random, irrelevant, unique aspect”.
No disagreement about relevance of baseball caps for organ transplantations, but if TDT is defined using “all other instantiations and simulations of that computation”, any small difference, however irrelevant, may exclude the agent from the category of instantiations of the same computation. The obvious countermeasure would be to ask TDT to include outputs not only of other instantiations of itself, but of a broader class of agents which behave similarly in all relevant aspects (in given situation). Which leads to the question how to precisely define “relevant”, which, as far as I understand, is the parent comment asking.