Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to key (...) intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

I defend the widely-held view that morally worthy action need not be motivated by a desire to promote rightness as such. Some have recently come to reject this view, arguing that desires for rightness as such are necessary for avoiding a certain kind of luck thought incompatible with morally worthy action. I show that those who defend desires for rightness as such on the basis of this argument misunderstand the relationship between moral worth and the kind of luck that their (...) argument employs. Consequently, the argument provides no reason to doubt the popular view that a desire for rightness as such is no part of virtue. I conclude by suggesting that a family of worries about merely accidentally right action presuppose one side of the recent debate about objectivism and perspectivism about moral rightness. (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines a (...) dutch book, but we only have a partial converse. (shrink)

A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

It is widely thought that functionalism and the qualia theory are better positioned to accommodate the ‘affective’ aspect of pain phenomenology than representationalism. In this paper, we attempt to overturn this opinion by raising problems for both functionalism and the qualia theory on this score. With regard to functionalism, we argue that it gets the order of explanation wrong: pain experience gives rise to the effects it does because it hurts, and not the other way around. With regard to the (...) qualia theory, we argue that it fails to capture the sense in which pain 's affective phenomenology rationalises various bodily-directed beliefs, desires, and behaviours. Representationalism, in contrast, escapes both of these problems: it gets the order of explanation right and it explains how pain 's affective phenomenology can rationalise bodily-directed beliefs, desires, and behaviours. For this reason, we argue that representationalism has a significant advantage in the debates about pain 's affective phenomenology. We end the paper by examining objections, including the question of what representationalists should say about so-called ‘disassociation cases’, such as pain asymbolia. (shrink)

In this paper, we argue that several recent ‘wide’ perspectives on cognition (embodied, embedded, extended, enactive, and distributed) are only partially relevant to the study of cognition. While these wide accounts override traditional methodological individualism, the study of cognition has already progressed beyond these proposed perspectives towards building integrated explanations of the mechanisms involved, including not only internal submechanisms but also interactions with others, groups, cognitive artifacts, and their environment. The claim is substantiated with reference to recent developments in the (...) study of “mindreading” and debates on emotions. We claim that the current practice in cognitive (neuro)science has undergone, in effect, a silent mechanistic revolution, and has turned from initial binary oppositions and abstract proposals towards the integration of wide perspectives with the rest of the cognitive (neuro)sciences. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

A vexing problem in contemporary epistemology—one with origins in Plato’s Meno—concerns the value of knowledge, and in particular, whether and how the value of knowledge exceeds the value of mere true opinion. The recent literature is deeply divided on the matter of how best to address the problem. One point, however, remains unquestioned: that if a solution is to be found, it will be at the personal level, the level at which states of subjects or agents, as such, appear. We (...) take exception to this orthodoxy, or at least to its unquestioned status. We argue that subpersonal states play a significant—arguably, primary—role in much epistemically relevant cognition and thus constitute a domain in which we might reasonably expect to locate the “missing source” of epistemic value, beyond the value attached to mere true belief. (shrink)

There is an intuitive difference in how we think about pluralism and attitudinal diversity in epistemological contexts versus political contexts. In an epistemological context, it seems problematically arbitrary to hold a particular belief on some issue, while also thinking it perfectly reasonable to hold a totally different belief on the same issue given the same evidence. By contrast, though, it doesn’t seem problematically arbitrary to have a particular set of political commitments, while at the same time thinking it perfectly reasonable (...) for someone in a similar position have a totally different set of political commitments. This chapter examines three explanatory theses that might be used to make sense of this difference: (1) that practical commitments are desire dependent in a way that beliefs are not; (2) that there are reasons to be resolute in practical commitments, but not in beliefs; and (3) that compromise in the face of practical political disagreement doesn’t mitigate controversy, whereas compromise in the face of disagreement about mere beliefs does mitigate controversy. (shrink)

There are advantages to thrift over honest toil. If we can make do without numbers we avoid challenging questions over the metaphysics and epistemology of such entities; and we have a good idea, I think, of what a nominalistic metaphysics should look like. But minimizing ontology brings its own problems; for it seems to lead to error theory— saying that large swathes of common-sense and best science are false. Should recherche philosophical arguments really convince us to give all this up? (...) Such Moorean considerations are explicitly part of the motivation for the recent resurgence of structured metaphysics, which allow a minimal (perhaps nominalistic) fundamental ontology, while avoiding error-theory by adopting a permissive stance towards ontology that can be argued to be grounded in the fundamental. This paper evaluates the Moorean arguments, identifying key epistemological assumptions. On the assumption that Moorean arguments can be used to rule out error-theory, I examine deflationary ‘representationalist’ rivals to the structured metaphysics reaction. Quinean paraphrase, fictionalist claims about syntax and semantics are considered and criticized. In the final section, a ‘direct’ deflationary strategy is outlined and the theoretical obligations that it faces are articulated. The position advocated may have us talking a lot like a friend of structured metaphysics—but with a very different conception of what we’re up to. (shrink)

‘The problem with simulations is that they are doomed to succeed.’ So runs a common criticism of simulations—that they can be used to ‘prove’ anything and are thus of little or no scientific value. While this particular objection represents a minority view, especially among those who work with simulations in a scientific context, it raises a difficult question: what standards should we use to differentiate a simulation that fails from one that succeeds? In this paper we build on a structural (...) analysis of simulation developed in previous work to provide an evaluative account of the variety of ways in which simulations do fail. We expand the structural analysis in terms of the relationship between a simulation and its real-world target emphasizing the important role of aspects intended to correspond and also those specifically intended not to correspond to reality. The result is an outline both of the ways in which simulations can fail and the scientific importance of those various forms of failure. (shrink)

Philosophers have recently come to focus on explaining the phenomenon of ​bad beliefs,​ beliefs that are apparently true and well-evidenced but nevertheless objectionable. Despite this recent focus, a consensus is already forming around a particular explanation of these beliefs’ badness called ​moral encroachment​, according to which, roughly, the moral stakes engendered by bad beliefs make them particularly difficult to justify. This paper advances an alternative account not just of bad beliefs but of bad attitudes more generally according to which bad (...) beliefs’ badness originates not in a failure of sufficient evidence but in a failure to respond adequately to reasons. I motivate this alternative account through an analogy to recent discussions of moral worth centered on the well-known grocer case from Kant’s ​Groundwork​, and by showing that this analogy permits the proposed account to generalize to bad attitudes beyond belief. The paper concludes by contrasting the implications of moral encroachment and of the proposed account for bad attitudes’ blameworthiness. (shrink)

An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between (...) Frege's approach to logic and theirs. (shrink)

In this paper, we propose a mathematical model of subjective experience in terms of classes of hierarchical geometries of representations (“n-awareness”). We first outline a general framework by recalling concepts from higher category theory, homotopy theory, and the theory of (infinity,1)-topoi. We then state three conjectures that enrich this framework. We first propose that the (infinity,1)-category of a geometric structure known as perfectoid diamond is an (infinity,1)-topos. In order to construct a topology on the (infinity,1)-category of diamonds we then propose (...) that topological localization, in the sense of Grothendieck-Rezk-Lurie (infinity,1)-topoi, extends to the (infinity,1)-category of diamonds. We provide a small-scale model using triangulated categories. Finally, our meta-model takes the form of Efimov K-theory of the (infinity,1)-category of perfectoid diamonds, which illustrates structural equivalences between the category of diamonds and subjective experience (i.e.its privacy, self-containedness, and self-reflexivity). Based on this, we investigate implications of the model. We posit a grammar (“n-declension”) for a novel language to express n-awareness, accompanied by a new temporal scheme (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? We also examine the notion of “self” within our framework. A new model of personal identity is introduced which resembles a categorical version of the “bundle theory”: selves are not substances in which properties inhere but (weakly) persistent moduli spaces in the K-theory of perfectoid diamonds. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

Do factive mental states come in degrees? If so, what is their underlying structure, and what is their theoretical significance? Many have observed that ‘knows that’ is not a gradable verb and have taken this to be strong evidence that propositional knowledge does not come in degrees. This paper demonstrates that the adjective ‘aware that’ passes all the standard tests of gradability, and thus strongly motivates the idea that it refers to a factive mental state that comes in degrees. We (...) will explore a range of structural questions that have been overlooked in regard to our awareness of facts, showing that the degreed structure of awareness has significant implications for our understanding of knowledge. (shrink)

This essay takes a critical look at aesthetics as the basis for nature preservation, presenting three reasons why we should not rely on aesthetic foundations to justify the environmentalist program. First, a comparison to other kinds of aesthetic value shows that the aesthetic value of nature can provide weak reasons foraction atbest. Second, not everything environmentalists want to protect has positive aesthetic qualities. Attempts have been made to get around this problem by developing a reformist attitude towards natural aesthetics. I (...) argue that these approaches fail. Third, development can be as aesthetically positive as nature. If it is simply beauty we are looking for, why can't the beauty of a wellconstructed dam or a magnificent skyscraper suffice? (shrink)

The concept of moral wrongness, many think, has a distinctive kind of referential stability, brought out by moral twin earth cases. This article offers a new account of the source of this stability, deriving it from a metaphysics of content: “substantive” radical interpretation, and first-order normative assumptions. This story is distinguished from extant “reference magnetic” explanations of the phenomenon, and objections and replies are considered.

Suppose that you're certain that a certain sentence, e.g. "Frida is tall", lacks a determinate truth value. What cognitive attitude should you take towards it—reject it, suspend judgment, or what else? We show that, by adopting a seemingly plausible principle connecting credence in A and Determinately A, we can prove a very implausible answer to this question: i.e., all indeterminate claims should be assigned credence zero. The result is striking similar to so-called triviality results in the literature on modals and (...) conditionals. (shrink)

In this Introduction we introduce the central themes of the Evaluative Perception volume. After identifying historical and recent contemporary work on this topic, we discuss some central questions under three headings: (1) Questions about the Existence and Nature of Evaluative Perception: Are there perceptual experiences of values? If so, what is their nature? Are experiences of values sui generis? Are values necessary for certain kinds of experience? (2) Questions about the Epistemology of Evaluative Perception: Can evaluative experiences ever justify evaluative (...) judgments? Are experiences of values necessary for certain kinds of justified evaluative judgments? (3) Questions about Value Theory and Evaluative Perception: Is the existence of evaluative experience supported or undermined by particular views in value theory? Are particular views in value theory supported or undermined by the existence of value experience? (shrink)

Sometimes it is indeterminate what an agent morally ought do. This generates a Decision Ought Challenge—to give moral guidance to agents in such a scenario. This article is a field guide to the options for a theory of the decision ought for cases of indeterminacy. Three categories of view are evaluated, and the best representative for each is identified.

Is simulation some new kind of science? We argue that instead simulation fits smoothly into existing scientific practice, but does so in several importantly different ways. Simulations in general, and computer simulations in particular, ought to be understood as techniques which, like many scientific techniques, can be employed in the service of various and diverse epistemic goals. We focus our attentions on the way in which simulations can function as (i) explanatory and (ii) predictive tools. We argue that a wide (...) variety of simulations, both computational and physical, are best conceived in terms of a set of common features: initial or input conditions, a mechanism or set of rules, and a set of results or output conditions. Studying simulations in these terms yields a new understanding of their character as well as a body of normative recommendations for the care and feeding of scientific simulations. (shrink)

Some moral theorists argue that being an innocent beneficiary of significant harms inflicted by others may be sufficient to ground special duties to address the hardships suffered by the victims, at least when it is impossible to extract compensation from those who perpetrated the harm. This idea has been applied to climate change in the form of the beneficiary-pays principle. Other philosophers, however, are quite sceptical about beneficiary pays. Our aim in this article is to examine their critiques. We conclude (...) that, while they have made important points, the principle remains worthy of further development and exploration. Our purpose in engaging with these critiques is constructive — we aim to formulate beneficiary pays in ways that would give it a plausible role in allocating the cost of addressing human-induced climate change, while acknowledging that some understandings of the principle would make it unsuitable for this purpose. (shrink)

One critique of experimental philosophy is that the intuitions of the philosophically untutored should be accorded little to no weight; instead, only the intuitions of professional philosophers should matter. In response to this critique, “experimentalists” often claim that the intuitions of professional philosophers are biased. In this paper, we explore this question of whose intuitions should be disqualified and why. Much of the literature on this issue focuses on the question of whether the intuitions of professional philosophers are reliable. In (...) contrast, we instead focus on the idea of “muddled” intuitions—i.e. intuitions that are misdirected and about notions other than the ones under discussion. We argue that the philosophically untutored are likely to have muddled intuitions and that professional philosophers are likely to have unmuddled intuitions. Although being umuddled does not, by itself, establish the reliability of the intuitions of professional philosophers, being muddled is enough to disqualify the intuitions of the philosophically untutored. We then turn to the charge that, despite being unmuddled, professional philosophers still have biased intuitions. To evaluate this charge, we switch focus from the general notion of biased intuition to the more specific notion of theory-laden intuition. We argue that there is prima facie evidence—in the form of the presence of conflicts of intuition—for thinking that at least some of the intuitions of professional philosophers are theory-laden. In summary, we conclude that that there is no clean and easy answer to the question of whose intuitions should matter. (shrink)

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...) appearance of critical reviews by members of the Boolean school. (shrink)

The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand it is a (...) guideline how to build a deontic action logic which satisfies the desired properties. (shrink)

Competitive negotiators frequently use tactics which others view as "unethical", in that these tactics either violate standards of truth telling or violate the perceived rules of negotiation. This paper sought to determine how business students viewed a number of marginally ethical negotiating tactics, and to determine the underlying factor structure of these tactics. The factor analysis of these tactics revealed five clear factors which were highly similar across the two samples, and which parallel (to a moderate degree) categories of tactics (...) proposed by earlier theory. Data from one sample also permitted comparisons of the appropriateness of certain tactics across gender, nationality, ethnic origin and perception of one's negotiating style. (shrink)

This paper investigates whether search engines and other new modes of online communication should be covered by free speech principles. It criticizes the analogical reason-ing that contemporary American courts and scholars have used to liken search engines to newspapers, and to extend free speech coverage to them based on that likeness. There are dissimilarities between search engines and newspapers that undermine the key analogy, and also rival analogies that can be drawn which don’t recommend free speech protection for search engines. (...) Partly on these bases, we argue that an analogical approach to questions of free speech coverage is of limited use in this context. Credible verdicts about how free speech principles should apply to new modes of online com-munication require us to re-excavate the normative foundations of free speech. This method for deciding free speech coverage suggests that only a subset of search engine outputs and similar online communication should receive special protection against government regulation. (shrink)

Many theories about the teaching of logic and critical thinking take for granted that theoretical learning, the learning of formal rules for example, and its practical application are sufficient to master the tools taught and to take the habit of using them. However, this way of teaching is not efficient, a conclusion supported by much work in cognitive science. Approaching cognition evolutionarily with dual-process theories allows for an explanation of these insufficiencies and offers clues on how we could teach critical (...) thinking and logic more efficiently. In this article, we want to present this approach and explore these leads in order to make some pedagogical recommendations and lay the foundations of a framework. We will put forward an example of the application of this research program with philosophy for children. (shrink)

In Humanity’s End: Why We Should Reject Radical Enhancement, Nicholas Agar presents a novel argument against the prospect of radical life-extension. Agar’s argument hinges on the claim that extended lifespans will result in people’s lives being dominated by the fear of death. Here we examine this claim and the surrounding issues in Agar’s discussion. We argue, firstly, that Agar’s view rests on empirically dubious assumptions about human rationality and attitudes to risk, and secondly, that even if those assumptions are granted, (...) the fears that Agar adverts to are unlikely to dominate people’s lives if and when radical life-extension is made possible. Further, we claim that the structure of the decision-making process around life-extension is unlikely to be the way that it would have to be in order for Agar’s claims about fear of death to make sense. Finally, we argue that Agar is implicitly committed to a narrow conception of human value. In response, we suggest that the pursuit of life-extension can itself be seen as an expression of certain important aspects of our distinctively human nature. (shrink)

If people have stringent moral rights, then the doctrine of double effect is false or unimportant, at least when it comes to making acts permissible or wrong. There are strong and weak versions of the doctrine of double effect. The strong version asserts that an act is morally right if and only if the agent does not intentionally infringe a moral norm and the act brings about a desirable result (perhaps the best state of affairs available to the agent or (...) a promotion of the common good). The weak version asserts that, other things being equal, it is deontically worse to intentionally infringe a norm than to foreseeably do so. A person’s intention or mere foresight might still be relevant to his or her blameworthiness or virtue, but this is a separate issue. (shrink)

Multiple-choice questions have an undeserved reputation for only being able to test student recall of basic facts. In fact, well-crafted mechanically gradable questions can measure very sophisticated cognitive skills, including those engaged at the highest level of Benjamin Bloom’s taxonomy of outcomes. In this article, I argue that multiple-choice questions should be a part of the diversified assessment portfolio for most philosophy courses. I present three arguments broadly related to fairness. First, multiple-choice questions allow one to consolidate subjective decision making (...) in a way that makes it easier to manage. Second, multiple-choice questions contribute to the diversity of an evaluation portfolio by balancing out problems with writing-based assessments. Third, by increasing the diversity of evaluations, multiple-choice questions increase the inclusiveness of the course. In the course of this argument I provide examples of multiple-choice questions that measure sophisticated learning and advice for how to write good multiple-choice questions. (shrink)

I claim that differences in the importance attached to economic liberty are more important in debates over the use of genetically modified organisms (GMOs) in agriculture than disagreements about the precautionary principle. I will argue this point by considering a case study: the decision by the U.S. Animal and Plant Health Inspection Service (APHIS) to grant nonregulated status to Roundup Ready soy. I will show that the unregulated release of this herbicide-resistant crop would not be acceptable morally unless one places (...) a very high premium on economic liberty. This is true even if one takes a sound science attitude to unknown risks, rather than a precautionary attitude. I concede that it may not have been within APHIS’s legislative mandate to regulate Roundup Ready soy further, but for those of us who do not put a high premium on economic liberty, this only calls for extending regulatory oversight of GMOs. (shrink)

Literature reviews have traditionally been a simple exercise in reporting the current relevant research, both to provide an overview of the current status of the field, and perhaps to draw attention to controversies. From the perspective of positivist research traditions, it was important to neutrally report all the relevant research, which was assumed to be foundational. In this article, written for the Applied Critical Realism special issue of Journal of Critical Realism, I use my own research to illustrate how a (...) literature review might look if it were non-foundational and guided by the principles of immanent critique. Immanent critique is central to Bhaskar’s philosophical methodology but has not been much applied in critical realist empirical research. Following a brief introduction to immanent critique, its history and relation to other ways of grounding knowledge, an excerpt from a literature review is used as backdrop for an extended discussion about various potential applications, and impl... (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

Responsibility is impossible because there is no responsibility-maker and there needs to be one if people are morally responsible. The two most plausible candidates, psychology and decision, fail. A person is not responsible for an unchosen psychology or a psychology that was chosen when the person is not responsible for the choice. This can be seen in intuitions about instantly-created and manipulated people. This result is further supported by the notion that, in general, the right, the good, and virtue rest (...) on the exercise of a capacity rather than the capacity itself. It is also supported by the notion that negligence is not a responsibility-maker. ​ A person is not responsible for a choice that does not reflect his psychology or that does reflect it when he is not responsible for the psychology. This can be seen by considering intuitions regarding acts that are unconnected or arbitrarily connected to a person’s psychology. It can also be seen intuitions about acts that result from a manipulated psychology. The problem with choice as a foundation can be further seen in that an infinite or self-created person would not be responsible despite these superhuman choice-related features. (shrink)

Chancy counterfactuals are a headache. Dylan Dodd (2009) presents an interesting argument against a certain general strategy for accounting for them, instances of which are found in the appendices to Lewis (1979) and in Williams (2008). I will argue (i) that Dodd’s understates the counterintuitiveness of the conclusions he can reach; (ii) that the counterintuitiveness can be thought of as an instance of more general oddities arising when we treat vagueness and indeterminacy in a classical setting; and (iii) the underlying (...) source of discontent which animates Dodd’s complains is to be found in a certain general constraint one might impose on conditionals—what I’ll call the counterfactual Ramsey bound. Unfortunately, the counterfactual Ramsey bound is just as problematic as its famous indicative cousin. The moral is that there’s no comfortable resting place in this area; for violations of the counterfactual Ramsey bound are going to lead to prima facie surprising results. (shrink)

In view of scholarly work that has explored the socio-psycho significance of national performativity, the body and the “other,” this article critically analyses newspaper representations of the Canadian-born British tennis player Greg Rusedski. Drawing on Lacanian interpretations of the body, it illustrates how Rusedski’s media framing centered on a particular feature of his body—his “smile.” In doing so, we detail how Rusedski’s “post-imperial” Otherness—conceived as a form of “extimacy” (extimité)—complicated any clear delineation between “us” and “them,” positing instead a dialectical (...) understanding of the splits, voids and contradictions that underscore the national “us.”. (shrink)

This article offers a comprehensive and critical analysis of Eric Heinze’s book Hate Speech and Democratic Citizenship (Oxford University Press, 2016). Heinze’s project is to formulate and defend a more theoretically complex version of the idea (also defended by people like Ronald Dworkin and James Weinstein) that general legal prohibitions on hate speech in public discourse compromises the state’s democratic legitimacy. We offer a detailed synopsis of Heinze’s view, highlighting some of its distinctive qualities and strengths. We then develop a (...) critical response to this view with three main focal points: (1) the characterisation of democratic legitimacy as something distinct from (and whose demands aren’t identical with those of) legitimacy per se; (2) the claim that the requirements of democracy are hypothetical, rather than categorical, imperatives; and relatedly (3) the question of how we should reconcile the requirements of democratic legitimacy with the costs that may follow from prioritising democratic legitimacy. We argue that there are significant difficulties for Heinze’s account on all three fronts. (shrink)

In the De Anima, Aristotle claims that the five senses are infallible about their proper objects. I contend that this claim means that sight is infallible about its proper object in its most specific form, i. e. sight is infallible about red or green and not merely about color in general. This robust claim is justified by Aristotle’s teleological principle that nature does nothing in vain. Additionally, drawing on Aristotle’s comparison of perception and one’s understanding of the essences, I defend (...) a conception of the senses in which the structure of their contents is simple rather than predicative and show how this coheres better with the rest of my interpretation. (shrink)

Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean (...) algebra. (shrink)

Ontologies describe reality in specific domains in ways that can bridge various disciplines and languages. They allow easier access and integration of information that is collected by different groups. Ontologies are currently used in the biomedical sciences, geography, and law. A Biomedical Ethics Ontology would benefit members of ethics committees who deal with protocols and consent forms spanning numerous fields of inquiry. There already exists the Ontology for Biomedical Investigations (OBI); the proposed BMEO would interoperate with OBI, creating a powerful (...) information tool. We define a domain ontology and begin to construct a BMEO, focused on the process of evaluating human research protocols. Finally, we show how our BMEO can have practical applications for ethics committees. This paper describes ongoing research and a strategy for its broader continuation and cooperation. (shrink)

In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the (...) most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational contexts, and their relationship to the two concepts of obligation: abstract and derived. (shrink)

We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic (...) capacities. Moreover, we try to express the description of problem speci cation using the tools from applied ontology { RDF format for information and the Protege editor. (shrink)

D. M. Armstrong famously claims that deterministic laws of nature are contingent relations between universals and that his account can also be straightforwardly extended to irreducibly probabilistic laws of nature. For the most part, philosophers have neglected to scrutinize Armstrong’s account of probabilistic laws. This is surprising precisely because his own claims about probabilistic laws make it unclear just what he takes them to be. We offer three interpretations of what Armstrong-style probabilistic laws are, and argue that all three interpretations (...) are incompatible either with some feature of Armstrong’s broader metaphysics or with essential features of his account of laws (or both). (shrink)