One theoretical charge (of Optimality Theory in its early conception) must have been to retain that sense of qualitative particularity as affecting as constraining theory relevant to a proscribed field when clearly a motivation was to divine in circumscriptions operational consequences conceived on a deferred abstractive level. An attraction of the theory's embodying results of constraint interactions as responsive to theory-internal qualitative implementation, as being in fact supplementarily transparent to co-ordinations of variously language specific implementations, qualitative identifications, was apparent naturalistic (...) coordination of defined features taken here—in OT—at one fell-swoop. Differently put, the uses of analyses of the relevant types of spaces (‘primitive from the viewpoint of linguistic theories’) will (latterly) involve a period of time-stretch or compression over a previously normal (I take it) process of embeddings in a new theorised and recursively enacted invocation/re-invocation of base as digestively present in results of corrected theories. Or as Prince and Smolensky have it -/- 'What we have done, in essence, is to replace the iterative procedure (act/evaluate, act/evaluate, . . . ) with a recursive scheme: collect the results of all possible actions, then sort recursively.' OT, 16. (shrink)

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality and (...) abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

Fundamental to Computer Science is the distinction between abstractions and implementations. When that distinction is applied to various philosophical questions it yields the following conclusions. -/- • EMERGENCE. It isn’t as mysterious as it’s made out to be; the possibility of strong emergence is not a threat to science. -/- • INTERACTIONS BETWEEN HIGHER-LEVEL ENTITIES. Physical interaction among higher-level entities is illusory. Abstract interactions are the source of emergence, new domains of knowledge, and complex systems. -/- • PHYSICS and the (...) SPECIAL SCIENCES. The new domains of knowledge derived from abstract interactions are the basis of the autonomy of the special sciences. -/- • DOWNWARD CAUSATION. It’s a zombie idea that should have a stake put through its heart and be replaced by downward entailment. (shrink)

The intersection of development and evolution has always harbored conceptual issues, but many of these are on display in contemporary evolutionary developmental biology (evo-devo). These issues include: (1) the precise constitution of evo-devo, with its focus on both the evolution of development and the developmental basis of evolution, and how it fits within evolutionary theory; (2) the nature of evo-devo model systems that comprise the material of comparative and experimental research; (3) the puzzle of how to understand the widely used (...) notion of 'conserved mechanisms'; (4) the definition of evolutionary novelties and expectations for how to explain them; and (5) the demand of interdisciplinary collaboration that derives from investigating complex phenomena at key moments in the history of life, such as the fin-limb transition. This Element treats these conceptual issues with close attention to both empirical detail and scientific practice to offer new perspectives on evolution and development. This title is also available as Open Access on Cambridge Core. (shrink)

As physical entities that translate symbols into physical actions, computers offer insights into the nature of meaning and agency. • Physical symbol systems, generically known as agents, link abstractions to material actions. The meaning of a symbol is defined as the physical actions an agent takes when the symbol is encountered. • An agent has autonomy when it has the power to select actions based on internal decision processes. Autonomy offers a partial escape from constraints imposed by direct physical influences (...) such as gravity and the transfer of momentum. Swimming upstream is an example. • Symbols are names that can designate other entities. It appears difficult to explain the use of names and symbols in terms of more primitive functionality. The ability to use names and symbols, i.e., symbol grounding, may be a fundamental cognitive building block. • The standard understanding of causality—wiggling X results in Y wiggling—applies to both physical causes (e.g., one billiard ball hitting another) and symbolic causes (e.g., a traffic light changing color). Because symbols are abstract, they cannot produce direct physical effects. For a symbol to be a cause requires that the affected entity determine its own response. This is called autonomous causality. • This analysis of meaning and autonomy offers new perspectives on free will. (shrink)

It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...) competition remains conceptually complex, as none of these approaches properly formalized their assumptions. In this paper, we address this issue by means of an ontological analysis on the notion of competition in general, and of business competition, in particular, leveraging theories from various fields, including Marketing, Strategic Management, Ecology, Psychology and Cognitive Sciences. Our analysis, the first of its kind in the literature, is grounded on the Unified Foundational Ontology (UFO) and allows us to formally characterize why competition arises, as well as to distinguish between three types of business competitive relationships, namely market-level, firm-level and potential competition. (shrink)

This paper explores some of the factors that make complex systems complex. We first examine the history of complex systems. It was Aristotle’s insight that how elements are joined together helps determine the properties of the resulting whole. We find (a) that scientific reductionism does not provide a sufficient explanation; (b) that to understand complex systems, one must identify and trace energy flows; and (c) that disproportionate causality, including global tipping points, are all around us. Disproportionate causality results from the (...) wide availability of energy stores. We discuss three categories of emergent phenomena—static, dynamic, and adaptive—and recommend retiring the term emergent, except perhaps as a synonym for creative. Finally, we find that virtually all communication is stigmergic. (shrink)

The History of Western Philosophy enhanced Russell’s broad reputation among members of the public and helped secure his finances. But the academic community was less enthusiastic about the text and tended to treat it with contempt. My paper is a critical investigation of one of the central chapters of Russell’s History: namely, Russell’s rendition of David Hume’s views on the self. My argument is that Russell’s concise treat­ment of le bon David’s provocative views on the self must be read with (...) great care—otherwise a misunderstanding of Russell’s interpreta­tion is likely to be foisted on this popular and influential twentieth­-century text. (shrink)

Hans Reichenbach was a formidable figure in early-twentieth-century philosophy of science. Educated in Germany, he was influential in establishing the so-called Berlin Circle, a companion group to the Vienna Circle founded by his colleague Rudolph Carnap. The movement they founded—usually known as "logical positivism," although it is more precisely known as "scientific philosophy" or "logical empiricism"—was a form of epistemology that privileged scientific over metaphysical truths. Reichenbach, like other young philosophers of the exact sciences of his generation, was deeply impressed (...) by the far-reaching changes in physics brought about by Einstein's special and general theories of relativity. Reichenbach responded to scientific advances by doing fundamental work in space-time theories, in quantum mechanics, in statistical mechanics, and in the development of probability theory—making him the most important philosopher of physics in the first generation of logical empiricism. Forced from his academic position by the Nazi race laws in 1933, Reichenbach wrote _Experience and Prediction_ at the University of Istanbul, where had had fled, expressly to introduce logical positivism to English speakers. In the two decades following World War II, during the explosion of scientific advances in North America, logical positivism was the reigning theory of the philosophy of science and Reichenbach was at the peak of his career. But, inevitably, support for logical positivism began to wane as it became obvious that the justification of scientific theories could not be entirely resolved by relying on strictly formal, technical processes. The growth of the discipline of the history of philosophy of science, which has created an audience of scholars eager for seminal classics in scientific philosophy, and the evidence supporting a historicist paradigm within logical positivism are two important reasons to make _Experience and Prediction_ available once again. "Hans Reichenbach's_ Experience and Prediction_ is one of the most important books in twentieth-century philosophy of science. Its author was, along with Rudolf Carnap, one of the two principal ambassadors to North America of the exciting new European philosophical movement known here under the names 'Logical Positivism' and 'Scientific Philosophy.' In 1938, when the book was published, Reichenbach was an exile from his native Germany, teaching in Istanbul, Turkey, and about to emigrate to the United States to take up a prestigious position at UCLA. He wrote_ Experience and Prediction_ in English as his calling card to his new American colleagues. More than any other single book,_ Experience and Prediction_ set the agenda for the new discipline of the philosophy of science that was to emerge after World War II as, perhaps, the most exciting new area in North American philosophy. Many of the problems still at the focus of discussion were given their classic formulations in this book. Long out of print,_ Experience and Prediction_ appears here in a new edition accompanied by a splendid historical introduction by the noted young philosopher and historian of the philosophy of science, Alan Richardson. A jewel of a book may once again be appreciated in its proper setting." —Don A. Howard, University of Notre Dame. (shrink)

I argue that most counterfactuals are false.

A proof for P=NP in modal logic. What it takes to simulate all particles in the universe correctly.

When agents insert technological systems into their decision-making processes, they can obscure moral responsibility for the results. This can give rise to a distinct moral wrong, which we call “agency laundering.” At root, agency laundering involves obfuscating one’s moral responsibility by enlisting a technology or process to take some action and letting it forestall others from demanding an account for bad outcomes that result. We argue that the concept of agency laundering helps in understanding important moral problems in a number (...) of recent cases involving automated, or algorithmic, decision-systems. We apply our conception of agency laundering to a series of examples, including Facebook’s automated advertising suggestions, Uber’s driver interfaces, algorithmic evaluation of K-12 teachers, and risk assessment in criminal sentencing. We distinguish agency laundering from several other critiques of information technology, including the so-called “responsibility gap,” “bias laundering,” and masking. (shrink)

Algorithms influence every facet of modern life: criminal justice, education, housing, entertainment, elections, social media, news feeds, work… the list goes on. Delegating important decisions to machines, however, gives rise to deep moral concerns about responsibility, transparency, freedom, fairness, and democracy. Algorithms and Autonomy connects these concerns to the core human value of autonomy in the contexts of algorithmic teacher evaluation, risk assessment in criminal sentencing, predictive policing, background checks, news feeds, ride-sharing platforms, social media, and election interference. Using these (...) case studies, the authors provide a better understanding of machine fairness and algorithmic transparency. They explain why interventions in algorithmic systems are necessary to ensure that algorithms are not used to control citizens' participation in politics and undercut democracy. This title is also available as Open Access on Cambridge Core. (shrink)

Humans were once purely animal, the same as all the other animal species, implying that the practice of ethics must have been nonexistent until quite recently in human history. It has been during the species’ turn towards behavioral modernity that ethical precepts and systems have been formed, eventually becoming an integral part of modern human existence. This essay will explore the cause for this transition, emphasizing the idea that there are now two different sources of modern human behavior. On the (...) one hand, modern humans are still animal, and they must still engage in biologically driven behaviors. At the same time, modern humans have become increasingly influenced and guided by the many artificial constructions that have been accruing over time and are now saturating the human landscape, with the response to these artificial constructions producing a wide range of behaviors heretofore unwitnessed on the planet Earth. These two aspects of modern humanity—the animal aspect and the constructed aspect—they find themselves often in conflict, each striving to gain ascendency over each individual and over the species as a whole. It is the tension at the heart of this inherent conflict that has engendered ethics and morality. (shrink)

There have long been calls from industry for guidance in implementing strategies for sustainable development. The Circular Economy represents the most recent attempt to conceptualize the integration of economic activity and environmental wellbeing in a sustainable way. This set of ideas has been adopted by China as the basis of their economic development, escalating the concept in minds of western policymakers and NGOs. This paper traces the conceptualisations and origins of the Circular Economy, tracing its meanings, and exploring its antecedents (...) in economics and ecology, and discusses how the Circular Economy has been operationalized in business and policy. The paper finds that while the Circular Economy places emphasis on the redesign of processes and cycling of materials, which may contribute to more sustainable business models, it also encapsulates tensions and limitations. These include an absence of the social dimension inherent in sustainable development that limits its ethical dimensions, and some unintended consequences. This leads us to propose a revised definition of the Circular Economy as “an economic model wherein planning, resourcing, procurement, production and reprocessing are designed and managed, as both process and output, to maximize ecosystem functioning and human well-being”. (shrink)

Algorithmic systems and predictive analytics play an increasingly important role in various aspects of modern life. Scholarship on the moral ramifications of such systems is in its early stages, and much of it focuses on bias and harm. This paper argues that in understanding the moral salience of algorithmic systems it is essential to understand the relation between algorithms, autonomy, and agency. We draw on several recent cases in criminal sentencing and K–12 teacher evaluation to outline four key ways in (...) which issues of agency, autonomy, and respect for persons can conflict with algorithmic decision-making. Three of these involve failures to treat individual agents with the respect they deserve. The fourth involves distancing oneself from a morally suspect action by attributing one’s decision to take that action to an algorithm, thereby laundering one’s agency. (shrink)

I argue that metaphysical views of material objects should be understood as 'packages', rather than individual claims, where the other parts of the package include how the theory addresses 'recalcitant data', and that when the packages meet certain general desiderata - which all of the currently competing views *can* meet - there is nothing in the world that could make one of the theories true as opposed to any of the others.

ABSTRACT: So far in this book, we have examined algorithmic decision systems from three autonomy-based perspectives: in terms of what we owe autonomous agents (chapters 3 and 4), in terms of the conditions required for people to act autonomously (chapters 5 and 6), and in terms of the responsibilities of agents (chapter 7). -/- In this chapter we turn to the ways in which autonomy underwrites democratic governance. Political authority, which is to say the ability of a government to exercise (...) power, may be justifiable or not. Whether it is justified and how it can come to be justified is a question of political legitimacy. Political legitimacy is another way in which autonomy and responsibility are linked. This relationship is the basis of the current chapter, and it is important in understanding the moral salience of algorithmic systems. We will draw the connection as follows. We begin, in section 8.1, by describing two uses of technology: crime predicting technology used to drive policing practices and social media technology used to influence elections (including by Cambridge Analytica and by the Internet Research Agency). In section 8.2 we consider several views of legitimacy and argue for a hybrid version of normative legitimacy based on one recently offered by Fabienne Peter. In section 8.3 we will explain that the connection between political legitimacy and autonomy is that legitimacy is grounded in legitimating processes, which are in turn based on autonomy. Algorithmic systems—among them PredPol and the Cambridge Analytica-Facebook-Internet Research Agency amalgam—can hinder that legitimation process and conflict with democratic legitimacy, as we argue in section 8.4. We will conclude by returning to several cases that serve as through-lines to the book: Loomis, Wagner, and Houston Schools. -/- The link below is to an open-access copy of the chapter. (shrink)

A comprehensive introduction to the ways in which meaning is conveyed in language. Alan Cruse covers semantic matters, but also deals with topics that are usually considered to fall under pragmatics. A major aim is to highlight the richness and subtlety of meaning phenomena, rather than to expound any particular theory.

So-called “traditional epistemology” and “Bayesian epistemology” share a word, but it may often seem that the enterprises hardly share a subject matter. They differ in their central concepts. They differ in their main concerns. They differ in their main theoretical moves. And they often differ in their methodology. However, in the last decade or so, there have been a number of attempts to build bridges between the two epistemologies. Indeed, many would say that there is just one branch of philosophy (...) here—epistemology. There is a common subject matter after all. In this paper, we begin by playing the role of a “bad cop,” emphasizing many apparent points of disconnection, and even conflict, between the approaches to epistemology. We then switch role, playing a “good cop” who insists that the approaches are engaged in common projects after all. We look at various ways in which the gaps between them have been bridged, and we consider the prospects for bridging them further. We conclude that this is an exciting time for epistemology, as the two traditions can learn, and have started learning, from each other. (shrink)

Pascal’s Wager involves expected utilities. In this chapter, we examine the Wager in light of two main features of expected utility theory: utilities and probabilities. We discuss infinite and finite utilities, and zero, infinitesimal, extremely low, imprecise, and undefined probabilities. These have all come up in recent literature regarding Pascal’s Wager. We consider the problems each creates and suggest prospects for the Wager in light of these problems.

I discuss two categories of causal relationships: primitive causal interactions of the sort characterized by Phil Dowe and the more general manipulable causal relationships as defined by James Woodward. All primitive causal interactions are manipulable causal relationships, but there are manipulable causal relationships that are not primitive causal interactions. I’ll call the latter constructed causal relationships, and I’ll argue that constructed causal relationships serve as a foundation for both computing and complex systems. -/- Perhaps even more interesting are autonomous causal (...) relationships. These are constructed causal relationships in which the causal mechanism resides primarily in the effect. A typical example is a software execution engine. Software execution engines are on the effect side of a cause-effect relationship in which software is the cause and the behavior of the execution engine is the effect. The mechanism responsible for that causal relationship resides in the execution engine. (shrink)

Thomas Kuhn’s depiction of scientific revolution has much in common with Charles Sanders Peirce’s portrayal of abductive reasoning, with each description outlining a template for the overthrow and reconstruction of contextual frameworks. Such upheavals are often ignited by a single individual and are frequently idiosyncratic and iconoclastic in nature. Accordingly, this essay explores the role autism plays in both scientific revolution and abductive reasoning, with an emphasis on the atypical perceptual characteristics that autistic individuals bring to the human population, characteristics (...) that are focused intensely on the underlying structural features to be found in the surrounding environment. Finally, the observation is made that the community-heavy practices of today's scientific world are systematically suppressing atypical perspectives, accounting for the current paucity of scientific revolution. (shrink)

Modern philosophy recognizes two major ethical theories: deontology, which encourages adherence to rules and fulfillment of duties or obligations; and consequentialism, which evaluates morally significant actions strictly on the basis of their actual or anticipated outcomes. Both involve the systematic application of universal abstract principles, reflecting the culturally dominant paradigm of technical rationality. Professional societies promulgate codes of ethics with which engineers are expected to comply, while courts and the public generally assign liability to engineers primarily in accordance with the (...) results of their work, whether intended or unintended. A third option, prominent in ancient philosophy, has reemerged recently: virtue ethics, which recognizes that sensitivity to context and practical judgment are indispensable in particular concrete situations, and therefore rightly focuses on the person who acts, rather than the action itself. Beneficial character traits—i.e., virtues—are identified within a specific social practice in light of the internal goods that are unique to it. This paper proposes a comprehensive framework for implementing virtue ethics within engineering. (shrink)

Bayesianism is our leading theory of uncertainty. Epistemology is defined as the theory of knowledge. So “Bayesian Epistemology” may sound like an oxymoron. Bayesianism, after all, studies the properties and dynamics of degrees of belief, understood to be probabilities. Traditional epistemology, on the other hand, places the singularly non-probabilistic notion of knowledge at centre stage, and to the extent that it traffics in belief, that notion does not come in degrees. So how can there be a Bayesian epistemology?

ABSTRACT: One important criticism of algorithmic systems is that they lack transparency. Such systems can be opaque because they are complex, protected by patent or trade secret, or deliberately obscure. In the EU, there is a debate about whether the General Data Protection Regulation (GDPR) contains a “right to explanation,” and if so what such a right entails. Our task in this chapter is to address this informational component of algorithmic systems. We argue that information access is integral for respecting (...) autonomy, and transparency policies should be tailored to advance autonomy. -/- To make this argument we distinguish two facets of agency (i.e., capacity to act). The first is practical agency, or the ability to act effectively according to one’s values. The second is what we call cognitive agency, which is the ability to exercise what Pamela Hieronymi calls “evaluative control” (i.e., the ability to control our affective states, such as beliefs, desires, and attitudes). We argue that respecting autonomy requires providing persons sufficient information to exercise evaluative control and properly interpret the world and one’s place in it. We draw this distinction out by considering algorithmic systems used in background checks, and we apply the view to key cases involving risk assessment in criminal justice decisions and K-12 teacher evaluation. -/- The link below is to an open access version of the chapter. (shrink)

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...) These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

I give concise derivations of Price's equation and the criteria for kin and group selection, prove that kin and group selection are equivalent, and discuss the controversies about altruism.

Many biologists and philosophers have worried that importing models of reasoning from the physical sciences obscures our understanding of reasoning in the life sciences. In this paper we discuss one example that partially validates this concern: part-whole reductive explanations. Biology and physics tend to incorporate different models of temporality in part-whole reductive explanations. This results from differential emphases on compositional and causal facets of reductive explanations, which have not been distinguished reliably in prior philosophical analyses. Keeping these two facets distinct (...) facilitates the identifi cation of two further aspects of reductive explanation: intrinsicality and fundamentality. Our account provides resources for discriminating between different types of reductive explanation and suggests a new approach to comprehending similarities and differences in the explanatory reasoning found in biology and physics. (shrink)

In this article we revisit the concept of a profession. Definitions of the concept are readily encountered in the literature on professions and we have collected a sample of such definitions. From this sample we distil frequently occurring elements and ask whether a synthesis of these elements adequately explains the concept. We find that bringing the most frequently occurring elements together does not adequately address the reason that society differentiates professions from other occupations or activities -- why there is a (...) concept of ‘profession’ at all. We suggest an alternative approach that attempts to make sense of the concept at a more general level. This more philosophical approach employs analytical tools from Julius Kovesi, Patricia Hanna and Bernard Harrison to address the question of what is the point of the concept. (shrink)

In recent years, educational institutions have started using the tools of commercial data analytics in higher education. By gathering information about students as they navigate campus information systems, learning analytics “uses analytic techniques to help target instructional, curricular, and support resources” to examine student learning behaviors and change students’ learning environments. As a result, the information educators and educational institutions have at their disposal is no longer demarcated by course content and assessments, and old boundaries between information used for assessment (...) and information about how students live and work are blurring. Our goal in this paper is to provide a systematic discussion of the ways in which privacy and learning analytics conflict and to provide a framework for understanding those conflicts. -/- We argue that there are five crucial issues about student privacy that we must address in order to ensure that whatever the laudable goals and gains of learning analytics, they are commensurate with respecting students’ privacy and associated rights, including (but not limited to) autonomy interests. First, we argue that we must distinguish among different entities with respect to whom students have, or lack, privacy. Second, we argue that we need clear criteria for what information may justifiably be collected in the name of learning analytics. Third, we need to address whether purported consequences of learning analytics (e.g., better learning outcomes) are justified and what the distributions of those consequences are. Fourth, we argue that regardless of how robust the benefits of learning analytics turn out to be, students have important autonomy interests in how information about them is collected. Finally, we argue that it is an open question whether the goods that justify higher education are advanced by learning analytics, or whether collection of information actually runs counter to those goods. (shrink)

Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be rei- fied is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the (alleged) truth of our propositions. These are called truthmakers. Re-visiting previous work, we propose in this paper a systematic analysis of truthmaking (...) patterns for properties and relations based on the ontolog- ical nature of their truthmakers. Truthmaking patterns will be presented as generalization of reification patterns, accounting for the fact that, in some cases, we do not reify a property or a relationship directly, but we rather reify its truthmakers. (shrink)

Robert Wilson’s The Eugenic Mind Project is a major achievement of engaged scholarship and socially relevant philosophy and history of science. It exemplifies the virtues of interdisciplinarity. As principal investigator of the Living Archives on Eugenics in Western Canada project, while employed in the Department of Philosophy at the University of Alberta, Wilson encountered a proverbial big ball of mud with questions and issues that involved local individuals living through a painful set of memories and implicated his institutional home in (...) outstanding moral obligations. It is engaged scholarship because it required building relationships with affected persons and taking responsibility for his institution’s legacy, as well as transforming Wilson’s own outlook along the way. It is socially relevant philosophy and history of science because it brings to light issues that remain salient today, especially how eugenic themes are ubiquitous in societal discourse and evinced in everyday decisions. It is interdisciplinary because to accomplish this type of analysis requires intellectual gymnastics that range over diverse domains of research: from standpoint theory and disability studies to oral history and governmental policy; from the evolutionary biology of prosociality and variation to conceptual questions about the categorization of human traits and types. (shrink)

This paper develops an understanding of climate denial as an expression of alienation in the sense described by Marx. We first argue for an expanded and differentiated conception of climate denial, theorizing four distinct types that go beyond the simple rejection of an anthropogenic warming trend: naturalist denialism, technological denialism, gradualist denialism, and politicized denialism. We then claim that these forms of climate denial illustrate and are illustrative of Marx’s concept of alienation from species-being (Gattungswesen). The article is intended as (...) a contribution to the growing literature on climate denial as a social and ideological problem rather than as an individual epistemic or moral issue. (shrink)

This paper lays out the basic structure of any view involving coincident entities, in the light of the grounding problem. While the account is not novel, I highlight fundamental features, to which attention is not usually properly drawn. With this in place, I argue for a number of further claims: The basic differences between coincident objects are modal differences, and any other differences between them need to be explained in terms of these differences. More specifically, the basic difference is not (...) a difference in sort. A number of recent defenses of coincidence, which share the basic structure I outline, misidentify what, in their accounts, plays the basic role of addressing the grounding problem. More tentatively, I argue Coincident entities differ only in these modal properties, and properties they entail. In particular, they do not differ in properties like ‘being a tree,’ ‘being a statue,’ or aesthetic properties, and finally in light of how the account of coincidence offered addresses the grounding problem, the grounding problem provides no reason to prefer monism to pluralism. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

While the image of the slave as the antithesis of the freeman is central to republican freedom, it is striking to note that slaves themselves have not contributed to how this condition is understood. The result is a one-sided conception of both freedom and slavery, which leaves republicanism unable to provide an equal and robust protection for historically outcast people. I draw on the work of Frederick Douglass – long overlooked as a significant contributor to republican theory – to show (...) one way why this is so. Focusing the American Revolution, the subsequent republican government established new political institutions to maintain the collective interests of the whole population. The political revolution was held in place by processes of public reason that reflected the values and ideas of the people that had rebelled. The black population, however, had not been part of this revolution. After emancipation, black Americans were required to accept terms of citizenship that had already been defined, leaving them socially dominated, subject to the prejudices and biases within the prevailing ideas of public discourse. Douglass argued that republican freedom under law is always dependent on a more fundamental revolution, that he calls a ‘radical revolution in thought’, in which the entire system of social norms and practices are reworked together by members of all constituent social groups – women and men, black and white, rich and poor – so that it reflects a genuinely collaborative achievement. Only then can we begin the republican project of contestatory freedom as independence or non-domination that today’s republicans take for granted. (shrink)

The Golden Rule (“what you want done [or not done] to yourself, do [or don’t do] to others”) is the most widely accepted summary statement of human morality, and even today it continues to have philosophical supporters. This article argues that the Golden Rule suffers from four faults, the first two related to the ethics of justice and the second two related to the ethics of benevolence. One, it fails to explain how to deal with non-reciprocation. Two, it fails to (...) make clear that my obligations are obligations regardless of how I would wish to be treated by others. Three, it lacks any special value in explaining the right occasions for benevolence. And, four, it has no power to motivate benevolence. (shrink)

Critiques John Martin Fischer's bootstrapping model of divine foreknowledge. Invited contribution to a special journal issue on John Martin Fischer's _Our Fate: Essays on God and Free Will_ (Oxford, 2016).

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

This paper defends the traditional view that the laws of nature are contingent, or, if some of them are necessary, this is due to analytic principles for the individuation of the law-governed properties. Fundamentally, I argue that the supposed explanatory purposes served by taking the laws to be necessary --showing how laws support counterfactuals, how properties are individuated, or how we have knowledge of properties--are in fact undermined by the continued possibility of the imagined scenarios--this time, described neutrally--which seemed to (...) disprove the claim to necessity in the first place. I speculate that this will be true for any proposed necessary a posteriori truths, and is a basis for rejecting their supposed metaphysical significance. (shrink)

This article discusses the views of Immanuel Kant on sexual perversion (what he calls "carnal crimes against nature"), as found in his Vorlesung (Lectures on Ethics) and the Metaphysics of Morals (both the Rechtslehre and Tugendlehre). Kant criticizes sexual perversion by appealing to Natural Law and to his Formula of Humanity. Neither argument for the immorality of sexual perversion succeeds.

Although they were never to meet and corresponded only briefly, Catharine Macaulay and Mary Wollstonecraft shared a mutual admiration and a strong intellectual bond. Macaulay’s work had a profound and lasting effect on Wollstonecraft, and she developed and expanded on many of Macaulay’s ideas. While she often took these in a different direction, there remains a great synergy between their ideas to the extent that we can understand Wollstonecraft’s own feminist arguments by approaching them through the frameworks and ideas that (...) Macaulay provided. These included the principles of classical republicanism, particularly in its understanding of the values of freedom, equality and virtue, and an understanding of reason as grounded in immutable principles that apply equally to both sexes. On the question of women’s freedom and social equality with men, I argue that though Macaulay sets up the problem in far richer and more detailed philosophical terms, in the end it is Wollstonecraft that has the more compelling account of its far-reaching social implications and of how this might be addressed. (shrink)

The artform of standup comedy can be seen as having much in common with the discipline of philosophy, particularly with the way philosophy is carried out or “performed,” whether professionally or otherwise. There are, for instance, certain basic similarities between how standup comedians and philosophers value ideals of clarity and precision when it comes to the issue of determining what kind of language is best to employ if one seeks to either effectively deliver a funny joke, as in the case (...) of standup comedy, or if one seeks to effectively articulate and present an argument that can later be assessed as sound, as in the case of philosophy. The reason this is of note is because it is rooted in another similarity that serves not only to bring these two activities significantly closer but to isolate standup comedy from most artforms when it comes to how it conceives of matters pertaining to interpretation and purpose. More specifically, this is the fact that standup comedians and philosophers alike hope, and even expect on some level, that, in the best of cases, their respective jokes and reasoned arguments will compel some form of unanimous approval from those who properly understand and engage with their content. When this observation is combined with the additional observation that jokes can also serve as vehicles for imparting wisdom of a genuinely philosophical nature despite the fact that generating laughter rather than seeking truth per se represents standup comedy’s ostensive primary goal, this leads one to wonder how porous the boundaries that otherwise serve to distinguish these two activities might be. In particular, in light of the nature and scope of the many similarities that can be said to exist between them, which I lay out and discuss in the article, it seems that standup comedy could even be reasonably argued to be the artform closest to philosophy. (shrink)

Deception of subjects is used frequently in the social sciences. Examples are provided. The ethics of experimental deception are discussed, in particular various maneuvers to solve the problem. The results have implications for the use of deception in the biomedical sciences.

Argues that divine timelessness is at best irrelevant and at worst counterproductive for addressing the problem of foreknowledge and future contingents.

Grounding has become all the rage in recent philosophical work and metaphilosophical discussions. While I agree that the concept of ground marks something useful, I am skeptical about the metaphysical weight many imbue it with, and the picture of ‘worldly layering’ that grounding talk inspires. My skepticism centers around the fact that grounding involves necessitation, combined with reasons for thinking matters of necessity are matters of logical or conceptual (semantic, psychological) relations. I sketch an argument for deflationism about ground based (...) on this sort of deflationism about necessity and essence. I also note that in at least some cases, the considerations supporting modal deflationism directly support deflationism about whatever grounding relations may obtain in these cases. (shrink)

The mature materialism of Joseph Priestley's Disquisitions relating to Matter and Spirit of 1777 is based on three main arguments: that Newton's widely-accepted scientific methodology requires the rejection of the 'hypothesis' of the soul; that a dynamic theory of matter breaks down the active/passive dichotomy assumed by many dualists; and that interaction between matter and spirit is impossible. In Matter and Spirit it is the first two arguments which are given greatest prominence; but it is the third argument which first (...) brought Priestley to take materialism seriously. It was an argument which had persistently troubled him in his dualist years, but it was not until 1774 in the Examination that he 'first entertained a serious doubt of the truth of the vulgar hypothesis'. Underlying this fact is an episode of some complexity which this article examines. (shrink)