This historic book may have numerous typos and missing text. Purchasers can download a free scanned copy of the original book (without typos) from the publisher. Not indexed. Not illustrated. 1902 Excerpt:...earth. r' = radius of moon, or other body. P = moon's horizontal parallax = earth's angular semidiameter as seen from the moon. f = moon's angular semidiameter. Now = P (in circular measure), r'-r = r (in circular measure);.'. r: r':: P: P', or (radius of earth): (radios of (...) moon):: (moon's parallax): (moon's semidiameter). Examples. 1. Taking the moon's horizontal parallax as 57', and its angular diameter as 32', find its radius in miles, assuming the earth's radius to be 4000 miles. Here moon's semidiameter = 16';.-. 4000::: 57': 16';.-. r = 400 16 = 1123 miles. 2. The sun's horizontal parallax being 8"8, and his angular diameter 32V find his diameter in miles. ' Am. 872,727 miles. 3. The synodic period of Venus being 584 days, find the angle gained in each minute of time on the earth round the sun as centre. Am. l"-54 per minute. 4. Find the angular velocity with which Venus crosses the sun's disc, assuming the distances of Venus and the earth from the sun are as 7 to 10, as given by Bode's Law. Since (fig. 50) S V: VA:: 7: 3. But Srhas a relative angular velocity round the sun of l"-54 per minute (see Example 3); therefore, the relative angular velocity of A V round A is greater than this in the ratio of 7: 3, which gives an approximate result of 3"-6 per minute, the true rate being about 4" per minute. Annual ParaUax. 95. We have already seen that no displacement of the observer due to a change of position on the earth's surface could apparently affect the direction of a fixed star. However, as the earth in its annual motion describes an orbit of about 92 million miles radius round the sun, the different positions in space from which an observer views the fixed stars from time to time throughout the year must be separated... (shrink)

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.

This paper reviews the ethical literature on conflicts between health professionals and parents about medical decision-making for children. We present the results of a systematic review which addressed the question ‘when health professionals and parents disagree about the appropriate course of medical treatment for a child, under what circumstances is the health professional ethically justified in overriding the parents’ wishes?’ We identified nine different ethical frameworks that were put forward by their authors as applicable across various ages and clinical scenarios. (...) Each of these frameworks centred on a different key moral concept including harm, constrained parental autonomy, best interests, medically reasonable alternatives, responsible thinking and rationality. (shrink)

Abstract The only biologically respectable notion of human nature is an extremely permissive one that names the reliable dispositions of the human species as a whole. This conception offers no ethical guidance in debates over enhancement, and indeed it has the result that alterations to human nature have been commonplace in the history of our species. Aristotelian conceptions of species natures, which are currently fashionable in meta-ethics and applied ethics, have no basis in biological fact. Moreover, because our folk psychology (...) finds this misleading Aristotelian conception highly tempting, we are in fact better off if we refrain from mentioning human nature altogether in debates over enhancement. Content Type Journal Article Category Special Issue Pages 1-16 DOI 10.1007/s13347-012-0063-x Authors Tim Lewens, Department of History and Philosophy of Science, University of Cambridge, Free School Lane, Cambridge, CB2 3RH UK Journal Philosophy & Technology Online ISSN 2210-5441 Print ISSN 2210-5433. (shrink)

In the first Critique, Kant attempts to prove what we can call the "Principle of Intensive Magnitudes," according to which every possible object of experience will possess a determinate "degree" of reality. Curiously, Kant argues for this principle by inferring from a psychological premise about internal sensations (they have intensive magnitudes) to a metaphysical thesis about external objects (they also have intensive magnitudes). Most commentators dismiss the argument as a failure. In this article I give a reconstruction of Kant's argument (...) that attempts to rehabilitate the argument back into his broader transcendental theory of experience. I argue that we can make sense of the argument's central inference by appeal to Kant's theory of empirical intuition and by an analysis of the way in which Kant thinks sensory matter constitutes our most basic representations of objects. (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.

Anthropocentrism can intelligibly be criticised as an ontological error, but attempts to conceive of it as an ethical error are liable to conceptual and practical confusion. After noting the paradox that the clearest instances of overcoming anthropocentrism involve precisely the sort of objectivating knowledge which many ecological critics see as itself archetypically anthropocentric, the article presents the follwoing arguments: there are some ways in which anthropocentrism is not objectionable; the defects associated with anthropocentrism in ethics are better understood as instances (...) of speciesism and human chauvinism; it is unhelpful to call these defects anthropocentrism because there is an ineliminable element of anthropocentrism in any ethic at all; moreover, because the defects do not typically involve a concern with human interests as such, the rhetoric of anti-anthropocentrism is counterproductive in practice. (shrink)

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?

In a lifelog, data from various sources are combined to form a record from which one can retrieve information about oneself and the environment in which one is situated. It could be considered similar to an automated biography. Lifelog technology is still at an early stage of development. However, the history of lifelogs so far shows a clear academic, corporate and governmental interest. Therefore, a thorough inquiry into the ethical aspects of lifelogs could prove beneficial to the responsible development of (...) this field. This article maps the main ethically relevant challenges and opportunities associated with the further development of lifelog technologies as discussed in the scholarly literature. By identifying challenges and opportunities in the current debate, we were able to identify other challenges and opportunities left unmentioned. Some of these challenges are partly explained by a blind spot in the current debate. Whilst the current debate focuses mainly on lifelogs held by individuals, lifelogs held by governmental institutions and corporations pose idiosyncratic ethical concerns as well. We have provided a brief taxonomy of lifelog technology to show the variety in uses for lifelogs. In addition, we provided a general approach to alleviate the ethical challenges identified in the critical analysis. (shrink)

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.

In a recent paper, Aidan Lyon and Mark Colyvan have proposed an explanation of the structure of the bee's honeycomb based on the mathematical Honeycomb Conjecture. This explanation has instantly become one of the standard examples in the philosophical debate on mathematical explanations of physical phenomena. In this critical note, I argue that the explanation is not scientifically adequate. The reason for this is that the explanation fails to do justice to the essentially three-dimensional structure of the bee's honeycomb.

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.

The paper outlines the role that tacit knowledge plays in what might seem to be an area of knowledge that can be made fully explicit or codified and which forms a central element of Evidence Based Medicine. Appeal to the role the role of tacit knowledge in science provides a way to unify the tripartite definition of Evidence Based Medicine given by Sackett et al: the integration of best research evidence with clinical expertise and patient values. Each of these three (...) elements, crucially including research evidence, rests on an ineliminable and irreducible notion of uncodified good judgement. (shrink)

In contrast to Di Nucci’s characterisation, my argument is not a technoapocalyptic one. The view I put forward is that systems like IBM’s Watson for Oncology create both risks and opportunities from the perspective of shared decision-making. In this response, I address the issues that Di Nucci raises and highlight the importance of bioethicists engaging critically with these developing technologies.

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)

An influential view in the epistemology of testimony is that typical or paradigmatic beliefs formed through testimonial uptake are noninferential. Some epistemologists in particular defend a causal version of this view: that beliefs formed from testimony (BFT) are generated by noninferential processes. This view is implausible, however. It tends to be elaborated in terms that do not really bear it out – e.g. that BFT is fixed directly, immediately, unconsciously or automatically. Nor is causal noninferentialism regarding BFT plausibly expressed in (...) terms of belief-independent belief formation; the complex cognitive details of BFT fixation do not accord well with such a view. But perhaps the most significant issue is that the relevant causal notion of inference itself is not particularly well-defined, at least with respect to BFT. Causal noninferentialism in this domain is obscure as a result, but this does not in turn clearly vindicate any interesting version of inferentialism. (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)