At the heart of Levinas’s work is the apparently simple idea that through the encounter with another person, we are forced to give up our self-concern and take heed of the ethical relation between us. But, while simple on the surface, when one tries to characterize it in more detail, it can be hard to fit together the various ways in which Levinas talks about this relation and to identify precisely what he took its normative structure to be, as this (...) is described in a number of apparently different ways, that are not obviously compatible or equivalent, such as “command,” “call,” “summons,” “demand,” and so on. In this chapter, we intend to focus on these different characterizations and show what makes them different while also endeavoring to find a way in which Levinas’s conception may nonetheless be fitted together into a coherent account of the face-to-face encounter that is at the heart of his ethics. We will begin by considering the different normative terms used to characterize the encounter in that text and show how they are conceptually distinct from one another; we will then offer a way to read Levinas’s position to nonetheless show how these different normative relations can be fitted together into a stable position. (shrink)

In Understanding Moral Obligation: Kant, Hegel, Kierkegaard, Robert Stern argues that Hegel has a social command view of obligation. On this view, there is an element of social command or social sanction that must be added to a judgment of the good in order to bring about an obligation. I argue to the contrary that Hegel's conception of conscience, and thus the individual's role in obligation, is more central to his account than the social dimension. While agreeing with (...) Stern that Hegel's conception of Sittlichkeit does preserve a role for obligation, and that the social plays an important part in that account, I argue that there is no extra social component that converts the morally good into obligation. Rather, Hegel's conception of Sittlichkeit as the “living good” means that judgments of the moral facts are simultaneously judgments of obligation. (shrink)

This paper explores the relationship between eugenics, disability, and dehumanization, with a focus on forms of eugenics beyond Nazi eugenics.

The impressive variation amongst biological individuals generates many complexities in addressing the simple-sounding question what is a biological individual? A distinction between evolutionary and physiological individuals is useful in thinking about biological individuals, as is attention to the kinds of groups, such as superorganisms and species, that have sometimes been thought of as biological individuals. More fully understanding the conceptual space that biological individuals occupy also involves considering a range of other concepts, such as life, reproduction, and agency. There has (...) been a focus in some recent discussions by both philosophers and biologists on how evolutionary individuals are created and regulated, as well as continuing work on the evolution of individuality. (shrink)

Kim’s causal exclusion argument purports to demonstrate that the non-reductive physicalist must treat mental properties (and macro-level properties in general) as causally inert. A number of authors have attempted to resist Kim’s conclusion by utilizing the conceptual resources of Woodward’s interventionist conception of causation. The viability of these responses has been challenged by Gebharter, who argues that the causal exclusion argument is vindicated by the theory of causal Bayesian networks (CBNs). Since the interventionist conception of causation relies crucially on CBNs (...) for its foundations, Gebharter’s argument appears to cast significant doubt on interventionism’s anti-reductionist credentials. In the present article, we both (1) demonstrate that Gebharter’s CBN-theoretic formulation of the exclusion argument relies on some unmotivated and philosophically significant assumptions (especially regarding the relationship between CBNs and the metaphysics of causal relevance), and (2) use Bayesian networks to develop a general theory of causal inference for multi-level systems that can serve as the foundation for an anti-reductionist interventionist account of causation.1. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

This paper offers an overview of "the species problem", arguing for a view of species as homeostatic property cluster kinds, positioning the resulting form of realism about species as an alternative to the claim that species are individuals and pluralistic views of species. It draws on taxonomic practice in the neurosciences, especially of neural crest cells and retinal ganglion cells, to motivate both the rejection of the species-as-individuals thesis and species pluralism.

In the good old days, when general philosophy of science ruled the Earth, a simple division was often invoked to talk about philosophical issues specific to particular kinds of science: that between the natural sciences and the social sciences. Over the last 20 years, philosophical studies shaped around this dichotomy have given way to those organized by more fine-grained categories, corresponding to specific disciplines, as the literatures on the philosophy of physics, biology, economics and psychology--to take the most prominent four (...) examples--have blossomed. In general terms, work in each of these areas has become increasingly enmeshed with that in the corresponding science itself, increasingly naturalistic (in at least one sense of that term), and in my view, increasingly interesting. (shrink)

Are interpersonal comparisons of desire possible? Can we give an account of how facts about desires are grounded, that underpins such comparisons? This paper supposes the answer to the first question is yes, and provides an account of the nature of desire that explains how this is so. The account is a modification of the interpretationist metaphysics of representation that the author has recently been developing. The modification is to allow phenomenological affective valence into the “base facts” on which correct (...) interpretation is grounded. To use this extra resource within that theory to vindicate interpersonal comparisons, we will need to appeal rational connections between level of valence and level of desire, which this paper sets out and examines. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

Does consciousness survive bodily death? This question remains a profound, perennial mystery. Although scientific studies have focused on out-of-body experiences (OBEs) and near-death experiences (NDEs), there is scant evidence to support the claim that consciousness survives death. Many speculative theories state that consciousness moves through various afterlife realities. Tantalizing clues are found in world religion, esoteric philosophy, extrasensory perception, hypnotic regression, and scientific experimentation. At the present time, there is an abundance of theoretical scholarly discourse on the topic of “survival.” (...) After 60 years of NDE research, common ground has been established from NDEers’ anecdotal evidence and perceptual experiences. (shrink)

It is not uncommon in educational research and social science in general either to eschew the word truth or to put it in scare quotes in order to signify scepticism about it. After the initial wave of relativism in the philosophy of natural science, a second wave has developed in social science with the rise of postmodernism and poststructuralism. The tendency here is to relativise truth or to bracket out questions of truth. In contradistinction, this paper revindicates the metaphysical nature (...) of truth. Truth is a transcendental precondition of educational inquiry and is best understood as a formal, regulative norm. Realism about truth enjoins a defence of the correspondence theory, which is provided here. At the same time, however, the development of realism in the social sciences has ironically followed the postmodernists in its scepticism about truth and its rejection of the correspondence theory. This paper critically appraises such recent developments, since all research is unintelligible without realism about the social world and whether our substantive knowledge-claims correspond with it. (shrink)

A common compatibilist view says that we are free and morally responsible in virtue of the ability to respond aptly to reasons. Many hold a version of this view despite disagreement about whether free will requires the ability to do otherwise. The canonical version of this view is reductive. It reduces the pertinent ability to a set of modal properties that are more obviously compatible with determinism, like dispositions. I argue that this and any reductive view of abilities faces a (...) significant challenge: it cannot adequately explain the freedom-grounding element of this ability. The problem has the form of a dilemma. This leaves reasons-responsive compatibilists with two options: abandon theories of free will grounded in abilities or abandon reductive theories of abilities. (shrink)

Bayesians standardly claim that there is rational pressure for agents’ credences to cohere across time because they face bad (epistemic or practical) consequences if they fail to diachronically cohere. But as David Christensen has pointed out, groups of individual agents also face bad consequences if they fail to interpersonally cohere, and there is no general rational pressure for one agent's credences to cohere with another’s. So it seems that standard Bayesian arguments may prove too much. Here, we agree with Christensen (...) that there is no general rational pressure to diachronically cohere, but we argue that there are particular cases in which there is rational pressure to diachronically cohere, as well as particular cases in which interpersonal probabilistic coherence is rationally required. More generally, we suggest that Bayesian arguments for coherence apply whenever a collection (of agents or time slices) has a shared dimension of value and an ability to coordinate their actions in a range of cases relevant to that value. Typically, this shared value and ability to coordinate is very strong across the time slices of one human being, and very weak across different human beings, but there are special cases where these can switch—i.e., some groups of humans will have as much reason for their beliefs to cohere across a particular range of cases as the time slices of one human usually do, but some time slices of a human will have as much freedom to differ in their beliefs from the others as the members of a group usually do. (shrink)

P.F. Strawson’s account of moral responsibility in “Freedom and Resentment” has been widely influential. In both that paper and in the contemporary literature, much attention has been paid to Strawson’s account of blame in terms of reactive attitudes like resentment and indignation. The Strawsonian view of praise in terms of gratitude has received comparatively little attention. Some, however, have noticed something puzzling about gratitude and accountability. We typically understand accountability in terms of moral demands and expectations. Yet gratitude does not (...) express or enforce moral demands or expectations. So, how is it a way to hold an agent accountable? In a more general manner, we might ask if there is even sense to be made of the idea that agents can be accountable—i.e., “on the hook”—in a positive way. In this paper, I clarify the relationship between gratitude and moral accountability. I suggest that accountability is a matter of engaging with others in a way that is basically concerned with their feelings and attitudes rather than solely a matter of moral demands. Expressions of gratitude are a paradigmatic form of this concerned engagement. I conclude by defending my view from the objection that it leads to an overly generous conception of holding accountable and suggest in reply that moral responsibility skeptics may not help themselves to as many moral emotions as they might have thought. (shrink)

In this paper I begin by explaining what epistemic injustice is and what ordinary language philosophy is. I then go on to ask why we might doubt the usefulness of ordinary language philosophy in examining epistemic injustice. In the first place, we might wonder how ordinary language philosophy can be of use, given that many of the key terms used in discussing epistemic injustice, including ‘epistemic injustice’ itself, are not drawn from our ordinary language. We might also have doubts about (...) the usefulness of ordinary language philosophy in this area, given ordinary language philosophers’ aversion to theory. Finally, we might have doubts about the usefulness of ordinary language philosophy due to the fact that the study of epistemic injustice is clearly a study of practical matters concerning the way the world is and has been historically. If ordinary language philosophy is just concerned with grammar, what use can it be to practical and social philosophy concerning current issues? In response to these worries, I demonstrate the usefulness of ordinary language philosophy in practice by applying the insights of Ludwig Wittgenstein and Alan R. White to a problem that Miranda Fricker raises, but does not answer: about whether there is a confidence condition on knowledge. I also make use of Gilbert Ryle's distinction between ‘the use of ordinary language’ and ‘the ordinary use of an expression’ to show that the terminology used in examining epistemic injustice is ordinary in some sense. (shrink)

It is a consequence of the theory of imprecise credences that there exist situations in which rational agents inevitably become less opinionated toward some propositions as they gather more evidence. The fact that an agent's imprecise credal state can dilate in this way is often treated as a strike against the imprecise approach to inductive inference. Here, we show that dilation is not a mere artifact of this approach by demonstrating that opinion loss is countenanced as rational by a substantially (...) broader class of normative theories than has been previously recognised. Specifically, we show that dilation-like phenomena arise even when one abandons the basic assumption that agents have (precise or imprecise) credences of any kind, and follows directly from bedrock norms for rational comparative confidence judgements of the form `I am at least as confident in p as I am in q'. We then use the comparative confidence framework to develop a novel understanding of what exactly gives rise to dilation-like phenomena. By considering opinion loss in this more general setting, we are able to provide a novel assessment of the prospects for an account of inductive inference that is not saddled with the inevitability of rational opinion loss. (shrink)

The world of artificial intelligence appears to be in rapid transition, and claims that artificial general intelligence is impossible are competing with concerns that we may soon be seeing Artificial Godlike Intelligence and that we should be very afraid of this prospect. This article discusses the issues from a psychological and social perspective and suggests that with the advent of Generative Artificial Intelligence, something that looks to humans like Artificial General Intelligence has become a distinct possibility as is the idea (...) of making it semi-autonomous: not just responding to discrete external inputs or performing specific tasks but able to prompt itself to create an ongoing stream of cognition that can possess something akin to a ‘purpose’. Add to that the ability of computers to be connected in vast networks, and we can envisage intelligences with staggering amounts of knowledge and reasoning capability, engaging with humans to anticipate and grant wishes. Such Semi-Autonomous Godlike Artificial Intelligences (SAGAIs—meaning ‘engagements’ in Hindi) could end up like Kali, wreaking death and destruction on our species or like Thor, acting as a saviour and protector of humanity. Which of these our SAGAIs most resemble could depend on whose wishes it is designed to serve: a rich oligarchy seeking ever greater wealth and power whatever the cost to others, or a populace that has compassion for each other and for life on the planet. (shrink)

The standard event-causal theory of action says that an intentional action is caused in the right way by the right mental states. This view requires reductionism about agency. The causal role of the agent must be nothing over and above the causal contribution of the relevant mental event-causal processes. But commonsense finds this reductive solution to the “agent-mind problem”, the problem of explaining the relationship between agents and the mind, incredible. Where did the agent go? This paper suggests that this (...) challenge against event-causal reductionism is importantly related to debates about fundamentality. It also suggests that extant event-causal answers to the agent-mind problem, ones that suggest that part of an agent’s mind can stand proxy for the agent herself, fail against the challenge. It sketches an alternative reductive view that appeals to entity grounding. This view resolves the commonsense challenge and promises to be theoretically fruitful with respect to other longstanding problems with the event-casual view. The paper concludes with a burden-shifting argument against emergentist agent-causal theories and non-reductive event-causal theories of agency. (shrink)

In this paper, I use interventionist causal models to identify some novel Newcomb problems, and subsequently use these problems to refine existing interventionist treatments of causal decision theory. The new Newcomb problems that make trouble for existing interventionist treatments involve so-called ‘exotic choice’—that is, decision-making contexts where the agent has evidence about the outcome of her choice. I argue that when choice is exotic, the interventionist can adequately capture causal decision-theoretic reasoning by introducing a new interventionist approach to updating on (...) exotic evidence. But I also argue that this new updating procedure is principled only if the interventionist trades in the typical interventionist conception of choice for an alternative Ramseyan conception. I end by arguing that the guide to exotic choice developed here may, despite its name, be useful in some everyday contexts. (shrink)

In a well-known apocryphal story, Theresa of Avila falls off the donkey she was riding, straight into mud, and injures herself. In response, she seems to blame God for her fall. A playful if indignant back and forth ensues. But this is puzzling. Theresa should never think that God is blameworthy. Why? Apparently, one cannot blame what one worships. For to worship something is to show it a kind of reverence, respect, or adoration. To worship is, at least in part, (...) to praise. You cannot praise and blame simultaneously. Indeed, Paul counsels against “back-talk” against God, suggesting we lack the standing to blame our creator (Romans 9:20). Drawing on Strawsonian theorizing about praise and blame, this paper argues that, surprisingly, a person can both blame and worship God. Although blameful worship is possibly epistemically akratic, it may sometimes be acceptable given our nature as finite, emotional beings. In fact, blaming God might on occasion be the only way we have to stand with God’s goodness despite apparent evidence of evil in the world. This suggestion, I’ll argue, should change the way we think about the problem of evil. The problem has interpersonal and moral psychological dimensions that merit serious attention. (shrink)

This paper articulates and responds to a challenge to contemporary compatibilist views of free will. Despite the popularity and appeal of compatibilist theories, many are left with lingering doubts about compatibilism. This paper explains this doubt in terms of the absurdity challenge: because a compatibilist accepts that they do not have causal access to all the actual sufficient causal sources of their own agency, the compatibilist can find their own agency absurd. By taking a cue from political philosophy, this paper (...) argues that a non-ideal construction of the problem of free will allows compatibilists to overcome this existential-metaphysical challenge, and by doing so, perhaps adopt a metaphysically progressive picture of human agency. (shrink)

This article explores the metaphor of Science as provider of sharp images of our environment, using the epistemological framework of Objective Cognitive Constructivism. These sharp images are conveyed by precise scientific hypotheses that, in turn, are encoded by mathematical equations. Furthermore, this article describes how such knowledge is pro-duced by a cyclic and recursive development, perfection and reinforcement process, leading to the emergence of eigen-solutions characterized by the four essential properties of precision, stability, separability and composability. Finally, this article discusses (...) the role played by ontology and metaphysics in the scientific production process, and in which sense the resulting knowledge can be considered objective. (shrink)

ABSTRACT ABSTRACT: Nietzsche, we are often told, had an account of 'self' or 'mind' or a 'philosophical psychology', in which what he calls our 'drives' play a highly significant role. This underpins not merely his understanding of mind, in particular, of consciousness and action. but also his positive ethics, be they understood as authenticity, freedom, knowledge, autonomy, self-creation, or power. But Nietzsche did not have anything like a coherent account of 'the drives' according to which the self, the relationship between (...) thought and action, or consciousness could be explained; consequently, he did not have a stable account of drives on which his positive ethics could rest. By this, I do not mean that his account is incomplete or that it is philosophically indefensible: both would leave open, misleadingly, the possibility of a rational reconstruction of Nietzsche’s views; both would already assume more unity and coherence than we find in his texts. Specifically, as I show through detailed analysis, Nietzsche provides varied and inconsistent accounts of what a 'drive' is, how much we can know about drives, and the relationship between drives and conscious deliberations about action. I conclude by questioning the hunt for a Nietzschean theory: is this the best way to be reading him? (shrink)

The full Bayesian signi/cance test (FBST) for precise hypotheses is presented, with some illustrative applications. In the FBST we compute the evidence against the precise hypothesis. We discuss some of the theoretical properties of the FBST, and provide an invariant formulation for coordinate transformations, provided a reference density has been established. This evidence is the probability of the highest relative surprise set, “tangential” to the sub-manifold (of the parameter space) that defines the null hypothesis.

Sortition, i.e. random appointment for public duty, has been employed by societies throughout the years as a firewall designated to prevent illegitimate interference between parties in a legal case and agents of the legal system. In judicial systems of modern western countries, random procedures are mainly employed to select the jury, the court and/or the judge in charge of judging a legal case. Therefore, these random procedures play an important role in the course of a case, and should comply with (...) some principles, such as transparency and complete auditability. Nevertheless, these principles are neglected by random procedures in some judicial systems, which are performed in secrecy and are not auditable by the involved parties. The assignment of cases in the Brazilian Supreme Court is an example of such a procedure, for it is performed using procedures unknown to the parties involved in the judicial cases. This article presents a review of how sortition has been historically employed by societies and discusses how Mathematical Statistics may be applied to random procedures of the judicial system, as it has been applied for almost a century on clinical trials, for example. A statistical model for assessing randomness in case assignment is proposed and applied to the Brazilian Supreme Court. As final remarks, guidelines for the development of good randomization procedures are outlined. (shrink)

In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj, j = 1… k, is analyzed, in the independent setup. The e-value of a hypothesis H, ev, is a Bayesian epistemic, credibility or truth value defined under the Full Bayesian Significance Testing mathematical apparatus. The questions addressed concern the important issue of how the truth value of H, and the truth function of the corresponding FBST structure M, relate to (...) the truth values of its elementary constituents, Hj, and to the truth functions of their corresponding FBST structures Mj, respectively. (shrink)

This public philosophy piece examines moral responsibility and alternatives to angry blame as exemplified in the TV show Avatar: The Last Airbender.

Randomization is an integral part of well-designed statistical trials, and is also a required procedure in legal systems. Implementation of honest, unbiased, understandable, secure, traceable, auditable and collusion resistant randomization procedures is a mater of great legal, social and political importance. Given the juridical and social importance of randomization, it is important to develop procedures in full compliance with the following desiderata: (a) Statistical soundness and computational efficiency; (b) Procedural, cryptographical and computational security; (c) Complete auditability and traceability; (d) Any (...) attempt by participating parties or coalitions to spuriously influence the procedure should be either unsuccessful or be detected; (e) Open-source programming; (f) Multiple hardware platform and operating system implementation; (g) User friendliness and transparency; (h) Flexibility and adaptability for the needs and requirements of multiple application areas (like, for example, clinical trials, selection of jury or judges in legal proceedings, and draft lotteries). This paper presents a simple and easy to implement randomization protocol that assures, in a formal mathematical setting, full compliance to the aforementioned desiderata for randomization procedures. (shrink)

Much forensic inference based upon DNA evidence is made assuming Hardy-Weinberg Equilibrium (HWE) for the genetic loci being used. Several statistical tests to detect and measure deviation from HWE have been devised, and their limitations become more obvious when testing for deviation within multiallelic DNA loci. The most popular methods-Chi-square and Likelihood-ratio tests-are based on asymptotic results and cannot guarantee a good performance in the presence of low frequency genotypes. Since the parameter space dimension increases at a quadratic rate on (...) the number of alleles, some authors suggest applying sequential methods, where the multiallelic case is reformulated as a sequence of “biallelic” tests. However, in this approach it is not obvious how to assess the general evidence of the original hypothesis; nor is it clear how to establish the significance level for its acceptance/rejection. In this work, we introduce a straightforward method for the multiallelic HWE test, which overcomes the aforementioned issues of sequential methods. The core theory for the proposed method is given by the Full Bayesian Significance Test (FBST), an intuitive Bayesian approach which does not assign positive probabilities to zero measure sets when testing sharp hypotheses. We compare FBST performance to Chi-square, Likelihood-ratio and Markov chain tests, in three numerical experiments. The results suggest that FBST is a robust and high performance method for the HWE test, even in the presence of several alleles and small sample sizes. (shrink)

(Part of a symposium on an OUP collection of Paul Russell's papers on free will and moral responsibility). Paul Russell’s The Limits of Free Will is more than the sum of its parts. Among other things, Limits offers readers a comprehensive look at Russell’s attack on the problematically idealized assumptions of the contemporary free will debate. This idealization, he argues, distorts the reality of our human predicament. Herein I pose a dilemma for Russell’s position, critical compatibilism. The dilemma illuminates the (...) tension between Russell’s critical and compatibilist commitments. The problem is not obviously insurmountable, and as a compatibilist who is sympathetic to the view, my aim is to spark further discussion. (shrink)

Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence for discrete datasets. The full Bayesian (...) significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

The Full Bayesian Significance Test (FBST) for precise hypotheses is presented, with some applications relevant to reliability theory. The FBST is an alternative to significance tests or, equivalently, to p-ualue.s. In the FBST we compute the evidence of the precise hypothesis. This evidence is the probability of the complement of a credible set "tangent" to the sub-manifold (of the para,rreter space) that defines the null hypothesis. We use the FBST in an application requiring a quality control of used components, based (...) on remaining life statistics. (shrink)

We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results.

in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.

There are simple mechanical systems that elude causal representation. We describe one that cannot be represented in a single directed acyclic graph. Our case suggests limitations on the use of causal graphs for causal inference and makes salient the point that causal relations among variables depend upon details of causal setups, including values of variables.

We study active set methods for optimization problems in Block Angular Form (BAF). We begin by reviewing some standard basis factorizations, including Saunders' orthogonal factorization and updates for the simplex method that do not impose any restriction on the pivot sequence and maintain the basis factorization structured in BAF throughout the algorithm. We then suggest orthogonal factorization and updating procedures that allow coarse grain parallelization, pivot updates local to the affected blocks, and independent block reinversion. A simple parallel environment appropriate (...) to the description and complexity analysis of test procedures is defined in Section 5. The factorization and updating procedures are presented in Sections 6 and 7. Our update procedure outperforms conventional Updating procedures even in a purely sequential environment. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

In the financial markets, there is a well established portfolio optimization model called generalized mean-variance model (or generalized Markowitz model). This model considers that a typical investor, while expecting returns to be high, also expects returns to be as certain as possible. In this paper we introduce a new media optimization system based on the mean-variance model, a novel approach in media planning. After presenting the model in its full generality, we discuss possible advantages of the mean-variance paradigm, such as (...) its flexibility in modeling the optimization problem, its ability of dealing with many media performance indices – satisfying most of the media plan needs – and, most important, the property of diversifying the media portfolios in a natural way, without the need to set up ad hoc constraints to enforce diversification. (shrink)

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)

We describe a software system for the analysis of defined benefit actuarial plans. The system uses a recursive formulation of the actuarial stochastic processes to implement precise and efficient computations of individual and group cash flows.

P.F. Strawson’s compatibilism has had considerable influence. However, as Watson has argued in “Responsibility and the Limits of Evil”, his view appears to have a disturbing consequence: extreme evil exempts an agent from moral responsibility. This is a reductio of the view. Moreover, in some cases our emotional reaction to an evildoer’s history clashes with our emotional expressions of blame. Anyone’s actions can be explained by his or her history, however, and thereby can conflict with our present blame. Additionally, we (...) too might have been evil if our history had been like the unlucky evildoer’s. Thus, our emotional responses to the evildoer compromise our standing to blame them. Since Strawson’s view demarcates moral responsibility by moral emotional responses, his view appears to be self-defeating. In this paper, I defend the Strawsonian view from the reductio and self-defeat problems. I argue that two emotions, disgust and elevation, can be moral reactive attitudes in Strawson’s sense. First, moral disgust expresses neither blame nor exemption from responsibility. Instead, moral disgust presupposes blameworthiness but is instead a distinct response to the extreme wrongdoer. Secondly, moral disgust involves self-directed attitudes that explain away our apparent lack of standing to blame the evil agent. The structure of disgust as a reactive attitude is mirrored along the positive dimension by the emotion that Haidt has called “elevation”, a feeling of moral inspiration. I conclude by defending my view from objections about the moral appropriateness of disgust. (shrink)

Masters degree dissertation on -- Geometrical Aspects of General Relativity.

The problem of amodal perception is the problem of how we represent features of perceived objects that are occluded or otherwise hidden from us. Bence Nanay (2010) has recently proposed that we amodally perceive an object's occluded features by imaginatively projecting them into the relevant regions of visual egocentric space. In this paper, I argue that amodal perception is not a single, unitary capacity. Drawing appropriate distinctions reveals amodal perception to be characterized not only by mental imagery, as Nanay suggests, (...) but also by genuinely visual representations as well as beliefs. I conclude with some brief remarks on the role of object-directed bodily action in conferring a sense of unseen presence on an object's occluded features. (shrink)

Volume 20, Issue 4, May 2020, Page 46-48.

The fact that Gilbert Ryle and J.L. Austin seem to disagree about the ordinary use of words such as ‘voluntary’, ‘involuntary’, ‘voluntarily’, and ‘involuntarily’ has been taken to cast doubt on the methods of ordinary language philosophy. As Benson Mates puts the worry, ‘if agreement about usage cannot be reached within so restricted a sample as the class of Oxford Professors of Philosophy, what are the prospects when the sample is enlarged?’ (Mates, Inquiry 1:161–171, 1958, p. 165). In this chapter, (...) we evaluate Mates’s criticism alongside Ryle’s and Austin’s specific claims about the ordinary use of these words, assessing these claims against actual examples of ordinary use drawn from the British National Corpus (BNC). Our evaluation consists in applying a combination of methods: first aggregating judgments about a large set of samples drawn from the corpus, and then using a clustering algorithm to uncover connections between different types of use. In applying these methods, we show where and to what extent Ryle’s and Austin’s accounts of the use of the target terms are accurate as well as where they miss important aspects of ordinary use, and we demonstrate the usefulness of this new combination of methods. At the heart of our approach is a commitment to the idea that systematically looking at actual uses of expressions is an essential component of any approach to ordinary language philosophy. (shrink)