This book on the philosophy of science argues for an empiricism, opposed to the tradition of David Hume, in which singular rather than general causal claims are primary; causal laws express facts about singular causes whereas the general causal claims of science are ascriptions of capacities or causal powers, capacities to make things happen. Taking science as measurement, Cartwright argues that capacities are necessary for science and that these can be measured, provided suitable conditions are met. There are case studies (...) from both econometrics and quantum mechanics. (shrink)

This paper sketches a taxonomy of forms of substantivalism and relationism concerning space and time, and of the traditional arguments for these positions. Several natural sorts of relationism are able to account for Newton's bucket experiment. Conversely, appropriately constructed substantivalism can survive Leibniz's critique, a fact which has been obscured by the conflation of two of Leibniz's arguments. The form of relationism appropriate to the Special Theory of Relativity is also able to evade the problems raised by Field. I survey (...) the effect of the General Theory of Relativity and of plenism on these considerations. (shrink)

This essay is the first act of a two-act play. My ultimate aim is to defend a simple proposition: time passes. To be more precise, I want to defend the claim that the passage of time is an intrinsic asymmetry in the structure of space-time itself, an asymmetry that has no spatial counterpart and is metaphysically independent of the material contents of space-time. It is independent, for example, of the entropy gradient of the universe. This view is part of common-sense, (...) but has been widely attacked by philosophers. The passage of time, we are told, is a myth, an illusion, even an incoherent notion. Because the notion that time passes is common sense, it perhaps requires little positive defence; if there are no weighty objections to the view, it ought to be accepted. So the first, and more important, act of the play is defusing the arguments which have been used to cast doubt on the passage of time. I have positive arguments to give, but not having space for them here, I will confine myself to an examination of the common philosophical arguments that have been used to cast doubt on the passage of time. (shrink)

Preface ix 1 Meaning and the Means to an Understanding of Ends 2 Why Is an Eye? 21 3 Adaptationism and Engineering 39 4 On Five "-Isms" 67 5 Function, Selection, and Explanation 87 6 Deflating Function 119 7 Artifacts and Organisms 139 References 167 Index 177.

Many authors in ethics, economics, and political science endorse the Lottery Requirement, that is, the following thesis: where different parties have equal moral claims to one indivisible good, it is morally obligatory to let a fair lottery decide which party is to receive the good. This article defends skepticism about the Lottery Requirement. It distinguishes three broad strategies of defending such a requirement: the surrogate satisfaction account, the procedural account, and the ideal consent account, and argues that none of these (...) strategies succeed. The article then discusses and discharges some remaining grounds for resistance to these skeptical conclusions, as well as the possibility of defending a weaker version of a normative lottery principle. The conclusion is that we have no reason to believe that where equal claims conflict, we are morally required to hold a lottery, as opposed to simply picking one of the parties on more subjective grounds or out of pure whim. In addition to the practical consequences of this skeptical view, the article sketches some theoretical implications for debates about saving the greater number and about axiomatic utilitarianism. (shrink)

This book defends and outlines the key issues surrounding the philosophy of content as demonstrated in Wittgenstein's Philosophical Investigations. The text shows how Wittgenstein's critical arguments concerning mind and meaning are destructive of much recent work in the philosophy of thought and language, including the representationalist orthodoxy. These issues are related to the work of Davidson, Rorty and McDowell among others.

The meaning and truth conditions for claims about physical modality and causation have been considered problematic since Hume’s empiricist critique. But the underlying semantic commitments that follow from Hume’s empiricism about ideas have long been abandoned by the philosophical community. Once the consequences of that abandonment are properly appreciated, the problems of physical modality and causal locutions fall away, and can be painlessly solved.

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

Truth and Paradox largely consists of three connected technical projects together with a more general account of the nature of truth. The first project is the most familiar: providing an account of how logically complex sentences get assigned truth values on the basis of the truth values assigned to the logically atomic sentences. The second is construction of valid, syntactically specifiable inference rules for a language that includes the familiar logical connectives and the truth predicate. The third is an account (...) of the normative rules governing the assertion of sentences. Let me sketch these in order. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

Abraham Stone recently has published an argument purporting to show that David Bohm's interpretation of quantum mechanics fails to solve the measurement problem. Stone's analysis is not correct, as he has failed to take account of the conditions under which the theorems he cites are proven. An explicit presentation of a Bohmian measurement illustrates the flaw in his reasoning.

This chapter contains sections titled: Limits for Uncommunicative Partners How Much Does a Particle Need to Know? Evaluation of Results Simulators Does Nature Simulate?

When we discuss normative reasons, oughts, requirements of rationality, hypothetical imperatives (or “anankastic conditionals”), motivating reasons and so on, we often use verbs like “believe” and “want” to capture a relevant subject’s perspective. According to the received view about sentences involving these verbs, what they do is describe the subject’s mental states. Many puzzles concerning normative discourse have to do with the role that mental states consequently appear to play in this discourse. This book uses tools from formal semantics and (...) the philosophy of language to develop an alternative account of sentences involving these verbs. According to this view, which is called parentheticalism (in honour of J. O. Urmson), we very commonly use these verbs in a parenthetical sense. Used with this sense, these verbs themselves express backgrounded side-remarks on the contents they embed, and these latter, embedded contents constitute the at-issue contents of our utterances. This means that instead of speaking about the subject’s mental states, we often use sentences involving “believe” and “want” to speak about the world in a way that, in the conversational background, relates our utterances to her point of view. This idea is made precise, and it is used to solve various puzzles concerning normative discourse. The final result is a new, unified understanding of normative discourse, which gets by without postulating conceptual breaks between objective and subjective normative reasons, or normative reasons and rationality, or indeed between the reasons we ascribe to an agent and the reasons she herself can be expected to cite. Instead of being connected to either subjective mental states or objective facts, all of these normative statuses can be adequately articulated by citing worldly considerations from the subject’s point of view. (shrink)

Arguing that issues of both emissions and subsistence should be comprehended within a single framework of justice, the proposal here is that this broader framework be developed by reference to the idea of "ecological space.".

ABSTRACT In “Temporal Passage and the ‘No Alternate Possibilities Argument’”, Jonathan Tallant takes up one objection based on the observation that if time passes at the rate of one second per second there is no other possible rate at which it could pass. The argument rests on the premise that if time passes at some rate then it could have passed at some other rate. Since no alternative rate seems to be coherent, one concludes that time cannot pass at all. (...) The obvious weak point of the NAP is the premise itself. (shrink)

Brentano’s account of what he called intentionale Inexistenz — what we now call intentionality — is without question one of the most important parts of his philosophy, and one of the most influential ideas in late 19th-century philosophy. Here I will explain how this idea figures in Brentano’s central text, Psychology from an Empirical Standpoint (Brentano 1995a). I will then briefly explain how Brentano’s ideas about intentionality evolved after the first publication of this work in 1874, and how they were (...) then misinterpreted by some influential analytic philosophers. (shrink)

The pressure of oversight and scrutiny in the business-to-business purchasing process has the potential to cause psychological distress in purchasing professionals, giving rise to apprehensions about being ethically inappropriate. Utilizing depth interviews with public sector purchasing professionals in a phenomenological approach, the authors develop the notion of ethical purchasing dissonance to explain the psychological distress. An inductively derived conceptual framework is presented for ethical purchasing dissonance that explores its potential antecedents and consequences; illustrative propositions are presented, and managerial implications are (...) discussed. (shrink)

Any empirical physical theory must have implications for observable events at the scale of everyday life, even though that scale plays no special role in the basic ontology of the theory itself. The fundamental physical scales are microscopic for the “local beables” of the theory and universal scale for the non-local beables. This situation creates strong demands for any precise quantum theory. This paper examines those constraints, and illustrates some ways in which they can be met.

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

It is a truth universally acknowledged that quantum mechanics is (somehow or other) screwy. That is, the ‘picture of the world’ presented by quantum mechanics i.

Supporters of political realism and republicanism as well as students of political feasibility and non-ideal theory progressively focus on the dimension of power in the political relation. Yet we lack the theoretical framework to represent these features of power. In this essay, I take a first step towards designing the necessary conceptual tools for such a framework by analyzing the relations between the concepts of power and normativity that define the political relation. Adopting a ‘methodological cynicism’, I analyse the reasons (...) that motivate cynics who are only interested in power to obey a norm against force or violence and to seek legitimacy. This allows us to characterize external or mediate relations between power and normativity (such as the relation underlying political theory’s ambition of offering normative guidance for power) and identify internal and immediate relations between power and normativity. (shrink)

Michael and has argued that species have intrinsic essences. This paper rebuts Devitt’s arguments, but in so doing it shores up the anti-essentialist consensus in two ways that have more general interest. First, species membership can be explanatory even when species have no essences; that is, Tamsin’s membership of the tiger species can explain her stripyness, without this committing us to any further claim about essential properties of tigers. Second, even the views of species that appear most congenial to essentialism—namely (...) phenetic and genotypic cluster accounts—do not entail strong forms of intrinsic essentialism. (shrink)

The UK-based deliberations that led up to the legalisation of two new ‘mitochondrial donation’ techniques in 2015, and which continued after that time as regulatory details were determined, featured a division of advisory labour that is common when decisions are made about new technologies. An expert panel was convened by the Human Fertilisation and Embryology Authority, charged with assessing the scientific and technical aspects of these techniques. Meanwhile, the Nuffield Council on Bioethics addressed the ethical issues. While this division of (...) labour was undertaken in the name of thoroughness, I argue here that it can have the unintended consequence that hybrid questions that simultaneously involve ethical and technical aspects—especially questions about where to set evidential thresholds for the acceptance of new technology—do not receive enough attention. (shrink)

The UK-based deliberations that led up to the legalisation of two new ‘mitochondrial donation’ techniques in 2015, and which continued after that time as regulatory details were determined, featured a division of advisory labour that is common when decisions are made about new technologies. An expert panel was convened by the Human Fertilisation and Embryology Authority (HFEA), charged with assessing the scientific and technical aspects of these techniques. Meanwhile, the Nuffield Council on Bioethics addressed the ethical issues. While this division (...) of labour was undertaken in the name of thoroughness, I argue here that it can have the unintended consequence that hybrid questions that simultaneously involve ethical and technical aspects—especially questions about where to set evidential thresholds for the acceptance of new technology—do not receive enough attention. (shrink)

This paper examines the neo-Aristotelian account of species natures as ‘life-forms’, which we owe to Philippa Foot, Michael Thompson and their defenders. I begin by developing two problems for their view: a problem of underdetermination and a problem generated by psychological work on ‘folk essentialism’. I move on to consider their important transcendental argument, which suggests that claims about life-forms are presupposed by all efforts to describe the organic world. In response, I sketch a neo-Kantian projectivist position, which agrees that (...) life-forms are presupposed in these contexts, while denying that such life-forms are real. This position makes a better sense of the phenomena cited in support of the neo-Aristotelian view, while avoiding the problems raised for that view in the first half of this paper. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (shrink)

This study investigates the types of misinformation spread on Twitter that evokes scientific authority or evidence when making false claims about the antimalarial drug hydroxychloroquine as a treatment for COVID-19. Specifically, we examined tweets generated after former U.S. President Donald Trump retweeted misinformation about the drug using an unsupervised machine learning approach called the biterm topic model that is used to cluster tweets into misinformation topics based on textual similarity. The top 10 tweets from each topic cluster were content coded (...) for three types of misinformation categories related to scientific authority: medical endorsements of hydroxychloroquine, scientific information used to support hydroxychloroquine’s use, and a comparison group that included scientific evidence opposing hydroxychloroquine’s use. Results show a much higher volume of tweets featuring medical endorsements and use of supportive scientific information compared to accurate and updated scientific evidence, that misinformation-related tweets propagated for a longer time frame, and the majority of hydroxychloroquine Twitter discourse expressed positive views about the drug. Metadata from Twitter accounts found that prominent users within misinformation discourse were more likely to have media or political affiliation and explicitly expressed support for President Trump. Conversely, prominent accounts within the scientific opposition discourse primarily consisted of medical doctors or scientists but had far less influence in the Twitter discourse. Implications of these findings and connections to related social media research are discussed, as well as cognitive mechanisms for understanding susceptibility to misinformation and strategies to combat misinformation spread via online platforms. (shrink)

What does it matter if the climate changes? This kind of question does not admit of a scientific answer. Natural science can tell us what some of its biophysical effects are likely to be; social scientists can estimate what consequences such effects could have for human lives and livelihoods. But how should we respond? The question is, at root, about how we think we should live—and different people have myriad different ideas about this. The distinctive task of ethics is to (...) bring some clarity and order to these ideas. (shrink)

Medicine involves specific practical expertise as well as more general context-independent medical knowledge. This raises the question, what is the nature of the expertise involved? Is there a model of clinical judgement or understanding that can accommodate both elements? This paper begins with a summary of a published account of the kinds of situation-specific skill found in anaesthesia. It authors claim that such skills are often neglected because of a prejudice in favour of the ‘technical rationality’ exemplified in evidence-based medicine (...) but they do not themselves offer a general account of the relation of practical expertise and general medical knowledge. The philosopher Hubert Dreyfus provides one model of the relation of general knowledge to situation-specific skilled coping. He claims that the former logically depends on the latter and provides two arguments, which I articulate in the second section, for this. But he mars those arguments by building in the further assumption that such situation-specific responses must be understood as concept-free and thus mindless. That assumption is held in place by three arguments all of which I criticize in the next section to give a unified account of clinical judgement as both practical and conceptually structured and thus justified in the face of a prejudice in favour of ‘technical rationality’. (shrink)

Explores the role of eliminating fear in Epicurean ethics and physics, focusing on techniques to eliminate the fear of death and the fear of the gods. Includes a taxonomy of types of fear and types of therapy for fear.

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

Detlef Dürr was a remarkable figure in many different ways. I recall some adventures we had with him in Abu Dhabi.

Journal of Social Philosophy, EarlyView.

Despite its central role in our cognitive lives, rational belief revision has received relatively little attention from epistemologists. This dissertation begins to fill that absence. In particular, we explore the phenomenon of defeasible epistemic justification, i.e., justification that can be lost as well as gained by epistemic agents. We begin by considering extant theories of defeat, according to which defeaters are whatever cause a loss of justification or things that somehow neutralize one's reasons for belief. Both of these theories are (...) both extensionally and explanatorily inadequate and, so, are rejected. We proceed to develop a novel theory of defeat according to which defeaters are reasons against belief. According to this theory, the dynamics of justification are explained by the competition between reasons for and reasons against belief. We find that this theory not only handles the counter-examples that felled the previous theories but also does a fair job in explaining the various aspects of the phenomenon of defeat. Furthermore, this theory accomplishes this without positing any novel entities or mechanisms; according to this theory, defeaters are epistemic reasons against belief, the mirror image of our epistemic reasons for belief, rather than sui generis entities. (shrink)