Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Millianism is the familiar view that some expressions, such as proper names, contribute only their referent to the semantic content of sentences in which they occur. Inan (Philosophical Studies 2010) has recently argued that the Millian is committed to the following odd conclusion: There may be questions that he is able to grasp but that he cannot answer, either affirmatively, negatively, or with a simple I don’t know . The Millian is indeed committed to this conclusion. But we intend to (...) show that Inan’s argument generalizes, so that everyone who accepts certain largely uncontroversial principles is committed to the odd conclusion that there may be questions that are graspable but not answerable. (shrink)

The death of David Lewis at the age of 60 has deprived philosophy of one of its most original and brilliant thinkers. Lewis was a systematic philosopher in a traditional sense, who created a system of thought (or metaphysical system) which attempts to reconcile the insights of modern science with pervasive elements of commonsense belief. Lewis was not a populariser and he had little to do with the more concrete and practical areas of philosophy. His work is (...) forbiddingly abstract, and deals with many of the deepest and most difficult of philosophy’s traditional concerns, including the nature of mind, causation, necessity and being. (shrink)

In The Mind and the World Order, C.I. Lewis made a famous distinction between the immediate data ‘which are presented or given to the mind’ and the ‘construction or interpretation’ which the mind brings to those data (1929: 52). What the mind receives is the datum – literally, the given – and the interpretation is what happens when we being it ‘under some category or other, select from it, emphasise aspects of it, and relate it in particular and unavoidable (...) ways’ (1929: 52). So although any attempt to describe the given will inevitably be an interpretation of it, this should not give us reason to deny its existence: ‘no-one but a philosopher could for a moment deny this immediate presence in consciousness of that which no activity of thought can create or alter’ (1929: 53). Whatever those outside philosophy might think, Lewis was certainly right about what philosophers were prepared to deny. His conception of the ‘given’ is without question one of the targets of Wilfrid Sellars’s influential critique of the notion of the ‘whole framework of givenness’ (1957).1 One of the things Sellars was attacking was the idea that something that was merely given by the senses could put one in a position to be justified in making a judgement about the empirical world. The.. (shrink)

This paper presents a puzzle or antinomy about the role of properties in causation. In theories of properties, a distinction is often made between determinable properties, like red, and their determinates, like scarlet (see Armstrong 1978, volume II). Sometimes determinable properties are cited in causal explanations, as when we say that someone stopped at the traffic light because it was red. If we accept that properties can be among the relata of causation, then it can be argued that there are (...) good reasons for allowing that some of these are determinable properties. On the other hand, there are strong arguments in the metaphysics of properties to treat properties as sparse in David Lewis’s (1983) sense. But then it seems that we only need to believe in the most determinate properties: particular shades of colour, specific masses, lengths and so on. And if we also agree with Lewis that sparse properties are ‘the ones relevant to causal powers’ (1983: 13) it seems we must conclude that if properties are relevant to causation at all, then all of these are determinate properties. I call this ‘the antinomy of determinable causation’. On the one hand, we have a good argument for the claim that determinable properties can be causes, if any properties are. I call this the Thesis. But on the other hand, we have a good argument for the claim that only the most determinate properties can be causes, if any properties are. I call this the Antithesis. Clearly, we need to reject either the Thesis or the.. (shrink)

This chapter contains sections titled: Contemporary Naturalism The Virtues of Naturalism Naturalistic Excess: The Pessimistic Induction Naturalistic Excess: Causation Naturalistic Excess: “Preaching to Scientists” Naturalistic Excess: Experimental Philosophy Eclectic Naturalism References.

In [HKL00] (henceforth HKL), Hamm, Kamp and van Lambalgen declare ‘‘there is no opposition between formal and cognitive semantics,’’ notwithstanding the realist/mentalist divide. That divide separates two sides Jackendo¤ has (in [Jac96], following Chomsky) labeled E(xternalized)-semantics, relating language to a reality independent of speakers, and I(nternalized)-semantics, revolving around mental representations and thought. Although formal semanticists have (following David Lewis) traditionally leaned towards E-semantics, it is reasonable to apply formal methods also to I-semantics. This point is made clear in HKL (...) via two computational approaches to natural language semantics, Discourse Representation Theory (DRT, [KR93]) and the Event Calculus (EC) presented in [LH05]. In this short note, I wish to raise certain questions about EC that can be traced to the applicability of formal methods to E-semantics and I-semantics alike. These opposing orientations suggest di¤erent notions of time, event and representation. (shrink)

In The American Pragmatists (2013), Cheryl Misak casts Peirce and Lewis as the heroes of American pragmatism. She establishes an impressive continuity between pragmatism and both logical empiricism and contemporary analytic philosophy. However, in casting James and Dewey as the villains of American pragmatism, she underplays the pragmatists' interest in action.

The paradoxes of time travel are oddities, not impossibilities. This chapter concerns with the sort of time travel that is recounted in science fiction. It argues that what goes on in a time travel story may be a possible pattern of events in four‐dimensional space‐time with no extra time dimension; that it may be correct to regard the scattered stages of the alleged time traveler as comprising a single person; and that we may legitimately assign to those stages and their (...) surroundings a personal time order that disagrees sometimes with their order in external time. Some might concede all this, but protest that the impossibility of time travel is revealed after all when we ask not what the time traveler does, but what he could do. Finally the chapter provides time travel story about Tim and Tom. (shrink)

According to a recent paper by Tim Maudlin, Bell’s theorem has nothing to tell us about realism or the descriptive completeness of quantum mechanics. What it shows is that quantum mechanics is non-local, no more and no less. What I intend to do in this paper is to challenge Maudlin’s assertion about the import of Bell’s proof. There is much that I agree with in the paper; in particular, it does us the valuable service of demonstrating that Einstein’s objections to (...) quantum mechanics have nothing to do with its indeterminism. But I do think that Maudlin’s conclusion is overly cut-and-dried. Quantum mechanics is far from a unified edifice, and what Bell’s theorem shows depends on what version of quantum mechanics you look at. In particular, I’ll try to make the case that there’s an interesting, if ultimately uncompelling anti-realist construal of the import of Bell’s theorem. And I also want to suggest that locality isn’t quite as decisively defeated as Maudlin claims. (shrink)

Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor steps are determined by standard register machine commands. At limit times register contents are defined by appropriate limit operations. In this paper, we examine the ITRMs introduced by the third and fourth author (Koepke and Miller in Logic and Theory of Algorithms LNCS, pp. 306–315, 2008), where a register content at a limit time is set (...) to the lim inf of previous register contents if that limit is finite; otherwise the register is reset to 0. The theory of these machines has several similarities to the infinite time Turing machines (ITTMs) of Hamkins and Lewis. The machines can decide all ${\Pi^1_1}$ sets, yet are strictly weaker than ITTMs. As in the ITTM situation, we introduce a notion of ITRM-clockable ordinals corresponding to the running times of computations. These form a transitive initial segment of the ordinals. Furthermore we prove a Lost Melody theorem: there is a real r such that there is a program P that halts on the empty input for all oracle contents and outputs 1 iff the oracle number is r, but no program can decide for every natural number n whether or not ${n \in r}$ with the empty oracle. In an earlier paper, the third author considered another type of machines where registers were not reset at infinite lim inf’s and he called them infinite time register machines. Because the resetting machines correspond much better to ITTMs we hold that in future the resetting register machines should be called ITRMs. (shrink)

Bridging between psychological and neurobiological systems requires that the system components are closely specified at both the psychological and brain levels of analysis. We argue that in developing his dynamic systems theory framework, Lewis has sidestepped the notion of a psychological level systems model altogether, and has taken a partisan approach to his exposition of a brain-level systems model.

In his well-known time travel story, David Lewis claims that there is a sense in which Tim can go back in time and kill his Grandfather and a (more inclusive) sense in which he cannot. Lewis describes Tim’s predicament as semi-fatalist, but holds that this does not compromise Tim’s freedom or his ability to kill Grandfather. I argue that if semi-fatalism is true of Tim, it is true of everyone, and that this is a troubling conclusion.

Time travel, it has been argued, leads to paradoxes, and in particular to a problem known as the grandfather paradox. Lewis has famously argued for the now standard view that the grandfather paradox is merely apparent. But underlying Lewis's solution is a faulty account of ability statements – one, according to which ability statements express possibility statements. I argue, contrary to Vihvelin and others, that an ameliorated view of ability statements allows for the same treatment of the seeming (...) paradox. Hence, Lewis's take on the grandfather paradox stands despite the failure of the particular view of ability statements it is built upon. (shrink)

In this discussion piece, I argue that David Lewis fails to support his claim that time-travelling Tim cannot kill his Grandfather in 1921. This result, in turn, undermines Lewis’s contextualist solution to the Grandfather Paradox—i.e. conceding that Tim can and cannot kill Grandfather, but relative to different contexts in each case.

The basic idea of Maudlin's superb book is methodological: ‘metaphysics, insofar as it is concerned with the natural world, can do no better than to reflect on physics. Physical theories provide us with the best handle we have on what there is, and the philosopher's proper task is the interpretation and elucidation of those theories. In particular, when choosing the fundamental posits of one's ontology, one must look to scientific practice rather than to philosophical prejudice’ .The apparently diverse topics covered (...) by the book's six chapters are united in bearing out this basic idea. They do so with considerable care and sophistication. The chapters also champion a campaign against David Lewis's thesis of Humean Supervenience. Lewis's thesis says that everything actual supervenes on the distribution of intrinsic qualities across points in space-time.Chapter 1 claims that laws of …. (shrink)

According to many orthodox Christian theologies Jesus is not merely sinless but impeccable: he not only did not sin but could not. This is puzzling because one can only sin by doing something else and, prima face, Jesus can do actions that you or I could do by which we would sin. I suggest that appearances to the contrary, Jesus cannot do a variety of actions that a merely human duplicate could do. His doing sinful actions is compossible with a (...) range of empirical facts about his physical abilities and circumstances of the sort we ordinarily take into account in assessing what a person can do, but not with a wider range of theological facts concerning his divinity. Like Tim, Lewis’s time-traveler, who can kill Grandfather relative to facts about his immediate circumstances and abilities but not relative to a wider range of facts, Jesus ‘can’ in the ordinary sense sin, though he will not, but relative to a wider range of facts which obtain in virtue of his divinity, cannot. (shrink)

Tim travels back in time and tries to kill his grandfather before his father was born. Tim fails. But why? Lewis's response was to cite "coincidences": Tim is the unlucky subject of gun jammings, banana peels, sudden changes of heart, and so on. A number of challenges have been raised against Lewis's response. The latest of these focuses on explanation. This paper diagnoses the source of this new disgruntlement and offers an alternative explanation for Tim's failure, one that (...) Lewis would not have liked. The explanation is an obvious one but controversial, so it is defended against all the objections that can be mustered. (shrink)

_ Convention_ was immediately recognized as a major contribution to the subject and its significance has remained undiminished since its first publication in 1969. Lewis analyzes social conventions as regularities in the resolution of recurring coordination problems-situations characterized by interdependent decision processes in which common interests are at stake. Conventions are contrasted with other kinds of regularity, and conventions governing systems of communication are given special attention.

The Problem of Perception is a pervasive and traditional problem about our ordinary conception of perceptual experience. The problem is created by the phenomena of perceptual illusion and hallucination: if these kinds of error are possible, how can perceptual experience be what we ordinarily understand it to be: something that enables direct perception of the world? These possibilities of error challenge the intelligibility of our ordinary conception of perceptual experience; the major theories of experience are responses to this challenge.

We argue that S is in a position to know that p iff S can know that p. Thus, what makes position-to-know-ascriptions true is just a special case of what makes ability-ascriptions true: compossibility. The novelty of our compossibility theory of epistemic modality lies in its subsuming epistemic modality under agentive modality, the modality characterizing what agents can do.

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...) problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

We offer two arguments against the halving repose to Sleeping Beauty. First, we show that halving violates the Epistemological Sure-Thing Principle, which we argue is a necessary constraint on any reasonable probability assignment. The constraint is that if hypothetically on C you assign to A the same probability you assign to A hypothetical on not-C, you must assign that probability to A simpliciter. Epistemically, it's a sure thing for you that A has this probability. Second, we show that halving violates (...) solid statistical reasoning (or draws absurdly irrelevant distinctions). (shrink)

Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; (...) they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. -/- The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. -/- The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right. (shrink)

The what next question for moral error theorists asks: if moral discourse is systematically error-ridden, then how, if at all, should moral error theorists continue to employ moral discourse? Recent years have seen growing numbers of moral error theorists come to endorse a wider normative error theory according to which all normative judgements are untrue. But despite this shift, the what next question for normative error theorists has received far less attention. This paper presents a novel solution to this question: (...) revolutionary normative subjectivism. Along the way, two primary contributions are advanced. First, a non-normative methodology for answering the normative error theoretic what next question is developed. Second, revolutionary normative subjectivism is presented and defended in accordance with the proposed methodology. (shrink)

Both patients and clinicians frequently report problems around communicating and assessing pain. Patients express dissatisfaction with their doctors and doctors often find exchanges with chronic pain patients difficult and frustrating. This chapter thus asks how we could improve pain communication and thereby enhance outcomes for chronic pain patients. We argue that improving matters will require a better appreciation of the complex meaning of pain terms and of the variability and flexibility in how individuals think about pain. We start by examining (...) the various accounts of the meaning of pain terms that have been suggested within philosophy and suggest that, while each of the accounts captures something important about our use of pain terms, none is completely satisfactory. We propose that pain terms should be viewed as communicating complex meanings, which may change across different communicative contexts, and this in turn suggests that we should view our ordinary thought about pain as similarly complex. We then sketch what a view taking seriously this variability in meaning and thought might look like, which we call the “polyeidic” view. According to this view, individuals tacitly occupy divergent stances across a range of different dimensions of pain, with one agent, for instance, thinking of pain in a much more “bodycentric” kind of way, while another thinks of pain in a much more "mindcentric” way. The polyeidic view attempts to expand the multidimensionality recognised in, e.g., biopsychosocial models in two directions: first, it holds that the standard triumvirate— dividing sensory/cognitive/affective factors— needs to be enriched in order to capture important distinctions within the social and psychological dimensions. Second, the polyeidic view attempts to explain (at least in part) why modulation of experience by these social and psychological factors is possible in the first place. It does so by arguing that because the folk concept of pain is complex, different weightings of the different parts of the concept can modulate pain experience in a variety of ways. Finally, we argue that adopting a polyeidic approach to the meaning of pain would have a range of measurable clinical outcomes. (shrink)

Kotek et al. argue on the basis of novel experimental evidence that sentences like ‘Most of the dots are blue’ are ambiguous, i.e. have two distinct truth conditions. Kotek et al. furthermore suggest that when their results are taken together with those of earlier work by Lidz et al., the overall picture that emerges casts doubt on the conclusions that Lidz et al. drew from their earlier results. We disagree with this characterization of the relationship between the two studies. Our (...) main aim in this reply is to clarify the relationship as we see it. In our view, Kotek et al.’s central claims are simply logically independent of those of Lidz et al.: the former concern which truth condition a certain kind of sentence has, while the latter concern the procedures that speakers choose for the purposes of determining whether a particular truth condition is satisfied in various scenes. The appearance of a conflict between the two studies stems from inattention to the distinction between questions about truth conditions and questions about verification procedures. (shrink)

Tim Crane addresses the ancient question of how it is possible to think about what does not exist. He argues that the representation of the non-existent is a pervasive feature of our thought about the world, and that to understand thought's representational power ('intentionality') we need to understand the representation of the non-existent.

This volume is devoted to Lewis's work in metaphysics and epistemology. Topics covered include properties, ontology, possibility, truthmaking, probability, the mind-body problem, vision, belief, and knowledge. The purpose of this collection, and the volumes that precede and follow it, is to disseminate more widely the work of an eminent and influential contemporary philosopher. The volume will serve as a useful work of reference for teachers and students of philosophy.

The perfect companion to Lewis Carroll's classic book and director Tim Burton's March 2010 remake of Alice in Wonderland Alice?s Adventures in Wonderland has fascinated children and adults alike for generations. Why does Lewis Carroll introduce us to such oddities as blue caterpillars who smoke hookahs, cats whose grins remain after their heads have faded away, and a White Queen who lives backwards and remembers forwards? Is it all just nonsense? Was Carroll under the influence? This book probes (...) the deeper underlying meaning in the Alice books, and reveals a world rich with philosophical life lessons. Tapping into some of the greatest philosophical minds that ever lived?Aristotle, Hume, Hobbes, and Nietzsche?Alice in Wonderland and Philosophy explores life?s ultimate questions through the eyes of perhaps the most endearing heroine in all of literature. Looks at compelling issues such as perception and reality as well as how logic fares in a world of lunacy, the Mad Hatter, clocks, and temporal passage Offers new insights into favorite Alice in Wonderland characters and scenes, including the Mad Hatter and his tea party, the violent Queen of Hearts, and the grinning Cheshire Cat Accessible and entertaining, Alice in Wonderland and Philosophy will enrich your experience of Alice's timeless adventures with new meaning and fun. (shrink)

We present nested sequent systems for propositional Gödel-Dummett logic and its first-order extensions with non-constant and constant domains, built atop nested calculi for intuitionistic logics. To obtain nested systems for these Gödel-Dummett logics, we introduce a new structural rule, called the linearity rule, which (bottom-up) operates by linearising branching structure in a given nested sequent. In addition, an interesting feature of our calculi is the inclusion of reachability rules, which are special logical rules that operate by propagating data and/or checking (...) if data exists along certain paths within a nested sequent. Such rules require us to generalise our nested sequents to include signatures (i.e. finite collections of variables) in the first-order cases, thus giving rise to a generalisation of the usual nested sequent formalism. Our calculi exhibit favourable properties, admitting the height-preserving invertibility of every logical rule and the (height-preserving) admissibility of a large collection of structural and reachability rules. We prove all of our systems sound and cut-free complete, and show that syntactic cut-elimination obtains for the intuitionistic systems. We conclude the paper by discussing possible extensions and modifications, putting forth an array of structural rules that could be used to provide a sizable class of intermediate logics with cut-free nested sequent systems. (shrink)

Research ethics committees and institutional review boards spend considerable time developing, scrutinising, and revising specific consent processes and materials for survey-based studies conducted on crowdsourcing and online recruitment platforms such as MTurk and Prolific. However, there is evidence to suggest that many users of ICT services do not read the information provided as part of the consent process and they habitually provide or refuse their consent without adequate reflection. In principle, these practices call into question the validity of their consent. (...) In this paper we argue that although the ‘no read problem’ and the routinisation of consent may apply to research participants’ consent practices for studies on crowdsourcing platforms, this is not a serious problem. Furthermore, given that the informational requirements for informed consent in these contexts are minimal, we argue that these participants are, nevertheless, sufficiently informed to give valid consent. We conclude that research ethics committees and institutional review boards should only agonise over the precise details of the informed consent process and materials in those rare cases where appreciable risks to research participants need to be managed. (shrink)

Mindfulness based interventions (MBIs) are rapidly emerging in health care settings for their role in reducing stress and improving physical and mental health. In such settings, the religious roots and affiliations of MBIs are downplayed, and the possibilities for developing spiritual, even mystical, states of consciousness are minimized. This article helps rebalance this trend by using the tools of medical humanities and narrative medicine to explore MBI as a bridge between medical and spiritual approaches to health related suffering. My narrative (...) medicine method draws insights from the arts and humanities that are rarely used in standard clinical research but are increasingly common among medical humanities and narrative medicine scholars. The specific path I take will be to work through historical, linguistic, and philosophic dimensions of mindfulness and mysticism as relevant to illness, suffering, death, and dying. I close with two case examples in which mindfulness is used as an intentionally spiritual practice for health concerns. (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)