Prominent thinkers such as Jurgen Habermas and Michael Sandel are warning that biomedical enhancements will undermine fundamental political values. Yet whether biomedical enhancements will undermine such values depends on how biomedical enhancements will function, how they will be administered and to whom. Since only few enhancements are obtainable, it is difficult to tell whether these predictions are sound. Nevertheless, such warnings are extremely valuable. As a society we must, at the very least, be aware of developments that could have harmful (...) consequences. Indeed, if important values were to be jeopardized, we should take appropriate measures to protect them. This paper focuses on four central values: solidarity, personal responsibility, equality and autonomy. It delineates the conditions under which biomedical enhancements would undermine these values. It also details the circumstances under which these values would be unaffected by enhancements as well as those under which they would be promoted. Specifying these conditions is valuable; it would enable society to prepare appropriate ethical guidelines and policy responses in advance. (shrink)

Traditionally, biomedical research has been devoted to improvement in the understanding and treatment or prevention of disease. Building on the knowledge generated by the long history of disease-oriented research, the next few decades will witness an explosion of biomedical enhancements to make people faster, stronger, smarter, less forgetful, happier, prettier, and live longer (Turner et al. 2003; Vastag 2004; Rose 2002). As with other biomedical interventions, research to assess the safety and efficacy of these enhancements in humans should be conducted (...) before their introduction into clinical practice.1 However, various concerns regarding the ethics of enhancement research could be raised. Those who .. (shrink)

Persuasive arguments have been put forward for the permissible use of neuroenhancements (Bostrom and Sanberg 2009; Dees 2008). It is argued that in the same way that adults are (and should be) free...

In a recent article, Steel, Buchak and Eyal argue that current levels of uncertainty do not present a good reason to bar controlled human infection trials of COVID-19 vaccines from proceeding. We argue that their argumentation for this conclusion is flawed. SBE are mistaken about the effects which different forms of ignorance have on participants’ ability to provide valid informed consent. Decision-makers considering whether to allow such trials, we argue, must ultimately consider the likelihood that consent to participation in such (...) trials under current conditions would be valid, and whether this likelihood is high enough to permit such trials. This is a question that SBE completely ignore. We conclude that there indeed are valid concerns about conducting CHI trials given the current state of knowledge about COVID-19, concerns which SBE fail to address. (shrink)

The standard account of informed consent has recently met serious criticism, focused on the mismatch between its implications and widespread intuitions about the permissibility of conducting research and providing treatment under conditions of partial knowledge. Unlike other critics of the standard account, we suggest an account of the relations between autonomy, ignorance, and valid consent that avoids these implausible implications while maintaining the standard core idea, namely, that the primary purpose of the disclosure requirement of informed consent is to prevent (...) autonomy-undermining ignorance. The problem with the standard account, we argue, is that it fails to distinguish between different forms of ignorance–in particular, error and suspending ignorance–that have very different effects on individuals’ ability to provide valid consent. While error often undermines our ability to provide valid consent, suspending ignorance, we argue, does not. Once the moral weight of this distinction is appreciated, it becomes apparent that valid informed consent requires far less knowledge than suggested by the standard account. (shrink)

Unconscious perceptions have recently become a focal point in the debate for and against naive realism. In this paper I defend the naive realist side. More specifically, I use an idea of Martin’s to develop a new version of naive realism—neuro-computational naive realism. I argue that neuro-computational naive realism offers a uniform treatment of both conscious and unconscious perceptions. I also argue that it accommodates the possibility of phenomenally different conscious perceptions of the same items, and that it can answer (...) a further challenge to naive realism raised by Berger and Nanay. (shrink)

Perceptions are externally-directed—they present us with a mind-independent reality, and thus contribute to our abilities to think about this reality, and to know what is objectively the case. But perceptions are also internally-dependent—their phenomenologies depend on the neuro-computational properties of the subject. A good theory of perception must account for both these facts. But naive realism has been criticized for failing to accommodate internal-dependence. This paper evaluates and responds to this criticism. It first argues that a certain version of naive (...) realism, often called “selectionism”, does indeed struggle with internal-dependence. It then develops an alternate version of naive realism which does not. This alternate version, inspired by an idea of Martin’s, accommodates the internal-dependence of perceptions by recognizing the role that the subject’s neuro-computational properties play in shaping perceptual phenomenology. At the same time, it retains the distinctive naive realist account of the external-directedness of perceptions. (shrink)

The phenomenal particularity thesis says that if a mind-independent particular is consciously perceived in a given perception, that particular is among the constituents of the perception’s phenomenology. Martin, Campbell, Gomes and French and others defend this thesis. Against them are Mehta, Montague, Schellenberg and others, who have produced strong arguments that the phenomenal particularity thesis is false. Unfortunately, neither side has persuaded the other, and it seems that the debate between them is now at an impasse. This paper aims to (...) break through this impasse. It argues that we have reached the impasse because two distinct conceptions of phenomenology—a “narrow” conception and a “broad” conception—are compatible with our what-it-is-like characterizations of phenomenology. It also suggests that each of these two conceptions has its own theoretical value and use. Therefore, the paper recommends a pluralistic position, on which we acknowledge that there are two kinds of phenomenology: narrow phenomenology and broad phenomenology. The phenomenal particularity thesis is true only with respect to the latter. (shrink)

First English-language translation of Lev Shestov's early writings on faith, ancient philosophy and biblical revelation.

In the early 1980’s van Inwagen presented the Direct Argument for the incompatibility of determinism with moral responsibility. In the course of the ensuing debate, Fischer, McKenna and Loewenstein have replied, each in their own way, that versions of the Direct Argument do not pose even a prima facie threat to compatibilism. Their grounds were that versions of the Direct Argument all use the “Transfer NR” inference rule in a dialectically problematic way. I rebut these replies here. By so doing, (...) I hope to set the Direct Argument debate on a more fruitful path. (shrink)

Standing is a peculiar norm, allowing for deflecting that is rejecting offhand and without deliberation interventions such as directives. Directives are speech acts that aim to give directive-reasons, which are reason to do as the directive directs because of the directive. Standing norms, therefore, provide for deflecting directives regardless of validity or the normative weight of the rejected directive. The logic of the normativity of standing is, therefore, not the logic of invalidating directives or of competing with directive-reasons but of (...) ‘exclusionary permission’. That is, standing norms provide for permission to exclude from practical deliberation directive-reasons if given without the requisite standing, regardless of their normative weight. As such, standing is a type of second-order norm. Numerous everyday practices involve the deflection of directives, such as pervasive practices of deflecting hypocritical and officious directives. Of various possible models, the one that best captures the normative structure of these practices of deflection is the standing model. Accordingly, the normativity of standing is pervasive in our everyday practices. Establishing that standing, although a neglected philosophical idea, is a significant and independent normative concept. (shrink)

Progressions of iterated reflection principles can be used as a tool for the ordinal analysis of formal systems. We discuss various notions of proof-theoretic ordinals and compare the information obtained by means of the reflection principles with the results obtained by the more usual proof-theoretic techniques. In some cases we obtain sharper results, e.g., we define proof-theoretic ordinals relevant to logical complexity Π1 0 and, similarly, for any class Π n 0 . We provide a more general version of the (...) fine structure relationships for iterated reflection principles (due to U. Schmerl [25]). This allows us, in a uniform manner, to analyze main fragments of arithmetic axiomatized by restricted forms of induction, including IΣ n , IΣ n − , IΠ n − and their combinations. We also obtain new conservation results relating the hierarchies of uniform and local reflection principles. In particular, we show that (for a sufficiently broad class of theories T) the uniform Σ1-reflection principle for T is Σ2-conservative over the corresponding local reflection principle. This bears some corollaries on the hierarchies of restricted induction schemata in arithmetic and provides a key tool for our generalization of Schmerl's theorem. (shrink)

We suggest an algebraic approach to proof-theoretic analysis based on the notion of graded provability algebra, that is, Lindenbaum boolean algebra of a theory enriched by additional operators which allow for the structure to capture proof-theoretic information. We use this method to analyze Peano arithmetic and show how an ordinal notation system up to 0 can be recovered from the corresponding algebra in a canonical way. This method also establishes links between proof-theoretic ordinal analysis and the work which has been (...) done in the last two decades on provability logic and reflection principles. Because of its abstract algebraic nature, we hope that it will also be of interest for non-prooftheorists. (shrink)

This paper reexamines the historical debate between Leibniz and Newton on the nature of space. According to the traditional reading, Leibniz (in his correspondence with Clarke) produced metaphysical arguments (relying on the Principle of Sufficient Reason and the Principle of Identity of Indiscernibles) in favor of a relational account of space. Newton, according to the traditional account, refuted the metaphysical arguments with the help of an empirical argument based on the bucket experiment. The paper claims that Leibniz’s and Newton’s arguments (...) cannot be understood apart from the distinct dialectics of their respective positions vis-à-vis Descartes’ theory of space and physics. Against the traditional reading, the paper argues that Leibniz and Newton are operating within a different metaphysics and different conceptions of “place,” and that their respective arguments can largely remain intact without undermining the other philosopher’s conception of space. The paper also takes up the task of clarifying the distinction between true and absolute motion, and of explaining the relativity of motion implied by Leibniz’s account. The paper finally argues that the two philosophers have different conceptions of the relation between metaphysics and science, and that Leibniz’s attempt to base physical theory on an underlying metaphysical account of forces renders his account of physics unstable. (shrink)

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant ‘true’ by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform reflection schemata in arithmetic, possibly of unrestricted logical complexity. We formulate an arithmetically complete calculus with modalities labeled by natural numbers and ω, where ω corresponds to the full uniform reflection schema, whereas n<ω corresponds to its restriction to arithmetical Πn+1-formulas. This (...) calculus is shown to be complete w.r.t. a suitable class of finite Kripke models and to be decidable in polynomial time. (shrink)

What justifies practices of “standing”? Numerous everyday practices exhibit the normativity of standing: forbidding certain interventions and permitting ignoring them. The normativity of standing is grounded in facts about the person intervening and not on the validity of her intervention. When valid, directives are reasons to do as directed. When interventions take the form of directives, standing practices may permit excluding those directives from one’s practical deliberations, regardless of their validity or normative weight. Standing practices are, therefore, puzzling – forbidding (...) giving reasons and, if given, permitting disregarding such reasons. What justifies standing practices are the values that they protect, including privacy, autonomy, independence, valuable relationships, and equal respect. These values count in favor of standing’s duty against certain interventions and, when these duties of non-intervention are breached, the values underpinning those duties count in favor of standing’s permission to discount or exclude those interventions from one’s practical deliberations – the normative weight of those interventions notwithstanding. (shrink)

While many take Newton's argument for absolute space to be an inference to the best explanation, some argue that Newton is primarily concerned with the proper definition of true motion, rather than with independent existence of spatial points. To an extent the latter interpretation is correct. However, all prior interpretations are mistaken in thinking that 'absolute motion' is defined as motion with respect to absolute space. Newton is also using this notion to refer to the quantity of motion (momentum). This (...) reading reveals a misunderstood argument for absolute space, according to which absolute space is necessary for a workable definition of momentum. (shrink)

For “natural enough” systems of ordinal notation we show that α times iterated local reflection schema over a sufficiently strong arithmetic T proves the same Π 1 0 -sentences as ω α times iterated consistency. A corollary is that the two hierarchies catch up modulo relative interpretability exactly at ε-numbers. We also derive the following more general “mixed” formulas estimating the consistency strength of iterated local reflection: for all ordinals α ⩾ 1 and all β, β ≡ Π 1 0 (...) T ω α · , α ≡ Π 1 0 T β + ω α . Here T α stands for α times iterated local reflection over T , T β stands for β times iterated consistency, and ≡ Π 1 0 denotes mutual Π 1 0 -conservativity. In an appendix to this paper we develop our notion of “natural enough” system of ordinal notation and show that such systems do exist for every recursive ordinal. (shrink)

This article examines Newton’s method of induction and its connection to methodological atomism. The article argues that Newton’s Rule III for the Study of Natural Philosophy is a criterion for isolating the primary qualities of the atomic parts; in other words, it interprets Rule III as a transductive inference. It is shown that both the standard inductive and invariance interpretations of Rule III can be subsumed under the transductive view, although the invariance criterion is reinterpreted; by qualities “that cannot be (...) intended or remitted,” Newton means qualities that are invariant under changes in the configuration of the atomic parts. (shrink)

The article uses Israel’s volatile jurisdictional dynamics of the past two decades concerning access to religious community justice, as a telling case for examining the way legal pluralism is deployed along the public–private divide. The Israeli case exhibits a complex combination of an ostensibly liberal democratic regime, a commitment to a particularistic ethno-national political project, structural entanglements of state and religion against the backdrop of an unsettled constitutional order, and an historically diffuse mode of often-illiberal normative ordering within its diverse (...) religious communities. All this provides a rich backdrop for various strategies by communal and institutional elites seeking to consolidate power, legitimacy, and authenticity in their often mutually-reliant jurisdictional projects. The article explores several salient episodes from Israel’s religious jurisdiction dynamics, focusing for purposes of analytical clarity on the case of Jewish orthodox legality. The analysis uncovers the main strategies stakeholders resort to, and shows how agency flows in different ways, with the choices of each player affecting the possibilities of the others. The institution at the arguable top of the system—the Supreme Court—is shown to be often devoid of effective means of elucidating, let along imposing, a coherent vision for a fragmented jurisdictional field. Conceptually, the judicial forum is revealed as the locus of an ongoing, uneasy engagement among normative imaginaries in a sometimes-competitive, sometimes-collaborative negotiation over coherence, tolerance, authority, and legitimacy. (shrink)

Analyzes principal forces that determined the direction of Camus' thought on ethics and political values.

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms, the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities, and conventions that are made possible by (...) possible revisions to theory. I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (shrink)

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms (conceptual conventions), the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities (coordinative definitions), and conventions that (...) are made possible by possible revisions to theory (the thesis of empirical underdetermination). I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (shrink)

The main focus of the book is the presentation of the 'inertial' view of population growth. This view provides a rather simple model for complex population dynamics, and is achieved at the level of the single species without invoking species interactions. An important part of this account is the maternal effect. Investment of mothers in the quality of their daughters makes the rate of reproduction of the current generation depend not only on the current environment, but also on the environment (...) experienced by the previous generation. (shrink)

Representations seem to play a major role in many neuroscientific explanations. Philosophers have long attempted to properly define what it means for a neural state to be a representation of a specific content. Teleosemantic theories of content which characterize representations, in part, by appealing to a historical notion of function, are often regarded as our best path towards an account of neural representations. This paper points to the anti-representationalist consequences of these accounts. I argue that assuming such teleosemantic views will (...) deprive representations of their explanatory role in computational explanations. My argument rests on the claim that many explanations in cognitive neuroscience are entirely independent of any historical considerations. In making this claim, I will also offer an adapted version of the famous Swampperson thought experiment, which is better suited to discussions of subpersonal neural representations. (shrink)

A well-known result states that, over basic Kalmar elementary arithmetic EA, the induction schema for ∑n formulas is equivalent to the uniform reflection principle for ∑n + 1 formulas . We show that fragments of arithmetic axiomatized by various forms of induction rules admit a precise axiomatization in terms of reflection principles as well. Thus, the closure of EA under the induction rule for ∑n formulas is equivalent to ω times iterated ∑n reflection principle. Moreover, for k < ω, k (...) times iterated ∑n reflection principle over EA precisely corresponds to the extension of EA by k nested applications of ∑n induction rule.The above relationship holds in greater generality than just stated. In fact, we give general formulas characterizing in terms of iterated reflection principles the extension of any given theory by k nested applications of ∑n or Πn induction rules. In particular, the closure of a theory T under just one application of ∑1 induction rule is equivalent to T together with ∑1 reflection principle for each finite Π2 axiomatized subtheory of T.These results have closely parallel ones in the theory of subrecursive function classes. The rules under study correspond, in a canonical way, to natural closure operators on the classes of provably recursive functions. Thus, ∑1 induction rule precisely corresponds to the primitive recursive closure operator, and ∑1 collection rule, introduced below, corresponds to the elementary closure operator. (shrink)

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.

Metasemantics is the metaphysics of semantic endowment: it asks how expressions become endowed with their semantic significance. Assuming that semantics is of the usual truth-conditional sort, metasemantics asks after the determinants of expressions’ distinctive contributions to truth-conditions. There are two widely divergent general approaches to the metasemantic project. Some theories – “productivist” ones such as causal theories or intention-based theories – emphasize conditions of production or employment of the items semantically endowed. Other metasemantic theories – “interpretationist” ones – emphasize conditions (...) of interpretive consumption or reception of such items. The book aims to articulate a set of considerations that favour metasemantic productivism over metasemantic interpretationism, to reconcile a general productivist metasemantic approach with contemporary truth-conditional semantics, and to apply the approach to more specialized case studies in the philosophy of language broadly construed. Finally, a major concern in contemporary philosophy of language after Quine is semantic indeterminacy, the worry that there is no fact of the matter as to the semantic significance of our words. The book articulates a distinctly metasemantic strategy to counter the worry. It is shown how the present approach delivers a more successful response to semantic indeterminacy than extant alternatives, a response that emphasizes the priority of reference over truth, which is both intuitively compelling and theoretically motivated. (shrink)

This paper introduces the Cummins Functions Approach to neural representations, which aims to capture the notion of representation that is relevant to contemporary neuroscientific practice. CFA shares the common view that “to be a representation of X” amounts to “having the function of tracking X,” but maintains that the relevant notion of function is defined by Robert Cummins’s account. Thus, CFA offers a notion of neural representation that is dependent on explanatory context. I argue that CFA can account for the (...) normativity of neural representations, and defend its dependence on explanations. (shrink)

We report a series of experiments examining whether people ascribe knowledge for true beliefs based on probabilistic evidence. Participants were less likely to ascribe knowledge for beliefs based on probabilistic evidence than for beliefs based on perceptual evidence or testimony providing causal information. Denial of knowledge for beliefs based on probabilistic evidence did not arise because participants viewed such beliefs as unjustified, nor because such beliefs leave open the possibility of error. These findings rule out traditional philosophical accounts for why (...) probabilistic evidence does not produce knowledge. The experiments instead suggest that people deny knowledge because they distrust drawing conclusions about an individual based on reasoning about the population to which it belongs, a tendency previously identified by “judgment and decision making” researchers. Consistent with this, participants were more willing to ascribe knowledge for beliefs based on probabilistic evidence that is specific to a particular case. 2016 APA, all rights reserved). (shrink)

Are there moral rights to do moral wrong? A right to do wrong is a right that others not interfere with the right-holder’s wrongdoing. It is a right against enforcement of duty, that is a right that others not interfere with one’s violation of one’s own obligations. The strongest reason for moral rights to do moral wrong is grounded in the value of personal autonomy. Having a measure of protected choice (that is a right) to do wrong is a condition (...) for an autonomous life and for autonomous moral self-constitution. This view has its critics. Responding to these objections reveals that none refute the coherence of the concept of a ‘moral right to do moral wrong’. At most, some objections successfully challenge the weight and frequency of the personal autonomy reasons for such rights. Autonomy-based moral rights to do moral wrong are therefore conceptually possible as well as, at least on occasion, actual. (shrink)

Leibniz's views about human freedom are much debated today. While traditionalists hold that Leibniz was a compatibilist about freedom, some commentators are now suggesting that Leibniz can be read as an incompatibilist. This exciting new reading is often based on Leibniz's "Necessary and Contingent Truths" (AVI, 4 B, 1514-1524; henceforth: NCT). This paper shall argue that NCT supports not only an understanding of Leibniz as a freedom incompatibilist, but more radically, as embracing a particularly intriguing kind of libertarianism. On this (...) Leibnizian brand of libertarianism, a human action may be both free and unavoidable (in the sense that the agent could not have acted otherwise). (shrink)

This article compares the sections on the qualities desirable in a wife in Abū Ḥāmid al-Ghazālī’s Iḥyāʾ ʿulūm al-dīn and Bar Hebraeus’s Ethicon, which the West Syrian writer modeled on al-Ghazālī’s work. The article first establishes that al-Ghazālī based his profile of the ideal wife on a jurisprudential discussion of the topic by his teacher, Imām al-Ḥaramayn al-Juwaynī, expanding it, however, by adding anecdotes from Sufi literature and reasoned arguments on how “the good wife” will best facilitate her husband’s devotion (...) to God. The article then moves to consider how Bar Hebraeus appropriates, reconfigures, and reframes as Christian teaching al-Ghazālī’s discussion. Finally, the article argues that the similarity between the two texts demonstrates that both carve out a particular notion of male piety intelligible and resonant in their different religious traditions and in the broader monotheistic culture of the premodern Middle East. (shrink)

There is an existing debate regarding the view that technological instruments, devices, or machines can assert ‎or testify. A standard view in epistemology is that only humans can testify. However, the notion of quasi-‎testimony acknowledges that technological devices can assert or testify under some conditions, without ‎denying that humans and machines are not the same. Indeed, there are four relevant differences between ‎humans and instruments. First, unlike humans, machine assertion is not imaginative or playful. Second, ‎machine assertion is prescripted and (...) context restricted. As such, computers currently cannot easily switch ‎contexts or make meaningful relevant assertions in contexts for which they were not programmed. Third, ‎while both humans and computers make errors, they do so in different ways. Computers are very sensitive to ‎small errors in input, which may cause them to make big errors in output. Moreover, automatic error control ‎is based on finding irregularities in data without trying to establish whether they make sense. Fourth, ‎testimony is produced by a human with moral worth, while quasi-testimony is not. Ultimately, the notion of ‎quasi-testimony can serve as a bridge between different philosophical fields that deal with instruments and ‎testimony as sources of knowledge, allowing them to converse and agree on a shared description of reality, ‎while maintaining their distinct conceptions and ontological commitments about knowledge, humans, and ‎nonhumans.‎. (shrink)