This paper addresses the knowledge required for individuals to evaluate Information and Communications Technologies decisions that relate to the organization and management of cyberspace, and to hold accountable the parties responsible for those decisions, whether the responsible party is a government actor, market actor or private individual. The authors argue that the Open Systems Interconnection model, with certain modifications, should serve as a primary educational tool in helping individuals to gain the understanding of ICT necessary to protect public interests related (...) to cyberspace. (shrink)

The difference between computers and simple machines is the extent to which computer systems subsume design and development decisions over which users have little or no control. Normally, such decisions are all but forgotten after implementation. Subsumption ethics describes this process.This paper begins with a discussion of subsumption ethics and describes four axioms of subsumption ethics. Four ethical frameworks with roots in philosophical traditions are used as an ethical framework: The golden rule ; the golden mean; niskama karma ; and (...) complexity. A matrix is presented that combines the axioms of subsumption ethics with these ethical frameworks. The paper concludes by applying the matrix to some standard problems in software systems development. (shrink)

The original proof of Gleason’s Theorem is very complicated and therefore, any result that can be derived also without the use of Gleason’s Theorem is welcome both in mathematics and mathematical physics. In this paper we reprove some known results that had originally been proved by the use of Gleason’s Theorem, e.g. that on the quantum logic ℒ(H) of all closed subspaces of a Hilbert space H, dim H≥3, there is no finitely additive state whose range is (...) countably infinite. In particular, if dim H=n, then on ℒ(H) there is a unique discrete state, namely m(A)=dim A/dim H, A∈ℒ(H). (shrink)

© 2015, Springer-Verlag Berlin Heidelberg.Genetic studies have identified single nucleotide polymorphisms associated with the risk of prostate cancer. It remains unclear whether such genetic variants are associated with disease aggressiveness. The NCI-SPORE Genetics Working Group retrospectively collected clinicopathologic information and genotype data for 36 SNPs which at the time had been validated to be associated with PC risk from 25,674 cases with PC. Cases were grouped according to race, Gleason score and aggressiveness. Statistical analyses were used to compare the (...) frequency of the SNPs between different disease cohorts. After adjusting for multiple testing, only PC-risk SNP rs2735839 was significantly and inversely associated with aggressive and high-grade disease in European men. Similar associations with aggressive and high-grade disease were documented in African-American subjects. The G allele of rs2735839 was associated with disease aggressiveness even at low PSA levels in both European and African-American men. Our results provide further support that a PC-risk SNP rs2735839 near the KLK3 gene on chromosome 19q13 may be associated with aggressive and high-grade PC. Future prospectively designed, case-case GWAS are needed to identify additional SNPs associated with PC aggressiveness. (shrink)

In this collection of provocative essays, historians and literary theorists assess the influence of Michel Foucault, particularly his History of Sexuality, on the study of classics. Foucault's famous work presents a bold theory of sexuality for both ancient and modern times, and yet until now it has remained under-explored and insufficiently analyzed. By bringing together the historical knowledge, philological skills, and theoretical perspectives of a wide range of scholars, this collection enables the reader to explore Foucault's model of Greek culture (...) and see how well his interpretation accounts for the full range of evidence from Greece and Rome. Not only do the essays bring to light the assumptions, ideas, and practices that constituted the intimate lives of men and women in the ancient Mediterranean world, but they also demonstrate the importance of the History of Sexuality for fields as diverse as Greco-Roman antiquity, women's history, cultural studies, philosophy, and modern sexuality. The essays include "Situating The History of Sexuality" (the editors), "Taking the Sex Out of Sexuality: Foucault's Failed History" (Joel Black), "Incipit Philosophia" (Alain Vizier), "The Subject in Antiquity after Foucault" (Page duBois), "This Myth Which Is Not One: Construction of Discourse in Plato's Symposium" (Jeffrey S. Carnes), "Foucault's History of Sexuality: A Useful Theory for Women?" (Amy Richlin), "Catullan Consciousness, the 'Care of the Self,' and the Force of the Negative in History" (Paul Allen Miller), "Reversals of Platonic Love in Petronius' Satyricon" (Daniel B. McGlathery), and an essay from Dislocating Masculinity (Lin Foxhall). (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

As theorists, developers, and practitioners of the anticipatory governance of emerging technologies, we applaud Ankeny et al.’s...

Consensus conferences, also known as citizens’ panels—a collection of lay citizens akin to a jury but charged with deliberating on policy issues with a high technical content—are a potentially important way to conduct technology assessments, inform policy makers about public views of new technologies, and improve public understanding of and participation in technological decision making. The first citizens’ panel in the United States occurred in April 1997 on the issue of “Telecommunications and the Future of Democracy.” This article evaluates the (...) impact of this citizens’ panel. The standard criteria to evaluate the impact of analyses focus on the “actual impact” and on the “impact on general thinking.” To these standard criteria, this article introduces the evaluation of two impacts related to learning: impact on the training of knowledgeable personnel and the interaction with lay knowledge. The impact evaluation is based on a nearly comprehensive set of semistructured telephone interviews with the participants in the panel. (shrink)

How good is an explanation and when is one explanation better than another? In this paper, I address these questions by exploring probabilistic measures of explanatory power in order to defend a particular Bayesian account of explanatory goodness. Critical to this discussion is a distinction between weak and strong measures of explanatory power due to Good (Br J Philos Sci 19:123–143, 1968). In particular, I argue that if one is interested in the overall goodness of an explanation, an appropriate balance (...) needs to be struck between the weak explanatory power and the complexity of a hypothesis. In light of this, I provide a new defence of a strong measure proposed by Good by providing new derivations of it, comparing it with other measures and exploring its connection with information, confirmation and explanatory virtues. Furthermore, Good really presented a family of strong measures, whereas I draw on a complexity criterion that favours a specific measure and hence provides a more precise way to quantify explanatory goodness. (shrink)

The epistemic arrow of time is the fact that our knowledge of the past seems to be both of a different kind and more detailed than our knowledge of the future. Just like with the other arrows of time, it has often been speculated that the epistemic arrow arises due to the second law of thermodynamics. In this paper, we investigate the epistemic arrow of time using a fully formal framework. We begin by defining a memory system as any physical (...) system whose present state can provide information about the state of the external world at some time other than the present. We then identify two types of memory systems in our universe, along with an important special case of the first type, which we distinguish as a third type of memory system. We show that two of these types of memory systems are time-symmetric, able to provide knowledge about both the past and the future. However, the third type of memory systems exploits the second law of thermodynamics, at least in all of its instances in our universe that we are aware of. The result is that in our universe, this type of memory system only ever provides information about the past. We also argue that human memory is of this third type, completing the argument. We end by scrutinizing the basis of the second law itself. This uncovers a previously unappreciated formal problem for common arguments that try to derive the second law from the “Past Hypothesis”, i.e., from the claim that the very early universe was in a state of extremely low entropy. Our analysis is indebted to prior work by one of us but expands and improves upon this work in several respects. (shrink)

This article explores Mary Shelley’s Frankenstein as an “object of care” for use in examining the relationship between creativity and responsibility in the sciences and beyond. Through three short sketches from different disciplinary lenses—literature, science and technology studies, and feminist studies—readers get a sense of the different ways scholars might consider Shelley’s text as an object of care. Through an analysis and synthesis of these three sketches, the authors illustrate the value of such an object in thinking about broad cultural (...) issues. The article acts as a kind of boundary object by creating distinct, yet overlapping narratives from an object that is owned by many social worlds. The three sketches reveal Frankenstein as a thoughtful consideration about what it means to care for, or fail to care for, one’s creation, rather than as a cautionary tale about the evils of scientific hubris. Although infrastructures at universities often prevent interdisciplinary dialogue, the article concludes that purposeful boundary objects created around objects of care like Frankenstein can help build bridges and create shared meanings for new interdisciplinary spaces. (shrink)

This is the first of two papers that use off-training set (OTS) error to investigate the assumption-free relationship between learning algorithms. This first paper discusses the senses in which there are no a priori distinctions between learning algorithms. (The second paper discusses the senses in which there are such distinctions.) In this first paper it is shown, loosely speaking, that for any two algorithms A and B, there are “as many” targets (or priors over targets) for which A has lower (...) expected OTS error than B as vice versa, for loss functions like zero-one loss. In particular, this is true if A is cross-validation and B is “anti-cross-validation” (choose the learning algorithm with largest cross-validation error). This paper ends with a discussion of the implications of these results for computational learning theory. It is shown that one cannot say: if empirical misclassification rate is low, the Vapnik-Chervonenkis dimension of your generalizer is small, and the training set is large, then with high probability your OTS error is small. Other implications for “membership queries” algorithms and “punting” algorithms are also discussed. (shrink)

This paper presents a new argument for the likelihood ratio measure of confirmation by showing that one of the adequacy criteria used in another argument can be replaced by a more plausible and better supported criterion which is a special case of the weak likelihood principle. This new argument is also used to show that the likelihood ratio measure is to be preferred to a measure that has recently received support in the literature.

The important recent book by Schurz ( 2019 ) appreciates that the no-free-lunch theorems (NFL) have major implications for the problem of (meta) induction. Here I review the NFL theorems, emphasizing that they do not only concern the case where there is a uniform prior—they prove that there are “as many priors” (loosely speaking) for which any induction algorithm _A_ out-generalizes some induction algorithm _B_ as vice-versa. Importantly though, in addition to the NFL theorems, there are many _free lunch_ theorems. (...) In particular, the NFL theorems can only be used to compare the expected performance of an induction algorithm _A_, considered in isolation, with the expected performance of an induction algorithm _B_, considered in isolation. There is a rich set of free lunches which instead concern the statistical _correlations_ among the generalization errors of induction algorithms. As I describe, the meta-induction algorithms that Schurz advocates as a “solution to Hume’s problem” are simply examples of such a free lunch based on correlations among the generalization errors of induction algorithms. I end by pointing out that the prior that Schurz advocates, which is uniform over bit frequencies rather than bit patterns, is contradicted by thousands of experiments in statistical physics and by the great success of the maximum entropy procedure in inductive inference. (shrink)

Book reviewed in this article: Suffering and the Beneficent Community: Beyond Libertarianism. By Erich H. Loewy. The Nature of Suffering and the Goals of Medicine. By Eric J. Cassell.

This chapter develops and defends a formal epistemology of conjunctive explanation by determining the conditions under which multiple distinct explanations are better than one. The general approach is to identify an appropriate measure of explanatory goodness that can then be applied to conjunctive explanations. If a conjunctive explanation is to be preferred it needs to have greater explanatory virtue (e.g., power or scope) with respect to the evidence, but this explanatory gain is insufficient on its own. Given a conjunctive explanation’s (...) greater complexity, it also has a cost associated with it and so a balance needs to be struck between the gain and the cost. This is achieved by employing a Bayesian measure proposed by I. J. Good. This chapter explores some properties of this measure and its application to the epistemology of conjunctive explanation. In so doing, it addresses the general question of whether it is desirable to have more informative, less probable hypotheses when seeking good explanations. (shrink)

Science fiction is often held up as a particularly philosophical genre. For, beyond actualising mind-experiment-like fantasies, science fiction films also commonly toy with speculative ideas, or else engineer encounters with the strange and unknown. Denis Villeneuve's Arrival is a contemporary science fiction film that does exactly this, by introducing Lovecraft-esque tentacular aliens whose arrival on Earth heralds in a novel, but ultimately paralysing, inhuman perspective on the nature of time and reality. This article shows how this cerebral film invites viewers (...) to confront a counterintuitive model of time that at once recalls and reposes what Gilles Deleuze called a “third synthesis” of time, and that which J. M. E. McTaggart named the a-temporal “C series” of “unreal” time. We finally suggest that Arrival's a-temporal conception of the future as having already happened can function as a key to understanding the fate of humanity as a whole as we pass from the anthropocene, in which humans have... (shrink)

My primary aim in this paper is to show that the structure of experience must include a subject (or self). I argue that the subjectless (No-Self) views of our experience must be rejected, primarily because without the consciousness-unifying function of a subject they are unable to account for the unities of consciousness present in our experience. In addition, I contend that such views fail in another respect. They emphasize the streaming of experience, the ever-changing flow of conscious events, but have (...) difficulty identifying what must stand unmoving to provide the contrast needed for the experience of motion. (shrink)

I propose a qualitative Bayesian account of explanatory goodness that is analogous to the Bayesian account of incremental confirmation. This is achieved by means of a complexity criterion according to which an explanation h is good if the reduction in the complexity of the explanandum e brought about by h (the explanatory gain) is greater than the additional complexity introduced by h in the context of e (the explanatory cost). To illustrate the account, I apply it in the context of (...) ad hoc hypotheses. (shrink)

Amongst philosophers, there is ongoing debate about what successful event remembering requires. Causal theorists argue that it requires a causal connection to the past event. Simulation theorists argue, in contrast, that successful remembering requires only production by a reliable memory system. Both views must contend with the fact that people can remember past events they have experienced with varying degrees of accuracy. The debate between them thus concerns not only the account of successful remembering, but how each account explains the (...) various forms of memory error as well. Advancing the debate therefore must include exploration of the cognitive architecture implicated by each view and whether that architecture is capable of producing the range of event representations seen in human remembering. Our paper begins by exploring these architectures, framing casual theories as best suited to the storage of event instances and simulation theories as best suited to store schemas. While each approach has its advantages, neither can account for the full range of our event remembering abilities. We then propose a novel hybrid theory that combines both instance and schematic elements in the event memory. In addition, we provide an implementation of our theory in the context of a cognitive architecture. We also discuss an agent we developed using this system and its ability to remember events in the blocks world domain. (shrink)

The International Research Institute for Climate Prediction was created in 1996 with an “end-to-end” mission to engage in climate research and modeling on a seasonal-to-interannual time scale and to provide the results of this research in a useful way to farmers, fishermen, public health officials, and others capable of making the best of the predicted climate conditions. As a boundary organization, IRI straddles the divides between the production and use of research and between the developed world and the developing world. (...) This article describes the institutional history of IRI, examining how the end-to-end mission evolved over time, how it is becoming institutionalized in IRI as a boundary organization, and the ongoing challenges it presents to managing the boundary between climate variability research and societal applications. (shrink)

I have been a Daniel Callahan reader for over thirty years. My first published review was of Abortion: Law, Choice, and Morality. Callahan's latest book, The Five Horsemen of the Modern World: Climate, Food, Water, Disease, and Obesity, is a sustained and detailed explanation of a series of challenges facing humankind in this century. Callahan's prognosis is bleak, his analyses credible, and while hope is not lost, the moral of the story is that we had better get our act together (...) fast. Callahan argues that when we face challenges like these, rational persuasion is insufficient. Human emotions must be engaged. Without knowledgeable emotional engagement by millions of people, we are done for. It seems to me that he is really calling for a national cultural conversion experience, rather as, almost three hundred years ago, Jonathan Edwards declared that if there is a hell, it makes good sense to frighten people out of it! (shrink)