This paper discusses the logical space of alternative conceptual engineering projects, with a specific focus on (1) the processes, (2) the targets and goals, and (3) the methods of such projects. We present an overview of how these three aspects interact in the contemporary literature and discuss those alternative projects that have yet to be explored based on our suggested typology. We show how choices about each element in a conceptual engineering project constrain the possibilities for the others, thereby giving (...) rise to distinct groupings of possible projects under the banner of conceptual engineering. We conclude with a critical reflection on the potential ethical issues that arise as a result of effectively putting conceptual engineering into practice. (shrink)

Unlike conceptual analysis, conceptual engineering does not aim to identify the content that our current concepts do have, but the content which these concepts should have. For this method to show the results that its practitioners typically aim for, being able to change meanings seems to be a crucial presupposition. However, certain branches of semantic externalism raise doubts about whether this presupposition can be met. To the extent that meanings are determined by external factors such as causal histories or microphysical (...) structures, it seems that they cannot be changed intentionally. This paper gives an extended discussion of this ‘externalist challenge’. Pace Herman Cappelen’s recent take on this issue, it argues that the viability of conceptual engineering crucially depends on our ability to bring about meaning change. Furthermore, it argues that, contrary to first appearance, causal theories of reference do allow for a sufficient degree of meaning control. To this purpose, it argues that there is a sense of what is called ‘collective long-range control’, and that popular versions of the causal theory of reference imply that people have this kind of control over meanings. (shrink)

This is the introduction to the Special Issue ‘Foundational Issues in Conceptual Engineering’. The issue contains contributions by James Andow, Delia Belleri, David Chalmers, Catarina Dutilh Novaes, Eugen Fischer, Viktoria Knoll, Edouard Machery and Amie Thomasson. We, the editors, provide a brief introduction to the main topics of the issue and then summarize its contributions.

A philosopher argues that state-sponsored cyberattacks against central military or civilian targets are always acts of war. What is this philosopher doing? According to conceptual analysts, the philosopher is making a claim about our concept of war. According to philosophical realists, the philosopher is making a claim about war per se. In a quickly developing literature, a third option is being explored: the philosopher is engineering the concept of war. On this view, the philosopher is making a proposal about which (...) concept we should have – even if it deviates from the extant concept, and even if it does not capture ‘what war really is’. The activity or method of proposing such revisionary definitions, as well as the metaphilosophical reflection on it, has become known as conceptual engineering. (shrink)

Conceptual engineers aim to revise rather than describe our concepts. But what are concepts? And how does one engineer them? Answering these questions is of central importance for implementing and theorizing about conceptual engineering. This paper discusses and criticizes two influential views of this issue: semanticism, according to which conceptual engineers aim to change linguistic meanings, and psychologism, according to which conceptual engineers aim to change psychological structures. I argue that neither of these accounts can give us the full story. (...) Instead, I propose and defend the Dual Content View of Conceptual Engineering. On this view, conceptual engineering targets concepts, where concepts are understood as having two kinds of contents: referential content and cognitive content. I show that this view is independently plausible and that it gives us a comprehensive account of conceptual engineering that helps to make progress on some of the most difficult problems surrounding conceptual engineering. (shrink)

We propose a definition of capability as a class intermediate between function and disposition as the latter are defined in Basic Formal Ontology (BFO). A disposition inheres in a material entity and is realized in a certain kind of process. An example is the disposition of a glass to break when struck, which is realized when it shatters. A function is a disposition which is (simply put) the rationale for the existence of its bearer. To say for example that a (...) water pump has the function to pump water is to say that the pump exists because something was needed that would pump water. Capabilities are a special sort of disposition in that that, like functions, they can be evaluated on the basis of how well they are realized. They differ from functions in that their realizations are not the rationale – not the primary reason – for the existence of their bearers. Thus, a water pump may have many capabilities, including to be weatherproof, to run without lubricant, and so forth, but only one function. All functions are capabilities on the view we defend, but not all capabilities are functions. We develop a series of axioms to distinguish capabilities formally from both dispositions and functions and provide examples of the use of ‘capability’ in a variety of domains. (shrink)

Max Deutsch has recently argued that conceptual engineering is stuck in a dilemma. If it is construed as the activity of revising the semantic meanings of existing terms, then it faces an unsurmountable implementation problem. If, on the other hand, it is construed as the activity of introducing new technical terms, then it becomes trivial. According to Deutsch, this conclusion need not worry us, however, for conceptual engineering is ill-motivated to begin with. This paper responds to Deutsch by arguing, first, (...) that there is a third construal of conceptual engineering, neglected by him, which renders it both implementable and non-trivial, and second, that even the more ambitious project of changing semantic meanings is no less feasible than other normative projects we currently pursue. Lastly, the value of conceptual engineering is defended against Deutsch’s objections. (shrink)

Conceptual engineering concerns the assessment and improvement of our concepts. But how can proposals to engineer concepts be implemented in the real world? This is known as the implementation challenge to conceptual engineering. In this paper, I am concerned with the meta-philosophical implications of the implementation challenge. Specifically, must we overcome the implementation challenge prior to undertaking conceptual engineering? Some critics have recently answered this question affirmatively. I intend to show that they are mistaken. I argue as follows. First, successful (...) implementation is not an integral part of conceptual engineering. Second, the idea that the value of conceptual engineering relies on successful implementation is in tension with widespread assumptions about normative theorizing. (shrink)

It seems natural to think that Carnapian explication and experimental philosophy can go hand in hand. But what exactly explicators can gain from the data provided by experimental philosophers remains controversial. According to an influential proposal by Shepherd and Justus, explicators should use experimental data in the process of ‘explication preparation’. Against this proposal, Mark Pinder has recently suggested that experimental data can directly assist an explicator’s search for fruitful replacements of the explicandum. In developing his argument, he also proposes (...) a novel aspect of what makes a concept fruitful, namely, that it is taken up by the relevant community. In this paper, I defend explication preparation against Pinder’s objections and argue that his uptake proposal conflates theoretical and practical success conditions of explications. Furthermore, I argue that Pinder’s suggested experimental procedure needs substantial revision. I end by distinguishing two kinds of explication projects, and showing how experimental philosophy can contribute to each of them. (shrink)

This paper argues for explanatory eliminativism about topics (and cognates, such as subject matters) relative to the domain of conceptual engineering. It has become usual to think that topics serve an important explanatory role in theories of conceptual engineering, namely, to determine the limits of revision. I argue, first, that such limits can be understood either as thenormative limitspertaining to the justification of conceptual engineering, as themetaphysical limitspertaining to the identity of the concepts in question, or as theterminological limitspertaining to (...) usage of the original terminology. Second, I argue that the metaphysical reading is disputable as a theory of concepts and inconsequential for conceptual engineers, and that neither of the two leading accounts of topics that have been presented in the literature—the samesaying account and functionalism—determine the limits of revision in either of the two remaining senses. In the absence of more promising competitors, I conclude that there is no theoretical role for topics to play in theories of conceptual engineering. An upshot of my argument is that conceptual engineers should stop worrying about things like topic (dis)continuity, and instead shift their attention to the issues that really matter for justifying conceptual revisions or replacements, making terminological choices, and underpinning conceptual engineering with a theory of concepts. (shrink)

Recently developed large language models (LLMs) perform surprisingly well in many language-related tasks, ranging from text correction or authentic chat experiences to the production of entirely new texts or even essays. It is natural to get the impression that LLMs know the meaning of natural language expressions and can use them productively. Recent scholarship, however, has questioned the validity of this impression, arguing that LLMs are ultimately incapable of understanding and producing meaningful texts. This paper develops a more optimistic view. (...) Drawing on classic externalist accounts of reference, it argues that LLMs are very likely capable of reference. Not only that: The combination of a popular externalist account of reference and recent experimental data in machine psychology even suggests that LLMs might play a role in shifting what our words refer to. (shrink)

One of the main contentions of the framework for Responsible Innovation (RI) is that social and ethical aspects have to be addressed by deliberative engagement with stakeholders and the wider public throughout the innovation process. The aim of this article is to reflect on the question to what extent is deliberative engagement suitable for conducting RI in business. We discuss several tensions that arise when this framework is applied in the business context. Further, we analyse the place of deliberative engagement (...) in several theories of business ethics. We conclude that there remains a tension between the ideal of RI and the way in which the competitive market operates. Hence, RI scholars should reflect more critically on changes that are required in the market in order to make RI possible, modify the ideal of deliberative engagement for RI in business, or attempt to strike a balance between these two responses. (shrink)

Replacing the value-free ideal (VFI) for science requires attention to the broader understanding of how science in society should function. In public spaces, science needed to project the VFI in norms for science advising, science education, and science communication. This resulted in the independent science advisor model and a focus on science literacy for science education and communication. Attending to these broader implications of the VFI which structure science and society relationships is crucial if we are to properly replace the (...) VFI with a better ideal. (shrink)

The COVID-19 crisis has highlighted the considerable challenge of sourcing expertise and determining which experts to trust. Dissonant information fostered controversy in public discourse and encouraged an appeal to a wide range of social indicators of trustworthiness in order to decide whom to trust. We analyze public discourse on expertise by examining how social indicators inform the reputation of Dr. Didier Raoult, the French microbiologist who rose to international prominence as an early advocate for using hydroxychloroquine to treat COVID-19. To (...) comprehend how these indicators came to inform his reputation, we outline Dr. Raoult's rise to fame based on discourse about hydroxychloroquine. We then discuss why we trust in experts like scientist-practitioners. This is followed by an examination of how social indicators of trust like status, epistemic authority, influence and values have informed Dr. Raoult's reputation. We conclude with recommendations for how to improve the selection and evaluation social indicators of trust and reputations. Our aim here, instead of making a claim about the efficacy of hydroxychloroquine or Dr. Raoult's reputation per se, is to outline through this case study how social indicators of trust inform reputation and the challenge they present to evaluating expertise. (shrink)

Many pantheists have claimed that their view of the divine is motivated by a kind of spiritual experience. In this paper, I articulate a novel argument, inspired by recent work on moral exemplarism, that gives voice to this kind of motivation for pantheism. The argument is based on two claims about the emotion of awe, each of which is defended primarily via critical engagement with empirical research on the emotion. I also illustrate how this pathway to pantheism offers pantheists distinctive (...) resources for responding to persistent objections to their view, and how it might lead to more exotic views incorporating pantheistic elements. (shrink)

You sit in your office and put on the latest pair of virtual reality (VR) goggles. Suddenly, you stand in the middle of Times Square. A car almost hits you. You.

A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...) each of the inadequate principles, I illustrate its inadequacy by showing either that it excludes cases that should not be ruled out by a well-foundedness axiom for grounding, or that it admits cases that should be ruled out. (shrink)

Linguistic interventions aim to change our linguistic practices. A commonly discussed type of linguistic intervention is meaning revision, which seeks to associate existing words with new or revised meanings. But why does retaining old words matter so much? Why not instead introduce new words to express the newly defined meanings? Drawing on relevant psycholinguistic research, this paper develops an empirically motivated, general, and practically useful pro tanto reason to retain rather than replace the original word during the process of conceptual (...) improvement. (shrink)

Governments standardly deploy a distinction between goods and services in assessing economic health and tracking national income statistics, of which medical goods and services carry significant importance. In what follows we draw on Basic Formal Ontology (BFO) to introduce a third kind of entity called patterns, which help capture the various ways in which goods and services are intertwined and help also to show how many services generate a new kind of non-goods-related products. Patterns are an overlooked yet essential features (...) of many economic sectors including medicine. Studying patterns offers new insights into various components of economic analysis, including outcomes-oriented evaluations of medical services and the value of human capital in the medical sphere. (shrink)

This paper presents and defends a model of religious faith as an epistemic disposition. According to the model, religious faith is a disposition to take certain doxastic attitudes toward propositions of religious significance upon entertaining certain mental states. Three distinct advantages of the model are advanced. First, the model allows for religious faith to explain the presence and epistemic appropriateness of religious belief. Second, the model accommodates a variety of historically significant perspectives concerning the relationships between faith and evidence, faith (...) and volition, and faith and doubt. And, finally, the model offers an appealing account of what unifies religious faith with other kinds of faith. (shrink)

This article introduces the notion of duplex elements of the finite rings and corresponding neutrosophic rings. The authors establish duplex ring Dup(R) and neutrosophic duplex ring Dup(R)I)) by way of various illustrations. The tables of different duplicities are constructed to reveal the comparison between rings Dup(Zn), Dup(Dup(Zn)) and Dup(Dup(Dup(Zn ))) for the cyclic ring Zn . The proposed duplicity structures have several algebraic systems with dissimilar consequences. Author’s characterize finite rings with R + R is different from the duplex ring (...) Dup(R). However, this characterization supports that R + R = Dup(R) for some well known rings, namely zero rings and finite fields. (shrink)

Kit Fine (2000) breaks with tradition, arguing that, pace Russell (e.g., 1903: 228), relations have neither directions nor converses. He considers two ways to conceive of these new "neutral" relations, positionalism and anti-positionalism, and argues that the latter should be preferred to the former. Cody Gilmore (2013) argues for a generalization of positionalism, slot theory, the view that a property or relation is n-adic if and only if there are exactly n slots in it, and (very roughly) that each slot (...) may be occupied by at most one entity. Slot theory (and with it, positionalism) bears the full brunt of Fine's (2000) symmetric completions and conflicting adicities problems. I fully develop an alternative, plural slot theory (or pocket theory), which avoids these problems, key elements of which are first considered by Yi (1999: 168 ff.). Like the slot theorist, the pocket theorist posits entities (pockets) in properties and relations that can be occupied. But unlike the slot theorist, the pocket theorist denies that at most one entity can occupy any one of them. As a result, she must also deny that the adicity of a property or relation is equal to the number of occupiable entities in it. By abandoning these theses, however, the pocket theorist is able to avoid Fine's problems, resulting in a stronger theory about the internal structure of properties and relations. Pocket theory also avoids a serious drawback of anti-positionalism. (shrink)

Begriffe sind die Bausteine unserer Gedanken. Wir nutzen sie, um Ordnung in die Vielzahl der uns umgebenden Einzeldinge zu bringen, um Schlussfolgerungen zu ziehen, um Überzeugungen, Hoffnungen oder Wünsche zu formen, um uns miteinander zu verständigen. Viele unserer begrifflichen Gebilde unterliegen Korrektheitsbedingungen. Überzeugungen können falsch sein, Theorien ebenso. Doch wie sieht es mit unseren Begriffen selbst aus? Können auch diese in einem bestimmten Sinne falsch oder ungeeignet sein? Sollten wir gar versuchen, unser begriffliches Repertoire aktiv umzugestalten, indem wir z. B. (...) manche von ihnen verbessern oder austauschen, neue hinzufügen oder andere entfernen? Diese und weitere Fragen werden in der aktuellen analytischen Philosophie unter den Stichworten ‚Conceptual Ethics‘ bzw. ‚Conceptual Engineering‘ diskutiert. Der vorliegende Artikel erläutert die grundsätzliche Motivation des Conceptual Engineering und diskutiert außerdem einige der wichtigsten Probleme und Perspektiven dieses noch äußerst jungen und aufregenden Forschungsfeldes. (shrink)

Synthetic biologists aim to generate biological organisms according to rational design principles. Their work may have many beneficial applications, but it also raises potentially serious ethical concerns. In this article, we consider what attention the discipline demands from bioethicists. We argue that the most important issue for ethicists to examine is the risk that knowledge from synthetic biology will be misused, for example, in biological terrorism or warfare. To adequately address this concern, bioethics will need to broaden its scope, contemplating (...) not just the means by which scientific knowledge is produced, but also what kinds of knowledge should be sought and disseminated. (shrink)

In today’s society of humans and machines, automation, animation, and ecosystems are terms of concern. Categories of life and technology have become mixed in governmental policies and drive economic exploitation and the pathologies of everyday life. This book both curiously and critically advances the term that underlies these new developments: machine.

This is a survey article about reliabilism. It introduces its main ideas, outlines some of its core challenges and discusses a number of solutions.

(1 ∼ 4)The place of consciousness in nature; (5 ∼ 9) hard problem, Multiple Draft Model, Orch OR theory; (10 ∼ 11) space-time field; (12 ∼ 13)methodology; (14 ∼ 17)application of physio-phenomenology; (18) on electroencephalography signals; (19 ∼ 23) mental imagery; (24 ∼ 26) pandemonium process and hallucinations; (27 ∼ 30) awareness and attention; (31) measurement problem; (32 ∼ 33) futureworks; (34) Summary.

In this paper, we present and discuss the findings of two experiments about reference change. Cases of reference change have sometimes been invoked to challenge traditional versions of semantic externalism, but the relevant cases have never been tested empirically. The experiments we have conducted use variants of the famous Twin Earth scenario to test folk intuitions about whether natural kind terms such as ‘water’ or ‘salt’ switch reference after being constantly (mis)applied to different kinds. Our results indicate that this is (...) indeed so. We argue that this finding is evidence against Saul Kripke’s causal-historical view of reference, and at least provisional evidence in favor of the causal source view of reference as suggested by Gareth Evans and Michael Devitt. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic (...) result. (shrink)

Pain may appear to undermine the radically intentionalist view that the phenomenal character of any experience is entirely constituted by its representational content. That appearance is illusory. After categorizing versions of pain intentionalism along two dimensions, I argue that an 'objectivist' and 'non-mentalist' version is the most promising, if it can withstand two objections concerning what we say when in pain, and the distinctiveness of pain. I rebut these objections, in a way available to both opponents of and adherents to (...) the view that experiential content is entirely conceptual. (shrink)

How to conceptualize loving relationships so as to accommodate that just love is geared toward preserving and fostering individual autonomy? To develop an answer, this paper draws on the recent debate on the rational role of experience to motivate a view dubbed Murdochian presentationalism. Murdochian presentationalism takes seriously two presentationalist ideas: 1) individuals harboring different world views who respond to identical situations differently can be equally rational; 2) our views and concepts develop under the constant pressure of experience. It combines (...) these ideas with Murdoch’s tenet that coming to know others (and thus being able to do well by them) requires unselfish love, construed as just attention that involves a continuous refinement of our evaluative concepts and makes us better attuned to what is real. Complemented with a broadly Kantian notion of autonomy, the resulting view fits the bill. The paper ends on a sketch of what is dubbed the ideal lovers’ pledge and a comment on what metaphor the view arrived at suggests for thinking about loving relationships. (shrink)

In this paper, we defend Socratic studies as a research programme against several recent attacks, including at least one recently published in Polis . Critics have argued that the study of Socrates, based upon evidence mostly or entirely derived from some set of Plato's dialogues, is founded upon faulty and indefensible historical or hermeneutical technique. We begin by identifying what we believe are the foundational principles of Socratic studies, as the field has been pursued in recent years, and we then (...) show how the research programme that derives from accepting these principles is not defeated by any of the most common recent criticisms of it. Specifically, we argue that challenges to sorting Plato's dialogues by date, more general challenges to historicist interpretations of Plato's dialogues, as well as recent literary criticisms of Socratic studies all fail to undermine the research programme. We conclude with some thoughts about how and why Socratic studies has proved itself a valuable and fruitful research programme. (shrink)

Publics trust experts for personal and pro-social reasons. Scientists are among the experts publics trust most, and so, epistemic trust is routinely afforded to them. The call for epistemic trust to be more socially situated in order to account for the impact of science on society and public welfare is at the forefront of enhanced epistemic trust. I argue that the value-free ideal for science challenges establishing enhanced epistemic trust by preventing the inclusion of non-epistemic values throughout the evaluation of (...) evidence and communication of these values. By selectively silencing non-epistemic values, the ideal cannot take into account publics’ social and moral responses to inductive risk, which are instrumental for defining and determining public welfare. Furthermore, by emphasising epistemic values almost exclusively in science education and communication, the value-free ideal is presented to publics in such a way that it becomes a social indicator of trust. I show this through examination of the importance of values in decisions to trust, and conclude that values (and restrictions on them) can be used by lay publics to help decide which experts to trust. (shrink)

Can the issue of how important it is whether or not there is a God be decided prior to deciding whether or not there is a God? In this paper, I explore some difficulties that stand in the way of answering this question in the affirmative and some of the implications of these difficulties for that part of the Philosophy of Religion which concerns itself with assessing arguments for and against the existence of God, the implications for how its importance (...) may best be defended within secular academe. (shrink)

Expert knowledge regularly informs personal and civic-decision making. To decide which experts to trust, lay publics —including policymakers and experts from other domains—use different epistemic and non-epistemic cues. Epistemic cues such as honesty, like when experts are forthcoming about conflicts of interest, are a popular way of understanding how people evaluate and decide which experts to trust. However, many other epistemic cues, like the evidence supporting information from experts, are inaccessible to lay publics. Therefore, lay publics simultaneously use second-order social (...) cues in their environment to inform decisions to trust. These second-order social cues, or ‘social indicators of trust’, prevent lay publics from having to trust blindly. Social indicators of trust therefore inform lay publics’ epistemic vigilance, or constant low level-monitoring of testimony from experts. This special issue examines the nature, acquisition and application of social indicators of trust for scientific experts and institutions. It also raises questions about the types of trust asked of lay publics and challenges traditional normative assumptions about the relationship between science and lay publics through study of attitudes, values, and experiences. The issue descriptively re-examines the structure of institutions, their role and methods for ferrying information, as well as how social indicators operate in times of crisis. In this collection of works, we bridge history, science, philosophy of science, science and technology studies, science communication and social epistemology, to broaden the discourse on trust in experts and more accurately reflect the imperfect yet indispensable endeavour that trusting is. (shrink)

What is sexual orientation? The contemporary consensus among philosophers is that it is a disposition. Unsurprisingly, recent debates about the metaphysics of sexual orientation are almost entirely intramural. Behavioral dispositionalists argue that sexual orientation is a disposition to behave sexually. Desire dispositionalists argue that it is a disposition to desire sexually. We argue that sexual orientation is not best understood in terms of dispositions to behave or dispositions to desire before arguing that dispositions tout court fail to illuminate sexual orientation. (...) We then introduce and defend the idea that sexual orientation is best understood in terms of categorical phenomenal properties of sexual arousal. (shrink)

This paper introduces a conceptual framework, denoted as ‘Line Theory,’ which is predicated on the procedural anatomy inherent in ordinary plans. A plan, recognized as a set of instructions for execution, undergoes in-depth scrutiny to analyze its constituent elements. The concise examination delves into the formation of line and effect within real space stemming from procedures. Line theory serves the purpose of elucidating the absolute optimization of plans. It is formulated to inaugurate an exploration into the veracity of procedures and (...) their elemental changes, examining their correlation with space and motion at the most fundamental level. The scientific community has extensively delved into the examination of the behavior and structure of objects at the microscopic level. This paper endeavors to stimulate interest in the analogous analysis of procedures. The fundamental objective within this theoretical framework is to offer a distinct philosophical perspective on changes and effects. (shrink)

Supra-Bayesianism is the Bayesian response to learning the opinions of others. Probability pooling constitutes an alternative response. One natural question is whether there are cases where probability pooling gives the supra-Bayesian result. This has been called the problem of Bayes-compatibility for pooling functions. It is known that in a common prior setting, under standard assumptions, linear pooling cannot be nontrivially Bayes-compatible. We show by contrast that geometric pooling can be nontrivially Bayes-compatible. Indeed, we show that, under certain assumptions, geometric and (...) Bayes-compatible pooling are equivalent. Granting supra-Bayesianism its usual normative status, one upshot of our study is thus that, in a certain class of epistemic contexts, geometric pooling enjoys a normative advantage over linear pooling as a social learning mechanism. We discuss the philosophical ramifications of this advantage, which we show to be robust to variations in our statement of the Bayes-compatibility problem. (shrink)

This is a review article of Herman Cappelen's monograph 'Fixing Language. An Essay on Conceptual Engineering' (OUP 2018). It summarizes the key elements of the book and objects to various of Cappelen's claims.

This article constructively retrieves St. Anselm of Canterbury’s theory of retributive justice and provides a defense of what can be called the retributive model of hell. In the first part of this article, we develop the place of retributive punishment in Anselm’s thinking and discuss how and when retributive punishment is a good thing. In the second part, we apply Anselm’s thinking on retributive justice to the problem of hell and provide a defense of how hell, defined as a state (...) of receiving retributive, damnatory, and irreversible punishment, is good. We then address a series of objections. Despite some criticism that both Anselm and the retributive model of hell receive in the contemporary literature, Anselm’s account of retributive justice can make unique and constructive contributions to the contemporary discussion of hell; by retrieving and applying Anselm’s thought to the problem of hell, we intend to kill two birds with one stone. (shrink)

It is not uncommon to think that the existence of exhaustive and infallible divine foreknowledge uniquely threatens the existence of human freedom. This paper shows that this cannot be so. For, to uniquely threaten human freedom, infallible divine foreknowledge would have to make an essential contribution to an explanation for why our actions are not up to us. And infallible divine foreknowledge cannot do this. There remains, however, an important question about the compatibility of freedom and foreknowledge. It is a (...) question not about the existence of foreknowledge, but about its mechanics. (shrink)

There are at least three vaguely atomistic principles that have come up in the literature, two explicitly and one implicitly. First, standard atomism is the claim that everything is composed of atoms, and is very often how atomism is characterized in the literature. Second, superatomism is the claim that parthood is well-founded, which implies that every proper parthood chain terminates, and has been discussed as a stronger alternative to standard atomism. Third, there is a principle that lies between these two (...) theses in terms of its relative strength: strong atomism, the claim that every maximal proper parthood chain terminates. Although strong atomism is equivalent to superatomism in classical extensional mereology, it is strictly weaker than it in strictly weaker systems in which parthood is a partial order. And it is strictly stronger than standard atomism in classical extensional mereology and, given the axiom of choice, in such strictly weaker systems as well. Though strong atomism has not, to my knowledge, been explicitly identified, Shiver appears to have it in mind, though it is unclear whether he recognizes that it is not equivalent to standard atomism in each of the mereologies he considers. I prove these logical relationships which hold amongst these three atomistic principles, and argue that, whether one adopts classical extensional mereology or a system strictly weaker than it in which parthood is a partial order, standard atomism is a more defensible addition to one’s mereology than either of the other two principles, and it should be regarded as the best formulation of the atomistic thesis. (shrink)