Nicholaos Jones

One recent priority of the U.S. government is developing autonomous robotic systems. The U.S. Army has funded research to design a metric of evil to support military commanders with ethical decision-making and, in the future, allow robotic military systems to make autonomous ethical judgments. We use this particular project as a case study for efforts that seek to frame morality in quantitative terms. We report preliminary results from this research, describing the assumptions and limitations of a program that assesses the relative evil of two courses of action. We compare this program to other attempts to simulate ethical decision-making, assess possibilities for overcoming the trade-off between input simplification and output reliability, and discuss the responsibilities of users and designers in implementing such programs. We conclude by discussing the implications that this project highlights for the successes and challenges of developing automated mechanisms for ethical decision making.

While mechanistic explanation and, to a lesser extent, nomological explanation are well-explored topics in the philosophy of biology, topological explanation is not. Nor is the role of diagrams in topological explanations. These explanations do not appeal to the operation of mechanisms or laws, and extant accounts of the role of diagrams in biological science explain neither why scientists might prefer diagrammatic representations of topological information to sentential equivalents nor how such representations might facilitate important processes of explanatory reasoning unavailable to scientists who restrict themselves to sentential representations. Accordingly, relying upon a case study about immune system vulnerability to attacks on CD4+ T-cells, I argue that diagrams group together information in a way that avoids repetition in representing topological structure, facilitate identification of specific topological properties of those structures, and make available to controlled processing explanatorily salient counterfactual information about topological structures, all in ways that sentential counterparts of diagrams do not.

This paper elaborates upon various responses to the Problem of the One over the Many, in the service of two central goals. The first is to situate Huayan's mereology within the context of Buddhism's historical development, showing its continuity with a broader tradition of philosophizing about part-whole relations. The second goal is to highlight the way in which Huayan's mereology combines the virtues of the Nyāya-Vaisheshika and Indian Buddhist solutions to the Problem of the One over the Many while avoiding their vices.

In his _Treatise on the Golden Lion_, Fazang says that wholes are _in_ each of their parts and that each part of a whole _is_ every other part of the whole. In this paper, I offer an interpretation of these remarks according to which they are not obviously false, and I use this interpretation in order to rigorously reconstruct Fazang's arguments for his claims. On the interpretation I favor, Fazang means that the presence of a whole's part suffices for the presence of the whole and that the presence of any such part is both necessary and sufficient for the presence of any other part. I also argue that this interpretation is more plausible than its extant competitors

Theology involves inquiry into God's nature, God's purposes, and whether certain experiences or pronouncements come From God. These inquiries are metaphysical, part of theology's concern with the veridicality of signs and realities that are independent from humans. Several research programs concerned with the relation between theology and science aim to secure theology's intellectual standing as a metaphysical discipline by showing that it satisfies criteria that make modern science reputable, on the grounds that modern science embodies contemporary canons of respectability for metaphysical disciplines. But, no matter the ways in which theology qua metaphysics is shown to resemble modern science, these research programs seem destined for failure. For, given the currently dominant approaches to understanding modern scientific epistemology, theological reasoning is crucially dissimilar to modern scientific reasoning in that it treats the existence of God as a certainty immune to refutation. Barring the development of an epistemology of modern science that is amenable to theology, theology as metaphysics is intellectually disreputable.

Mengzi 孟子 6A2 contains the famous water analogy for the innate goodness of human nature. Some evaluate Mengzi’s reasoning as strong and sophisticated; others, as weak or sophistical. I urge for more nuance in our evaluation. Mengzi’s reasoning fares poorly when judged by contemporary standards of analogical strength. However, if we evaluate the analogy as an instance of correlative thinking within a yin-yang 陰陽 cosmology, his reasoning fares well. That cosmology provides good reason to assert that water tends to flow downward, not because of available empirical evidence, but because water correlates to yin and yin correlates to naturally downward motion. Substantiating these contentions also gives occasion to better understand the nature of correlative reasoning in classical Chinese philosophy.

When do data provide good evidence for a hypothesis, evidence that warrants an inference to the hypothesis? Standard answers either reject the legitimacy of induction or else allow warranted inference from data to hypothesis when there are suitable relationships between and among the data and hypotheses. The severity account rejects all of these, maintaining instead that the good evidence relation concerns not only relations between data and hypotheses but also the methods for obtaining the data and the sensitivity of these methods to detecting falsehood. So, for example, the severity account allows two rival hypotheses to fit the data equally well, even to the point of having the same prior and posterior probabilities relative to those data, while the data nonetheless favour one hypothesis over the other by virtue of those data providing a severe test of one hypothesis and not the other. The contributions to Error and Inference variously trace the genesis of the severity account from statistics-oriented sciences, elaborate upon the account’s details, apply the account to various philosophical issues, and offer challenges to the account’s adequacy and replies to major criticisms. The editors have developed the severity account in detail elsewhere, and this anthology is an effort …

Life scientists increasingly rely upon abstraction-based modeling and reasoning strategies for understanding biological phenomena. We introduce the notion of constraint-based reasoning as a fruitful tool for conceptualizing some of these developments. One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models. Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general dependency-relations and patterning between functions and structures. We describe such situations as constraint-based explanations and argue that these differ from mechanistic strategies in important respects. While mechanistic explanations emphasize change-relating causal features, constraint-based explanations emphasize formal dependencies and generic organizational features that are relatively independent of lower-level changes in causal details. Our distinction between mechanistic and constraint-based explanations is pragmatically motivated by the wish to understand scientific practice. We contend that delineating the affordances and assumptions of different explanatory questions and strategies helps to clarify tensions between diverging scientific practices and the innovative potentials in their combination. Moreover, we show how constraint-based explanation integrates several features shared by otherwise different philosophical accounts of abstract explanatory strategies in biology.

ABSTRACT There is a new argument form within theoretical biology. This form takes as input competing explanatory models; it yields as output the conclusion that one of these models is more plausible than the others. The driving force for this argument form is an analysis showing that one model exhibits more parametric robustness than its competitors. This article examines these inferences to the more robust explanation, analysing them as variants of inference to the best explanation. The article defines parametric robustness and distinguishes it from more familiar kinds of robustness. The article also argues that parametric robustness is an explanatory virtue not subsumed by more familiar explanatory virtues, and that the plausibility verdicts in the conclusions of inferences to the more robust explanations are best interpreted as guidance for research activity, rather than claims about likely truth. 1Introducing Inference to the More Robust Explanation 2Inference to the More Robust Explanation in the Study of Apoptosis 2.1Regulating apoptosis 2.2Competing models and evidential indecision 2.3Measuring robustness 2.4Robustness as a guide to plausibility 2.5Varieties of robustness 3Inference to the More Robust Explanation as Inference to the Best Explanation 3.1The structure of inference to the best explanation 3.2Parametric robustness as an explanatory virtue rather than an explanandum 3.3Relation of parametric robustness to other explanatory virtues 4Epistemological Significance of Inference to the More Robust Explanation 4.1Plausibility in practice 4.2Plausibility in principle 5Conclusion

Using as case studies two early diagrams that represent mechanisms of the cell division cycle, we aim to extend prior philosophical analyses of the roles of diagrams in scientific reasoning, and specifically their role in biological reasoning. The diagrams we discuss are, in practice, integral and indispensible elements of reasoning from experimental data about the cell division cycle to mathematical models of the cycle’s molecular mechanisms. In accordance with prior analyses, the diagrams provide functional explanations of the cell cycle and facilitate the construction of mathematical models of the cell cycle. But, extending beyond those analyses, we show how diagrams facilitate the construction of mathematical models, and we argue that the diagrams permit nomological explanations of the cell cycle. We further argue that what makes diagrams integral and indispensible for explanation and model construction is their nature as locality aids: they group together information that is to be used together in a way that sentential representations do not.

According to conciliatory views about the epistemology of disagreement, when epistemic peers have conflicting doxastic attitudes toward a proposition and fully disclose to one another the reasons for their attitudes toward that proposition (and neither has independent reason to believe the other to be mistaken), each peer should always change his attitude toward that proposition to one that is closer to the attitudes of those peers with which there is disagreement. According to pure higher-order evidence views, higher-order evidence for a proposition always suffices to determine the proper rational response to disagreement about that proposition within a group of epistemic peers. Using an analogue of Arrow's Impossibility Theorem, I shall argue that no conciliatory and pure higher-order evidence view about the epistemology of disagreement can provide a true and general answer to the question of what disagreeing epistemic peers should do after fully disclosing to each other the (first-order) reasons for their conflicting doxastic attitudes.