Many philosophers endorse the Transparency Thesis, the claim that by introspection one cannot become aware of one's experience. Recently, some authors have suggested that the Transparency Thesis is challenged by introspective states reached under mindfulness. We label this the Mindfulness Opacity Hypothesis. The present paper develops the hypothesis in important new ways. First, we motivate the hypothesis by drawing on recent clinical psychology and cognitive science of mindfulness. Secondly, we develop the hypothesis by describing the implied shift in experiential perspective, (...) the scope of introspectable qualities, and the level of skill. Thirdly, we defend the hypothesis against various philosophical arguments. We conclude that the Mindfulness Opacity Hypothesis is empirically and theoretically well motivated and supported. (shrink)

We propose a ‘Moral Imagination’ methodology to facilitate a culture of responsible innovation for engineering and product teams in technology companies. Our approach has been operationalized over the past two years at Google, where we have conducted over 50 workshops with teams from across the organization. We argue that our approach is a crucial complement to existing formal and informal initiatives for fostering a culture of ethical awareness, deliberation, and decision-making in technology design such as company principles, ethics and privacy (...) review procedures, and compliance controls. We characterize some distinctive benefits of our methodology for the technology sector in particular. (shrink)

It is often presumed that the laws of nature have special significance for scientific reasoning. But the laws' distinctive roles have proven notoriously difficult to identify--leading some philosophers to question if they hold such roles at all. This study offers original accounts of the roles that natural laws play in connection with counterfactual conditionals, inductive projections, and scientific explanations, and of what the laws must be in order for them to be capable of playing these roles. Particular attention is given (...) to laws of special sciences, levels of scientific explanation, natural kinds, ceteris-paribus clauses, and physically necessary non-laws. (shrink)

This paper proposes an account of why proof is the only way to acquire knowledge of some mathematical proposition’s truth. Admittedly, non-deductive arguments for mathematical propositions can be strong and play important roles in mathematics. But this paper proposes a necessary condition for knowledge that can be satisfied by putative proofs (and proof sketches), as well as by non-deductive arguments in science, but not by non-deductive arguments from mathematical evidence. The necessary condition concerns whether we can justly expect that if (...) the mathematical proposition is actually false, despite the evidence for its truth, then this fact has an explanation. (shrink)

Parenting our biological children is a centrally important matter, but how, if it all, can it be justified? According to a contemporary influential line of thinking, the acquisition by parents of a moral right to parent their biological children should be grounded by appeal to the value of the intimate emotional relationship that gestation facilitates between a newborn and a gestational procreator. I evaluate two arguments in defence of this proposal and argue that both are unconvincing.

Although all mathematical truths are necessary, mathematicians take certain combinations of mathematical truths to be ‘coincidental’, ‘accidental’, or ‘fortuitous’. The notion of a ‘ mathematical coincidence’ has so far failed to receive sufficient attention from philosophers. I argue that a mathematical coincidence is not merely an unforeseen or surprising mathematical result, and that being a misleading combination of mathematical facts is neither necessary nor sufficient for qualifying as a mathematical coincidence. I argue that although the components of a mathematical coincidence (...) may possess a common explainer, they have no common explanation ; that two mathematical facts have a unified explanation makes their truth non-coincidental. I suggest that any motivation we may have for thinking that there are mathematical coincidences should also motivate us to think that there are mathematical explanations, since the notion of a mathematical coincidence can be understood only in terms of the notion of a mathematical explanation. I also argue that the notion of a mathematical coincidence plays an important role in scientific explanation. When two phenomenological laws of nature are similar, despite concerning physically distinct processes, it may be that any correct scientific explanation of their similarity proceeds by revealing their similarity to be no mathematical coincidence. (shrink)

Laws form counterfactually stable sets -- Natural necessity -- Three payoffs of my account -- A world of subjunctives.

Existing discussions of partiality have primarily examined special personal relationships between family, friends, or co-nationals. The negative analogue of such relationships – for example, the relationship of enmity – has, by contrast, been largely neglected. This chapter explores this adverse relation in more detail and considers the special reasons generated by it. We suggest that enmity can involve justified negative partiality, allowing members to give less consideration to each other’s interests. We then consider whether the negative partiality of enmity can (...) be justified through projects or the value inherent in the relationship, following two influential views about the justification of positive partiality. We argue that both accounts of partiality can be conceptually extended to the negative analogue, but doing so brings into focus the problems with such accounts of the grounds of partiality. (shrink)

Really statistical explanation is a hitherto neglected form of noncausal scientific explanation. Explanations in population biology that appeal to drift are RS explanations. An RS explanation supplies a kind of understanding that a causal explanation of the same result cannot supply. Roughly speaking, an RS explanation shows the result to be mere statistical fallout.

Certain scientific explanations of physical facts have recently been characterized as distinctively mathematical –that is, as mathematical in a different way from ordinary explanations that employ mathematics. This article identifies what it is that makes some scientific explanations distinctively mathematical and how such explanations work. These explanations are non-causal, but this does not mean that they fail to cite the explanandum’s causes, that they abstract away from detailed causal histories, or that they cite no natural laws. Rather, in these explanations, (...) the facts doing the explaining are modally stronger than ordinary causal laws or are understood in the why question’s context to be constitutive of the physical arrangement at issue. A distinctively mathematical explanation works by showing the explanandum to be more necessary than ordinary causal laws could render it. Distinctively mathematical explanations thus supply a kind of understanding that causal explanations cannot. 1 Introduction2 Some Distinctively Mathematical Scientific Explanations3 Are Distinctively Mathematical Explanations Set Apart by their Failure to Cite Causes? 4 Distinctively Mathematical Explanations do not Exploit Causal Powers5 How these Distinctively Mathematical Explanations Work6 Conclusion. (shrink)

Partiality is the special concern that we display for ourselves and other people with whom we stand in some special personal relationship. It is a central theme in moral philosophy, both ancient and modern. Questions about the justification of partiality arise in the context of enquiry into several moral topics, including the good life and the role in it of our personal commitments; the demands of impartial morality, equality, and other moral ideals; and commonsense ideas about supererogation. This paper provides (...) an overview of the debate on the ethics of partiality through the lens of the domains of permissible and required partiality. After outlining the conceptual space, I first discuss agent-centred moral options that concern permissions not to do what would be impartially optimal. I then focus on required partiality, which concerns associative duties that go beyond our general duties to others and require us to give special priority to people who are close to us. I discuss some notable features of associative duties and the two main objections that have been raised against them: the Voluntarist and the Distributive objections. I then turn to the justification of partiality, focusing on underivative approaches and reasons-based frameworks. I discuss the reductionism and non-reductionism debate: the question whether partiality is derivative or fundamental. I survey arguments for ‘the big three’, according to which partiality is justified by appeal to the special value of either projects, personal relationships, or individuals. I conclude by discussing four newly emerging areas in the debate: normative transitions of various personal relationships, relationships with AI, epistemic partiality, and negative partiality, which concerns the negative analogue of our positive personal relationships. (shrink)

Buch 1. Geschichte des Materialismus bis auf Kant.--Buch 2. Geschichte des Materialismus seit Kant.

Many philosophers argue that explanatoriness plays no special role in confirmation – that “inference to the best explanation” (IBE) incorrectly demands giving hypotheses extra credit for their potential explanatory qualities beyond the credit they already deserve for their predictive successes. This paper argues against one common strategy for responding to this thought – that is, for trying to fit IBE within a Bayesian framework. That strategy argues that a hypothesis’ explanatory quality (its “loveliness”) contributes either to its prior probability or (...) to its likelihood. This paper argues that this strategy fails because it must give different treatments to two hypotheses that are unlovely for the very same reason. The strategy therefore loses the insight into scientific reasoning that its reconstruction in terms of IBE is supposed to provide. The paper then provides a Bayesian account of the confirmatory role of explanatoriness that represents explanatory quality as having an impact in the same place for two hypotheses that are unlovely for the very same reason. This approach works by “putting explanation back into IBE” – that is, by invoking hypotheses that refer explicitly to scientific explanation and by invoking the agent's background opinions regarding the kind of explanation that the evidence is liable to have. On this approach, there is no list of “explanatory virtues” the possession of which always helps to make an explanation better. Rather, for different facts, there are different characteristics that our background knowledge of other explanations gives us some reason to expect the given fact's explanation to possess. (shrink)

The institution of the family and its importance have recently received considerable attention from political theorists. Leading views maintain that the institution’s justification is grounded, at least in part, in the non-instrumental value of the parent-child relationship itself. Such views face the challenge of identifying a specific good in the parent-child relationship that can account for how adults acquire parental rights over a particular child—as opposed to general parental rights, which need not warrant a claim to parent one’s biological progeny. (...) I develop a view that meets this challenge. This Project View identifies the pursuit of a parental project as a distinctive non-instrumentally valuable good that provides a justification for the family and whose pursuit is necessary and sufficient for the acquisition of parental rights. This view grounds moral parenthood in a normative relation as opposed to a biological one, supports polyadic forms of parenting, and provides plausible guidance in cases of assisted reproduction. (shrink)

It has often been argued that Humean accounts of natural law cannot account for the role played by laws in scientific explanations. Loewer (Philosophical Studies 2012) has offered a new reply to this argument on behalf of Humean accounts—a reply that distinguishes between grounding (which Loewer portrays as underwriting a kind of metaphysical explanation) and scientific explanation. I will argue that Loewer’s reply fails because it cannot accommodate the relation between metaphysical and scientific explanation. This relation also resolves a puzzle (...) about scientific explanation that Hempel and Oppenheim (Philosophy of Science 15:135–75, 1948) encountered. (shrink)

Among the niftiest arguments for scientific anti-realism is the ‘pessimistic induction’ (also sometimes called ‘the disastrous historical meta-induction’). Although various versions of this argument differ in their details (see, for example, Poincare 1952: 160, Putnam 1978: 25, and Laudan 1981), the argument generally begins by recalling the many scientific theories that posit unobservable entities and that at one time or another were widely accepted. The anti-realist then argues that when these old theories were accepted, the evidence for them was quite (...) persuasive – roughly as compelling as our current evidence is for our best scientific theories positing various unobservable entities. Nevertheless, the anti-realist argues, most of these old theories turned out to be incorrect in the unobservables they posited. Therefore, the anti-realist concludes that with regard to the theories we currently accept, we should believe that probably, most of them are likewise incorrect in the unobservable entities they posit. (This argument appeals to what our best current theories say about unobservables in order to show that the entities posited by some earlier theory are not real. So the argument takes the form of a reductio of the view that the apparent success of some scientific theory justifies our believing in its accuracy regarding unobservables.) Of course, this argument has been criticized on many grounds. Some have argued, for instance, that the scientific theories we currently accept are much better supported than were earlier scientific theories at the time they were accepted. In addition, some have argued that many scientific theories accepted justly in the past were in fact accurate.. (shrink)

Hempel and Giere contend that the existence of provisos poses grave difficulties for any regularity account of physical law. However, Hempel and Giere rely upon a mistaken conception of the way in which statements acquire their content. By correcting this mistake, I remove the problem Hempel and Giere identify but reveal a different problem that provisos pose for a regularity account — indeed, for any account of physical law according to which the state of affairs described by a law-statement presupposes (...) a Humean regularity. These considerations suggest a normative analysis of law-statements. On this view, law-statements are not distinguished from accidental generalizations by the kind of Humean regularities they describe because a law-statement need not describe any Humean regularity. Rather, a law-statement says that in certain contexts, one ought to regard the assertion of a given type of claim, if made with justification, as a proper way to justify a claim of a certain other kind. (shrink)

Unlike explanation in science, explanation in mathematics has received relatively scant attention from philosophers. Whereas there are canonical examples of scientific explanations, there are few examples that have become widely accepted as exhibiting the distinction between mathematical proofs that explain why some mathematical theorem holds and proofs that merely prove that the theorem holds without revealing the reason why it holds. This essay offers some examples of proofs that mathematicians have considered explanatory, and it argues that these examples suggest a (...) particular account of explanation in mathematics. The essay compares its account to Steiner's and Kitcher's. Among the topics that arise are proofs that exploit symmetries, mathematical coincidences, brute-force proofs, simplicity in mathematics, merely clever proofs, and proofs that unify what other proofs treat as separate cases. (shrink)

Explanation in mathematics has recently attracted increased attention from philosophers. The central issue is taken to be how to distinguish between two types of mathematical proofs: those that explain why what they prove is true and those that merely prove theorems without explaining why they are true. This way of framing the issue neglects the possibility of mathematical explanations that are not proofs at all. This paper addresses what it would take for a non-proof to explain. The paper focuses on (...) a particular example of an explanatory non-proof: an argument that mathematicians regard as explaining why a given theorem holds regarding the derivative of an infinite sum of differentiable functions. The paper contrasts this explanatory non-proof with various non-explanatory proofs of the same theorem. The paper offers an account of what makes the given non-proof explanatory. This account is motivated by investigating the difficulties that arise when we try to extend Mark Steiner’s influential account of explanatory proofs to cover this explanatory non-proof. (shrink)

The merits of David Lewis’s Best System Account of natural law are frequently debated. But to my knowledge, the prospects for extending the BSA to cover meta-laws have never been examined. I shall identify two obstacles facing the most natural way of extending the BSA to cover meta-laws. The BSA’s fans should consider how these obstacles are to be overcome. Meta-laws are laws about laws. For example, Einstein’s special theory of relativity incorporates a meta-law: The content of the [special] relativity (...) theory can … be summarized in one sentence: all natural laws must be so conditioned that they are covariant with respect to Lorentz transformations. [The special theory of relativity] is not a theory in the usual sense but is better regarded as a second-level theory, or a theory of theories that constrains first-level theories. The principle of relativity is an example of a symmetry principle: a principle requiring that the first-order laws be unchanged under a given transformation. Long before Einstein proposed the principle of relativity, other spacetime symmetries were widely believed to be meta-laws: that the first-order laws are covariant under arbitrary spatial displacements, temporal displacements and spatial rotations. These spacetime symmetries require the laws to treat all spatial locations and directions alike and all moments alike. For instance, symmetry under temporal displacements rules out a fundamental force law specifying that a given force declines with the inverse-square of the distance before a given moment but with the inverse-cube of the distance at and after that moment. Wigner characterizes such a symmetry principle as ‘a superprinciple which is in …. (shrink)

This paper examines some recent attempts that use counterfactuals to understand the asymmetry of non-causal scientific explanations. These attempts recognize that even when there is explanatory asymmetry, there may be symmetry in counterfactual dependence. Therefore, something more than mere counterfactual dependence is needed to account for explanatory asymmetry. Whether that further ingredient, even if applicable to causal explanation, can fit non-causal explanation is the challenge that explanatory asymmetry poses for counterfactual accounts of non-causal explanation. This paper argues that several recent (...) accounts Explanation beyond causation: philosophical perspectives on non-causal explanations, Oxford University Press, Oxford, pp 117–140, 2018; Jansson and Saatsi in Br J Philos Sci, forthcoming; Jansson in J Philos 112:7–599, 2015; Saatsi and Pexton in Philos Sci 80: 613–624, 2013; French and Saatsi, in: Reutlinger and Saatsi Explanation beyond causation: philosophical perspectives on non-causal explanations, Oxford University Press, Oxford, pp 185–205, 2018) fail to meet this challenge. The paper then sketches a more positive proposal for dealing with explanatory asymmetry in non-causal explanations. (shrink)

Batterman and Rice offer an account of “minimal model explanations” and argue against “common features accounts” of those explanations. This paper offers some objections to their proposals and arguments. It argues that their proposal cannot account for the apparent explanatory asymmetry of minimal model explanations. It argues that their account threatens ultimately to collapse into a “common features account.” Finally, it argues against their motivation for thinking that an explanation appealing to “common features” would have to explain the common features’ (...) own prevalence. (shrink)

I argue that you can be permitted to discount the interests of your adversaries even though doing so would be impartially suboptimal. This means that, in addition to the kinds of moral options that the literature traditionally recognises, there exist what I call other-sacrificing options. I explore the idea that you cannot discount the interests of your adversaries as much as you can favour the interests of your intimates; if this is correct, then there is an asymmetry between negative partiality (...) toward your adversaries and positive partiality toward your intimates. (shrink)

Many philosophers have believed that the laws of nature differ from the accidental truths in their invariance under counterfactual perturbations. Roughly speaking, the laws would still have held had q been the case, for any q that is consistent with the laws. (Trivially, no accident would still have held under every such counterfactual supposition.) The main problem with this slogan (even if it is true) is that it uses the laws themselves to delimit qs range. I present a means of (...) distinguishing the laws (and their logical consequences) from the accidents, in terms of their range of invariance under counterfactual antecedents, that does not appeal to physical modalities (or any cognate notion) in delimiting the relevant range of counterfactual perturbations. I then argue that this approach explicates the sense in which the laws possess a kind of necessity. (shrink)

Why do forces compose according to the parallelogram of forces? This question has been controversial; it is one episode in a longstanding, fundamental dispute regarding which facts are not to be explained dynamically. If the parallelogram law is explained statically, then the laws of statics are separate from and “transcend” the laws of dynamics. Alternatively, if the parallelogram law is explained dynamically, then statical laws become mere corollaries to the dynamical laws. I shall attempt to trace the history of this (...) controversy in order to identify what it would be for one or the other of these rival views to be correct. I shall argue that various familiar accounts of natural law not only make it difficult to see what the point of this dispute could have been, but also improperly foreclose some serious scientific options. I will sketch an alternative account of laws that helps us to understand what this dispute was all about. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:162. THE HUME LITERATURE FOR 1979 The Hume literature from 1925 to 1976 has been thoroughly covered in my book Fifty Years of Hume Scholarship : A Bibliographical Guide (Edinburgh University Press, 1978; ¿J 5. 50), which also lists the main earlier writings on Hume. Publications of the years 1977 and 1978 were listed in Hume Studies for the last two Novembers. What follows here will bring the record (...) up to the end of 1979. Readers are invited to inform me of any omissions, and to send me offprints of their own articles. The intention is to maintain a complete bibliographical record of critical work on Hume, by the regular publication in Hume Studies of an annual bibliography covering the previous year, with addenda consisting of items omitted through ignorance in previous years. References to recentlyappearing reviews (of books from earlier lists) are given at the end. The following abbreviations of journal titles are used here: APQ American Philosophical Quarterly JHI Journal of the History of Ideas JHP Journal of the History of Philosophy JP Journal of Philosophy PAS Proceedings of the Aristotelian Society PB Philosophical Books PQ Philosophical Quarterly PR Philosophical Review RIP Revue Internationale de Philosophie RM Review of Metaphysics TLS Times Literary Supplement Other abbreviations should be obvious enough, and mainly follow the British Standard (no. 4148). AIKEN, H. D. 'An Interpretation of Hume's Theory of the Place of Reason in Ethics and Polities', Ethics 90, 66-80. 163. ARDAO, A. 'Hume en Latinoamerica', Revista Venezolana de Fil., 143-6. BAIER, A. 'Hume on Heaps and Bundles', APQ 16, 285-96. BAIER, A. 'Good Men's Women: Hume on Chastity and Trust', Hume Studies 5, 1-19. BATTERSBY, C. 'Hume, Newton and "the Hill called Difficulty "', in S. C Brown, Philosophers of the Enlightenment (Royal Inst. Phil. Lectures, 12), 31-55. BATTERSBY, C. 'The Dialogues as Original Imitation: Cicero and the Nature of Hume's Skepticism', in D. F. Norton et al., McGiIl Hume Studies, 239-52. BEAUCHAMP, T. L. 'Self Inconsistency or Mere Self Perplexity ', Hume Studies 5, 37-44. BECK, L. W.? Prussian Hume and a Scottish Kant' in D. F. Norton et al.,· op. cit., 63-78. (repr. of 1978 paper. ) BELL, A. 'Some Spurious Hume Documents', Notes & Queries 26, 561. BIRO, J. I. 'Hume's Difficulties with the Self, Hume Studies 5, 45-54. BRANDT, R. 'David Hume: Neuere Bücher, Vorträge, Aufsätze', Philosophische Rundschau 26, 187-97. BROWN, S. C. 'The "Principle" of Natural Order: o£ What the Enlightened Sceptics did not doubt', in S. C. Brown [see BATTERSBY], 56-76. BUTT, J. The Mid-Eighteenth Century, 222-8, 312-14, 354-7. (The Oxf. Hist, of Eng. Lit., 8.) Oxford. CAPALDI, N. 'The Problem of Hume and Hume's Problem', introduction to D. F. Norton et al., op. cit., 3-21. CASULLO, A. 'Reid and Mill on Hume's maxim of conceivability ', Analysis 39, 212-19. CLARK, L. M. G. & LANGE, L. The Sexism of Social and Political Theory. Toronto"^ (includes reprints of Burns 1976 and Lacoste 1976) CONNON, R. W. 'The Naturalism of Hume Revisited', in D. F. Norton et al., op. cit. 121-45. COTTLE, C E. 'Justice as Artificial Virtue in Hume's Treatise', JHI 40, 457-66. 164. CRAIG, E. J. David Hume: Eine Einführung. in seine Philosophie. (144 pp.) Frankfurt am Main. DAVIE, G. E. 'Berkeley, Hume, and the Central Problem of Scottish Philosophy', in D. F. Norton et al., op. cit., 43-62. DEL BARCO COLLAZOS, J. L. 'Sobre la teoría de la imaginaci ón en la filosofía de Hume', Anuario filosofico 12, 131-43. DELEULE, D. Hume et la naissance du libéralisme économique. (400 pp.) Paris. FLEW, A. 'The Red Queen at Substraction? ', Hume Studies 5, 110-11. FORBES, D. 'Hume and the Scottish Enlightenment', in S. C Brown [see BATTERSBY], 94-109. GASKIN, J. C. A. 'Hume, Atheism, and the "Interested Obligation" of Morality', in D. F. Norton et al., op. cit., 147-59. GAUTHIER, D. 'David Hume, Contractarian', PR 88, 3-38. GAWLICK, G. 'Zwischen Empirizismus und Skeptizismus: Neue Literatur zu David Hume- (I) ', Philosophische Rundschau 26, 161-86. GOOSENS, W. K. 'Stove and Inductive Scepticism', Australas... (shrink)

This paper analyzes the logical truths as (very roughly) those truths that would still have been true under a certain range of counterfactual perturbations.What’s nice is that the relevant range is characterized without relying (overtly, at least) upon the notion of logical truth. This approach suggests a conception of necessity that explains what the different varieties of necessity (logical, physical, etc.) have in common, in virtue of which they are all varieties of necessity. However, this approach places the counterfactual conditionals (...) in an unfamiliar foundational role. (shrink)

Scientific essentialism aims to account for the natural laws' special capacity to support counterfactuals. I argue that scientific essentialism can do so only by resorting to devices that are just as ad hoc as those that essentialists accuse Humean regularity theories of employing. I conclude by offering an account of the laws' distinctive relation to counterfactuals that portrays laws as contingent but nevertheless distinct from accidents by virtue of possessing a genuine variety of necessity.

This paper explores whether there is any relation between mathematical proofs that specify the grounds of the theorem being proved and mathematical proofs that explain why the theorem obtains. The paper argues that a mathematical fact’s grounds do not, simply by virtue of grounding it, thereby explain why that fact obtains. It argues that oftentimes, a proof specifying a mathematical fact’s grounds fails to explain why that fact obtains whereas any explanation of the fact does not specify its ground. The (...) paper offers several examples from mathematical practice to illustrate these points. These examples suggest several reasons why explaining and grounding tend to come apart, including that explanatory proofs need not exhibit purity, tend not to be brute force, and often unify separate cases by identifying common reasons behind them even when those cases have distinct grounds. The paper sketches an account of what makes a proof explanatory and uses that account to defend the morals drawn from the examples already given. (shrink)

Counterfactuals all the way down? Content Type Journal Article DOI 10.1007/s11016-010-9437-9 Authors Jim Woodward, History and Philosophy of Science, 1017 Cathedral of Learning, University of Pittsburgh, Pittsburgh, PA 15260, USA Barry Loewer, Department of Philosophy, Rutgers University, New Brunswick, NJ 08901, USA John W. Carroll, Department of Philosophy and Religious Studies, North Carolina State University, Raleigh, NC 27695-8103, USA Marc Lange, Department of Philosophy, University of North Carolina at Chapel Hill, CB#3125—Caldwell Hall, Chapel Hill, NC 27599-3125, USA Journal Metascience (...) Online ISSN 1467-9981 Print ISSN 0815-0796 Journal Volume Volume 20 Journal Issue Volume 20, Number 1. (shrink)

Fine and Rosen have argued that normative necessity is distinct from and weaker than metaphysical necessity. The first aim of this paper is to specify what it would take for this view to be true—that is, what normative necessity would have to be like. The author argues that in order for normative necessity to be weaker than metaphysical necessity, the metaphysical necessities must all be preserved under every counterfactual antecedent with which they are all collectively logically consistent—even when their preservation (...) requires that a normative necessity fail to be preserved. By exhibiting some examples that fail to display this pattern of counterfactual invariance, the author argues against the view that normative necessity is weaker than metaphysical necessity. To give this argument is the second aim of this paper. (shrink)

Digital duplicates reduce the scarcity of individuals and thus may impact their instrumental and intrinsic value. I here expand upon this idea by introducing the notion of collective scarcity, which pertains to the limitations faced by social groups in maintaining their size, cohesion, and function.

We say a countable model ������ has a 0-basis if the types realized in ������ are uniformly computable. We say ������ has a (d-)decidable copy if there exists a model ������ ≅ ������ such that the elementary diagram of ������ is (d-)computable. Goncharov, Millar, and Peretyat'kin independently showed there exists a homogeneous model ������ with a 0-basis but no decidable copy. We extend this result here. Let d ≤ 0' be any low₂ degree. We show that there exists a homogeneous (...) model ������ with a 0-basis but no d-decidable copy. A degree d is 0-basis homogeneous bounding if any homogenous ������ with a 0-basis has a d-decidable copy. In previous work, we showed that the nonlow₂ $\Delta _{2}^{0}$ degrees are 0-basis homogeneous bounding. The result of this paper shows that this is an exact characterization of the 0-basis homogeneous bounding $\Delta _{2}^{0}$ degrees. (shrink)

In 1984, Danecki proved that satisfiability in IPDL, i.e., Propositional Dynamic Logic (PDL) extended with an intersection operator on programs, is decidable in deterministic double exponential time. Since then, the exact complexity of IPDL has remained an open problem: the best known lower bound was the ExpTime one stemming from plain PDL until, in 2004, the first author established ExpSpace-hardness. In this paper, we finally close the gap and prove that IPDL is hard for 2-ExpTime, thus 2-ExpTime-complete. We then sharpen (...) our lower bound, showing that it even applies to IPDL without the test operator interpreted on tree structures. (shrink)

Why should science be so interested in discovering whether p is a law over and above whether p is true? The answer may involve the laws' relation to counterfactuals: p is a law iff p would still have obtained under any counterfactual supposition that is consistent with the laws. But unless we already understand why science is especially concerned with the laws, we cannot explain why science is especially interested in what would have happened under those counterfactual suppositions consistent with (...) the laws. It is argued that the laws form the only non-trivially "stable" set, where "stability" is invariance under a certain range of counterfactual suppositions not itself defined by reference to the laws. It is then explained why science should be so interested in identifying a non-trivially "stable" set: because of stability's relation to the best set of "inductive strategies". (shrink)

Humean accounts of natural law have long been charged with being unable to account for the laws’ explanatory power in science. One form of this objection is to charge Humean accounts with explanatory circularity: a fact in the Humean mosaic helps to explain why some regularity is a law (first premise), but that law, in turn, helps to explain why that mosaic fact holds (second premise). To this objection, Humeans have replied that the explanation in the first premise is metaphysical (...) whereas the explanation in the second premise is scientific, so (since these two varieties of explanation operate very differently) the two explanations cannot be chained together to yield explanatory circularity. This paper presents a new circularity argument that avoids this objection because both explanations in the premises are metaphysical. The new circularity argument also avoids the objection that the contrasts at the point where the two explanations are chained together fail to line up properly. The upshot is to leave the Humean account of law with two unattractive options: to regard scientific explanation under natural law as not constituting genuine explanation at all or to regard the Humean account as involving a vicious explanatory circularity. (shrink)

The concept of transliminality (''a hypothesized tendency for psychological material to cross thresholds into or out of consciousness'') was anticipated by William James (1902/1982), but it was only recently given an empirical definition by Thalbourne in terms of a 29-item Transliminality Scale. This article presents the 17-item Revised Transliminality Scale (or RTS) that corrects age and gender biases, is unidimensional by a Rasch criterion, and has a reliability of .82. The scale defines a probabilistic hierarchy of items that address magical (...) ideation, mystical experience, absorption, hyperaesthesia, manic experience, dream interpretation, and fantasy proneness. These findings validate the suggestions by James and Thalbourne that some mental phenomena share a common underlying dimension with selected sensory experiences (such being overwhelmed by smells, bright lights, sights, and sounds). Low scores on transliminality remain correlated with ''tough mindedness'' in on Cattell 16PF test, as well as ''self-control'' and ''rule consciousness,'' whereas high scores are associated with ''abstractedness'' and an ''openness to change'' on that test. An independent validation study confirmed the predictions implied by our definition of transliminality. Implications for test construction are discussed. (shrink)

Heisenberg sitzt mir stark auf der Pelle. Vielleicht behält er recht. Ich verstehe seine Gedankengänge immer besser, aber überzeugt bin ich noch nicht. Es ist z. Zt. schwierig, anstrengend und schön. – Vorgestern hielt Fritz Hund einen naturphilosophischen Vortrag vor einer phil. Gesellschaft. Das ist auch einer der theoretischen Physiker – jetzt hier Prof. – ich kannte ihn schon in Göttingen als Assistent von Born, hier [habe] ich auch ein paar Mal mit ihm über meine Arbeit disku[tiert.] Es geht (...) lange nicht so gut wie bei Heisenberg. (shrink)

This paper argues that in at least some cases, one proof of a given theorem is deeper than another by virtue of supplying a deeper explanation of the theorem — that is, a deeper account of why the theorem holds. There are cases of scientific depth that also involve a common abstract structure explaining a similarity between two otherwise unrelated phenomena, making their similarity no coincidence and purchasing depth by answering why questions that separate, dissimilar explanations of the two phenomena (...) cannot correctly answer. The connections between explanation, depth, unification, power, and coincidence in mathematics and science are compared. (shrink)

Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 739-748, November 2019.

Why do relationships of friendship and love support partiality, but not relationships of hatred or commitments of racism? Where does partiality end and why? I take the intuitive starting point that important cases of partiality are meaningful. I develop a view whereby meaning is understood in terms of transcending self-limitations in order to connect with things of external value. I then show how this view can be used to distinguish central cases of legitimate partiality from cases of illegitimate partiality and (...) how it puts pressure on the traditional way of thinking about partiality. (shrink)

An increasing number of regulations propose the notion of ‘AI audits’ as an enforcement mechanism for achieving transparency and accountability for artificial intelligence (AI) systems. Despite some converging norms around various forms of AI auditing, auditing for the purpose of compliance and assurance currently have little to no agreed upon practices, procedures, taxonomies, and standards. We propose the ‘criterion audit’ as an operationalizable compliance and assurance external audit framework. We model elements of this approach after financial auditing practices, and argue (...) that AI audits should similarly provide assurance to their stakeholders about AI organizations’ ability to govern their algorithms in ways that mitigate harms and uphold human values. We discuss the necessary conditions for the criterion audit, and provide a procedural blueprint for performing an audit engagement in practice. We illustrate how this framework can be adapted to current regulations by deriving the criteria on which ‘bias audits’ for hiring algorithms can be performed, as required by the recently effective New York City Local Law 144 of 2021. We conclude by offering critical discussion on the benefits, inherent limitations, and implementation challenges of applying practices of the more mature financial auditing industry to AI auditing where robust guardrails against quality assurance issues are only starting to emerge. Our discussion as informed by experiences in performing these audits in practice highlights the critical role that an audit ecosystem plays in ensuring the effectiveness of such methodology. (shrink)