In this paper, I will discuss an objection to Buck-Passing accounts of value, such as Reasons Fundamentalism. Buck-Passing views take value to be derivative of or reducible to reasons. The objection is that since there can be value in possible worlds in which there are no reasons, value must not be ontologically derivative of reasons. Thus, BP is false. In this paper, I show that by accepting a dispositionalist revision, BP can allow such worlds while maintaining that reasons are interestingly (...) prior to value, and without having to adopt any controversial metaphysics. I show this by exploring the debate over the nature of dispositions, identifying the diverse resources BP can appeal to. The paper proceeds as follows. I first explain BP. Next, I discuss a few versions of the challenge, settling on what seems to be the strongest form. Following this, I show that on many accounts of dispositions, while we should accept that particular instances of dispositions are prior to their particular manifestations, we should also accept that there is a sense in which dispositions are dependent on their manifestations. This provides BP with resources to respond to the challenge: BP can accept a dispositional revision, without committing to a theory of dispositions. Finally, I will respond to two objections. The first is about whether there are dispositions with impossible manifestations, contrary to my thesis that dispositions depend on their manifestations. The second is about whether there could be value where it would be impossible for that value to give reasons. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

Comparativism is the view that comparative confidences (e.g., being more confident that P than that Q) are more fundamental than degrees of belief (e.g., believing that P with some strength x). In this paper, I outline the basis for a new, non-probabilistic version of comparativism inspired by a suggestion made by Frank Ramsey in `Probability and Partial Belief'. I show how, and to what extent, `Ramseyan comparativism' might be used to weaken the (unrealistically strong) probabilistic coherence conditions that comparativism traditionally (...) relies on. (shrink)

In this paper we critically examine and seek to extend Philip Kitcher’s Ethical Project to weave together a distinctive naturalistic conception of how ethics came to occupy the place it does in our lives and how the existing ethical project should be revised and extended into the future. Although we endorse his insight that ethical progress is better conceived of as the improvement of an existing state than an incremental approach towards a fixed endpoint, we nonetheless go on to argue (...) that the metaethical apparatus Kitcher constructs around this creative metaethical proposal simply cannot do the work that he demands of it. The prospect of fundamental conflict between different functions of the ethical project requires Kitcher to appeal to a particular normative stance in order to judge specific changes in the ethical project to be genuinely progressive, and we argue that the virtues of continuity and coherence to which he appeals can only specify rather than justify the normative stance he favors. We conclude by suggesting an alternative approach for ethical naturalists that seems to us ultimately more promising than Kitcher’s own. (shrink)

Here we focus on two questions: What is the proper semantics for deontic modal expressions in English? And what is the connection between true deontic modal statements and normative reasons? Our contribution towards thinking about the first, which makes up the bulk of our paper, considers a representative sample of recent challenges to a Kratzer-style formal semantics for modal expressions, as well as the rival views—Fabrizio Cariani’s contrastivism, John MacFarlane’s relativism, and Mark Schroeder’s ambiguity theory—those challenges are thought to motivate. (...) These include the Professor Procrastinate challenge to Inheritance (the principle that ‘If ought p and p entails q, then ought q), as well as Parfit’s miners puzzle regarding information-sensitive deontic modals. Here we argue that a Kratzer-style view is able to meet all of the challenges we’ll consider. In addition, we’ll identify challenges for each of those rival views. Our overall conclusion is that a Kratzer-style semantics remains the one to beat. With this assumption in place, we then ask how we should understand the relationship between true deontic modal statements and normative reasons. Should, for example, we hold that the truth of such a statement entails the existence of a normative reason for some agent to comply? Here we argue that, in many cases, acceptance of Kratzer’s semantics for deontic modals leaves open for substantive normative theorizing the question of whether an agent has a normative reason to comply with what she ought to do. (shrink)

This study explores the effectiveness of brain-based learning (BBL) as a pedagogical approach to address the challenges of poor conceptual understanding, which may have worsened due to the COVID-19 pandemic aftermath. In this meta- analysis, 14 studies qualified using the Publish or Perish software and the Preferred Reporting Items for Systematic Reviews and Meta-analyses. Statistical analysis conducted using Comprehensive Meta-Analysis (CMA) Version 4 software by Biostat, Inc. Based on the results, the overall effect size (ES = 3.135) indicates that the (...) use and integration of BBL principles and strategies have a significantly large and positive effect on student conceptual understanding. The moderator analysis revealed a significant difference between individual studies (p < .001); however, the overall results for academic level (p > .05) and discipline (p > .05) revealed no significant differences. Hence, each study included in this analysis may differ from one another due to the differences in various BBL strategies implemented; however, when grouped, they shared common effect sizes. With these findings, the researchers advocate the use of BBL principles and strategies to improve students' conceptual understanding at various levels in basic education, be it in English and STEM. Moreover, empirical studies focusing on a particular BBL variable, such as health and nutrition, are recommended for in-depth analysis and discussion. (shrink)

According to comparativism, degrees of belief are reducible to a system of purely ordinal comparisons of relative confidence. (For example, being more confident that P than that Q, or being equally confident that P and that Q.) In this paper, I raise several general challenges for comparativism, relating to (i) its capacity to illuminate apparently meaningful claims regarding intervals and ratios of strengths of belief, (ii) its capacity to draw enough intuitively meaningful and theoretically relevant distinctions between doxastic states, and (...) (iii) its capacity to handle common instances of irrationality. (shrink)

Carl Hempel (1965) argued that probabilistic hypotheses are limited in what they can explain. He contended that a hypothesis cannot explain why E is true if the hypothesis says that E has a probability less than 0.5. Wesley Salmon (1971, 1984, 1990, 1998) and Richard Jeffrey (1969) argued to the contrary, contending that P can explain why E is true even when P says that E’s probability is very low. This debate concerned noncontrastive explananda. Here, a view of contrastive causal (...) explanation is described and defended. It provides a new limit on what probabilistic hypotheses can explain; the limitation is that P cannot explain why E is true rather than A if P assign E a probability that is less than or equal to the probability that P assigns to A. The view entails that a true deterministic theory and a true probabilistic theory that apply to the same explanandum partition are such that the deterministic theory explains all the true contrastive propositions constructable from that partition, whereas the probabilistic theory often fails to do so. (shrink)

In a series of formal studies and less formal applications, Hong and Page offer a ‘diversity trumps ability’ result on the basis of a computational experiment accompanied by a mathematical theorem as explanatory background (Hong & Page 2004, 2009; Page 2007, 2011). “[W]e find that a random collection of agents drawn from a large set of limited-ability agents typically outperforms a collection of the very best agents from that same set” (2004, p. 16386). The result has been extremely influential as (...) an epistemic justification for diversity policy initiatives. Here we show that the ‘diversity trumps ability’ result is tied to the particular random landscape used in Hong and Page’s simulation. We argue against interpreting results on that random landscape in terms of ‘ability’ or ‘expertise.’ These concepts are better modeled on smother and more realistic landscapes, but keeping other parameters the same those are landscapes on which it is groups of the best performing that do better. Smoother landscapes seem to vindicate both the concept and the value of expertise. Change in other parameters, however, also vindicates diversity. With an increase in the pool of available heuristics, diverse groups again do better. Group dynamics makes a difference as well; simultaneous ‘tournament’ deliberation in a group in place of the ‘relay’ deliberation in Hong and Page’s original model further emphasizes an advantage for diversity. ‘Tournament’ 2 dynamics particularly shows the advantage of mixed groups that include both experts and non-experts. As a whole, our modeling results suggest that relative to problem characteristics and conceptual resources, the wisdom of crowds and the wisdom of the few each have a place. We regard ours as a step toward attempting to calibrate their relative virtues in different modelled contexts of intellectual exploration. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

이 책자는 형식 논리의 일종인 양상논리에 입문하고 싶으신 분들을 위한 짧은 교재입니다. “양상논리 맛보기” 라는 말마따나, 이 책자는 양상논리에 관심은 있지만 아직 본격적으로 공부를 시작하진 않은 분들께서 ‘맛보기’를 하기에 적합한 안내 책자입니다. 아무쪼록 이 책자가 양상논리를 공부해나가시는데 유용한 첫 발판이 될 수 있기를 바랍니다. / This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert Trueman's (...) A Modal Logic Primer, which is revised and expanded by Richard Zach and Aaron Thomas-Bolduc in forall x: Calgary. (forall x: Calgary is based on forall x: Cambridge by Tim Button, which is in turn based on forall x by P. D. Magnus, and also includes material from forall x: Lorain County Remix by Cathal Woods and J. Robert Loftis.) This booklet is licensed under a Creative Commons Attribution 4.0 license. (shrink)

Where E is the proposition that [If H and O were true, H would explain O], William Roche and Elliot Sober have argued that P(H|O&E) = P(H|O). In this paper I argue that not only is this equality not generally true, it is false in the very kinds of cases that Roche and Sober focus on, involving frequency data. In fact, in such cases O raises the probability of H only given that there is an explanatory connection between them.

As is usually the case with what I work on, I read some stuff I liked. I 1 read an article on comics by Greg Hayman and Henry Pratt and some work on 2 videogames,GrantTavinor’sreallyexcellentworkonthattopic. Ifoundthematerial interesting and I thought I had something to say about it. That’s what usually motivates me and that’s what did in these cases. With comics, my interest in the medium played a big role. I was a child collector of Marvel. I got turned on (...) to independent and alternative comics about ten years ago by a good friend who’s a successful comics artist and that played a role in my writing about comics. (shrink)

Many philosophers are attracted to a complaints-based theory of the procreation asymmetry, according to which creating a person with a bad life is wrong (all else equal) because that person can complain about your act, whereas declining to create a person who would have a good life is not wrong (all else equal) because that person never exists and so cannot complain about your act. In this paper, I present two problems for such theories: the problem of impairable-life acceptance and (...) an especially acute version of the problem of improvable-life avoidance. I explain how these problems afflict two recent complaints-based theories of the procreation asymmetry, from Joe Horton and Abelard Podgorski. (shrink)

One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions about the space of worlds, most of the propositions (...) which can be constructed from possible and impossible worlds are in an important sense inexpressible; leaving the probabilistic model committed to saying that agents in general have at least as many attitudes towards inexpressible propositions as they do towards expressible propositions. If it is reasonable to think that our attitudes are generally expressible, then a model with such commitments looks problematic. (shrink)

I explain and motivate the shutdown problem: the problem of creating artificial agents that (1) shut down when a shutdown button is pressed, (2) don’t try to prevent or cause the pressing of the shutdown button, and (3) otherwise pursue goals competently. I then propose a solution: train agents to have incomplete preferences. Specifically, I propose that we train agents to lack a preference between every pair of different-length trajectories. I suggest a way to train such agents using reinforcement learning: (...) we give the agent lower reward for repeatedly choosing same-length trajectories. (shrink)

Critical-set views avoid the Repugnant Conclusion by subtracting some constant from the welfare score of each life in a population. These views are thus sensitive to facts about biographical identity: identity between lives. In this paper, I argue that questions of biographical identity give us reason to reject critical-set views and embrace the total view. I end with a practical implication. If we shift our credences towards the total view, we should also shift our efforts towards ensuring that humanity survives (...) for the long term. (shrink)

Investments in mitigating climate change have their greatest environmental impact over the long term. As a consequence the incentives to invest in cutting greenhouse gas emissions today appear to be weak. In response to this challenge, there has been increasing attention given to the idea that current generations can be motivated to start financing mitigation at much higher levels today by shifting these costs to the future through national debt. Shifting costs to the future in this way benefits future generations (...) by break- ing existing patterns of delaying large-scale investment in low-carbon energy and efficiency. As we will see in this chapter, it does appear to be technically feasible to transfer the costs of investments made today to the future in such a way that people alive today do not incur any net cost. the aim of this chapter is to take seriously the possibility that climate change has produced an extremely intractable political problem and that we must now consider strong measures that can break existing patterns of delaying mitigation. I defend the claim that if climate change involves a stark conflict of interests between current and future generations, then borrowing from the future would be both strategically and normatively much better than the status quo. Nevertheless, I challenge the borrowing from the future proposal on the grounds that it is not in fact the powerful tool for motivating existing agents that its proponents imagine it to be. The purpose of developing this critical argument is not, however, simply to throw doubt onto the idea of borrowing from the future. If we really do find ourselves in a political context where the prospects for effective action are very poor then strategic forms of buck-passing may make an important positive contribution to avoiding dangerous global cli- mate change. Consequently, if debt financing is not as powerful of a motivational tool as imagined we still have strong reasons, I will argue, to identify other strategies that will change agents’ incentive structures. To this end, I propose an alternative form of passing on the costs of mitigation to the future that warrants consideration. (shrink)

I explain the shutdown problem: the problem of designing artificial agents that (1) shut down when a shutdown button is pressed, (2) don’t try to prevent or cause the pressing of the shutdown button, and (3) otherwise pursue goals competently. I prove three theorems that make the difficulty precise. These theorems show that agents satisfying some innocuous-seeming conditions will often try to prevent or cause the pressing of the shutdown button, even in cases where it’s costly to do so. And (...) patience trades off against shutdownability: the more patient an agent, the greater the costs that agent is willing to incur to manipulate the shutdown button. I end by noting that these theorems can guide our search for solutions. (shrink)

I defend the theory that one's life is meaningful to the extent that one promotes the good. Call this the good cause account (GCA) of the meaning of life. It holds that the good effects that count towards the meaning of one's life need not be intentional. Nor must one be aware of the effects. Nor does it matter whether the same good would have resulted if one had not existed. What matters is that one is causally responsible for the (...) good. I argue that the best theory of the meaning of life should clearly distinguish between subjective fulfillment and objective meaningfulness. The GCA respects the distinction. And it is superior to its leading rivals in the recent literature, most notably those of Erik Wielenberg and Susan Wolf. (shrink)

According to Critical-Level Views in population axiology, an extra life improves a population only if that life’s welfare exceeds some fixed ‘critical level.’ An extra life at the critical level leaves the new population equally good as the original. According to Critical-Range Views, an extra life improves a population only if that life’s welfare exceeds some fixed ‘critical range.’ An extra life within the critical range leaves the new population incommensurable with the original. -/- In this paper, I sharpen some (...) old objections to these views and offer some new ones. Critical-Level Views cannot avoid certain Repugnant and Sadistic Conclusions. Critical-Range Views imply that lives featuring no good or bad components whatsoever can nevertheless swallow up and neutralise goodness or badness. Both classes of view entail that certain small changes in welfare correspond to worryingly large differences in contributive value. -/- I then offer a view that retains much of the appeal of Critical-Level and Critical-Range Views while avoiding the above pitfalls. On the Imprecise Exchange Rates View, the quantity of some good required to outweigh a given unit of some bad is imprecise. This imprecision is the source of incommensurability between lives and populations. (shrink)

Is all explanations causal explanation? Puzzles about barometer readings "explain" storms and shadow lengths "explaining" flagpole heights make it attractive to think so. Wesley Salmon (1984) has endorsed this causal thesis. One way to test this thesis is to assess the explanatory import of pseudo-processes. I do so by discussing the concept of heritability, which measures a pseudo-process, and one role it played in the theory of natural selection: explaining response to selection. This will show, not just that heritability has (...) heuristic or predictive utility, but that it can be explanatory. Possible responses to this case are also discussed. (shrink)

To identify and conceptualize research problems in science, philosophers and often scientists rely on classical accounts of problems that focus on intellectual problems defined in relation to theories. Recently, philosophers have begun to study the structures and functions of research problems not defined in relation to theories. Furthermore, scientists have long pursued research problems often labeled as practical or applied. As yet, no account of problems specifies the description of both so-called intellectual problems and so-called applied problems. This article proposes (...) a new conceptual framework of problems that accounts both for intellectual aspects of problems and for their practical or applied aspects. I illustrate the account with an example of a recent research project from evolutionary biology, and I indicate further routes by that to develop the account, especially in connection to empirical studies of science. (shrink)

Arrhenius’s impossibility theorems purport to demonstrate that no population axiology can satisfy each of a small number of intuitively compelling adequacy conditions. However, it has recently been pointed out that each theorem depends on a dubious assumption: Finite Fine-Grainedness. This assumption states that there exists a finite sequence of slight welfare differences between any two welfare levels. Denying Finite Fine-Grainedness makes room for a lexical population axiology which satisfies all of the compelling adequacy conditions in each theorem. Therefore, Arrhenius’s theorems (...) fail to prove that there is no satisfactory population axiology. In this paper, I argue that Arrhenius’s theorems can be repurposed. Since all of our population-affecting actions have a non-zero probability of bringing about more than one distinct population, it is population prospect axiologies that are of practical relevance, and amended versions of Arrhenius’s theorems demonstrate that there is no satisfactory population prospect axiology. These impossibility theorems do not depend on Finite Fine-Grainedness, so lexical views do not escape them. (shrink)

The aim of this paper is to bring recent work on metaphysical grounding to bear on the phenomenon of social construction. It is argued that grounding can be used to analyze social construction and that the grounding framework is helpful for articulating various claims and commitments of social constructionists, especially about social identities, e.g., gender and race. The paper also responds to a number of objections that have been leveled against the application of grounding to social construction from Elizabeth Barnes, (...) Mari Mikkola, and Jessica Wilson. (shrink)

Kyle Stanford has recently given substance to the problem of unconceived alternatives, which challenges the reliability of inference to the best explanation (IBE) in remote domains of nature. Conjoined with the view that IBE is the central inferential tool at our disposal in investigating these domains, the problem of unconceived alternatives leads to scientific anti-realism. We argue that, at least within the biological community, scientists are now and have long been aware of the dangers of IBE. We re-analyze the nineteenth-century (...) study of inheritance and development (Stanford’s case study) and extend it into the twentieth century, focusing in particular on both classical Mendelian genetics and the studies by Avery et al. on the chemical nature of the hereditary substance. Our extended case studies show the preference of the biological community for a different methodological standard: the vera causa ideal, which requires that purported causes be shown on non-explanatory grounds to exist and be competent to produce their effects. On this basis, we defend a prospective realism about the biological sciences. (shrink)

We argue against some of Reichenbach's claims about causal forks are incorrect. We do not see why the Second Law of Thermodynamics rules out the existence of conjunctive forks open to the past. In addition, we argue that a common effect rarely forms a conjunctive fork with its joint causes, but it sometimes does. Nevertheless, we think there is something to be said for Reichenbach's idea that forks of various kinds are relevant to explaining why we know more about the (...) past than about the future. And entropy turns out to play a role in the explanation, though not the determining role that Reichenbach envisions. (shrink)

Obligations to reduce one’s green house gas emissions appear to be difficult to justify prior to large-scale collective action because an individual’s emissions have virtually no impact on the environmental problem. However, I show that individuals’ emissions choices raise the question of whether or not they can be justified as fair use of what remains of a safe global emissions budget. This is true both before and after major mitigation efforts are in place. Nevertheless, it remains difficult to establish an (...) obligation to reduce personal emissions because it appears unlikely that governments will in fact maintain safe emissions budgets. The result, I claim, is that under current conditions we lack outcome, fairness, promotional, virtue or duty based grounds for seeing personal emissions reductions as morally obligatory. (shrink)

Adam Smith sought to explain the persistence of slavery as an institution in Wealth of Nations and Lectures on Jurispridence. In order to accomplish this he also drew on arguments he had developed in the Theory of Moral Sentiments. The result was a sophisticated explanation which bridged economic, psychological, and moral considerations. After presenting Smith’s explanation I will consider a discussion of the moral wrong of slavery in Ottobah Cugoano, the author of the incisive criticism of the slave trade Thoughts (...) and Sentiments on the Evil of Slavery (1787). I will suggest that Cugoano’s account of what is morally wrong in slavery shows an important lacuna in Smith‘s views. (shrink)

I begin by outlining Du Châtelet’s ontology of mathematical objects: she is an idealist, and mathematical objects are fictions dependent on acts of abstraction. Next, I consider how this idealism can be reconciled with her endorsement of necessary truths in mathematics, which are grounded in essences that we do not create. Finally, I discuss how mathematics and physics relate within Du Châtelet’s idealism. Because the primary objects of physics are partly grounded in the same kinds of acts as yield mathematical (...) objects, she thinks we are sometimes licensed in drawing conclusions about physical things from mathematical premises. (shrink)

I investigate whether degreed beliefs are able to play the predictive, explanatory, and modeling roles that they are frequently taken to play. The investigation focuses on evidence—both from sources familiar in epistemology as well as recent work in behavioral economics and cognitive psychology—of variability in agents' apparent degrees of belief. Although such variability has been noticed before, there has been little philosophical discussion of its breadth or of the psychological mechanisms underlying it. Once these are appreciated, the inadequacy of degrees (...) of belief becomes clear. I offer a theoretical alternative to degrees of belief, what I call the filter theory. (shrink)

On person-affecting views in population ethics, the moral import of a person’s welfare depends on that person’s temporal or modal status. These views typically imply that – all else equal – we’re never required to create extra people, or to act in ways that increase the probability of extra people coming into existence. -/- In this paper, I use Parfit-style fission cases to construct a dilemma for person-affecting views: either they forfeit their seeming-advantages and face fission analogues of the problems (...) faced by their rival impersonal views, or else they turn out to be not so person-affecting after all. In light of this dilemma, the attractions of person-affecting views largely evaporate. What remains are the problems unique to them. (shrink)

Polarization is a topic of intense interest among social scientists, but there is significant disagreement regarding the character of the phenomenon and little understanding of underlying mechanics. A first problem, we argue, is that polarization appears in the literature as not one concept but many. In the first part of the article, we distinguish nine phenomena that may be considered polarization, with suggestions of appropriate measures for each. In the second part of the article, we apply this analysis to evaluate (...) the types of polarization generated by the three major families of computational models proposing specific mechanisms of opinion polarization. (shrink)

ABSTRACT According to comparativism, comparative confidence is more fundamental than absolute confidence. In two recent AJP papers, Stefánsson has argued that comparativism is capable of explaining interpersonal confidence comparisons. In this paper, I will argue that Stefansson’s proposed explanation is inadequate; that we have good reasons to think that comparativism cannot handle interpersonal comparisons; and that the best explanation of interpersonal comparisons requires thinking about confidence in a fundamentally different way than that which comparativists propose: specifically, we should think of (...) confidence as a dimensionless quantity. (shrink)

William Whewell raised a series of objections concerning John Stuart Mill’s philosophy of science which suggested that Mill’s views were not properly informed by the history of science or by adequate reflection on scientific practices. The aim of this paper is to revisit and evaluate this incisive Whewellian criticism of Mill’s views by assessing Mill’s account of Michael Faraday’s discovery of electrical induction. The historical evidence demonstrates that Mill’s reconstruction is an inadequate reconstruction of this historical episode and the scientific (...) practices Faraday employed. But a study of Faraday’s research also raises some questions about Whewell’s characterization of this discovery. Thus, this example provides an opportunity to reconsider the debate between Whewell and Mill concerning the role of the sciences in the development of an adequate philosophy of scientific methodology.Keywords: Inductivism; Experiment; Theory; Methodology; Electromagnetism. (shrink)

Person-affecting views state that (in cases where all else is equal) we’re permitted but not required to create people who would enjoy good lives. In this paper, I present an argument against every possible variety of person-affecting view. The argument is a dilemma over trilemmas. Narrow person-affecting views imply a trilemma in a case that I call ‘Expanded Non-Identity.’ Wide person-affecting views imply a trilemma in a case that I call ‘Two-Shot Non-Identity.’ One plausible practical upshot of my argument is (...) as follows: we individuals and our governments should be doing more to reduce the risk of human extinction this century. (shrink)

For Émilie Du Châtelet, I argue, a central role of the principle of sufficient reason is to discriminate between better and worse explanations. Her principle of sufficient reason does not play this role for just any conceivable intellect: it specifically enables understanding for minds like ours. She develops this idea in terms of two criteria for the success of our explanations: “understanding how” and “understanding why.” These criteria can respectively be connected to the determinateness and contrastivity of explanations. The crucial (...) role Du Châtelet’s principle of sufficient reason plays in identifying good explanations is often overlooked in the literature, or else run together with questions about the justification and likelihood of explanations. An auxiliary goal of the article is to situate Du Châtelet’s principle of sufficient reason with respect to some of the general epistemological and metaphysical commitments of her Institutions de Physique, clarifying how it fits into the broader project of that work. (shrink)

I criticize the idea that theories of ‘fragmented’ or ‘compartmentalized’ belief (as found in, e.g., Lewis 1982, Egan 2008) can help to account for the puzzling phenomena they are often taken to account for. After introducing fragmentationalism and a paradigm case that purportedly motivates it, I criticize the view primarily on the grounds that the models and explanations it offers are at best trivial—as witnessed by examples of over-generation—and should be seen as merely re-describing in figurative terms the phenomena it (...) is designed to account for. I also point out that fragments, as used in these theories, are not likely to be psychologically real in any robust sense and so cannot be appealed to on such grounds. (shrink)

The ambition of this paper is extensive: to bring about a new paradigm and firm mathematical foundations to Metaphysics, to aid its progress from the realm of mystical speculation to the realm of scientific scrutiny. -/- More precisely, this paper aims to introduce the field of Metaphysical Cosmology. The Metaphysical Cosmos here refers to the complete structure containing all entities, both existent and non-existent, with the physical universe as a subset. Through this paradigm, future endeavours in Metaphysical Science could thus (...) analyse non-physical parts of the Metaphysical Cosmos. New logical notions are displayed as tools for Metaphysical Cosmology, such as a Metric-Space-based predicate system, as well as a revised version of the Existential Quantifier. -/- A type system is presented to derive a construction of the Metaphysical Cosmos. The system is structured through semantic and syntactic definitions in a coherent way and holds only one proper axiom: the existence of (at least) one entity. This paper itself serves as an empirical proof for this axiom. Formulae and equations that depict a clear logical and mathematical structure of the Metaphysical Cosmos are derived from the definitions of the system and this axiom. -/- This culminates in the "Sixth Theorem", whose proof displays logically that there must be something rather than nothing. A computational simulation of the Sixth Theorem is also provided, alongside with methods for a future Metaphysical Science. Thus, this paper does not aim to provide a traditional philosophical argument but rather a mathematical foundation and new paradigm for the science of Metaphysics. (shrink)

Act consequentialism states that an act is right if and only if the expected value of its outcome is at least as great as the expected value of any other act’s outcome. Two objections to this view are as follows. The first is that act consequentialism cannot account for our normative ambivalence in cases where agents perform the right act out of bad motives. The second is that act consequentialism is silent on questions of character: questions like ‘What are the (...) right motives to have?’ and ‘What kind of person ought I be?’. These objections have been taken to motivate a move to global consequentialism, on which acts are not the only subjects of normative assessment. Motives and decision-procedures are also judged right or wrong by direct reference to their consequences. In this paper, I argue that these objections fail to motivate the move from act to global consequentialism. (shrink)

Some worry that advanced artificial agents may resist being shut down. The Incomplete Preferences Proposal (IPP) is an idea for ensuring that doesn't happen. A key part of the IPP is using a novel 'Discounted REward for Same-Length Trajectories (DREST)' reward function to train agents to (1) pursue goals effectively conditional on each trajectory-length (be 'USEFUL'), and (2) choose stochastically between different trajectory-lengths (be 'NEUTRAL' about trajectory-lengths). In this paper, we propose evaluation metrics for USEFULNESS and NEUTRALITY. We use a (...) DREST reward function to train simple agents to navigate gridworlds, and we find that these agents learn to be USEFUL and NEUTRAL. Our results thus suggest that DREST reward functions could also train advanced agents to be USEFUL and NEUTRAL, and thereby make these advanced agents useful and shutdownable. (shrink)

This paper begins with a puzzle regarding Lewis' theory of radical interpretation. On the one hand, Lewis convincingly argued that the facts about an agent's sensory evidence and choices will always underdetermine the facts about her beliefs and desires. On the other hand, we have several representation theorems—such as those of (Ramsey 1931) and (Savage 1954)—that are widely taken to show that if an agent's choices satisfy certain constraints, then those choices can suffice to determine her beliefs and desires. In (...) this paper, I will argue that Lewis' conclusion is correct: choices radically underdetermine beliefs and desires, and representation theorems provide us with no good reasons to think otherwise. Any tension with those theorems is merely apparent, and relates ultimately to the difference between how 'choices' are understood within Lewis' theory and the problematic way that they're represented in the context of the representation theorems. For the purposes of radical interpretation, representation theorems like Ramsey's and Savage's just aren't very relevant after all. (shrink)

Although the relationship between faith and intellectual humility has yet to be specifically addressed in the philosophical literature, there are reasons to believe that they are at least in some sense incompatible, especially when judging from pre-theoretical intuitions. In this paper I attempt to specify and explicate this incompatibility, which is found in specific conflicting epistemic attitudes they each respectively invite. I first suggest general definitions of both faith and intellectual humility (understood as intellectual virtues), building off current proposals in (...) the literature, in an attempt to portray both in as broad and uncontroversial a manner as feasible. I then move to arguing how this prima facie incompatibility aligns with these understandings of faith and intellectual humility, and illustrate how this incompatibility is even clearer on one recent theory. I close by considering one avenue of response for those who want to maintain that, while conflicting in these ways, intellectual humility and faith can be simultaneously virtuous. (shrink)

The analogy between gustatory taste and critical or aesthetic taste plays a recurring role in the history of aesthetics. Our interest in this article is in a particular way in which gustatory judgments are frequently thought to be analogous to critical judgments. It appears obvious to many that to know how a particular object tastes we must have tasted it for ourselves; the proof of the pudding, we are all told, is in the eating. And it has seemed just as (...) obvious to many philosophers that aesthetic judgment requires first-person experience. In this article we argue that, despite its initial appeal, the claim that gustatory and critical judgments are analogous in this way is mistaken. The two sorts of judgments are, as a matter of fact, similar in their epistemology, but earlier theorists have got things entirely backward—neither gustatory judgment nor aesthetic judgment requires first-hand acquaintance with their objects. Our particular focus in this article is on arguing that first-person experience is not required to know how an item of food or drink tastes. In fact, there are a wide variety of ways in which we can acquire this knowledge. (shrink)