I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in (Journal o f Philosophical Logic,49, 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential level. Then, (...) I point out two potential philosophical implications of these results. (i) Since the logics in the hierarchy differ from one another on the rules, I argue that each such logic maintains its own distinct identity (contrary to arguments like the one given by Dicher and Paoli in 2019). (ii) Each validity predicate need not capture “validity” at more than one metainferential level. Hence, there are reasons to deny the thesis (put forward in Barrio, E., Rosenblatt, L. & Tajer, D. (Synthese, 2016)) that the validity predicate introduced in by Beall and Murzi in (Journal o f Philosophy,110(3), 143–165, 2013) has to express facts not only about what follows from what, but also about the metarules, etc. (shrink)

The idea of a distinctively political normativity came under sustained fire lately. Here I formulate, test, and reject a moderate and promising way of conceiving it. According to this conception, political normativity is akin to the kind of normativity at play in all-things-considered judgments, i.e., those judgments that weight together all the relevant reasons to determine what practical rationality as such requires to do. I argue that even when we try to conceive political normativity in this all-things considered way, and (...) even when we do not concede from the get-go that moral reasons necessarily trump or overrides normative reasons of a different kind, political normativity is still reducible to morality, because the peculiar content of all-things-considered political oughts remain explainable through general moral principles and contextual facts that do not obtain exclusively in political scenarios, but in many others too. If my arguments are correct, I provide political realists with one more reason to withdraw from the metaethical battle over the idea of a distinctively political normativity and show that the moralist approach is defensible against a prima facie promising, but ultimately untenable, alternative. (shrink)

The question raised by this volume is “How successful is naturalism?” The question presupposes that we already know what naturalism is and what counts as success. But, as anyone familiar with the literature on naturalism knows, both suppositions are suspect. To answer the question, then, we must first say what we mean in this context by both ‘naturalism’ and ‘success’. I’ll start with ‘success’. I will then argue that, by the standard of measurement that I shall identify here, naturalism is (...) an utter failure. (shrink)

Several authors maintain that we are capable of having inconsistent intentional states, either in cases of illusion, in certain cases of imagination, or because the observable world is (partly) inconsistent and we perceive it as such. These views are all premised on the assumption that inconsistent intentional states—even if acknowledged—are peculiar and have nothing essential to do with our perceptual capacities. In the present article, I would like to present, and argue for, a much stronger thesis: that inconsistent intentional states (...) underlie the possibility of having intentional content in mind. I argue for this thesis based on a Husserlian phenomenological analysis of our grasp of objects, which I formulate in terms of incompatibility semantics. (shrink)

Starting from the ‘Dewey Lectures’, Rawls presents his conception of justice within a contextualist framework, as an elaboration of the basic ideas embedded in the political culture of liberal-democratic societies. But how are these basic ideas to be justified? In this article, I reconstruct and criticize Rawls’s strategy to answer this question. I explore an alternative strategy, consisting of a genealogical argument of a pragmatic kind – the kind of argument provided by authors like Bernard Williams, Edward Craig and Miranda (...) Fricker. I outline this genealogical argument drawing on Rawls’s reconstruction of the origins of liberalism. Then, I clarify the conditions under which this kind of argument maintains vindicatory power. I claim that the argument satisfies these conditions and that pragmatic genealogy can thus partially vindicate the basic ideas of liberal-democratic societies. (shrink)

Graham Priest has formulated the minimally inconsistent logic of paradox (MiLP), which is paraconsistent like Priest’s logic of paradox (LP), while staying closer to classical logic. We present logics that stand to (the propositional fragments of) strong Kleene logic (K3) and the logic of first-degree entailment (FDE) as MiLP stands to LP. That is, our logics share the paracomplete and the paraconsistent-cum-paracomplete nature of K3 and FDE, respectively, while keeping these features to a minimum in order to stay closer to (...) classical logic. We give semantic and sequent-calculus formulations of these logics, and we highlight some reasons why these logics may be interesting in their own right. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (shrink)

In World Without Design: The Ontological Consequences of Naturalism, I argued that there is an important sense in which naturalism’s current status as methodological orthodoxy is without rational foundation, and I argued that naturalists must give up two views that many of them are inclined to hold dear—realism about material objects and materialism. In a review recently published in Faith and Philosophy, Dale Jacquette alleges that my arguments in World Without Design are directed mainly against strawmen and that I have (...) neglected to discuss at least one formulation of naturalism that straightforwardly addresses my main objections. In this reply, I show that these and other objections raised by Jacquette are unsound and, in fact, rest on egregious misrepresentations of the book. (shrink)

In the first section, I characterize skeptical theism more fully. This is necessary in order to address some important misconceptions and mischaracterizations that appear in the essays by Maitzen, Wilks, and O’Connor. In the second section, I describe the most important objections they raise and group them into four “families” so as to facilitate an orderly series of responses. In the four sections that follow, I respond to the objections.

This essay develops a theory of identities, selves, and ‘the self’ that both explains the sense in which selves are narratively constituted and also explains how the self relates to a person's individual autobiographical identity and to their various social identities. I argue that identities are the contents of narratively structured representations, some of which are hosted individually and are autobiographical in form, and others of which are hosted collectively and are biographical in form. These identities, in turn, give rise (...) to selves of various sorts—true selves, autobiographical selves, public and private selves, merely possible selves, and so on—which are the characters (or presupposed subjects) that appear in our various identities. Although the theory I develop bears some obvious affinities with the view that selves are fictional characters, the two views are in fact distinct, for reasons explained at the end. (shrink)

In this paper I argue that Bykvist’s recent challenges to the fitting-attitude account of value (FA) can be successfully met. The challenge from solitary goods claims that FA cannot account for the value of states of affairs which necessarily rule out the presence of favouring subjects. I point out the modal reasons why FA can account for solitary goods by appealing to contemplative attitudes. Bykvist’s second challenge, the ‘distance problem’, questions the ability of FA to match facts about the intensity (...) of fitting attitudes and facts about value, particularly in the case of solitary goods. I argue that this challenge can be met by including the notion of a veil of ignorance in the formulation of FA, and understanding its role as bracketing the relevance of certain facts when determining the fittingness of attitudes to states of affairs. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

My goal in this paper is to show that naturalists cannot reasonably endorse moral realism. My argument will come in two parts. The first part aims to show that any plausible and naturalistically acceptable argument in favor of belief in objective moral properties will appeal in part to simplicity considerations (broadly construed)—and this regardless of whether moral properties are reducible to non-moral properties. The second part argues for the conclusion that appeals to simplicity justify belief in moral properties only if (...) either those properties are not objective or something like theism is true. Thus, if my argument is sound, naturalists can reasonably accept moral realism only if they are prepared to accept something like theism. But, as will become clear, naturalists can reasonably accept theism or something like it only if belief in some such doctrine is justified by the methods of science. For present purposes, I’ll assume (what I think virtually every naturalist will grant) that belief in theism and relevantly similar doctrines is not justified by the methods of science. Thus, I will conclude that naturalists cannot reasonably accept moral realism. (shrink)

In the present article, he explains why divine silence poses a serious intellectual obstacle to belief in God, and then goes on to consider ways of overcoming that obstacle. After considering several ways in which divine silence might actually be beneficial to human beings, he argues that perhaps silence is nothing more or less than God’s preferred mode of interaction with creatures like us. Perhaps God simply desires communion rather than overt communication with human beings, and perhaps God has provided (...) ways for us to experience God’s presence richly even amidst the silence. (shrink)

In this paper, I argue that one approach to normative political theory, namely contextualism, can benefit from a specific kind of historical inquiry, namely genealogy, because the latter provides a solution to a deep-seated problem for the former. This problem consists in a lack of critical distance and originates from the justificatory role that contextualist approaches attribute to contextual facts. I compare two approaches to genealogical reconstruction, namely the historiographical method pioneered by Foucault and the hybrid method of pragmatic genealogy (...) as practiced by Bernard Williams, arguing that they both ensure an increase in critical distance while preserving contextualism’s distinctiveness. I also show, however, that only the latter provides normative action-guidance and can thus assist the contextualist theorist in the crucial task of discerning how far certain contextual facts deserve their justificatory role. I prove this point by showing how a pragmatic genealogy of the practice of punishment can inform the contextualist’s reflection about the role this practice should play in a transitional scenario, i.e. in the set of circumstances societies go through in the aftermath of large-scale violence and human rights violations. (shrink)

Since the 1960s, metaphysics has flourished in Anglo-American philosophy. Far from wanting to avoid metaphysics, philosophers have embraced it in droves. There have been critics, to be sure; but the criticisms have received answers and the enterprise has carried on.

Negli ultimi due anni sono stati pubblicati due importanti libri sul progresso morale: 'Moral Progress' di Philp Kitcher e 'A Better Ape' di Victor Kumar e Richmond Campbell. In questa nota critica, recensisco entrambi i libri e problematizzo il modo in cui cercano rispettivamente di legare tra loro il tema del progresso morale con la teoria dell'evoluzione.

Pragmatic vindicatory genealogies provide both a cause and a rationale and can thus affect the space of reasons. But how far is the space of reasons affected by this kind of genealogical argument? What normative and evaluative implications do these arguments have? In this paper, I unpack this issue into three different sub-questions and explain what kinds of reasons they provide, for whom are these reasons, and for what. In relation to this final sub-question I argue, most importantly, that these (...) arguments are ambiguous about what they give us reasons for, meaning that they can be interpreted both as justifications for recognizing the normative standing of certain norms, values, and practices - and thus for living by them - and as excuses for those that do so. I illustrate this point by reference to the genealogical vindication of honour cultures, showing how the vindicatory argument can illuminate such case as one of excusing moral ignorance. Drawing on legal theory and moral philosophy, I show that different evaluative and normative implications hang on the result of the interpretation as either justification or excuse, and show that this ambiguity is a virtue rather than a limitation. (shrink)

I examine and rebut Ridge’s two arguments for Capacity Judgment Internalism (simply qua their particular character and content, first person normative judgments are necessarily capable of motivating without the help of any independent desire). First, the rejection of the possibility of anormativism (sec. 2), second, an argument from the rational requirement to intend to do as one judges that one ought to do (sec. 3). I conclude with a few remarks about the nature of this requirement and about verdicts of (...) akrasia. (sec. 4). (shrink)

In this paper, I argue against what I call “natural realism” about social kinds, the view according to which social categories have natural boundaries, independent of our thought. First, I draw a distinction between two different types of entity realism, one being about the existence of the entity, “ontological realism”, and the other one being about the direct mind-independence of the entity, “natural realism”. After endorsing ontological realism, I present the natural realist argument according to which there would be certain (...) social kinds, such as economic recessions and racism, even if we had no clue about their existence and nature. I claim that the argument fails insofar it mistakes the single instances for the kinds themselves. I then argue against natural realism by showing how the vagueness characterizing the boundaries of social kinds puts the realist in front of a dilemma: either she accepts the vagueness of these boundaries as ontic, a metaphysically problematic thesis, or she accepts that most or all social kinds remain unknown, an epistemologically problematic thesis. Thus, I argue that antirealism, according to which social kinds are constructed, is a better alternative to the realist account. (shrink)

Foucault found the starting point of modern European philosophy to be the construction of “man” as both an empirical fact and a transcendental operator. The aim is to show how this construction was made possible by an underlying strategical handling of the concept of matter. Some restrictions imposed on the materiality of knowledge-contents became key in explaining how actual men could gain access to transcendental knowledge. The paper focuses on Husserl and Kant as meaningful turning points of this transcendental discourse. (...) However, the relevance of their dematerializing strategies will be shown to lay beyond their historic-cultural meaning, since they can also provide a way of dealing with knowledge experiences that can be critical even towards modernity’s characteristic anthropocentrism. (shrink)

In "Evil and the Justice of God", N.T. Wright presses the point that attempting to solve the philosophical problem of evil is an immature response to the existence of evil--a response that belittles the real problem of evil, which is just the fact that evil is bad and needs to be dealt with. As you might expect, I am not inclined to endorse this sort of sweeping indictment of the entire field of research on the philosophical problem of evil. (I (...) sort of doubt that Wright really meant to either.) But I do think that there is a kernel of truth in what I take to be Wright's fundamental objection to attempts to solve the philosophical problem of evil. In the first section of what follows, I will try briefly to explain why. I will then go on to argue that, despite this fact, certain efforts at solving the problem of evil avoid Wright's objection. Indeed, drawing on recent work by Elenore Stump, I will argue that one perfectly legitimate way to try to solve the philosophical problem of evil is to follow precisely what seems to be the main piece of advice in "Evil and the Justice of God": namely, to look more seriously than we have at the attitudes taken toward evil by human authors of and characters in the Bible, and to attend more carefully to what the Bible says about how God deals with evil. (shrink)

The Christian doctrine of the Trinity poses a serious philosophical problem. On the one hand, it seems to imply that there is exactly one divine being; on the other hand, it seems to imply that there are three. There is another well-known philosophical problem that presents us with a similar sort of tension: the problem of material constitution. We argue in this paper that a relatively neglected solution to the problem of material constitution can be developed into a novel solution (...) to the problem of the Trinity. (shrink)

Objective correlates—behavioral, functional, and neural—provide essential tools for the scientific study of consciousness. But reliance on these correlates should not lead to the ‘fallacy of misplaced objectivity’: the assumption that only objective properties should and can be accounted for objectively through science. Instead, what needs to be explained scientifically is what experience is intrinsically— its subjective properties—not just what we can do with it extrinsically. And it must be explained; otherwise the way experience feels would turn out to be magical (...) rather than physical. We argue that it is possible to account for subjective properties objectively once we move beyond cognitive functions and realize what experience is and how it is structured. Drawing on integrated information theory, we show how an objective science of the subjective can account, in strictly physical terms, for both the essential properties of every experience and the specific properties that make particular experiences feel the way they do. (shrink)

The denial of the intrinsic value of acts apart from both motives and consequences lies at the heart of Ross’s deontology and his opposition to ideal utilitarianism. Moreover, the claim that acts can have intrinsic value is a staple element of early and contemporary attempts to “consequentialise” all of morality. I first show why Ross’s denial is relevant both for his philosophy and for current debates. Then I consider and reject as inconclusive some of Ross’s explicit and implicit motivations for (...) his claim, stemming from his philosophy of action, his axiology, and his concept of intrinsic value, or a combination of these. I also criticize Ross’s later view that all right acts somehow produce some good, but that the value of some of these goods is explained by the prior rightness of the act. In the course of the discussion, the idea that acts can have intrinsic value apart from motives and consequences gains credibility both from the weaknesses in Ross’s arguments and from some putative examples. So, finally, I distinguish two attitudes in the history of ideal utilitarianism towards the necessity or not to give a detailed account of the intrinsic value of acts, and suggest that a Why Bother attitude is more promising than a Constructive one. (shrink)

The guise of the good doctrine is the view that whatever we desire, we desire it under the guise of the good, i.e. it appears good to us in some way. In this paper I first clarify the role that the doctrine of the guise of the good plays in the first step of J. S. Mill’s proof of the principle of utility (in which he shows that one’s happiness is desirable as an end). Then I provide textual evidence in (...) favour of ascribing the doctrine to Mill, arguing that he commits to it to the extent that he equates finding something pleasant and thinking it desirable. Finally I counter two potential sources of evidence against ascribing the guise of the good to Mill: apparent desires based on ‘fixed ideas’, and those habitual desires which are no longer associated with finding their objects pleasant. I argue that ‘fixed ideas’ do not feed actual desires, and that the habitual desires which seem to escape the guise of the good, even if not uncommon, have a secondary status as desires. (shrink)

The paper will have three sections. In section one I briefly present and respond to Byrne’s argument against theological realism. In section two, I present van Fraassen’s argument against analytic metaphysics and I show how, if sound, it constitutes a reason to reject both metaphysical and theological realism. In section three, I show how van Fraassen can be answered. Obviously what I am doing here falls far short of a full-blown defense of realism in either metaphysics or theology. But the (...) objections raised by van Fraassen and Byrne are tokens of a type of objection that I think is rather widely endorsed among those who are suspicious of these two brands of realism. Thus, responding to those objections constitutes an important first step in the direction of a defense. (shrink)

For an agent to be motivated by a normatively perverse reason is to be motivated by a normative or evaluative thought as such which, if true, would count as such against the action that it motivates the agent to perform, or against the attitude that it motivates the agent to take. For example, that an action is morally wrong or prudentially bad counts, as such, against performing the action. When the thought that an action is morally wrong or prudentially bad (...) motivates me as such to perform the action, my motivating reason is normatively perverse. If being motivated by normatively perverse reasons is possible, then what, if anything, is wrong about it? I present and reject some accounts of what may be wrong about normative perversity. In the course of this discussion some desiderata emerge. Then I defend the suggestion that normative perversion is socially undesirable, in that it undermines certain valuable interpersonal and intrapersonal relations. Entering and maintaining these relations is constitutive of valuing people as beings to whom reasonable justification is owed. I show how this account satisfies the desiderata. (shrink)

Scalability, efficiency, and security had been a persistent problem over the years in data mining, several techniques had been proposed and implemented but none had been able to solve the problem of scalability, efficiency and security from cloud computing. In this research, we solve the problem scalability, efficiency and security in data mining over cloud computing by using a restful web services and combination of different technologies and tools, our model was trained by using different machine learning algorithm, and finally (...) using different validation and cross-validation methods to compare and validate our results. We build, train, test and deploy our model by restful API services which can be called through an endpoint, and with very high accuracy and huge success. (shrink)

In this paper, we take a meta-theoretical stance and aim to compare and assess two conceptual frameworks that endeavor to explain phenomenal experience. In particular, we compare Feinberg & Mallatt’s Neurobiological Naturalism (NN) and Tononi’s and colleagues' Integrated Information Theory (IIT), given that the former pointed out some similarities between the two theories (Feinberg & Mallatt 2016c-d). To probe their similarity, we first give a general introduction to both frameworks. Next, we expound a ground plan for carrying out our analysis. (...) We move on to articulate a philosophical profile of NN and IIT, addressing their ontological commitments and epistemological foundations. Finally, we compare the two point-by-point, also discussing how they stand on the issue of artificial consciousness. (shrink)

According to the doctrine of the guise of the good, all that is desired is seen by the subject as good to some extent. As a claim about action, the idea is that intentional action, or acting for a reason, is action that is seen as good by the agent. I explore the thesis' main attractions: it provides an account of intentional behavior as something that makes sense to the agent, it paves the way for various views in meta-ethics and (...) normative ethics, and it offers a unified account of practical and theoretical reason. In response to common objections, I examine points of current debate: what is it for something to appear as good? Is value or normative reasons the basic concept at work? How to explain akrasia, perversity in action, and expressive action? I conclude with an overview of alternatives to the guise of the good. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

Kant’s view of human beings is, as much of his philosophy, notoriously based on the dichotomy between the phenomenal and the noumenal world. This dichotomy digs a rift across human nature by separating the animal and the rational parts of it, their heteronomous and autonomous components, their sense of duty and their self-love. Human beings, for Kant, inhabit both worlds. On the one hand, even if we agree with Kant that the fundamental moral norms are constitutive of our rational and (...) autonomous agency and therefore inescapable, it remains unclear whether and how far these norms can motivate finite and heteronomous human beings, normally concerned with their own ends, interests and inclinations. On the other hand, although moral actions may express who we really are as rational beings, they may nonetheless leave us with an unfulfilled but legitimate need to reconcile morality with our own ends as finite, animal beings, inevitably concerned with living our own lives. Sasha Mudd described these phenomena as two forms of alienation: moral alienation (the estrangement of the heteronomous agent, motivated by happiness and inclinations, from a morality perceived as alien, foreign, and hardly motivating) and practical alienation (the estrangement of the autonomous moral agent from her empirical and heteronomous dimension – her projects, desires, aspirations, inclinations, and so on). On Mudd’s account, Kant successfully escape the first kind of alienation through his doctrine of respect. Here I argue, contra Mudd, that there are at least two ways in which Kant leaves moral agents alienated from morality itself. (shrink)

One of the main tasks for an account of the Christian doctrine of the atonement is to explain how and in what ways the salvifically relevant work of Christ heals the damage wrought by human sin on our souls, our relationships with one another, and our relationship with God. One kind of damage often neglected in philosophical treatments of the atonement, but discussed at some length in Eleonore Stump’s forthcoming At-one-ment, is what she, following St. Thomas Aquinas, calls the stain (...) on the soul. The stain on the soul comprises the “moral leftovers” of serious evil, damage to the soul that goes beyond the guilt, shame, and separation from God brought about by sin and that lingers in a person even after she has repented and been forgiven. In this paper, I critically examine Stump’s account of how the work of Christ deals with the problem of the stain on the soul. I offer reasons for thinking that if the stain is exactly as she describes it, then it is indelible; and then I explore possible ways forward for her account of the atonement. (shrink)

Conferralism is the view that social properties are neither intrinsic to the things that have them nor possessed simply by virtue of their causal or spatiotemporal relations to other things, but are somehow bestowed (intentionally or not, explicitly or not) upon them by persons who have both the capacity and the standing to bestow them. We argue that conferralism faces a dilemma: either it is viciously circular, or it is limited in scope in a way that undercuts its motivation.

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

Se la tradizione continentale, da Nietzsche a Foucault, ha sottolineato le implicazioni critiche e destabilizzanti del metodo genealogico, gli approcci analitici hanno dimostrato che esso può anche offrire sostegno ai propri oggetti di indagine: norme comportamentali, pratiche, concetti e così via. Un resoconto genealogico, per esempio, può avere un carattere giustificativo quando individua una relazione funzionale necessaria tra il concetto o la pratica in esame e bisogni umani abbastanza fondamentali. La questione che voglio affrontare riguarda le presunte capacità giustificative di (...) questo tipo di spiegazioni genealogiche. In che misura modificano davvero lo spazio delle ragioni? Sostengo che la loro portata normativa e valutativa è variabile e che l'esame di alcuni casi limite aiuta a dimostrarlo. Più specificamente, ritengo che in alcuni casi le ragioni offerte attraverso queste spiegazioni siano ragioni non tanto per giustificare l'uso di certi concetti o pratiche, quanto per giustificare coloro che li vivono. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovation. We believe that ontology applied to engineering (OE) represents a viable strategy for the (...) alignment, reconciliation and integration of diverse and disparate data. The scope of OE includes: consistent capture of knowledge pertaining to the types of entities involved; facilitation of cooperation among diverse group of experts; more effective ongoing curation, and update of manufacturing data; collaborative design and knowledge reuse. As an illustrative case study we propose an ontology focused on the representation of composite materials focusing in particular on the class of Functionally Graded Materials (FGM) in particular. The scope of the ontology is to provide information about the components of such materials, the manufacturing processes involved in creation, and diversity of application ranging from additive manufacturing to restorative dentistry. The ontology is developed using Basic Formal Ontology (BFO) and the Ontology for Biomedical Investigations (OBI). (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

We lay out the fatalist’s argument, making sure to clarify which dialectical moves are available to the libertarian. We then offer a more robust presentation of Ockhamism, responding to obvious objections and teasing out the implications of the view. At this point, we discuss presentism and eternalism in more detail. We then present our argument for the claim that the libertarian cannot take Ockham’s way out of the fatalism argument unless she rejects presentism. Finally, we consider and dispense with objections (...) to our argument. In the end, it ought to be clear that the libertarian must make a choice between Ockham’s way out and presentism. (shrink)

The paper aims to ques- tion the traditional view of the early Royal Society of London, the oldest scientific institution in continuous existence. According to that view, the institutional life of the Society in the early decades of activity was characterized by a strictly Baconian methodology. But the re- construction of the discussions about fossils and natural history within the Society shows that this monolithic image is far from being correct. Despite the persistent reference to the Baconian Solomon House, the (...) Society did not impose or support a common programme of research in the field of the natural history of the Earth. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing that this can (...) be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)