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 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)

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.

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)

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.

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)

Humans have a much longer juvenile period (weaning to first reproduction, 14 or more years) than their closest relatives (chimpanzees, 8 years). Three explanations are prominent in the literature. (a) Humans need the extra time to learn their complex subsistence techniques. (b) Among mammals, since length of the juvenile period bears a constant relationship to adult lifespan, the human juvenile period is just as expected. We therefore only need to explain the elongated adult lifespan, which can be explained by the (...) opportunity for older individuals to increase their fitness by providing for grandchildren. (c) The recent model by Kaplan and colleagues suggests that longevity and investment in "embodied capital" will coevolve, and that the need to learn subsistence technology contributed to selection for our extended lifespan.We report experiments designed to test the first explanation: human subsistence technology takes many years to learn, and spending more time learning it gives reproductive benefits that outweight lost time. Taking away some of this time should lead to deficits in efficiency. We paid Hadza foragers to participate in tests of important subsistence skills. We compared efficiency of males and females at digging tubers. They differ greatly in time spent practicing digging but show no difference in efficiency. Children who lost "bush experience" by spending years in boarding school performed no worse at digging tubers or target archery than those who had spent their entire lives in the bush. Climbing baobab trees, an important and dangerous skill, showed no change with age among those who attempted it. We could show no effects of practice time.These findings do not support what we label "the practice theory," but we discuss ways in which the theory could be defended; for example, some as-yet-untested skill may be greatly impaired by loss of a few years of the juvenile period. Our data also show that it is not safe to assume that increases in skill with age are entirely due to learning or practice; they may instead be due to increases in size and strength. (shrink)

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 happens when a peer-assisted learning scheme becomes “business as usual” rather than innovation? The proctoring scheme in undergraduate philosophy programmes at the University of Leeds has been running for over 25 years, making it one of the oldest continuously running higher education peer-assisted learning schemes in the country. Over time, the centrality of the scheme in the teaching environment has changed, particularly in the shared understanding of philosophy learning and teaching and in the practical constraints of curriculum and timetable (...) space. Using the insights of teachers, students, and graduates, this report identifies the extent of success for proctoring in fostering philosophical learning and developing academic community, the two major objectives for the scheme. We also identify the conditions for success of peer-assisted learnings schemes, which our results suggest. An unexpected outcome of this project is found in identifying a challenge around “value” resulting from the fee-paying environment in higher education where peer-assisted learning may be understood as “teaching on the cheap.” These findings raise important questions for all higher education peer-assisted learning schemes about how schemes are embedded, sustained, and remain central to the learning environment in a rapidly changing education environment. (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)

Here we prove the existence of sheaf cohomology theory in arbitrary o-minimal structures.

Many frameworks exist that explain how people interact with avatars. Our core argument is that the primary theoretical mechanisms of a user-avatar bond rest with the way people engage avatars and, thereby, the broader digital environment. To understand and predict such engagement, we identify a person’s skill in handling/engaging the avatar in the digital environment as an ordering parameter. Accordingly, we define skill as a person’s ability to enact their agency successfully to achieve desired states. To explain how skill orders (...) experience, we ground our theorizing in ecological perception and systems theory. In our explication, we describe how stable action coupling enables a state of embeddedness in the digital environment. Then, we explain how embeddedness promotes motivational attunement and what the digital environment affords to users at different levels of skill. Throughout, we consider how our theoretical scaffolding generates tractable contentions regarding how skill influences UABs. (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)

University of London Jacobsen Prize Essay 2008.

Every aspect of life (citizenship, business, literature, drama, art, sports, religion, and private life) in the ancient world was affected by political motives.

Pornographic Sensibilities stages a conversation between two fields-Medieval/Early Modern Hispanic Studies and Porn Studies-that traditionally have had little to say to each other. The collection offers innovative new approaches to the study of gendered and sexualized bodies in medieval and early modern textual production, including literary and historical documents. The volume's embrace of the interpretative tools of Porn Studies also inscribes a critical provocation: in what ways can contemporary modes of reading the past serve to freshly illuminate not only the (...) contours of that same past but also the very critical assumptions of the present upon which fields like medieval and early modern Hispanic Studies are built? In this way, Pornographic Sensibilities encourages at once both rigorous historicizations of pre- and early-modern culture, and playful engagement with "presentism," considered here as a critical tool to undress the hidden assumptions of both past and present. This move substantively challenges long-held critical orthodoxies among scholars of pre-Enlightenment periods, for whom the very category of "pornography" itself has often problematically been framed as an anachronism when applied to their work. (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)

We show that in an o-minimal expansion of an ordered group finite definable extensions of a definable group which is defined in a reduct are already defined in the reduct. A similar result is proved for finite topological extensions of definable groups defined in o-minimal expansions of the ordered set of real numbers.

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".

Recent arguments claim that behavioral science has focused – to its detriment – on the individual over the system when construing behavioral interventions. In this commentary, we argue that tackling economic inequality using both framings in tandem is invaluable. By studying individuals who have overcome inequality, “positive deviants,” and the system limitations they navigate, we offer potentially greater policy solutions.