Hume’s understanding of sympathy in section 2.1.11 of the Treatise—that it is a mental mechanism by means of which one sentient being can come to share the psychological states of another—has a particularly interesting implication. What the sympathizer receives, according to this definition, is the passing psychological “affection” that the object of his sympathy was experiencing at the moment of observation. Thus the psychological connection produced by Humean sympathy is not between the sympathizer and the “other” as a “whole person” (...) existing through time, but between the sympathizer and the other’s current mental state, detached from his or her diachronic psychological life. Some commentators profess themselves dissatisfied with the impersonality of this “limited sympathy”. John Bricke, for example, argues that the Humean sympathizer sympathizes with “atomistically rendered desires of some individual who is, thus far, of no further concern,” while Philip Mercer writes more bluntly that Hume’s definition omits the “practical concern for the other” that is the essence of sympathy’s contribution to moral psychology. (shrink)

Mainstream views of medical research tell us it should be a fact-based, value-free endeavor: what a scientist (or her funding source) wants or cares about should not influence her findings. At the same time, we also sometimes criticize medical research for failing to embody certain values, e.g. when we criticize pharmaceutical companies for largely ignoring the diseases that affect the global poor. This chapter seeks to reconcile these perspectives by distinguishing appropriate from inappropriate influences of values on medical research. It (...) divides this broad question into two narrower ones, the Role Question (at what points in the research process is value influence potentially acceptable?) and the Content Question (when value influence is potentially acceptable, what specific values should researchers use?), and then draws on the philosophical literature on values in science to explore answers to each of them. (shrink)

Philosophers of science now broadly agree that doing good science involves making non-epistemic value judgments. I call attention to two very different normative standards which can be used to evaluate such judgments: standards grounded in ethics and standards grounded in political philosophy. Though this distinction has not previously been highlighted, I show that the values in science literature contain arguments of each type. I conclude by explaining why this distinction is important. Seeking to determine whether some value-laden determination meets substantive (...) ethical standards is a very different endeavor from seeking to determine if it is politically legitimate. (shrink)

There is a growing consensus among philosophers of science that core parts of the scientific process involve non-epistemic values. This undermines the traditional foundation for public trust in science. In this article I consider two proposals for justifying public trust in value-laden science. According to the first, scientists can promote trust by being transparent about their value choices. On the second, trust requires that the values of a scientist align with the values of an individual member of the public. I (...) argue that neither of these proposals work and suggest an alternative that does better. When scientists must appeal to values in the course of their research, they should appeal to democratic values: the values of the public or its representatives. (shrink)

Scientists have the ability to influence policy in important ways through how they present their results. Surprisingly, existing codes of scientific ethics have little to say about such choices. I propose that we can arrive at a set of ethical guidelines to govern scientists’ presentation of information to policymakers by looking to bioethics: roughly, just as a clinician should aim to promote informed decision-making by patients, a scientist should aim to promote informed decision-making by policymakers. Though this may sound like (...) a natural proposal, I show it offers guidance that conflicts with standard scientific practices. I conclude by considering one cost of the proposal: that it would prevent scientists from acting as advocates in a way that is currently common in certain fields. I accept that the proposal would restrict scientists’ political advocacy rights, but argue that the benefits of adopting it — promoting democratic governance — justify the restriction. (shrink)

Recently, a number of philosophers have argued that we can and should “consequentialize” non-consequentialist moral theories, putting them into a consequentialist framework. I argue that these philosophers, usually treated as a group, in fact offer three separate arguments, two of which are incompatible. I show that none represent significant threats to a committed non-consequentialist, and that the literature has suffered due to a failure to distinguish these arguments. I conclude by showing that the failure of the consequentializers’ arguments has implications (...) for disciplines, such as economics, logic, decision theory, and linguistics, which sometimes use a consequentialist structure to represent non-consequentialist ethical theories. (shrink)

Scientists are frequently called upon to “democratize” science, by bringing the public into scientific research. One appealing point for public involvement concerns the nonepistemic values involved in science. Suppose, though, a scientist invites the public to participate in making such value-laden determinations but finds that the public holds values the scientist considers morally unacceptable. Does the argument for democratizing science commit the scientist to accepting the public’s objectionable values, or may she veto them? I argue that there are a limited (...) set of cases in which scientists can, consistently with a commitment to democratized science, set aside the public’s judgments. (shrink)

1. A multidisciplinary group of scholars within the International Commission on Stratigraphy – known as the Anthropocene Working Group – recently recommended the Anthropocene as a new geological ep...

Many economic measures are structured to reflect ethical values. I describe three attitudes towards this: maximalism, according to which we should aim to build all relevant values into measures; minimalism, according to which we should aim to keep values out of measures; and an intermediate view. I argue the intermediate view is likely correct, but existing versions are inadequate. In particular, economists have strong reason to structure measures to reflect fixed, as opposed to user-assessable, values. This implies that, despite disagreement (...) about precisely how to do so, economists should standardly adjust QALYs and DALYs to reflect egalitarian values. (shrink)

Intelligent neurotechnology is an emerging field that combines neurotechnologies like brain-computer interface (BCI) with artificial intelligence. This paper introduces a capability framework to assess the responsible use of intelligent BCI systems and provide practical ethical guidance. It proposes two tests, the threshold and flourishing tests, that BCI applications must meet, and illustrates them in a series of cases. After a brief introduction (Section 1), Section 2 sets forth the capability view and the two tests. It illustrates the threshold test using (...) examples from clinical medicine of BCI applications that enable patients with profound disabilities to function at a threshold level through computer mediation. Section 3 illustrates the flourishing test by exploring possible future applications of BCI involving neuroenhancements for healthy people, using examples adapted from research currently underway in the US military. Section 3 applies a capability lens to a complex case involving dual effects, both therapeutic and non-therapeutic, showing how the threshold and flourishing tests resolve the case. Section 4 replies to three objections: neurorights are the best tool for assessing BCI; the two tests are moving targets; and the analysis utilizes a capability view to do work it is not designed for. The paper concludes that a capability view offers unique advantages and gives practical guidance for evaluating the responsible use of present and future BCI applications. Extrapolating from our analysis may help guide other emerging technologies, such as germline gene editing, expected to impact central human capabilities. (shrink)

Theorists of health have, to this point, focused exclusively on trying to define a state—health—that an organism might be in. I argue that they have overlooked the possibility of a comparativist theory of health, which would begin by defining a relation—healthier than—that holds between two organisms or two possible states of the same organism. I show that a comparativist approach to health has a number of attractive features, and has important implications for philosophers of medicine, bioethicists, health economists, and policy (...) makers. (shrink)

Define teleology as the view that requirements hold in virtue of facts about value or goodness. Teleological views are quite popular, and in fact some philosophers (e.g. Dreier, Smith) argue that all (plausible) moral theories can be understood teleologically. I argue, however, that certain well-known cases show that the teleologist must at minimum assume that there are certain facts that an agent ought to know, and that this means that requirements can't, in general, hold in virtue of facts about value (...) or goodness. I then show that even if we grant those 'ought's teleology still runs into problems. A positive justification of teleology looks like it will require an argument of this form: O(X); if X, then O(Y); therefore O(Y). But this form of argument isn't in general valid. I conclude by offering two positive suggestions for those attracted to a teleological outlook. (shrink)

I compare two different arguments for the importance of bringing new voices into science: arguments for increasing the representation of women, and arguments for the inclusion of the public, or for “citizen science”. I suggest that in each case, diversifying science can improve the quality of scientific results in three distinct ways: epistemically, ethically, and politically. In the first two respects, the mechanisms are essentially the same. In the third respect, the mechanisms are importantly different. Though this might appear to (...) suggest a broad similarity between the cases, I show that the analysis reveals an important respect in which efforts to include the public are more complex. With citizen science programs, unlike with efforts to bring more women into science, the three types of improvement are often in conflict with one another: improvements along one dimension may come at a cost on another dimension, suggesting difficult trade-offs may need to be made. (shrink)

Previously, we introduced a capability approach to assess the responsible use of brain-computer interface. In this commentary, we say more about the ethical basis of our capability view and respond to three objections. The first objection holds that by stressing that capability lists are provisional and subject to change, we threaten the persistence of human dignity, which is tied to capabilities. The second objection states that we conflate capabilities and abilities. The third objection claims that the goal of using neuroenhancements (...) should be preserving capabilities, not altering them. (shrink)

In 2016, a multidisciplinary body of scholars within the International Commission on Stratigraphy—the Anthropocene Working Group—recommended that the world officially recognize the Anthropocene as a new geological epoch. The most contested claim about the Anthropocene, that humans are a major geological and environmental force on par with natural forces, has proven to be a hotbed for discussion well beyond the science of geology. One reason for this is that it compels many natural and social scientists to confront problems and systems (...) that transgress traditional disciplinary boundaries, and as a result, calls for interdisciplinary research are now gaining traction. Proponents of such transgressions have dubbed the new scientific order that will result “Anthropocene Science”, and rhetoric notwithstanding, such discussions exemplify how recent changes within science justify rethinking a prevailing image of how science is done, and with it, the working relationship between scholars in the humanities, natural scientists, and social scientists. (shrink)

There is virtually no philosophical consensus on what, exactly, imperfect duties are. In this paper, I lay out three criteria which I argue any adequate account of imperfect duties should satisfy. Using beneficence as a leading example, I suggest that existing accounts of imperfect duties will have trouble meeting those criteria. I then propose a new approach: thinking of imperfect duties as duties held by groups, rather than individuals. I show, again using the example of beneficence, that this proposal can (...) satisfy the criteria, explaining how something can both have the necessity characteristic of duty, while also allowing agents the latitude which seems to attach to imperfect duties. (shrink)

Summary measures of health, such as the quality-adjusted life year and disability-adjusted life year, have long been known to incorporate a number of value choices. In this paper, though, I show that the value choices in the construction of such measures extend far beyond what is generally recognized. In showing this, I hope both to improve the understanding of those measures by epidemiologists, health economists and policy-makers, and also to contribute to the general debate about the extent to which such (...) measures should be adjusted to reflect ethical values. (shrink)

Much academic work (in philosophy, economics, law, etc.), as well as common sense, assumes that ill health reduces well-being. It is bad for a person to become sick, injured, disabled, etc. Empirical research, however, shows that people living with health problems report surprisingly high levels of well-being - in some cases as high as the self-reported well-being of healthy people. In this chapter, I explore the relationship between health and well-being. I argue that although we have good reason to believe (...) that health problems causing pain and death typically do reduce well-being, health problems that limit capabilities probably don't reduce well-being nearly as much as most people suppose. I then briefly explore the consequences of this conclusion for political philosophy and ethics. If many health problems don't significantly reduce well-being, why should governments go to great expense to prevent or treat them? Why should parents be obliged to ensure the health of their children? (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

When disability-adjusted life years are used to measure the burden of disease on a population in a time interval, they can be calculated in several different ways: from an incidence, pure prevalence, or hybrid perspective. I show that these calculation methods are not equivalent and discuss some of the formal difficulties each method faces. I show that if we don’t discount the value of future health, there is a sense in which the choice of calculation method is a mere question (...) of accounting. Such questions can be important, but they don’t raise deep theoretical concerns. If we do discount, however, choice of calculation method can change the relative burden attributed to different conditions over time. I conclude by recommending that studies involving disability-adjusted life years be explicit in noting what calculation method is being employed and in explaining why that calculation method has been chosen. (shrink)

What makes science trustworthy to the public? This chapter examines one proposed answer: the trustworthiness of science is based at least in part on its independence from the idiosyncratic values, interests, and ideas of individual scientists. That is, science is trustworthy to the extent that following the scientific process would result in the same conclusions, regardless of the particular scientists involved. We analyze this "idiosyncrasy-free ideal" for science by looking at philosophical debates about inductive risk, focusing on two recent proposals (...) which offer different methods of avoiding idiosyncrasy: the high epistemic standards proposal and the democratic values proposal. (shrink)

Alvin Plantinga’s religious epistemology has been used to respond to many debunking arguments against theistic belief. However, critics have claimed that Plantinga’s religious epistemology conflicts with skeptical theism, a view often used in response to the problem of evil. If they are correct, then a common way of responding to debunking arguments conflicts with a common way of responding to the problem of evil. In this paper, I examine the critics’ claims and argue that they are right. I then present (...) two revised versions of Plantinga’s argument for his religious epistemology. I call the first a 'religion-based argument' and the second an 'intention-based argument'. Both are compatible with skeptical theism, and both can be used to respond to debunking arguments. They apply only to theistic beliefs of actual persons who have what I call 'doxastically valuable relationships' with God – valuable relationships the goods of which entail the belief that God exists. (shrink)

This paper argues that knowledge of what it’s like varies along a spectrum from more exact to more approximate, and that phenomenal concepts vary along a spectrum in how precisely they characterize what it’s like to undergo their target experiences. This degreed picture contrasts with the standard all-or-nothing picture, where phenomenal concepts and phenomenal knowledge lack any such degreed structure. I motivate the degreed picture by appeal to (1) limits in epistemic abilities such as recognition, imagination, and inference, and (2) (...) the semantics of ‘knows what it’s like’ expressions. I argue that approximate phenomenal knowledge cannot be explained merely via determinable or vague phenomenal concepts. I develop a framework for systematizing approximate knowledge of phenomenal character. And I explain how my view challenges some standard assumptions about the acquisition conditions, requirements for mastery, and referential mechanisms of phenomenal concepts. (shrink)

Kant’s “primacy of the practical” doctrine says that we can form morally justified commitments regarding what exists, even in the absence of sufficient epistemic grounds. In this paper I critically examine three different varieties of Kant’s “moral proof” that can be found in the critical works. My claim is that the third variety—the “moral-psychological argument” based in the need to sustain moral hope and avoid demoralization—has some intriguing advantages over the other two. It starts with a premise that more clearly (...) coheres with Kant’s mature account of moral motivation, and it invokes plausible empirical-psychological theses to motivate a commitment to the full-blown classical deity—the result Kant clearly wanted. From the point of view of its structure, I think this third variety of moral argument also has the most by way of contemporary interest. (shrink)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

An essay on Kant's theory of justification, where by “justification” is meant the evaluative concept that specifies conditions under which a propositional attitude is rationally acceptable with a moderate-to-high degree of confidence. Kant employs both epistemic and non-epistemic concepts of justification: an epistemic concept of justification sets out conditions under which a propositional attitude is rationally acceptable with a moderate-to-high degree of confidence and a candidate (if true and Gettier-immune) for knowledge. A non-epistemic concept of justification, by contrast, sets out (...) conditions under which attitudes are rationally acceptable with a moderate-to-high degree of confidence but not candidates for knowledge (even if true). The latter conditions will typically be “pragmatic” or “practical,” and thus license acceptance from a “practical” point of view. For Kant, only broadly-speaking practical reasons can provide adequate motivation for adopting a positive attitude towards a proposition (rather than suspending judgment) in the absence of sufficient epistemic grounds. -/- . (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, may (...) have reasonable perspectives for naturalization, given its relation to science, the same cannot be said for metaphysics, given that it is typically understood as an additional theoretical layer over science, not participating in the scientific investigation. That may result either in skepticism over metaphysics, or else on accepting that metaphysics is an autonomous branch of investigation, depending on one’s concern for metaphysics. (shrink)

I give an interpretation according to which Meno’s paradox is an epistemic regress problem. The paradox is an argument for skepticism assuming that (1) acquired knowledge about an object X requires prior knowledge about what X is and (2) any knowledge must be acquired. (1) is a principle about having reasons for knowledge and about the epistemic priority of knowledge about what X is. (1) and (2) jointly imply a regress-generating principle which implies that knowledge always requires an infinite sequence (...) of known reasons. Plato’s response to the problem is to accept (1) but reject (2): some knowledge is innate. He argues from this to the conclusion that the soul is immortal. This argument can be understood as a response to an Eleatic problem about the possibility of coming into being that turns on a regress-generating causal principle analogous to the regress-generating principle presupposed by Meno’s paradox. (shrink)

Scientific realism is typically associated with metaphysics. One current incarnation of such an association concerns the requirement of a metaphysical characterization of the entities one is being a realist about. This is sometimes called “Chakravartty’s Challenge”, and codifies the claim that without a metaphysical characterization, one does not have a clear picture of the realistic commitments one is engaged with. The required connection between metaphysics and science naturally raises the question of whether such a demand is appropriately fulfilled, and how (...) metaphysics engages with science in order to produce what is called “scientific metaphysics”. Here, we map some of the options available in the literature, generating a conceptual spectrum according to how each view approximates science and metaphysics. This is done with the purpose of enlightening the current debate on the possibility of epistemic warrant that science could grant to such a metaphysics, and how different positions differently address the thorny issue concerning such a warrant. (shrink)

This chapter discusses Kant's 1763 "possibility proof" for the existence of God. I first provide a reconstruction of the proof in its two stages, and then revisit my earlier argument according to which the being the proof delivers threatens to be a Spinozistic-panentheistic God—a being whose properties include the entire spatio-temporal universe—rather than the traditional, ontologically distinct God of biblical monotheism. I go on to evaluate some recent alternative readings that have sought to avoid this result by arguing that the (...) relevant facts about real modality can be ultimately grounded in God’s powers or thoughts – or that Kant just leaves the grounding relations mysterious. I argue that the textual and philosophical costs of each of these alternative readings are formidable. The chapter concludes with a discussion of the fate of the proof in the critical period. Some commentators think that it disappears altogether, or that it is downgraded such that it produces a mere regulative idea of God as the most real being. I suggest that the proof survives but that the mode of assent it licenses towards its conclusion changes from knowledge to a certain kind of Belief (Glaube). (shrink)

In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a degreed property to count as degrees of consciousness, (...) and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

In a recent paper, Zukowski and Markiewicz showed that Wigner’s Friend (and, by extension, Schrodinger’s Cat) can be eliminated as physical possibilities on purely logical grounds. I validate this result and demonstrate the source of the contradiction in a simple experiment in which a scientist S attempts to measure the position of object |O⟩ = |A⟩S +|B⟩S by using measuring device M chosen so that |A⟩M ≈ |A⟩S and |B⟩M ≈ |B⟩S. I assume that the measurement occurs by quantum amplification (...) without collapse, in which M can entangle with O in a way that remains reversible by S for some nonzero time period. This assumption implies that during this “reversible” time period, |A⟩M ̸= |A⟩S and |B⟩M ̸= |B⟩S – i.e., the macroscopic pointer state to which M evolves is uncorrelated to the position of O relative to S. When the scientist finally observes the measuring device, its macroscopic pointer state is uncorrelated to the object in position |A⟩S or |B⟩S, rendering the notion of “reversible measurement” a logical contradiction. (shrink)

The dependence solution claims that God’s foreknowledge is no threat to our freedom because God’s foreknowledge depends (in a relevant sense) on our actions. The assumption here is that those parts of the world which depend on our actions are no threat to the freedom of those actions. Recently, Taylor Cyr has presented a case which challenges this assumption. Moreover, since the case is analogous to the case of God’s foreknowledge, it would seem to establish that, even if God’s foreknowledge (...) somehow depends on our actions, our freedom is still threatened. This paper defends the dependence solution, first, by offering an error theory for the intuitions that drive Cyr’s case and, second, by pointing out some arguably mysterious implications of accepting those intuitions. These points taken in conjunction show that Cyr’s case, although quite fascinating, is not as challenging as it might at first seem. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

In their account of theory change in logic, Aberdein and Read distinguish 'glorious' from 'inglorious' revolutions--only the former preserves all 'the key components of a theory' [1]. A widespread view, expressed in these terms, is that empirical science characteristically exhibits inglorious revolutions but that revolutions in mathematics are at most glorious [2]. Here are three possible responses: 0. Accept that empirical science and mathematics are methodologically discontinuous; 1. Argue that mathematics can exhibit inglorious revolutions; 2. Deny that inglorious revolutions are (...) characteristic of science. Where Aberdein and Read take option 1, option 2 is preferred by Mizrahi [3]. This paper seeks to resolve this disagreement through consideration of some putative mathematical revolutions. [1] Andrew Aberdein and Stephen Read, The philosophy of alternative logics, The Development of Modern Logic (Leila Haaparanta, ed.), Oxford University Press, Oxford, 2009, pp. 613-723. [2] Donald Gillies (ed.), Revolutions in Mathematics, Oxford University Press, Oxford, 1992. [3] Moti Mizrahi, Kuhn's incommensurability thesis: What's the argument?, Social Epistemology 29 (2015), no. 4, 361-378. (shrink)

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

The Schrodinger's Cat and Wigner's Friend thought experiments, which logically follow from the universality of quantum mechanics at all scales, have been repeatedly characterized as possible in principle, if perhaps difficult or impossible for all practical purposes. I show in this paper why these experiments, and interesting macroscopic superpositions in general, are actually impossible in principle. First, no macroscopic superposition can be created via the slow process of natural quantum packet dispersion because all macroscopic objects are inundated with decohering interactions (...) that constantly localize them. Second, the SC/WF thought experiments depend on von Neumann-style amplification to achieve quickly what quantum dispersion achieves slowly. Finally, I show why such amplification cannot produce a macroscopic quantum superposition of an object relative to an external observer, no matter how well isolated the object from the observer, because: the object and observer are already well correlated to each other; and reducing their correlations to allow the object to achieve a macroscopic superposition relative to the observer is equally impossible, in principle, as creating a macroscopic superposition via the process of natural quantum dispersion. (shrink)

The paper takes a novel approach to a classic problem—Hempel’s Raven Paradox. A standard approach to it supposes the solution to consist in bringing our inductive logic into “reflective equilibrium” with our intuitive judgements about which inductive inferences we should license. This approach leaves the intuitions as a kind of black box and takes it on faith that, whatever the structure of the intuitions inside that box might be, it is one for which we can construct an isomorphic formal edifice, (...) a system of inductive logic. By popping open the box we can see whether that faith is misplaced. I aim, therefore, to characterize our pre-theoretical, intuitive understanding of generalizations like “ravens are black” and argue that, intuitively, we take them to mean, for instance: “ravens are black by some indeterminate yet characteristic means.” I motivate and explicate this formulation and bring it to bear on Hempel’s Problem. (shrink)

Deflationists hold that it does not seem to us, in experience, as though time robustly passes. There is some recent empirical evidence that appears to support this contention. Equally, empirical evidence suggests that we naïvely represent time as dynamical. Thus deflationists are faced with an explanatory burden. If, as they maintain, the world seems to us in experience as though it is non-dynamical, then why do we represent time as dynamical? This paper takes up the challenge of investigating, on the (...) part of the deflationist, one candidate explanation. We hypothesise that people’s belief that the future is what we call deliberatively open partly explains why they represent time as dynamical. In a series of two experiments we test this hypothesis. We find no evidence that beliefs about deliberative openness explain why people represent time as dynamical. Hence there remains an explanatory burden for the deflationist to discharge. (shrink)

Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he used (...) several keywords such as "active intuition" and "self-reflection" from Nishida's philosophy. In this paper, we aim to describe a general outline of our project to investigate Takeuti's philosophy of mathematics. In particular, after reviewing Takeuti's proof-theoretic results briefly, we describe some key elements in Takeuti's texts. By explaining these texts, we point out the connection between Takeuti's proof theory and Nishida's philosophy and explain the future goals of our project. (shrink)

In this paper, we provide an account of the ontological status of Christ’s dead body, which remained in the tomb during the three days after his crucifixion. Our account holds that Christ’s dead body – during the time between his death and resurrection – was prime matter without a substantial form. We defend this account by showing how it is metaphysically possible for prime matter to exist in actuality without substantial forms. Our argument turns on the truth of two theses: (...) God is able to produce all acts of secondary causes without those secondary causes, and Substantial forms are secondary causes of the actuality of prime matter. We argue that the metaphysical possibility of matter without form is perfectly consistent with holding both there is only one substantial form in a material substance and that prime matter is pure potentiality. Moreover, we argue that the metaphysical possibility of matter without form does little-to-no damage to our natural understanding of material substances. (shrink)

Kant says that it can be rational to accept propositions on the basis of non-epistemic or broadly practical considerations, even if those propositions include “transcendental ideas” of supersensible objects. He also worries, however, about how such ideas (of freedom, the soul, noumenal grounds, God, the kingdom of ends, and things-in-themselves generally) acquire genuine positive content in the absence of an appropriate connection to intuitional experience. How can we be sure that the ideas are not empty “thought-entities (Gedankendinge)”—that is, speculative fancies (...) that do not and perhaps even cannot have referents in reality? In this paper I argue for an account of the fundamental problem here (i.e. that it is based in a concern about whether or not the objects of such ideas are "really possible" in Kant's technical sense). I then critically evaluate Kant's three proposed solutions to the problem. The third one involves an appeal to the complicated doctrine of "symbolization" that becomes prominent in Kant's later works. -/- . (shrink)

Charles Sanders Peirce famously claimed that ‘The opinion which is fated to be ultimately agreed to by all who investigate is what we mean by the truth’ (W3: 273). Christopher Hookway has argued for a highly distinctive interpretation of this claim in terms of speech-acts and the normative commitments we incur in performing them. So-construed, Peirce’s conception of truth is difficult to compare with standard theories of the concept, which tend to focus instead upon some property or feature that is (...) shared by all and only true propositions, and with whether or not that property is substantive or metaphysically significant. This paper examines Hookway’s interpretation of Peirce’s conception of truth in an effort to clarify its position in logical space. It then raises some difficulties for the way Hookway tries to accommodate Peirce’s remarks about the special status of assertion and belief in science. (shrink)

The goal of this paper is to sketch an account of Kant’s signature metaphysical doctrine (transcendental idealism) that (a) has no supporters – as far as I am aware – in the contemporary literature, and (b) draws its primary motivation (as interpretation) from considerations regarding our practical situation and needs as agents. -/- The consideration I focus on here is that people not only have mental and moral features, but they also appear to us – in our daily experience – (...) to have such features: “[w]e can perceive virtue in our experience (Wir können in der Erfahrung wohl Tugend wahrnehmen)” (24: 906). The same presumably goes for vice: When I see you casually torturing a cat, you appear to me to be brown-haired, wearing jeans, moving your arms, laughing, and so on, but you also appear to me to be vicious and cruel. Your character shines through in your actions. I can then make a defeasible inference from those appearances to the moral reality. -/- Such appearances and inferences play a central role in our practices of praise, blame, forgiveness, and punishment. An interpretation of transcendental idealism that gives primacy to the practical will thus seek to analyze the concepts of experience, acquaintance, and appearance/phenomenon in a capacious-enough way that they can apply to mental and moral features too. If successful, such an interpretation would have a clear practical advantage over those that leave us merely conjecturing from experiences of bodies, gestures, and secondary qualities to moral features that do not appear, or even to the non-appearing features of a distinct set of things. (shrink)