We submit this brief in support of the Nonhuman Rights Project’s efforts to secure habeas corpus relief for the elephant named Happy. The Supreme Court, Bronx County, declined to grant habeas corpus relief and order Happy’s transfer to an elephant sanctuary, relying, in part, on previous decisions that denied habeas relief for the NhRP’s chimpanzee clients, Kiko and Tommy. Those decisions use incompatible conceptions of ‘person’ which, when properly understood, are either philosophically inadequate or, in fact, compatible with Happy’s personhood.

Does the content of a physically dangerous job affect the moral permissibility of hiring for that job? To what extent may employers consider costs in choosing workplace safety measures? Drawing on Kantian ethical theory, this article defends two strong ethical standards of workplace safety. First, the content of a hazardous job does indeed affect the moral permissibility of offering it. Unless employees need hazard pay to meet basic needs, it is permissible to offer a dangerous job only if prospective employees (...) have a reason other than hazard pay to choose this job instead of safer alternatives. Second, employers typically cannot justify omitting expensive safety measures by paying employees more, even if employees prefer higher pay to greater safety. Employers offering dangerous jobs must meet these two standards to avoid treating their employees merely as means. (shrink)

A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

Recently, dramatic price increases by several pharmaceutical companies have provoked public outrage. These scandals raise questions both about how pharmaceutical firms should be regulated and about how pharmaceutical executives ethically ought to make pricing decisions when drug prices are largely unregulated. Though there is an extensive literature on the regulatory question, the ethical question has been largely unexplored. This article defends a Kantian approach to the ethics of pharmaceutical pricing in an unregulated market. To the extent possible, pharmaceutical companies must (...) price drugs so that those who genuinely need them can get them without financial ruin. This requirement is an ethical side constraint, like the moral prohibitions on deception and theft, that takes precedence over a business’s interest in maximizing profit. That said, the requirement’s application is sensitive to the need to recoup the costs of research and to produce a return that financially justifies the original investment. It may not be either feasible or desirable for government to attempt to enforce the ethical requirements concerning just pharmaceutical pricing. Either price regulation or subsidy could fulfill government’s obligation to protect patients from being objectionably vulnerable to pricing decisions by private companies. (shrink)

Government’s use of imprisonment raises distinctive moral issues. Even if government has broad authority to make and to enforce law, government may not be entitled to use imprisonment as a punishment for all the criminal laws it is entitled to make. Indeed, there may be some serious crimes that it is wrong to punish with imprisonment, even if the conditions of imprisonment are humane and even if no adequate alternative punishments are available.

Many assume that whenever government is entitled to make a law, it is entitled to enforce that law coercively. I argue that the justification of legal authority and the justification of governmental coercion come apart. Both in ideal theory and in actual human societies, governments are sometimes entitled to make laws that they are not entitled to enforce coercively.

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

Recently, the Intelligent Design (ID) movement has challenged the claim of many in the scientific establishment that nature gives no empirical signs of having been deliberately designed. In particular, ID arguments in biology dispute the notion that neo-Darwinian evolution is the only viable scientific explanation of the origin of biological novelty, arguing that there are telltale signs of the activity of intelligence which can be recognized and studied empirically. In recent years, a number of Catholic philosophers, theologians, and scientists have (...) expressed opposition to ID. Some of these critics claim that there is a conflict between the philosophy of St. Thomas Aquinas and that of the ID movement, and even an affinity between Aquinas’s ideas and theistic Darwinism. We consider six such criticisms and find each wanting. (shrink)

D O N A L D D AV I D S O N’S “ Meaning and Truth,” re vo l u t i o n i zed our conception of how truth and meaning are related (Davidson    ). In that famous art i c l e , Davidson put forw a rd the bold conjecture that meanings are satisfaction conditions, and that a Tarskian theory of truth for a language is a theory of meaning for that language. (...) In “Meaning and Truth,” Davidson proposed only that a Tarskian truth theory is a theory of meaning. But in “Theories of Me a n i n g and Learnable Languages,” he argued that the finite base of a Tarskian theory, together with the now familiar combinatorics, would explain how a language with unbounded expre s s i ve capacity could be learned with finite means ( Davidson    ). This certainly seems to imply that learning a language is, in p a rt at least, learning a Tarskian truth theory for it, or, at least, learning what is specified by such a theory. Davisdon was cagey about committing to the view that meanings actually a re satisfaction conditions, but subsequent followers had no such scru p l e s . We can sum this up in a trio of claims: Davidson’s Conjecture () A theory of meaning for L is a truth-conditional semantics for L. () To know the meaning of an expression in L is to know a satisfaction condition for that expression. () Meanings are satisfaction conditions. For the most part, it will not matter in what follows which of these claims is at stake. I will simply take the three to be different ways of formulating what I will call Davidson’s Conjecture (or sometimes just The Conjecture). Davidson’s Conjecture was a very bold conjecture. I think we are now in a.. (shrink)

This paper defends a new argument for enabling citizen participation in government: individuals must have genuine opportunities to try to change the law in order to be able to satisfy duties of conscience. Without such opportunities, citizens who regard systems of related laws as partially unjust face a moral dilemma. If they comply with these laws willingly without also trying to change them, they commit a pro tanto wrong by willingly participating in injustice . If they disobey, or if they (...) obey only to avoid sanction, they respond inadequately to the morally important purposes that the laws advance despite their injustice. Government should help citizens avoid this dilemma. This argument bolsters the non-instrumentalist view that responsiveness in the political process is desirable even if it does not promote just legislative outcomes. It also helps to explain what governments owe to citizens with minority political views. (shrink)

One of the central controversies in normative business ethics is the question whether transactions and economic relationships can be wrongfully exploitative despite being mutually beneficial and consensual. This article argues that anyone who accepts a shareholder theory of business ethics should accept deontological constraints on mutually beneficial, consensual exploitation.

Considerations of autonomy and independence, properly understood, support strictly egalitarian provision of necessary medical treatment. If the financially better-off can purchase access to necessary medical treatments that the financially less well-off cannot purchase without help, then their discretionary power to give or to withhold monetary gifts indirectly gives them the power to make life-and-death or sickness-and-health decisions for others. To prevent private citizens from having this objectionable form of power, government must ensure that citizens’ finances do not affect their access (...) to medical treatments that significantly prolong life, relieve suffering, or cure or mitigate disabilities. Government should ensure this even if doing so involves leveling down and even if it is unclear whether egalitarian provision of necessary treatment would provide better care to the poor than a less egalitarian health care system would. (shrink)

In "The Compatibility of Naturalism and Scientific Realism" (Dec. 2003) , Brian Holtz offers two objections to my argument in "The Incompatibility of Naturalism and Scientific Realism" (in Naturalism: A Critical Appraisal , edited by William Lane Craig and J. P. Moreland, Routledge, 2000). His responses are: (1) my argument can be deflected by adopting a pragmatic or empiricist "definition" of "truth", and (2) the extra-spatiotemporal cause of the simplicity of the laws need not be God, or any other personal (...) being. (shrink)

Classically, gratitude is a tri-polar construal, logically ordering a benefactor, a benefice, and a beneficiary in a favour-giving-receiving situation. Grammatically, the poles are distinguished and bound together by the prepositions ”to’ and ”for’; so I call this classic concept ”to-for’ gratitude. Classic religious gratitude follows this schema, with God as the benefactor. Such gratitude, when felt, is a religious experience, and a reliable readiness or ”habit’ of such construal is a religious virtue. However, atheists have sometimes felt an urge or (...) need for an analogous experience and virtue of gratitude, and theists sometimes feel intellectual discomfort with classical theistic gratitude on consideration of the misfortunes that characterize our life along with its blessings. In response, another conception of religious gratitude has been attempted, a construal that lacks the to-for structure. This paper probes the significance of the benefactor for gratitude, both secular and religious, and, with Søren Kierkegaard’s help, some features of the theology of classical religious gratitude that dissolve the problem of misfortunes. (shrink)

Many scholars believe that it is procedurally undemocratic for the judiciary to have an active role in shaping the law. These scholars believe either that such practices as judicial review and creative statutory interpretation are unjustified, or that they are justified only because they improve the law substantively. This Article argues instead that the judiciary can play an important procedurally democratic role in the development of the law. Majority rule by legislatures is not the only defining feature of democracy; rather, (...) a government is democratic to the extent to which it provides egalitarian forms of political participation. One such form of participation can be the opportunity to influence the law through the courts, either directly by participating in a case or indirectly by advocating litigation. Arguing from several examples, this Article shows that judicial decision-making allows different voices to be heard that may not necessarily have influence or power in majoritarian legislative structures or popular initiatives. Giving citizens the opportunity to change, to preserve, and to obtain authoritative clarification of the law through the courts can thus make a government procedurally more democratic. (shrink)

Many ethicists maintain that medical research on human subjects that presents no prospect of direct medical benefit must have a prospect of social benefit to be ethical. Payment is not the sort of benefit that justifies exposing subjects to risk. Alan Wertheimer has raised a serious challenge to this view, pointing out that in industry, social value is not considered necessary to make dangerous jobs ethical. This article argues that Wertheimer was correct to think that the ethics of hazard pay (...) should be the same in medical research and in business. Nevertheless, a qualified social benefit requirement should apply in both fields. For a study or a job with significant net physical risk to be ethical, it must have social value beyond the satisfaction of ordinary preferences, including the preference for money. The requirement derives from a non-absolutist version of the doctrine of double effect. If a risky study or a dangerous job has no distinctive social value, and hazard pay is subjects' or workers’ only reason to undergo risks, the very fact that they undergo risk is intended as a means to a financial end. Inviting people to enrol in such a study or to take such a job wrongfully treats people as mere means. By contrast, if a study or a job has social value, people can participate with a primary end other than money, even if they accept compensation. Researchers or employers do not intend but merely foresee risks to subjects or workers. (shrink)

Many accounts of the moral duty to obey the law either restrict the duty to ideal democracies or leave the duty’s application to non-ideal societies unclear. This article presents and defends a partial account of the moral duty to obey the law in non-ideal societies, focusing on the duty to obey judicial orders. We need public judicial authority to prevent objectionable power relationships that can result from disputes about private agreements. The moral need to prevent power imbalances in private relationships (...) grounds a qualified moral duty to obey judicial decisions. The parties to a dispute are morally required to comply with a judicial order in their dispute if all of the following conditions obtain: the parties’ dispute was in good faith, the court’s resolution of the dispute is more impartial than either party’s own judgment, the order does not call for violation of important natural duties or important artificial duties that the duty-bearer incurred involuntarily, and the primary aim of disobeying the court order would be to advance an ordinary, non-political project, not to call public attention to an injustice. The moral duty to obey judicial decisions can survive significant departures from ideal fairness. (shrink)

AbstractSome sharing economy firms have adopted a strategy of “regulatory entrepreneurship,” openly violating regulations with the aim of rendering them dead letters. This article argues that in a democracy, regulatory entrepreneurship is a presumptively unethical business strategy. In all but the most corrupt political environments, businesses that seek to change their regulatory environment should do so through the democratic political process, and they should do so without using illegal business practices to build a political constituency. To show this, the article (...) defends a qualified moral obligation for businesspeople to obey the law even in societies that fall short of ideal democracy and that are rife with economic injustice. Owners and managers of successful businesses have strong moral reasons to obey laws concerning resource allocation. Such laws include not only property law, but also tax laws, environmental regulations, and other laws that regulate businesses in competitive markets. The moral reasons to obey such laws apply even to laws that business leaders think unfair or inefficient, provided that the laws in question have reasonable, good faith defenders. (shrink)

The thesis that subsumption is sufficient for explanation is dying out, but the thesis that it is necessary is alive and well. It is difficult to attack this thesis: non-subsumptive counter-examples are declared incomplete, or mere promissory notes. No theory, it is thought, can be explanatory unless it resorts to subsumption at some point. In this paper I attack this thesis by describing a theory that (1) would explain every event it could describe, (2) does not explain by subsumption, and (...) (3) is fundamental in that it is understood to be irreducible (hence there are no unstated laws waiting in the wings). (shrink)

The turn of the nineteenth century marked a rich and exciting explosion of philosophical energy and talent. The enormity of the revolution set off in philosophy by Immanuel Kant was comparable, in Kant's own estimation, with the Copernican Revolution that ended the Middle Ages. The movement he set in motion, the fast-moving and often cantankerous dialectic of "German Idealism," inspired some of the most creative philosophers in modern times: including G. W. F. Hegel and Arthur Schopenhauer as well as those (...) who reacted against Kant--Marx and Kierkegaard, for example. This volume traces the emergence of German Idealism from Kant and his predecessors through the first half of the nineteenth century, ending with the irrationalism of Kierkegaard. It provides a broad, scholarly introduction to this period for students of philosophy and related disciplines, as well as some original interpretations of these authors. Also included is a glossary of technical terms as well as a chronological table of philosophical, scientific and other important cultural events. (shrink)

Majority cycling and related social choice paradoxes are often thought to threaten the meaningfulness of democracy. But deliberation can prevent majority cycles – not by inducing unanimity, which is unrealistic, but by bringing preferences closer to single-peakedness. We present the first empirical test of this hypothesis, using data from Deliberative Polls. Comparing preferences before and after deliberation, we find increases in proximity to single-peakedness. The increases are greater for lower versus higher salience issues and for individuals who seem to have (...) deliberated more versus less effectively. They are not merely a byproduct of increased substantive agreement. Our results both refine and support the idea that deliberation, by increasing proximity to single-peakedness, provides an escape from the problem of majority cycling. (shrink)

The term “environmental justice” carries with it a sort of ambiguity. On the one hand, it refers to a movement of social activism in which those involved fight and argue for fairer, more equitable distribution of environmental goods and equal treatment of environmental duties. This movement is related to, and ideally informed by, the second use of the term, which refers to the academic discipline associated with legal regulations and theories of justice and ethics with regard to sustainability, the environment, (...) and ecology. It is this latter, more academic—though vast and interdisciplinary—use of the term that is the subject of this essay. However, activists who pay careful attention to the arguments offered with regard to the political, legal, social, and philosophical treatments of these issues are potentially in a stronger position with regard to their own social movement. In that way, the two uses of the term may progress hand in hand. More broadly, however, the foundational claim about which both grassroots activists and legal, ethical, and policy advocates can agree is that environmental burdens—climate change, pollution, and their associated health risks—are borne disproportionately by the poorest and most vulnerable populations, and tend to have the greatest impact on racial and ethnic minorities, no matter where they are in the world. This is what makes the empirical questions about the environment a normative question about justice. (shrink)

Abstract: In Chapter 4 of his "Self-Deception Unmasked" (SDU), Al Mele considers several (attempted) empirical demonstrations of self-deception. These empirical demonstrations work under the conception of what Mele refers to as the 'dual-belief requirement', in which an agent simultaneously holds a belief p and a belief ~p. Toward the end of this chapter, Mele considers the argument of one biologist and anthropologist, Robert Trivers, who describes what he takes to be an evolutionary explanation for coming to form false beliefs. (...) Mele argues briefly that Trivers's account is no more explanatory than a similar one that does not include the dual-belief requirement. I present a case describing Trivers' analysis, show how Mele might reply to it. After briefly explaining Mele's sufficient conditions for entering self-deception from Chapter 3 of SDU, I'll consider what it means to hold the dual-belief. I'll then consider what I take to be a class of cases of self-deception which rely on genetic determinism, which I take to satisfy the dual-belief condition. (shrink)

Tort law depends on three key concepts: causation, responsibility, and fault. However, I argue that the three key concepts are neither necessary, nor sufficient, for tort.

A review of "Intellectual virtues: an essay in regulative epistemology" by Robert Roberts and Jay Wood.

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...) appearance of critical reviews by members of the Boolean school. (shrink)

The paper is written in response to those who fail to recognize the relation between a patient's mental competency and her state of pain. Some clinicians claim that a proper diagnosis can only be made in the absent of analgesia. Rather, the patient's state of pain directly affects her mental competency and thus her ability to give valid consent. Clinicians should rethink their approach to diagnosis when the patient is in pain.

Wenn Präsident Kennedy nicht erschossen worden wäre, hätte er dann Nordvietnam bombardiert? Das weiß Gott allein. Oder doch nicht? Weiß wenigstens Er, was Kennedy getan hätte? ... Die Jesuiten behaupteten unter anderem, daß viele menschliche Handlungen in dem Sinne frei seien, daß die Ausführenden nicht logisch oder kausal gezwungen seien, sie auszuführen. („Frei“ wird im vorliegenden Aufsatz stets in diesem Sinne verwendet werden.) Wie behält Gott dann die Kontrolle über die menschliche Geschichte? Nicht dadurch, daß Er menschliche Handlungen kausal determiniert, (...) wie die Dominikaner geglaubt zu haben scheinen , sondern indem Er Umstände herbeiführt, von denen Er weiß, daß wir in ihnen freiwillig Seinen Plänen entsprechend handeln werden. (shrink)

It is not a particularly hard thing to want or seek explanations. In fact, explanations seem to be a large and natural part of our cognitive lives. Children ask why and how questions very early in development and seem genuinely to want some sort of answer, despite our often being poorly equipped to provide them at the appropriate level of sophistication and detail. We seek and receive explanations in every sphere of our adult lives, whether it be to understand why (...) a friendship has foundered, why a car will not start, or why ice expands when it freezes. Moreover, correctly or incorrectly, most of the time we think we know when we have or have not received a good explanation. There is a sense both that a given, successful explanation satisfies a cognitive need, and that a questionable or dubious explanation does not. There are also compelling intuitions about what make good explanations in terms of their form, that is, a sense of when they are structured correctly. (shrink)

C.D. Broad’s Reflections stands out as one of the few serious examinations of Moral Sense Theory in twentieth century analytic philosophy. It also constitutes an excellent discussion of the interconnections that allegedly exist between questions concerning what Broad calls the ‘logical analysis’ of moral judgments and questions about their epistemology. In this paper I make three points concerning the interconnectedness of the analytical and epistemological elements of versions of Moral Sense Theory. First, I make a general point about Broad’s association (...) between the Naïve Realist Moral Sense Theory (an epistemological view) and Objectivist Moral Sense Theory (a ‘logical analysis’). Second, I raise doubts about one of Broad’s arguments that Trans-Subjectivist Moral Sense Theory (logical analysis) can account for the apparent synthetic necessity of general moral propositions (epistemological). Third, I briefly discuss a view about logical analysis that should be of interest to contemporary Moral Sense Theorists – Neo-Sentimentalism – and respond to an argument whose conclusion is that this analysis is incompatible with a particular kind of epistemological view. (shrink)

A critical review of Robert C. Roberts' "Emotions: An Essay in Aid of Moral Psychology", Cambridge, Cambridge University Press, 2003.

We propose to understand the global financial crisis of 2008 as an historical event marked by public decisions, economic evaluations and ratings, and business practices driven by a sense of subjugation to powerful others, uncritical conformity to serendipitous rules, and a levelling down of all meaningful differences. The crisis has also revealed two important things: that the free-market economy has inherent problems highlighting the limits of business, and, consequently, that the business organisation is not as strong as is usually assumed. (...) We reconstruct some of the most dramatic events of that time by using the narratives of two former Lehman Brothers insiders. We then provide an interpretation of that world by using Heidegger’s notions of being and care. Our investigation uncovers persistent inauthentic relationships nourished by the public structure of the financial market, which, drawing on Heidegger, we call the they. In the financial market the what of the world becomes more important than authentic being and self. But a hitch-free switch to authenticity becomes possible through anxiety and the call of conscience. (shrink)

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

All of inquiry is a mental process from the known to the unknown within the realm of possibility. This process uses the three faculties of perception, conception, and abstraction, all fueled by information. These faculties have corollaries in Science and Philosophy of Religion. It is the thesis of this book that if these faculties are intelligible and reliability in Science, there is no reason to reject them when used in other fields of inquiry.

In December 2013, the Nonhuman Rights Project (NhRP) filed a petition for a common law writ of habeas corpus in the New York State Supreme Court on behalf of Tommy, a chimpanzee living alone in a cage in a shed in rural New York (Barlow, 2017). Under animal welfare laws, Tommy’s owners, the Laverys, were doing nothing illegal by keeping him in those conditions. Nonetheless, the NhRP argued that given the cognitive, social, and emotional capacities of chimpanzees, Tommy’s confinement constituted (...) a profound wrong that demanded remedy by the courts. Soon thereafter, the NhRP filed habeas corpus petitions on behalf of Kiko, another chimpanzee housed alone in Niagara Falls, and Hercules and Leo, two chimpanzees held in research facilities at Stony Brook University. Thus began the legal struggle to move these chimpanzees from captivity to a sanctuary, an effort that has led the NhRP to argue in multiple courts before multiple judges. The central point of contention has been whether Tommy, Kiko, Hercules, and Leo have legal rights. To date, no judge has been willing to issue a writ of habeas corpus on their behalf. Such a ruling would mean that these chimpanzees have rights that confinement might violate. Instead, the judges have argued that chimpanzees cannot be bearers of legal rights because they are not, and cannot be persons. In this book we argue that chimpanzees are persons because they are autonomous. (shrink)

While we agree in broad strokes with the characterisation of rationalization as a “useful fiction,” we think that Fiery Cushman's claim remains ambiguous in two crucial respects: the reality of beliefs and desires, that is, the fictional status of folk-psychological entities and the degree to which they should be understood as useful. Our aim is to clarify both points and explicate the rationale of rationalization.

This letter was submitted to the Senate Standing Committee on Legal and Constitutional Affairs, Government of Canada, on 29th January, 2021, as final debate over Bill C-7 was being undertaken in the Senate regarding MAiD and the strong opposition to the legislation expressed across the Canadian disability community. It draws on our individual and joint work on eugenics, well-being, and disability.

Critical discussion of Jerry Fodor's Concepts: Where Cognitive Science Went Wrong (1998).

I demonstrate here that St. Anselm’s account of free will fits neatly into an Aristotelian conceptual framework. Aristotle’s four causes are first aligned with Anselm’s four senses of ‘will’. The volitional hierarchy Anselm’s definition of free will entails is then detailed, culminating in its reconciliation with Eudemonism. The Beatific Vision, as summum bonum, is shown to be the apex of that series of perfections. I conclude by explicating Anselm’s teleological understanding of sin by reference to his semantic recapitulation of Aristotle’s (...) essence-accident distinction. (shrink)

I demonstrate here that St. Anselm’s account of free will fits neatly into an Aristotelian conceptual framework. Aristotle’s four causes are first aligned with Anselm’s four senses of ‘will’. The volitional hierarchy Anselm’s definition of free will entails is then detailed, culminating in its reconciliation with Eudemonism. The Beatific Vision, as summum bonum, is shown to be the apex of that series of perfections. I conclude by explicating Anselm’s teleological understanding of sin by reference to his semantic recapitulation of Aristotle’s (...) essence-accident distinction. (shrink)

I demonstrate here that St. Anselm’s account of free will fits neatly into an Aristotelian conceptual framework. Aristotle’s four causes are first aligned with Anselm’s four senses of ‘will’. The volitional hierarchy Anselm’s definition of free will entails is then detailed, culminating in its reconciliation with Eudemonism. The Beatific Vision, as summum bonum, is shown to be the apex of that series of perfections. I conclude by explicating Anselm’s teleological understanding of sin by reference to his semantic recapitulation of Aristotle’s (...) essence-accident distinction. (shrink)

In this brief, we argue that there is a diversity of ways in which humans (Homo sapiens) are ‘persons’ and there are no non-arbitrary conceptions of ‘personhood’ that can include all humans and exclude all nonhuman animals. To do so we describe and assess the four most prominent conceptions of ‘personhood’ that can be found in the rulings concerning Kiko and Tommy, with particular focus on the most recent decision, Nonhuman Rights Project, Inc v Lavery.

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)