Duncan MacIntosh

While Autonomous Weapons Systems have obvious military advantages, there are prima facie moral objections to using them. By way of general reply to these objections, I point out similarities between the structure of law and morality on the one hand and of automata on the other. I argue that these, plus the fact that automata can be designed to lack the biases and other failings of humans, require us to automate the formulation, administration, and enforcement of law as much as possible, including the elements of law and morality that are operated by combatants in war. I suggest that, ethically speaking, deploying a legally competent robot in some legally regulated realm is not much different from deploying a more or less well-armed, vulnerable, obedient, or morally discerning soldier or general into battle, a police officer onto patrol, or a lawyer or judge into a trial. All feature automaticity in the sense of deputation to an agent we do not then directly control. Such relations are well understood and well-regulated in morality and law; so there is not much challenging philosophically in having robots be some of these agents — excepting the implications of the limits of robot technology at a given time for responsible deputation. I then consider this proposal in light of the differences between two conceptions of law. These are distinguished by whether each conception sees law as unambiguous rules inherently uncontroversial in each application; and I consider the prospects for robotizing law on each. Likewise for the prospects of robotizing moral theorizing and moral decision-making. Finally I identify certain elements of law and morality, noted by the philosopher Immanuel Kant, which robots can participate in only upon being able to set ends and emotionally invest in their attainment. One conclusion is that while affectless autonomous devices might be fit to rule us, they would not be fit to vote with us. For voting is a process for summing felt preferences, and affectless devices would have none to weigh into the sum. Since they don't care which outcomes obtain, they don't get to vote on which ones to bring about.

Scientific Realists argue that it would be a miracle if scientific theories were getting more predictive without getting closer to the truth; so they must be getting closer to the truth. Van Fraassen, Laudan et al. argue that owing to the underdetermination of theory by data (UDT) for all we know, it is a miracle, a fluke. So we should not believe in even the approximate truth of theories. I argue that there is a test for who is right: suppose we are at the limit of inquiry. Suppose that we then have all the logically possible theories that are adequate to all the actual data. If they all resembled in their theoretical claims, since one of them must be true, all of them would then resemble it, whichever it is. We would thus be justified in saying they all approximated the truth in the degree to which they co-resembled. If they don't all co-resemble, the SRs are wrong; more predictive theories are not necessarily closer to the theoretical truth. Prior to the limit, if, in spite of our best efforts to the contrary, all the theories we can make adequate to current data tend to co-resemble, we have inductive warrant for thinking more predictive theories are closer to the truth. If they don't resemble, we have inductive warrant for thinking that more predictive theories are not necessarily closer to the truth.

David Gauthier thinks agents facing a prisoner's dilemma ('pd') should find it rational to dispose themselves to co-operate with those inclined to reciprocate (i.e., to acquire a constrained maximizer--'cm'--disposition), and to co-operate with other 'cmers'. Richmond Campbell argues that since dominance reasoning shows it remains to the agent's advantage to defect, his co-operation is only rational if cm "determines" him to co-operate, forcing him not to cheat. I argue that if cm "forces" the agent to co-operate, he is not acting at all, never mind rationally. Thus, neither author has shown that co-operation is rational action in a pd.