The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

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)

This paper is taken from a long section of the _Tattva-cintā-maṇi_ by Gaṅgeśa that is devoted to proving the existence of—to use an inadequate word—“God” in a somewhat minimalist sense. The _īśvara_, the “Lord,” is for Gaṅgeśa, following Nyāya predecessors, a divine agent, a self, responsible for much, not all, of the order in the world. Unseen Force, _adṛṣṭa_, which is in effect _karman_ made by human action, is also a powerful agent as well as things’ intrinsic natures. Moreover, (...) ordinary selves, atoms, ether, and universals are uncreated. But the _īśvara_ brings about just desert in reincarnation in actualizing Unseen Force, and is responsible for a broad swathe of what some see as accidental arrangements as well as the forming of the macro elements from eternal, naturally _dis_joined atoms. Thus the cosmos in its general existence and structure is viewed in Nyāya as the work of the Lord. Gaṅgeśa’s argument runs: Earth and the like [_a_ (_pakṣa_) = earth and the like (_kṣity-ādi_)] have a conscious agent as a cause [S (_sādhya_) = having an agential cause (_sakartṛkatva_) (S_a_)], _since_ they are effects [H (_sādhana_) = being an effect [(_kāryatva_) (H_a_)], like a pot [_b_ (_dṛṣṭānta_) = a pot (H_b_,S_b_)]. And so the _vyāpti_ rule is: [H → S (_vyāpti_)] Whatever is an effect has an agential cause. For earth and the like, it is reasoned that only an omniscient _īśvara_ could be that cause. The argument was a target of Buddhists who pointed to counterexamples such as growing grass. Growing grass exhibits the prover property, being-an-effect, but not the property to be proved, having-an-agential-cause. The long section is dominated by Gaṅgeśa’s rebutting this and other potential defeaters, in particular, the _upādhi_, having-a-living-body (God does not have a living body but all the agential causes with which we are familiar do), along with a counterinference (_sat-pratipakṣa_), I_a_ & (x)(Ix → ¬Sx), where I = not-produced-by-an-agent-with-a-body. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reply to Vaidya, Guhe, and Williams on the Bloomsbury Translation of the Tattva-cintā-maṇi of GaṅgeśaStephen Phillips (bio)More or less happy with the reviews, I would like mainly, in response, to identify advances made in the study of Gaṅgeśa. Anand Vaidya articulates a clearer overview of Gaṅgeśa's theory of knowledge; Eberhard Guhe shows a better way to render the notion of vyāpti, "pervasion," which is central in the theory of (...) inference as a knowledge source; and Michael Williams, too, shows need for improvement on that score as well as for elaboration of matters taken up by classical commentators that are given short shrift in my running comments. For example, whereas long discussions are provoked by Gaṅgeśa's definition of "knowledge," pramā, major points in the purvapakṣa in the section on proving the existence of an īśvara, a "Lord," seem, as Williams says, "threadbare."Vaidya, following Burge (2003), introduces a distinction between entitlement and justification: entitlement is the kind of unreflective epistemic warrant delivered by Gaṅgeśa's pramāṇa, "knowledge sources," working automatically in our everyday lives, whereas justification requires self-conscious certification, prāmāṇya-jñapti. Thereby splitting the horns of a dilemma posed by internalist accounts of knowledge in opposition to externalist ones, Burge and Vaidya are able to incorporate the most [End Page 519] attractive features of each approach. The entitlement/justification distinction cashes out, I may add, to Vaidya's elucidation, Nyāya's deeply held doctrine of parataḥ-prāmāṇya, "certification by another," against the view of "intrinsic certification," svataḥ-prāmāṇya, of Prabhākara and others. As Williams notes, Prābhākara positions, for which Gaṅgeśa sometimes shows sympathy, may have led him to presume that an anubhava—"awareness" or "presentational experience" in my translation, "fresh news" in Matilal's snappy rendering—is an episode of knowledge, pramā, "unless one knows otherwise," bādhakam vinā.On reflection, one sees that such a presentation (it could be perceptual, inferential, analogical, or testimonial) has been produced by a pramāṇa, or, in abnormal cases, not, and so by a "pramāṇa-pretender," a pramāṇaābhāsa, as in seeing a mirage. Again, an anubhava is not just any old cognition or "thought" (pace Das 2021, p. 162); it is defined as nonrecollective. Unlike a deliverance of a genuine pramāṇa, some instances may, on examination, prove to be a-pramā, "non-knowledge," but are, nevertheless, at the animal level, sufficient to provoke and guide action that would not be unhesitating were there doubt in any way. A thirsty Maya, in Vaidya's example, would naturally move in the direction of the water she "sees." But she would hesitate were she to learn from her friend about the unreliability of water-perception in the current circumstances. At the reflective level, where she is unsure whether the anubhava she apperceives is pramā or apramā, her action, including speech (implying assertability), is altered.So far so good in Vaidya's reconstruction. But Gaṅgeśa does not himself pronounce on the question of whether, after learning about the defeater, Maya would still be entitled to her perceptual belief that there is water in the distance. In the volumes under review, I assumed that she would not be "justified" and indeed that she would no longer have the belief (if we may speak about "beliefs"). The defeater grasped at the reflective level would mean not only that she could not certify the perceptual deliverance but also that there would be no knowledge. Clearly, she can't certify it, and thus, as Vaidya reasons, loses the right to assert. But maybe he's correct that, according to Gaṅgeśa's sensibilities, she does not lose the perceptual knowledge. She would remain entitled to her belief.Personally, I think this is wrong, but Vaidya's understanding does have the merit of explaining why some later Naiyāyikas apparently took absurd positions on epistemic luck (Bhattacharya 1996, p. ix). I think that Maya would lose her entitlement, too, but what if, after being informed of the unreliability of water-perception... (shrink)

People may have open minds on whether a life-extending drug or technology is going to be developed before their sixties and may strongly desire that development. Do they therefore hope that it occurs? Do they hope for it in the substantive sense of “pinning their hopes” on the development? No, they do not. Hoping for a prospect in that sense certainly presupposes having an open mind on whether it will occur and having a desire for its occurrence. But, more crucially, (...) it means investing the prospect with a characteristic, galvanizing, and orientating role: it involves setting aside doubts about the possible nonoccurrence of the prospect and acting accordingly. This article offers a characterization of hope in that substantive sense and argues both that it can be rational and that it is ubiquitous. (shrink)

This paper seeks to show Kant’s importance for the formal distinction between descriptive natural history and a developmental history of nature that entered natural history discussions in the late eighteenth century. It is argued that he developed this distinction initially upon Buffon’s distinctions of ‘abstract’ and ‘physical’ truths, and applied these initially in his distinction of ‘varieties’ from ‘races’ in anthropology. In the 1770s, Kant appears to have given theoretical preference to the ‘history’ of nature [Naturgeschichte] over ‘description’ of nature (...) [Naturbeschreibung]. Following Kant’s confrontations with Johann Herder and Georg Forster in the late 1780s, Kant weakened the epistemic status of the ‘history of nature’ and gave theoretical preference to ‘description of nature’. As a result, Kant’s successors, such as Goethe, could draw from Kant either a justification for a developmental history of nature, or, as this paper argues, a warrant from the critical philosophy for denying the validity of the developmental history of nature as anything more than a ‘regulative’ idea of reason. (shrink)

Modal sentences of the form "every F might be G" and "some F must be G" have a threefold ambiguity. in addition to the familiar readings "de dicto" and "de re", there is a third reading on which they are examples of the "plural de re": they attribute a modal property to the F's plurally in a way that cannot in general be reduced to an attribution of modal properties to the individual F's. The plural "de re" readings of modal (...) sentences cannot be captured within standard quantified modal logic. I consider various strategies for extending standard quantified modal logic so as to provide analyses of the readings in question. I argue that the ambiguity in question is associated with the scope of the general term 'F'; and that plural quantifiers can be introduced for purposes of representing the scope of a general term. Moreover, plural quantifiers provide the only fully adequate solution that keeps within the framework of quantified modal logic. (shrink)

The mass movement of people across the globe constitutes a major feature of world politics today. -/- Whatever the cause of the movement - often war, famine, economic hardship, political repression or climate change - the governments of western capitalist states see this 'torrent of people in flight' as a serious threat to their stability and the scale of this migration indicates a need for a radical re-thinking of both political theory and practice, for the sake of political, social and (...) economic justice. -/- This book argues that there is at present a serious gap between the legal and social practices of immigration and naturalisation in liberal democratic states and any theoretical justification for such practices that can be made within the tradition of liberal political philosophy. How can liberal states develop institutions of democratic citizenship and at the same time justifiably exclude 'outsiders' from participating in those institutions? The book examines various responses to this contradiction within the liberal tradition, and finds none of them satisfactory - there are no consistently liberal justifications for immigration control and this has serious implications both for liberal practice and theory. (shrink)

Objectivists about obligation hold that obligations are determined by all of the normatively relevant facts. Perspectivalists, on the other hand, hold that only facts within one’s perspective can determine what we are obligated to do. This chapter argues for a perspectivalist view. It argues that what you are obligated to do is determined by the normative reasons you possess. This view is anchored in the thought that our obligations have to be action-guiding in a certain sense—we have to be able (...) to act for the reasons that obligate us. The chapter argues that we have this ability—the ability to act for the right reasons—only if we possess those reasons. Thus, objectivism is false. The second half of the chapter argues that problems having to do with new information do not plague the particular perspectival view presented. (shrink)

Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that composition is merely analogous (...) to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)

Arguments aimed at undermining certain accounts of the grounds of political obligations—no matter how successful they may be—fall far short of demonstrating that there are no such obligations. Doubts about the efficacy of these arguments in this latter regard seem even more justified when it is recognized that parallel lines of reasoning can be developed in the area of filial obligations , which arguments provide rather less than conclusive reasons for denying that there are filial obligations .Furthermore, we have good (...) reason to believe that there are political obligations if patriotism is a virtue, and also that patriotism is indeed a virtue. We therefore have a basis on which to affirm the existence of political obligations—a basis whose soundness is independent of the acceptability of particular accounts of the grounds of political obligation. Hence, even if standard accounts of the grounds of political obligations are problematic in certain respects, we should not regard this consideration as capable by itself of establishing that there are no such obligations. (shrink)

This paper is a critical study of Christians among the Virtues: Theological Conversations with Ancient and Modern Ethics by Stanley Hauerwas and Charles Pinches. It has four parts. First, I consider several possible responses to G. E. M. Anscombe’s famous challenge to modern moral philosophy in order to provide a framework in which the project of Hauerwas and Pinches can be located. Next I criticize their attempt to eliminate the realm of obligation from morality. Then I examine their treatment of (...) Martha Nussbaum’s work onAristotle in order to explore differences between secular and Christian appropriations of Aristotle. Finally, I discuss their views on the virtue of obedience and criticize their arguments against rival Kantian and divine command views. (shrink)

It’s an undeniable fact about our moral lives that we are partial towards certain people and projects. Despite this, it has traditionally been very hard to justify partiality. In this paper I defend a novel partialist theory. The context of the paper is the debate between three different views of how partiality is justified. According to the first view, partiality is justified by facts about our ground projects. According to the second view, partiality is justified by facts about our relationships (...) with the things that we are partial towards. And according to the third view, partiality is justified by facts about the things that we are partial towards. I argue that all three views contain part of the truth. We can see this by adopting a more sophisticated view of the weight of reasons. Once we do this, it will be clear that both facts about individuals and facts about relationships play a role in explaining why we often have stronger reason to act well towards those things we are partial towards. Further, I argue, facts about projects help explain why facts about relationships play the role that they do in determining the strength of our reasons. (shrink)

Business ethics is a topic receiving much attention in the literature. However, the term 'business ethics' is not adequately defined. Typical definitions refer to the rightness or wrongness of behavior, but not everyone agrees on what is morally right or wrong, good or bad, ethical or unethical. To complicate the problem, nearly all available definitions exist at highly abstract levels. This article focuses on contemporary definitions of business ethics by business writers and professionals and on possible areas of agreement among (...) the available definitions. Then a definition is synthesized that is broad enough to cover the field of management in a sense as full as most managers might conceive of it. (shrink)

In this chapter, I evaluate various conceptions of distance. Of the two most prominent, one takes distance relations to be intrinsic, the other extrinsic. I recommend pluralism: different conceptions can peacefully coexist as long as each holds sway over a distinct region of logical space. But when one asks which conception holds sway at the actual world, one conception stands out. It is the conception of distance embodied in differential geometry, what I call the Gaussian conception. On this conception, all (...) fundamental facts about distance are “local” facts.” But there is a problem: the Gaussian conception, notwithstanding its mathematical and physical credentials, appears metaphysically suspicious on Humean grounds. In the final section, I suggest that the Gaussian conception can be given a sound metaphysical footing in terms of non-standard analysis. (shrink)

In December 2007 it was revealed that the British government is considering the exclusion of certain groups of migrants—those considered to be present “illegally”—from primary health care provided by the National Health Service. At present, practitioners have discretion to accept any individual for NHS treatment regardless of their status. A joint Home Office and Department of Health review is examining this access for foreign nationals, and the likely outcome is the restriction of access to irregular migrants, which would, according to (...) the Institute of Public Policy Research, affect around 390,000 people. In 2004 such groups were excluded from NHS secondary care, most controversially from treatment for HIV, and so the present proposal would bar them from all but emergency health treatment. (shrink)

If realism about possible worlds is to succeed in eliminating primitive modality, it must provide an 'analysis' of possible world: nonmodal criteria for demarcating one world from another. This David Lewis has done. Lewis holds, roughly, that worlds are maximal unified regions of logical space. So far, so good. But what Lewis means by 'unification' is too narrow, I think, in two different ways. First, for Lewis, all worlds are (almost) 'globally' unified: at any world, (almost) every part is directly (...) linked to (almost) every other part. I hold instead that some worlds are 'locally' unified: at some worlds, parts are directly linked only to "neighboring" parts. Second, for Lewis, each world is (analogically) 'spatio-temporally' unified; every world is 'spatio-temporally' isolated from every other. I hold instead: a world may be unified by nonspatio-temporal relations; every world is 'absolutely' isolated from every other. If I am right, Lewis's conception of logical space is impoverished: perfectly respectable worlds are missing. (shrink)

Humeans have a problem with quantities. A core principle of any Humean account of modality is that fundamental entities can freely recombine. But determinate quantities, if fundamental, seem to violate this core principle: determinate quantities belonging to the same determinable necessarily exclude one another. Call this the problem of exclusion. Prominent Humeans have responded in various ways. Wittgenstein, when he resurfaced to philosophy, gave the problem of exclusion as a reason to abandon the logical atomism of the Tractatus with its (...) free recombination of elementary propositions. Armstrong promoted a mereological solution to the problem of exclusion; but his account fails in manifold ways to provide a general solution to the problem. Lewis studiously avoided committing to any one solution, trusting simply that, since Humeanism was true, there had to be some solution. Abandonment; failure; avoidance: we Humeans need to do better. -/- In this paper, I present what I take to be the best account of quantities, tailoring it where needed to meet Humean demands as well as my own prior commitment to quidditism, and my own comparativist inclinations. In short: determinables, not determinates, are the fundamental properties, and freely recombine; determinates arise from the instantiation of determinables in an enhanced world structure; determinate quantities may be local (in a sense to be explained), but they are not intrinsic. Is the account I end up with Humean? Not, unfortunately, as it stands: the problem of exclusion still rears its ugly head. After dismissing a failed attempt at a solution, I consider in the final section the two viable Humean options. One attributes the source of the necessary exclusions to conventional definition, the other attributes it to logic. The first is safe and familiar, but not a response I can accept given my other commitments. The second is more radical and less familiar; but I am convinced it is on the right track. I don’t have space to develop it much here, but I put it out for future research. (shrink)

This paper considers pick-the-winners contests as a simple method for harnessing the wisdom of crowds to produce probability forecasts. Pick-the-winners contests are those in which players pick the outcomes of selected future binary events with a prize going to the player with the most correct picks. In contrast to soliciting probability forecasts from experts, this paper shows that competition among players is to be encouraged because it improves the accuracy of the resulting crowd probability forecasts. This improvement comes because the (...) competition not only discourages the overbetting of favorites that occurs if prizes are awarded based on absolute performance, but also helps mitigate the public knowledge bias that occurs if everyone reports truthfully. In addition to the theoretical arguments, the paper analyzes picks from 6 years of pick-the-winners contests involving hundreds of players and 1037 college lacrosse games to find that the crowd proportions outperformed two benchmark sets of probabilities. (shrink)

The post-Gettier literature contained many views that tried to solve the Gettier problem by appealing to the notion of defeat. Unfortunately, all of these views are false. The failure of these views greatly contributed to a general distrust of reasons in epistemology. However, reasons are making a comeback in epistemology, both in general and in the context of the Gettier problem. There are two main aims of this paper. First, I will argue against a natural defeat based resolution of the (...) Gettier problem. Second, I will defend my own defeat based solution. This solution appeals to a modal anti-luck condition. I will argue that this condition captures anti-luck intuitions and has virtues that rival modal anti-luck conditions lack. (shrink)

Capricci are nonsense drawings that delineate an elusive but inevitable sense behind or, better, within the palpable nonsense of the elementary proposition of a drawing; they are capers on a tightrope stretched between the poles of pathos and the ridiculous. We shall succeed in not falling only if we step forward boldly and know not only what we are doing but also what we are up against in the making of a picture as well as in living in the world. (...) For the world, in its yawning impudence of death and the dance of blind eagerness, ambition, and noisy speechlessness, makes us look to art not, or not necessarily, to escape from the world but rather to learn how to take its measure.... There is a painting ["St. Vincent Ferrer Preaching"] joined to the Passion cycle in S. Polo which demonstrates as well as any paradox ever will how Giandomenico joined piety and irony in his religious art without curtailing the glory of either. He arrives, as it were, at a God-fearing irony. We see St. Vincent Ferrer preaching. He speaks so eloquently, so convincingly in praise of the divine truth, that light shines forth from him and angel's wings grow on his shoulders. Fascinated by the miracle but even more so by the saint's words, his audience sits spellbound at his feet; in the foreground, however, sits a youth, a fop perhaps, gorgeously dressed, with a singular smile on his face, his hand musingly poised to his cheek, who looks at us quizzically. He is the link between us and the miracle. "Can you believe it?" says the smile, and perhaps "I did not—and yes—how can you now not believe it, you need but look - as I did - for there it is!" It is, I think, the face of one who knows about the truth of the absurd and its inner logic. Credo quia absurdum: if it were not so, we could prove the existence of God by feeding data into a computer, and there would be many believers, whose faith, in turn, deserved but little credit. Needless to say, perhaps, the face that so speaks to us in laughter joined to wonder is a self-portrait.1 · 1. In S. Polo the painting of St. Vincent Ferrer Preaching hangs opposite a matching picture of The Finding of the True Cross. There is a beautiful young woman on the right who looks at us beseechingly and with her right hand points at the cross. Giovanni Domenico Tiepolo who looks out of St. Vincent Ferrer Preaching cannot help but see this lady and be affected by her earnest gesture. For a reproduction of the painting, see Maruz, G. D. Tiepolo, plate 22. Philipp P. Fehl is a professor in the department of art and design at the University of Illinois at Urbana-Champaign. He has edited Franciscus Junius: The Literature of Classical Art. His previous contribution to Critical Inquiry, "Turner's Classicism and the Problem of Periodization in the History of Art," appeared in the Autumn 1976 issue; the present essay was delivered in an earlier version at Stanford University in 1976 and is included in his collection of essays, Art and Mortality. His capricci, Birds with Titles, were exhibited in a one-man show at Kenyon College. (shrink)

Despite renewed interest in T.H. Green’s social and political theory, little attention has as yet been given to his metaphysics and epistemology — even more neglected, though, are his views on logical matters. It is unclear why this is. I suspect that the obscurity of his discussion has much to do with it. Green routinely refers to writers in whom there is little interest today; and a good deal of effort is required to penetrate his technical vocabulary. Still, I believe (...) we miss something important when we ignore his specifically logical writings. Green has much to say about classical syllogism and its influence on his contemporaries. And, while the discussion is always grounded in his own idealist theory of knowledge, Green’s analysis often reveals surprising aspects of the problem being considered. In what follows, then, I shall consider one such analysis: his account of the logical/epistemological doctrine of Sir William Hamilton and H.L. Mansel — individuals whose writings, in Green’s eyes, made apparent all that was wrong with the “formal logic” of the day. (shrink)

Remembered today primarily for his commentaries on Plato, R.L. Nettleship was a fellow and tutor of Balliol College, Oxford, from 1869 to 1892. And, while he was one of the past century’s better known interpreters of Plato, Nettleship’s influence extends well beyond the study of Greek philosophy. Although his life was cut short in its prime and saw the publication of no major works expressive of his own views, it is to Nettleship that we owe the existence of T.H. Green’s (...) collected Works and the book-length “Memoir” that introduces these volumes. And, despite its being ignored by later writers, Nettleship’s “Lectures on Logic” remains one of the most accessible accounts of the idealist theory of knowledge that came to dominate late nineteenth century British philosophy. (shrink)

In the recent literature on the nature of sound, there is an emerging consensus rejection of what might be thought of as the scientifically informed commonsense position: that sounds, whatever else they may be, must be entities that mediate between the source of the sound and the subject hearing it. This paper offers an argument for such "medial" theories of sound. This argument is intended to shift attention from the two considerations that have dominated the debate thus far: the relevant (...) scientific facts about audition and the spatial phenomenology of auditory experience. (shrink)

The article attempts to give a coherent expression to a recurrent theme in the history of political theory. The theme is that men and communities must be subjected to stress in various forms (e.g., Poverty, Insecurity, Conflict, Dissension) in order to maintain whatever faculties, qualities, capabilities and institutions they regard as (a) practically necessary in the long run, or (b) an essential part of their conception of a good life. The ideas dealt with have been drawn from philosophers, political scientists (...) and sociologists from Plato and Aristotle through Machiavelli, Mill, Nietzsche, Durkheim, Sorel, and Ortega y Gasset. (shrink)

The most commonly heard proposals for reducing possible worlds to language succumb to a simple cardinality argument: it can be shown that there are more possible worlds than there are linguistic entities provided by the proposal. In this paper, I show how the standard proposals can be generalized in a natural way so as to make better use of the resources available to them, and thereby circumvent the cardinality argument. Once it is seen just what the limitations are on these (...) more general proposals, it can be clearly seen where the real difficulty lies with any attempt to reduce possible worlds to language. Roughly, the difficulty is this: no actual language could have the descriptive resources needed to represent all the ways things might have been. I conclude by arguing that this same difficulty spells doom for any nominalist or conceptualist proposal for reducing possible worlds. (shrink)

Moderate composition as identity holds that there is a generalized identity relation, “being the same portion of reality,” of which composition and numerical identity are distinct species. Composition is a genuine kind of identity; but unlike numerical identity, it fails to satisfy Leibniz’s Law. A composite whole and its parts differ with respect to their numerical properties: the whole is one; the parts (collectively) are many. Moderate composition as identity faces the challenge: how, in the absence of Leibniz’s Law, can (...) one characterize what counts as a genuine kind of identity? This paper explores a promising answer: a genuine kind of identity must satisfy a version of Leibniz’s Law restricted to properties that ascribe qualitative character. Strong composition as identity holds that there is only one identity relation, that it satisfies Leibniz’s Law, and that the parts are identical with the whole that they compose. Strong composition as identity faces the challenge of showing that numerical properties do not provide counterexamples to Leibniz’s Law, and doing so in a way that is compatible with the framework of plural logic that is needed to formulate the theory. The most promising way to do this is to hold that plural logic is fundamental at the level of our representations, but not fundamental at the level of being. At the level of being, portions of reality cannot be characterized as either singular or plural. It turns out that the proposed moderate theory and the proposed strong theory are one and the same. In spite of its many attractions, I reject it. The main issue has to do with whether slice-sensitive emergent properties are possible. I argue that they are, making use both of specific examples and general principles of modal plenitude. I do not claim that my arguments are irresistible. But they cannot be evaded as easily as a related argument against strong composition as identity given by Kris McDaniel. I critically examine McDaniel’s argument to pave the way for my own. (shrink)

In this paper I argue that holes are not objects, but should instead be construed as properties or relations. The argument proceeds by first establishing a claim about angles: that angles are not objects, but properties or relations. It is then argued that holes and angles belong to the same category, on the grounds that they share distinctive existence and identity conditions. This provides an argument in favour of categorizing holes as one categorizes angles. I then argue that a commitment (...) to the existence of properties to be identified with holes provides sufficient resources to account for true claims about holes. (shrink)