This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (shrink)

This volume explores the use of higher-order logics in metaphysics. Seventeen original essays trace the development of higher-order metaphysics, discuss different ways in which higher-order languages and logics may be used, and consider their application to various central topics of metaphysics.

There are two broad approaches to theorizing about ontological categories. Quineans use first-order quantifiers to generalize over entities of each category, whereas type theorists use quantification on variables of different semantic types to generalize over different categories. Does anything of import turn on the difference between these approaches? If so, are there good reasons to go type-theoretic? I argue for positive answers to both questions concerning the category of propositions. I also discuss two prominent arguments for a Quinean conception of (...) propositions, concerning their role in natural language semantics and apparent quantification over propositions within natural language. It will emerge that even if these arguments are sound, there need be no deep question about Quinean propositions’ true nature, contrary to much recent work on the metaphysics of propositions. (shrink)

Some views articulate reality's hierarchical structure using relations from the fundamental to representations of reality. Other views instead use relations from the fundamental to constituents of non-representational reality. This paper argues against the first kind of view.

This paper uses the resources of higher-order logic to articulate a Fregean conception of predicate reference, and of word-world relations more generally, that is immune to the concept horse problem. The paper then addresses a prominent style of expressibility problem for views of broadly this kind, versions of which are due to Linnebo, Hale, and Wright.

This paper outlines a novel solution to the problem of the many and a conception of ordinary objects that implies it. The solution is that many collections of particles can simultaneously constitute a single object. The proposed conception of ordinary objects maintains that they are fundamentally subjects of change: the changes an object is able to survive explain its constitution.

This paper evaluates the argument for the contradictoriness of unity, that be- gins Priest’s recent book One. The argument is seen to fail because it does not adequately differentiate between different forms of unity. This diagnosis of the argument’s failure is used as a basis for two consistent accounts of unity. The paper concludes by arguing that reality contains two absolutely fundamental and unanalysable forms of unity, which are in principle presupposed by any theory of anything. These fundamental forms of (...) unity are closely related to the unity of propositions and facts. (shrink)

What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard settings, we show how (...) they diverge under more complex assumptions about the structure of meaningful predication, such as cumulative type theory. We conclude by arguing that maximally strong generality is the more theoretically valuable conception. (shrink)

Central to discussion of supervaluationist accounts of vagueness is the extent to which they require revisions of classical logic and if so, whether those revisions are objectionable. In an important recent Journal of Philosophy article, J.R.G. Williams presents a powerful challenge to the orthodox view that supervaluationism is objectionably revisionary. Williams argues both that supervaluationism is non-revisionary and that even if it were, those revisions would be unobjectionable. This note shows that his arguments for both claims fail.

According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations provide better (...) candidates to occupy the core theoretical role of numerical identity than does the standard regimentation. (shrink)

Unger has recently argued that if you are the only thinking and experiencing subject in your chair, then you are not a material object. This leads Unger to endorse a version of Substance Dualism according to which we are immaterial souls. This paper argues that this is an overreaction. We argue that the specifically Dualist elements of Unger’s view play no role in his response to the problem; only the view’s structure is required, and that is available to Unger’s opponents. (...) We outline one such non-Dualist view, suggest how to resolve the dispute, respond to some objections, and argue that ours is but one of many views that survive Unger’s challenge. All these views are incompatible with microphysicalism. So Unger’s discussion does contain an insight: if you are the only conscious subject in your chair, then microphsyicalism is false. Unger’s mistake was to infer Substance Dualism from this; for microphysicalism is not the only alternative to Dualism. (shrink)

This paper evaluates Stalnaker’s recent attempt to outline a realist interpretation of possible worlds semantics that lacks substantive metaphysical commitments. The limitations of his approach are used to draw some more general lessons about the non-representational artefacts of formal representations. Three key conclusions are drawn. Stalnaker’s account of possible worlds semantics’ non-representational artefacts does not cohere with his modal metaphysics. Invariance-based analyses of non-representational artefacts cannot capture a certain kind of artefact. Stalnaker must treat instrumentally those aspects of possible worlds (...) formalism governing the interaction between quantification and modality, under any analysis whatsoever of non-representational artefacts. (shrink)

This paper outlines a heterodox and largely unexplored conception of objecthood according to which the notion of an individual object is a determinable. §1 outlines the view. §2 argues that the view is incompatible with a natural analysis of kind membership and, as a consequence, undermines the Quinean distinction between ontology and ideology. The view is then used to alleviate one source of Quinean hostility towards non-trivial restrictions on de re possibility in §3, and to elucidate Fine’s neo-Aristoteltian, non-modal conception (...) of essence in §4. §5 concludes. (shrink)

Unger’s Problem of the Many seems to show that the familiar macroscopic world is much stranger than it appears. From plausible theses about the boundaries of or- dinary objects, Unger drew the conclusion that wherever there seems to be just one cat, cloud, table, human, or thinker, really there are many millions; and likewise for any other familiar kind of individual. In Lewis’s hands, this puzzle was subtly altered by an appeal to vagueness or indeterminacy about the the boundaries of (...) ordinary objects. This thesis examines the relation between these puzzles, and also to the phenomenon of vagueness. Chapter 1 begins by distinguishing Unger’s puzzle of too many candidates from Lewis’s puzzle of borderline, or vague, candidates. We show that, contra Unger, the question of whether this is a genuine, as opposed to merely apparent, distinction cannot be settled without investigation into the nature of vagueness. Chapter 2 begins this investigation by developing a broadly supervaluationist account of vague- ness that is immune to the standard objections. This account is applied to Unger’s and Lewis’s puzzles in chapters 3 and 4. Chapter 3 shows that, despite its popularity, Lewis’s own approach to the puzzles is unsatisfactory: it does not so much solve the puzzle, as prevent us from expressing them; it cannot be extended to objects that self-refer; it is committed to objectionable theses about temporal and modal metaphysics and semantics. Chapter 4 develops a conception of ordinary objects that emphasises the role of identity conditions and change, and uses it to resolve both Problems of the Many. This allows us to diagnose the source of the puzzles: an overemphasis on mereology in contemporary material ontology. (shrink)

This chapter discusses Edgington’s probabilistic, degree-theoretic semantics for vagueness. After describing Edgington’s semantics, her suggestion that it and classical semantics provide non-competing descriptions of a single phenomenon is examined. It is argued that the suggestion should be rejected because classical semantics is incompatible with plausible principles about the relationship between the two frameworks. Edgington also argues that the many degrees assigned to sentences in her semantics are not new truth-values. It is argued that these arguments presuppose a certain non-semantic conception (...) of truth. Although Edgington’s arguments do force a distinction between two theoretical roles typically associated with the notion of truth, one properly semantic and one merely expressive, they do not preclude identification of the many degrees of her probabilistic formalism with new truth-values in the semantic sense. (shrink)

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

This is a review of "Properties and Propositions: The Metaphysics of Higher-Order Logic" by Robert Trueman. Following an overview of the main themes of the book, I discuss the metaphysical presuppositions of Trueman's Fregean notation for predicate abstraction and evaluate his argument for strict typing.

This is a review of John Heil's "The Universe as We Find It".

This is a critical notice of Tim Button's book "The Limits of Realism".

While Mindfulness-Based Interventions have been shown to be effective for a range of patient populations and outcomes, a question remains as to the role of common therapeutic factors, as opposed to the specific effects of mindfulness practice, in contributing to patient improvements. This project used a mixed-method design to investigate the contribution of specific and common therapeutic factors to client improvements within an MBI. Participants with mild-severe depression participated in an 8-week MBI. Specific therapeutic factors and social common factors were (...) entered into multilevel growth curve models to predict changes in depression, anxiety, stress, and mindfulness at six timepoints from baseline to 3-month follow-up. Qualitative interviews with participants provided rich descriptions of how instructor and group related factors played a role in therapeutic trajectories. Findings indicated that instructor ratings predicted changes in depression and stress, group ratings predicted changes in stress and self-reported mindfulness, and formal meditation predicted changes in anxiety and stress, while informal mindfulness practice did not predict client improvements. Social common factors were stronger predictors of improvements in depression, stress, and self-reported mindfulness than specific mindfulness practice-related factors. Qualitative data supported the importance of relationships with instructor and group members, involving bonding, expressing feelings, and instilling hope. Our findings dispel the myth that MBI outcomes are exclusively the result of mindfulness meditation practice, and suggest that social common factors may account for much of the effects of these interventions. Further research on meditation should take into consideration the effects of social context and other common therapeutic factors. (shrink)

Conducting research in a prison setting is ethically challenging. Because history is full of unethical research conducted in prison settings, researchers are often afraid of doing research in this area. It is argued that too much emphasis has been put on the protection of prison inmates as a vulnerable population. Consequently, too little research is being conducted where the focus is on those factors which serve to make the prison population vulnerable. In this paper ethical questions, emerging when conducting a (...) study on literacy and mental health among Norwegian prison inmates, are presented and discussed. Relevant questions relate to topics which include ethical clearance of the research protocol, the consent procedure, clarification of roles and the publication of the results. The ethical questions are discussed in relation to the four principles of ‘respect for the client's rights and dignity’, ‘competence’, ‘responsibility’ and ‘integrity’ set out in the meta-code of ethics, formulated by the European Federation of Professional Psychologists Associations. The wider relationships between ethics in society, research ethics in general, and ethics when conducting research in a prison setting are also considered. (shrink)

Rather than having been designed to function as a slave market, the Agora of the Italians appears to hâve functioned as a multifaceted recreational facility for the members of the Roman collegia of the island. That is, it functioned as a combined palaestra, bath, banquet hall, and gladiatorial arena, such as thèse probably existed at the turn of the second-first centuries B.C. Architecture lly, the building enjoys distinct similarities with the ludii gladiato- rii at Pompeii and at Rome.

Robert Burton's The Anatomy of Melancholy is one of the last great works of English prose to have remained unedited. The present volume inaugurates an authoritative edition of the work, which is being prepared by scholars on both sides of the Atlantic. It will be followed by two further volumes of text with textual apparatus, and two volumes of commentary. Burton concentrated a lifetime of inquiry into the Anatomy, describing and analysing melancholy and its causes - devoting especial attention to (...) love and religion - and recording possible cures. Primarily a scholarly study of morbid psychology, it is also a compendium of curious facts and anecdotes, and combines seriousness of purpose with a marked satirical vein. First published in 1621, it was a great success: four more editions were published in Burton's lifetime, in each of which new material was added, and a sixth, containing his final revisions, was published in in 1651, eleven years after his death. The textual complexity and Burton's extraordinary range of reference have hitherto deterred editors: this is the first scholarly edition to appear. The text is based on a complete collation of all six authoritative editions. (shrink)

Children bring intuitive arithmetic knowledge to the classroom before formal instruction in mathematics begins. For example, children can use their number sense to add, subtract, compare ratios, and even perform scaling operations that increase or decrease a set of dots by a factor of 2 or 4. However, it is currently unknown whether children can engage in a true division operation before formal mathematical instruction. Here we examined the ability of 6- to 9-year-old children and college students to perform symbolic (...) and non-symbolic approximate division. Subjects were presented with non-symbolic or symbolic dividends ranging from 32 to 185, and non-symbolic divisors ranging from 2 to 8. Subjects compared their imagined quotient to a visible target quantity. Both children and adults were successful at the approximate division tasks in both dots and numeral formats. This was true even among the subset of children that could not recognize the division symbol or solve simple division equations, suggesting intuitive division ability precedes formal division instruction. For both children and adults, the ability to divide non-symbolically mediated the relation between Approximate Number System acuity and symbolic math performance, suggesting that the ability to calculate non-symbolically may be a mechanism of the relation between ANS acuity and symbolic math. Our findings highlight the intuitive arithmetic abilities children possess before formal math instruction. (shrink)

This handbook provides detailed philosophical analysis of the life and thought of Socrates across fifteen in-depth chapters. Each chapter engages with a central aspect of the rich tradition of Socratic studies and, after surveying the state of scholarship, points the way forward to new directions of interpretation. A leading team of scholars present dynamic readings of Socrates, extracted from the historical context of Plato's dialogues, covering elenchus, irony, ignorance, definitions, pedagogy, friendship, politics and the daemon. Building on these core Socratic (...) topics, this edition includes new accounts of Socrates in the work of philosopher and historian, Xenophon, the comic playwright, Aristophanes, as well as important scholarship on topics such as emotions, the afterlife, motivational intellectualism and virtue intellectualism. Fully revised and updated, the Bloomsbury Handbook of Socrates elucidates the complex landscape of Socratic thought and interpretation. (shrink)

1 Evidence-based policy requires researchers to provide the answers to ecological questions that are of interest to policy makers. To find out what those questions are in the UK, representatives from 28 organizations involved in policy, together with scientists from 10 academic institutions, were asked to generate a list of questions from their organizations. 2 During a 2-day workshop the initial list of 1003 questions generated from consulting at least 654 policy makers and academics was used as a basis for (...) generating a short list of 100 questions of significant policy relevance. Short-listing was decided on the basis of the preferences of the representatives from the policy-led organizations. 3 The areas covered included most major issues of environmental concern in the UK, including agriculture, marine fisheries, climate change, ecosystem function and land management. 4 The most striking outcome was the preference for general questions rather than narrow ones. The reason is that policy is driven by broad issues rather than specific ones. In contrast, scientists are frequently best equipped to answer specific questions. This means that it may be necessary to extract the underpinning specific question before researchers can proceed. 5 Synthesis and applications. Greater communication between policy makers and scientists is required in order to ensure that applied ecologists are dealing with issues in a way that can feed into policy. It is particularly important that applied ecologists emphasize the generic value of their work wherever possible. (shrink)

© Ginn et al. 2016.The indexing methods currently used for serial femtosecond crystallography were originally developed for experiments in which crystals are rotated in the X-ray beam, providing significant three-dimensional information. On the other hand, shots from both X-ray free-electron lasers and serial synchrotron crystallography experiments are still images, in which the few three-dimensional data available arise only from the curvature of the Ewald sphere. Traditional synchrotron crystallography methods are thus less well suited to still image data processing. Here, a (...) new indexing method is presented with the aim of maximizing information use from a still image given the known unit-cell dimensions and space group. Efficacy for cubic, hexagonal and orthorhombic space groups is shown, and for those showing some evidence of diffraction the indexing rate ranged from 90% to 151%. Here, the indexing rate refers to the number of lattices indexed per image. (shrink)

Distributional models of semantics learn word meanings from contextual co‐occurrence patterns across a large sample of natural language. Early models, such as LSA and HAL (Landauer & Dumais, 1997; Lund & Burgess, 1996), counted co‐occurrence events; later models, such as BEAGLE (Jones & Mewhort, 2007), replaced counting co‐occurrences with vector accumulation. All of these models learned from positive information only: Words that occur together within a context become related to each other. A recent class of distributional models, referred to (...) as neural embedding models, are based on a prediction process embedded in the functioning of a neural network: Such models predict words that should surround a target word in a given context (e.g., word2vec; Mikolov, Sutskever, Chen, Corrado, & Dean, 2013). An error signal derived from the prediction is used to update each word's representation via backpropagation. However, another key difference in predictive models is their use of negative information in addition to positive information to develop a semantic representation. The models use negative examples to predict words that should not surround a word in a given context. As before, an error signal derived from the prediction prompts an update of the word's representation, a procedure referred to as negative sampling. Standard uses of word2vec recommend a greater or equal ratio of negative to positive sampling. The use of negative information in developing a representation of semantic information is often thought to be intimately associated with word2vec's prediction process. We assess the role of negative information in developing a semantic representation and show that its power does not reflect the use of a prediction mechanism. Finally, we show how negative information can be efficiently integrated into classic count‐based semantic models using parameter‐free analytical transformations. (shrink)

The ability of the mind to conceptualize what is not present is essential. It allows us to reason counterfactually about what might have happened had events unfolded differently or had another course of action been taken. It allows us to think about what might happen – to perform 'Gedankenexperimente' (thought experiments) – before we act. However, the cognitive and neural mechanisms mediating this ability are poorly understood. We suggest that the frontopolar cortex (FPC) keeps track of and evaluates alternative choices (...) (what we might have done), whereas the anterior lateral prefrontal cortex (alPFC) compares simulations of possible future scenarios (what we might do) and evaluates their reward values. Together, these brain regions support the construction of suppositional scenarios. (shrink)