Respect for victims requires that we have social systems for punishing and condemning (reproving) serious crimes. But, the conditions of social marginalization and political subordination of the communities from which an overwhelming number of prisoners in the United States come place serious barriers in the face of effective reprobation. Mass incarceration makes this problem worse by disrupting and disrespecting entire communities. While humanities education in the prisons is far from a total solution, it is one way to make reprobation meaningful, (...) so long as the prison classroom is a place where the educators’ values are also put at risk. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

Initial responses to questionnaires used to assess participants' understanding of informed consent for malaria vaccine trials conducted in the United States and Mali were tallied. Total scores were analyzed by age, sex, literacy (if known), and location. Ninety-two percent (92%) of answers by United States participants and 85% of answers by Malian participants were correct. Questions more likely to be answered incorrectly in Mali related to risk, and to the type of vaccine. For adult participants, independent predictors of higher scores (...) were younger age and female sex in the United States, and male sex in Mali. Scores in the United States were higher than in Mali (P = 0.005). Despite this difference participants at both sites were well informed overall. Although interpretation must be qualified because questionnaires were not intended as research tools and were not standardized among sites, these results do not support concerns about systematic low understanding among research participants in developing versus developed countries. (shrink)

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.

Résumé Si l’absence de moralité des psychopathes a été largement étudiée, il existe peu de recherches sur leurs capacités esthétiques. Pourtant, beaucoup d’études cliniques de cas montrent qu’ils présentent un grave déficit dans ce domaine. Cet article se propose d’en chercher les causes. Il analyse les forces et les limites de l’hypothèse d’un manque d’empathie pour expliquer ces carences esthétiques, et montre pourquoi l’hypothèse d’un manque de distance psychique se révèle plus féconde. Celle-ci permet en outre de comprendre le lien (...) de l’esthétique et de l’éthique par leur filiation commune : elles ont pour socle commun la capacité à prendre de la distance par rapport à des intérêts étroitement égoïstes. (shrink)

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...) never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

Harold Noonan has recently argued (2003) that one of Lewis’s (1983: 76– 77) arguments for the view that objects persist by perduring is flawed. Lewis’s argument can be divided into two main sections, the first of which attempts to show that it is possible that there exists a world of temporal parts or stages, and the second, which attempts to show that our world is such a world. Noonan claims that there is a flaw in each of these two (...) stages.We argue to the contrary. (shrink)

This Article explores the interpretation and construction of executive orders using as examples President Trump’s two executive orders captioned “Protecting the Nation From Foreign Terrorist Entry Into the United States” (the “Two Executive Orders”). President Trump issued the Two Executive Orders in the context of (among other things) Candidate Trump’s statements such as: “Islam hates us,” and “[W]e can’t allow people coming into this country who have this hatred.” President Trump subsequently provided further context including his tweet about the second (...) of his Two Executive Orders: “People, the lawyers and the courts can call [the second of the Two Executive Orders] whatever they want, but I am calling it what we need and what it is, a TRAVEL BAN!” Although President Trump replaced the first of the Two Executive Orders with the second one and although the Supreme Court by orders dated October 10, 2017 and October 24, 2017, vacated and remanded litigation involving the second order on grounds of mootness, the Two Executive Orders remain highly instructive for those who would understand the interpretation and construction of executive orders. This article therefore examines in detail the original speaker's (i.e., President Trump's) intended meaning and effect of the Two Executive Orders. It performs such examination using insights from the semiotic subfield of pragmatics, a semiotic subfield which explores how real-world people actually use, interpret, and construe language in various real-world contexts (including contexts where the issuer of the Two Executive Orders himself has claimed that “Islam hates us” and has tweeted “TRAVEL BAN!”). Using such insights of pragmatics, this Article also explores why reasonable judges thoroughly versed in legal theory, legal practice, and pragmatics should conclude that President Trump unlawfully targeted Muslims in the Two Executive Orders. This Article, among other things, also questions the sensibility of such notions as “facial legitimacy” to the extent such notions suggest text has meaning apart from context. Keywords: executive orders, speaker meaning, interpretation, construction, semiotics, pragmatics, originalism, speech acts, context, facial legitimacy, Constitutionality, First Amendment,Trump v. Int’l Refugee Assistance Project, Scalia, immigration, semantics, original meaning, travel ban, Trump, textualism. (shrink)

The hermeneutic pragmatism explored in this article timely examines how “post-truth” claims over-estimate semantic freedoms while at the same time underestimating semantic and pre-semantic restraints. Such pragmatism also timely examines how formalists err by committing the reverse errors. Drawing on insights from James, Peirce, Putnam, Rorty, Gadamer, Derrida, and others, such hermeneutic pragmatism explores (1) the necessary role of both internal and objective experience in meaning, (2) the resulting instrumental nature of concepts required to deal with such experience, (3) the (...) related need for workability to apply to the “the collectivity of experience’s demands, nothing being omitted,” (4) the inherent role of morality and other norms in measuring such workability, (5) the semantic as well as experiential nature of our workable realities, (6) the semantic freedoms involved in constructing, framing, and retaining our workable realities and concepts, and (7) the semantic, pre-semantic, and other restraints on constructing, framing, and retaining our workable realities and concepts. -/- Such hermeneutic pragmatism also introduces Eunomia, a real-world alternative to Dworkin’s superhuman judge Hercules. Named after the Greek goddess of good order, the human Eunomia represents the reasonable judge excellently versed in (among other things) legal theory, legal practice, linguistics, and philosophy of language. Additionally, in its appendices, this article surveys the pragmatic restraints of “implementives” and provides a detailed overview of pragmatic “workability” restraints for both law and fact. -/- (By “sense” the title of this article means not only “meaning conveyed or intended” but also “capacity for effective application of the powers of the mind as a basis for action or response.” See Sense, MERRIAM-WEBSTER’S COLLEGIATE DICTIONARY (11th ed. 2014) “Workable” has the broad meaning discussed in Sections II, IV, and Appendix C of the Article, and "good" is further explored in the section on Eunomia, namesake of the Greek goddess of good order.) -/- Keywords: Pragmatism, Hermeneutic, Truth, Rule of Law, William James, C.S. Peirce, Hilary Putnam, Richard Rorty, Gadamer, Habermas, Derrida, Lon Fuller, H.L.A. Hart, Post-truth, Postmodernism, Trump, Rhetoric, Meaning, Interpretation, Metaphor, Category, Lifeworld, Formalism, Framing, Deconstruction. (shrink)

: The debate between proponents of ideal and non-ideal approaches to political philosophy has thus far been framed as a meta-level debate about normative theory. The argument of this essay will be that the ideal/non-ideal debate can be helpfully reframed as a ground-level debate within normative theory. Specifically, it can be understood as a debate within the applied normative field of professional ethics, with the profession being examined that of political philosophy itself. If the community of academic political theorists and (...) philosophers cannot help us navigate the problems we face in actual political life, they have not lived up to the moral demands of their vocation. A moderate form of what David Estlund decries as “utopophobia” is therefore an integral element of a proper professional ethic for political philosophers. The moderate utopophobe maintains that while devoting scarce time and resources to constructing utopias may sometimes be justifiable, it is never self-justifying. Utopianism is defensible only insofar as it can reasonably be expected to help inform or improve nonutopian political thinking. (shrink)

Benjamin Libet's celebrated experiments concerning freedom elicited numerous attempts of _philosophical_ repudiation. Ten years ago, however, Judy Trevena and Jeff Miller published a _technical_ objection; they claim to have detected a,,smearing artifact" in Libet's calculations. This rests on a misunderstanding of Libet's methodology. In my reconstruction of Libet's argument, he draws an abductive inference to the best explanation. Now, Trevena's and Miller's objection does indeed lead to alternative explanations of Libet's measurements. These alternatives are _ad hoc_ and extremely (...) improbable. They constitute worse explanations than the explanation offered by Libet. _German_ Benjamin Libets bahnbrechende Experimente zur Willensfreiheit aus den Achtziger Jahren des vorigen Jahrhunderts gehören längst zu den Klassikern der Experimentalkunst. Aus _philosophischer_ Perspektive sind sie oft kritisiert worden; unabhängig davon ist zu Beginn des neuen Jahrtausends ein _technischer_ Einwand gegen Libet prominent geworden, der von Freiheitsfreunden gerne zitiert wird. Er geht auf Judy Trevena und Jeff Miller zurück und besteht in dem Vorwurf, dass Libet mit seiner Berechnung der _gemittelten_ Bereitschaftspotential-Kurven die wahren Verhältnisse verschmiere und dabei aus mathematischen Gründen den Anstiegs-Zeitpunkt des Bereitschaftspotentials künstlich nach vorne verschiebe – das ist der Vorwurf des sog. Verschmierungsartefakts. Ich zeige, dass der Vorwurf nicht sticht. Er beruht auf einem Missverständnis der Schlussmethode Libets. Laut meiner wissenschaftstheoretischen Rekonstruktion zieht Libet weder deduktive noch induktive Schlüsse aus seinen Einzelbeobachtungen; er schließt abduktiv, d.h. er schließt auf die beste Erklärung seiner Einzelbeobachtungen. Wie eine genaue arithmetische Analyse zeigt, bieten die Alternativ-Erklärungen, unter denen sich das Verschmierungsartefakt bewahrheiten würde, schlechtere Erklärungen als Libets Erklärung – sie sind an den Haaren herbeigezogen und extrem unwahrscheinlich. (shrink)

For three decades I have expounded and defended aim-oriented empiricism, a view of science which, l claim, solves a number of problems in the philosophy of science and has important implications for science itself and, when generalized, for the whole of academic inquiry, and for our capacity to solve our current global problems. Despite these claims, the view has received scant attention from philosophers of science. Recently, however, David Miller has criticized the view. Miller’s criticisms are, however, not (...) valid. (shrink)

This paper aims at introducing a French audience to the Intelligent Design debate. It starts by reviewing recent attacks on any possibility of a rational account of theism in light of the contemporary theory of evolution. A section is devoted to outlining the genesis of the "wedge" strategy, to distinguish it from young earth creationism, and to highlight the questioning of evolution as our meta-narrative bearing on overall conceptions of the scientific endeavor. The arguments propounded by Behe are reviewed in (...) detail, as the example of blood coagulation as a purported irreducibly complex mechanism is contrasted to the question of system boundaries. Counter-arguments by Miller are reviewed, and a few bottom-line questions are directed to invite a further consideration of the type of engineering this could testify to. The concept of complex specified information is then presented, and contrasted to traditional and lingering axiomatic problems in the theory of probabilities. The problem of the recognition of an intrinsic pattern is also brought together with some work in recent philosophy of causation and explanation. The two opposing strategies, naturalistic evolutionism and intelligent design, are seen as caught in each other's rhetoric, and some probing is offered in the direction of a theory that could surpass those stalling factors. (shrink)

Christian B. Miller has noted a “realism challenge” for virtue ethicists to provide an account of how the character gap between virtuous agents and non-virtuous agents can be bridged. This is precisely one of Han Feizi’s key criticisms against Confucian virtue ethics, as Eric L. Hutton argues, which also cuts across the Aristotelian one: appealing to virtuous agents as ethical models provides the wrong kind of guidance for the development of virtues. Hutton, however, without going into detail, notes that (...) the notion of rituals in the Confucian tradition may be able to sidestep Han Feizi’s criticism. In this essay, I wish to explore not only how the notion of rituals, alongside its corollaries in Xunzi’s Confucian program for ethical cultivation, indeed addresses Han Feizi’s criticism, but also observe that Aristotle’s tragic poetry plays functionally equivalent roles in his own understanding of ethical upbringing. I will begin by considering Han Feizi’s critique of ethical cultivation in virtue ethics as such and how it poses a specific problem for the acquisition of the ‘constitutive reasoning’ shared by Aristotle and Xunzi. I will then briefly note that this problem trades on the synthetic structure of human nature found in both Aristotle and Xunzi (the rational/irrational parts of the soul and the heartmind/five faculties), which grounds the way they understand ethical action and agency. Finally, I will suggest how both Aristotle and Xunzi understand the role of the arts in their extensive programme of ethical cultivation, allowing them to respond to Han Feizi’s attack as too narrow a construal of their respective ethical projects. It is hoped that, through this, we may gain a better sense of how more recent virtue ethicists may similarly draw on aesthetic resources for ethical development. (shrink)

Temporal dynamists argue that we should believe that there exists temporal passage because there being passage is the best explanation for the presence of our temporal phenomenology. Some non-dynamists have countered that the presence of passage makes no difference to our temporal phenomenology, and consequently that temporal phenomenology cannot be evidence that there is passage. This paper attempts to bolster this non-dynamist response by offering new arguments for the claim that the presence of passage makes no difference to our phenomenology.

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

What responsibilities do audiences have in engaging with artworks? Certain audience responses seem quite clear: for example, audiences should not vandalize or destroy artworks; they should not disrupt performances. This paper examines other kinds of resisting responses that audiences sometimes engage in, including petitioning the artist to change their works, altering copies of artworks, and creating new artworks in another artist’s fictional world. I argue for five claims: (1) while these actions can sometimes infringe on the rights of artists, the (...) rights of artists are not absolute; (2) the fact that such actions are based on mistaken interpretations of the artworks has no normative weight; (3) there can be reason to object to additions and alterations whose conception of the artwork is morally worse than the original (and so, there can be reason to support additions and alterations whose conception is morally better); (4) petitioning raises special moral problems; and, most important, (5) some of these actions are valuable because they involve creative and aesthetic activity. Those acts of audience resistance that are creative, morally improve on the original work, and that minimize the infringement of the artists’ rights are good, and should be encouraged. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

Concerns about the risks of unmitigated greenhouse gas emissions are growing. At the same time, confidence that international policy agreements will succeed in considerably lowering anthropogenic greenhouse gas emissions is declining. Perhaps as a result, various geoengineering solutions are gaining attention and credibility as a way to manage climate change. Serious consideration is currently being given to proposals to cool the planet through solar-radiation management. Here we analyze how the unique and nontrivial risks of geoengineering strategies pose fundamental questions at (...) the interface between science and ethics. To illustrate the importance of integrated ethical and scientific analysis, we define key open questions and outline a coupled scientific-ethical research agenda to analyze solar-radiation management geoengineering proposals. We identify nine key fields of coupled research including whether solar-radiation management can be tested, how quickly learning could occur, normative decisions embedded in how different climate trajectories are valued, and justice issues regarding distribution of the harms and benefits of geoengineering. To ensure that ethical analyses are coupled with scientific analyses of this form of geoengineering, we advocate that funding agencies recognize the essential nature of this coupled research by establishing an Ethical, Legal, and Social Implications program for solar-radiation management. (shrink)

According to a rights forfeiture theory of punishment, liability to punishment hinges upon the notion that criminals forfeit their rights against hard treatment. In this paper, I assume the success of rights forfeiture theory in establishing the permissibility of punishment but aim to develop the view by considering how forfeited rights might be reclaimed. Built into the very notion of proportionate punishment is the idea that forfeited rights can be recovered. The interesting question is whether punishment is the sole means (...) for reclaiming forfeited rights. I argue for a pluralistic theory of rights reclamation, according to which, there are multiple ways by which a wrongdoer can recapture her forfeited rights. In particular, I argue that offering remorseful compensation is a valid means by which a wrongdoer might partially, or fully, reclaim her right against punishment. (shrink)

This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

Overview of challenges facing philosophical analyses of experience in the face of life with constant connection, social media, and data mining.

Recent work in cognitive science of religion (CSR) is beginning to converge on a very interesting thesis—that, given the ordinary features of human minds operating in typical human environments, we are naturally disposed to believe in the existence of gods, among other religious ideas (e.g., seeAtran [2002], Barrett [2004; 2012], Bering [2011], Boyer [2001], Guthrie [1993], McCauley [2011], Pyysiäinen [2004; 2009]). In this paper, we explore whether such a discovery ultimately helps or hurts the atheist position—whether, for example, it lends (...) credence to atheism by explaining away religious belief or whether it actually strengthens some already powerful arguments against atheism in the relevant philosophical literature.We argue that the recent discoveries of CSR hurt, not help, the atheist position—that CSR, if anything, should not give atheists epistemic assurance. (shrink)

There has been a long history of tension between feminists and feminist philosophy, on the one hand, and logic, on the other hand. This tension expresses itself in many ways, including claims that logic is a tool of the patriarchy, that logic/rationality/analytical tools in philosophy need to be rejected if women are to fully participate, that women = body and man = mind, that to do feminist philosophy one must do it as a situated, embodied person, not as an impersonal, (...) disembodied mind, that logic is “a masculine subject”. However the tension is expressed, it is women in logic and women logicians who are caught in between. The goal of my paper is to explore a conception of logic that not only is not inconsistent with being a feminist, but is actively welcoming of women as logicians. (shrink)

At a 2011 meeting of the Society of Christian Philosophers, N. T. Wright offered four reasons for rejecting the existence of soul. This was surprising, as many Christian philosophers had previously taken Wright's defense of a disembodied intermediate state as a defense of a substance dualist view of the soul. In this paper, I offer responses to each of Wright's objections, demonstrating that Wright's arguments fail to undermine substance dualism. In so doing, I expose how popular arguments against dualism fail, (...) such as dualism is merely an unwarranted influence of Greek culture on Christianity, and substance dualism is merely a soul-of-the-gaps hypothesis. Moreover, I demonstrate that Wright himself has offered a powerful reason for adopting substance dualism in his previous works. In conclusion I offer a view that explains why the human soul needs a resurrected body. (shrink)

Does the recent success of Podemos and Syriza herald a new era of inclusive, egalitarian left populism? Because leaders of both parties are former students of Ernesto Laclau and cite his account of populism as guiding their political practice, this essay considers whether his theory supports hope for a new kind of populism. For Laclau, the essence of populism is an “empty signifier” that provides a means by which anyone can identify with the people as a whole. However, the concept (...) of the empty signifier is not as neutral as he assumes. As I show by analyzing the role of race in his theory, some subjects are constituted in a way that prevents their unmediated identification with the people. Consequently, Laclau’s view should be read as symptomatic of the problems with populist logic if its adherents are to avoid reproducing its exclusions and practice a more inclusive politics. (shrink)

Psychopaths routinely disregard social norms by engaging in selfish, antisocial, often violent behavior. Commonly characterized as mentally disordered, recent evidence suggests that psychopaths are executing a well-functioning, if unscrupulous strategy that historically increased reproductive success at the expense of others. Natural selection ought to have favored strategies that spared close kin from harm, however, because actions affecting the fitness of genetic relatives contribute to an individual’s inclusive fitness. Conversely, there is evidence that mental disorders can disrupt psychological mechanisms designed to (...) protect relatives. Thus, mental disorder and adaptation accounts of psychopathy generate opposing hypotheses: psychopathy should be associated with an increase in the victimization of kin in the former account but not in the latter. Contrary to the mental disorder hypothesis, we show here in a sample of 289 violent offenders that variation in psychopathy predicts a decrease in the genetic relatedness of victims to offenders; that is, psychopathy predicts an increased likelihood of harming non-relatives. Because nepotistic inhibition in violence may be caused by dispersal or kin discrimination, we examined the effects of psychopathy on (1) the dispersal of offenders and their kin and (2) sexual assault frequency (as a window on kin discrimination). Although psychopathy was negatively associated with coresidence with kin and positively associated with the commission of sexual assault, it remained negatively associated with the genetic relatedness of victims to offenders after removing cases of offenders who had coresided with kin and cases of sexual assault from the analyses. These results stand in contrast to models positing psychopathy as a pathology, and provide support for the hypothesis that psychopathy reflects an evolutionary strategy largely favoring the exploitation of non-relatives. (shrink)

Goethe's objections to Newton's theory of light and colours are better than often acknowledged. You can accept the most important elements of these objections without disagreeing with Newton about light and colours. As I will argue, Goethe exposed a crucial weakness of Newton's methodological self-assessment. Newton believed that with the help of his prism experiments, he could prove that sunlight was composed of variously coloured rays of light. Goethe showed that this step from observation to theory is more problematic than (...) Newton wanted to admit. By insisting that the step to theory is not forced upon us by the phenomena, Goethe revealed our own free, creative contribution to theory construction. And Goethe's insight is surprisingly significant, because he correctly claimed that all of the results of Newton's prism experiments fit a theoretical alternative equally well. If this is correct, then by suggesting an alternative to a well-established physical theory, Goethe developed the problem of underdete... (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Much of the discussion of the role of emerging technologies associated with AI, machine learning, digital simulacra, and relevant ethical considerations such as those discussed in the target article, take a relatively narrow and episodic view of a person’s healthcare needs. There is much speculation about diagnostic, treatment, and predictive applications but relatively little consideration of how such technologies might be used to address a person’s lived experience of illness and ongoing care needs. This is likely due to the greater (...) weight or priority given to acute care needs and the role of medical treatment in care provision, but it may also reflect the limitations of current technologies and our limited vision of their potential application. Such limitations are not surprising given that we are still grappling with the complexities and nuances of achieving the ethical and humanistic ideals of care, namely, care that addresses the hermeneutical, relational, contextual, temporal, and agential dimensions of a person’s health and wellbeing. (shrink)

Saṃvega is a morally motivating state of shock that -- according to Buddhaghosa -- should be evoked by meditating on death. What kind of mental state it is exactly, and how it is morally motivating is unclear, however. This article presents a theory of saṃvega -- what it is and how it works -- based on recent insights in psychology. According to dual process theories there are two kinds of mental processes organized in two" systems" : the experiential, automatic system (...) 1, and the rational, controlled system 2. In normal circumstances, system 1 does not believe in its own mortality. Saṃvega occurs when system 1 suddenly realizes that the "subjective self" will inevitably die (while system 2 is already disposed to affirm the subject's mortality). This results in a state of shock that is morally motivating under certain conditions. Saṃvega increases mortality salience and produces insight in suffering, and in combination with a strengthened sense of loving-kindness or empathic concern both mortality salience and insight in suffering produce moral motivation. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Spiritual formation currently lacks a robust epistemology. Christian theology and philosophy often spend more time devoted to an epistemology of propositions rather than an epistemology of knowing persons. This paper is an attempt to move toward a more robust account of knowing persons in general and God in particular. After working through various aspects of the nature of this type of knowledge this theory is applied to specific issues germane to spiritual formation, such as the justification of understanding spiritual growth (...) on an integrative and holistic (heart and mind) model, the reality of hearing God’s voice, and knowing his activity, as well as how such a theory should change the shape of sermons, evangelism, and apologetics. (shrink)

John Rawls shares the Enlightenment's commitment to finding moral and political principles which can be reflectively endorsed by all individuals autonomously. He usually presents reflective autonomy in Kantian, rationalist terms: autonomy is identified with the exercise of reason, and principles of justice must be constructed which are acceptable to all on the basis of reason alone. Yet David Hume, Adam Smith and many other Enlightenment thinkers rejected such rationalism, searching instead for principles which can be endorsed by all on the (...) basis of all the faculties of the human psyche, emotion and imagination included. The influence of these sentimentalists on Rawls is clearest in his descriptive moral psychology, but I argue that it is also present in Rawls's understanding of the sources of normativity. Although this debt is obscured by Rawls's explicit "Kantianism," his theory would be strengthened by a greater understanding of its debts to the sentimentalist Enlightenment. (shrink)

Kristie Miller and James Norton present a new account of metaphysical explanation, not as a philosophical technicality but as a feature of everyday life. This is the notion that we all use in ordinary contexts when we give explanations of a certain sort: Miller and Norton build their account on investigation of these explanatory practices.

This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

According to the Value-Neutrality Thesis, technology is morally and politically neutral, neither good nor bad. A knife may be put to bad use to murder an innocent person or to good use to peel an apple for a starving person, but the knife itself is a mere instrument, not a proper subject for moral or political evaluation. While contemporary philosophers of technology widely reject the VNT, it remains unclear whether claims about values in technology are just a figure of speech (...) or nontrivial empirical claims with genuine factual content and real-world implications. This paper provides the missing argument. I argue that by virtue of their material properties, technological artifacts are part of the normative order rather than external to it. I illustrate how values can be empirically identified in technology. The reason why value-talk is not trivial or metaphorical is that due to the endurance and longevity of technological artifacts, values embedded in them have long-term implications that surpass their designers and builders. I further argue that taking sides in this debate has real-world implications in the form of moral constraints on the development of technology. (shrink)

In his book “Minds and Computers: An Introduction to the Philosophy of Artificial Intelligence”, Matt Carter presents a comprehensive exploration of the philosophical questions surrounding artificial intelligence (AI). Carter argues that the development of AI is not merely a technological challenge but fundamentally a philosophical one. He delves into key issues like the nature of mental states, the limits of introspection, the implications of memory decay, and the functionalist framework that allows for the possibility of AI. Carter contrasts functionalism with (...) reductive materialism, highlighting how the former accommodates the concept of artificial minds. He also emphasizes the significance of computationalism, which combines functionalism with computational theory to provide a robust explanation for mental processes. The book further discusses formal systems, the role of register machines in computation, and the inherent challenges in AI research, particularly in developing natural language processing systems. Carter’s work underscores the limitations of current computational models of cognition while remaining hopeful that advances in neuroscience may lead to stronger AI systems in the future. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

Miller analyzes the relationship between consent and autonomy by offering three pictures. For autonomy, Miller distinguishes between procedural, substantive, and weak substantive autonomy. The corresponding views of consent are what Miller has termed as consensual minimalism, consensual idealism, and consensual realism. The requirements of sexual consent under consensual minimalism are a voluntary informed agreement. However, feminist critiques reveal the inadequacies of this simple position. Consensual idealism, which corresponds with substantive autonomy, offers a robust picture where consent and (...) autonomy must be based on non-oppression. However, this view is considered too ideal and it ignores context. Weak substantive autonomy takes into account the context in the sexual domain. Correspondingly, consensual realism takes into account the context and still fulfills the requirements of consent. (shrink)