The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal (...) evidence from mathematics, physics, computer science, philosophy, linguistics, and biology, setting up their book around three central questions: What are the essential marks of human intelligence? What is it that researchers try to do when they attempt to achieve "artificial intelligence" (AI)? And why, after more than 50 years, are our most common interactions with AI, for example with our bank’s computers, still so unsatisfactory? Landgrebe and Smith show how a widespread fear about AI’s potential to bring about radical changes in the nature of human beings and in the human social order is founded on an error. There is still, as they demonstrate in a final chapter, a great deal that AI can achieve which will benefit humanity. But these benefits will be achieved without the aid of systems that are more powerful than humans, which are as impossible as AI systems that are intrinsically "evil" or able to "will" a takeover of human society. (shrink)

Our aim in this essay is to critically examine Iris Young’s arguments in her important posthumously published book against what she calls the liability model for attributing responsibility, as well as the arguments that she marshals in support of what she calls the social connection model of political responsibility. We contend that her arguments against the liability model of conceiving responsibility are not convincing, and that her alternative to it is vulnerable to damaging objections.

What is W. V. O. Quine’s relationship to classical pragmatism? Although he resists the comparison to William James in particular, commentators have seen an affinity between his “web of belief” model of theory confirmation and James’s claim that our beliefs form a “stock” that faces new experience as a corporate body. I argue that the similarity is only superficial. James thinks our web of beliefs should be responsive not just to perceptual but also to emotional experiences in some cases; Quine (...) denies this. I motivate James’s controversial view by appealing to an episode in the history of medicine when a researcher self-experimented by swallowing a vial of bacteria that at the time had not been studied in much detail. The researcher’s commitment to his own as-yet untested hypothesis was based in part on emotional considerations. Finally, I argue that Quine’s insistence that emotions can never be relevant to adjusting our web of belief reflects a tacit holdover of one of logical positivism’s crucially anti-pragmatist commitments—that philosophy of science should focus exclusively on the context of justification, not the context of discovery. James’s emphasis on discovery as a (perhaps the) crucial locus for epistemological inquiry is characteristic of pragmatism in general. Since Quinean epistemology is always an epistemology of justification, he is not happily viewed as a member of the pragmatist tradition. (shrink)

Robustly realistic metaphysical readings of Kant’s mature views have become popular in recent years, largely because of the apparent coherence of applying unschematized categories like that of causation to things in themselves. There is, however, an overlooked problem that arises even for robust realist readings that privilege unschematized categories. The problem is that Kant provides all the elements for what is now called a ‘debunking explanation’ of metaphysical representations of things in themselves. His account of the categories as arising from (...) mere forms of judgment, and being applied primarily for the unity of consciousness, is detached from the issue of whether there are causes among things in themselves. This detachment seems to imply that it would be a huge coincidence if unschematized categories corresponded to any such causes. After making this argument, using the category of causation as my central case, I consider three potential responses: that Kant’s account implicitly appeals to things in themselves’ causation, that Kant has a separate account of non-coincidental representation, and that Kant’s account is merely incomplete in a way that poses no debunking threat. None of these responses, I argue, are successful, so I conclude that either robustly realistic metaphysical readings are mistaken, or there is internal incoherence in Kant’s views. (shrink)

Political persuasion can express moral respect. In this article, however, I rely on two psychological assumptions to argue that political persuasion is generally prima facie disrespectful: (1) that we maintain our political beliefs largely for non-epistemic, personal reasons and (2) that our political beliefs are connected to our epistemic esteem. Given those assumptions, a persuader can either ignore the relevant personal reasons, explicitly address them, or implicitly address them. Ignoring those reasons, I argue, constitutes prima facie insensitivity. Explicitly addressing them (...) constitutes a form of prima facie incivility. Finally, implicitly addressing them covertly treats those personal reasons as psychological puppet strings, constituting prima facie objectionable manipulation. This prima facie insensitivity, incivility, and manipulation are each prima facie failures of respect, either for the persuadee’s rationality or for their agency. Political persuasion can sometimes be all-things-considered justified, but these moral hazards can produce reasonable guilt, resentment, and blowback. (shrink)

Autobiography of Barry Smith; emphasizes the role of Dummett and Husserl, Austrian philosophy and economics, and the Munich-Göttingen-Kraków school of realist phenomenology.

This paper applies the ontological framework developed by Roman Ingarden in his Controversy over the Existence of the World to the domain of mathematics, concluding with some remarks on parallels between the mode of existence of mathematical entities on the one hand and of values on the other.

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

This chapter explores a philosophical hypothesis about the nature of (some) probabilities encountered in social sciences. It should be of interest to those with philosophical concerns about the foundations of probability, and to social scientists and philosophers of science who are somewhat puzzled by the nature of probability in social domains. As will become clear below, the chapter is not intended as a contribution to an empirical methodology such as a particular way of applying statistics.

The parceling of land into real estate is more than a simple geometrical affair. Real estate is a historical product of interaction between human beings, political, legal and economic institutions, and the physical environment. And while many authors, from Jeremy Bentham to Hernando de Soto, have drawn attention to the ontological (metaphysical) aspect of property in general, no comprehensive analysis of landed property has been attempted. The paper presents such an analysis and shows how landed property differs from other types (...) of property in a way which implies a special role for political and economic philosophy of property rights in land. This is the Chinese translation of "The Metaphysics of Real Estate", Topoi, 20: 2 (September 2001), 161–172. (shrink)

In this essay, I offer some of the reasons to think that Plato has a substantial contribution to make to contemporary thinking about moral education. To allow a sense of how wide the range of reasons is, I start by listing ten miscellaneous reasons that one can compellingly offer and some of which scholars *have* offered. Then I present my preferred reason, which involves a way of approaching Plato that is new and unorthodox. When you approach Plato this way, you (...) don't try to interpret him correctly. Instead, you use his writings simply as a tool for theorizing, and what you theorize about is how best to carry out the Socratic project of leading other people to self-examination. (shrink)

While contemporary philosophers have devoted vast amounts of attention to the language we use in describing and finding our way about the world of everyday experience, they have, with few exceptions, refused to see this world itself as a fitting object of theoretical concern. In what follows I shall seek to show how the commonsensical world might be treated ontologically as an object of investigation in its own right. At the same time I shall seek to establish how such a (...) treatment might help us better philosophically to understand the structures of both physical reality and cognition. (shrink)

The perception of spatial bodies is at least in part a perception of bodily boundaries or surfaces. The usual mathematical conception of boundaries as abstract constructions is, however, of little use for cognitive science purposes. The essay therefore seeks a more adequate conception of the ontology of boundaries building on ideas in Aristotle and Brentano on what we may call the coincidence of boundaries. It presents a formal theory of boundaries and of the continua to which they belong, of a (...) sort which allows a resolution of certain Zeno-style paradoxes. The theory proves to be applicable not only in the cognitive science field but also in regard to problems relating to the ontology of geographical and geopolitical boundaries. (shrink)

Since it is only five years since the publication of our paper, "Geographical categories: An ontological investigation" (Smith and Mark 2001), it seems somewhat strange to be making retrospective comments on the piece. Nevertheless, the field is moving quickly, and much has happened since the article appeared. A large number of papers have already cited the work, which suggests that there is a seam here that people find worthy of being mined. In this short essay, we first review the paper (...) and attempt to assess its significance from the perspective of our current work. We then put the paper in the context of our individual and joint works, which led up to it, and summarize our research trajectories since the paper appeared, pointing out what some of this reveals about spatial ontology in general. We conclude with some remarks on the future of ontological research in geographical information science. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

Credentials play an important role in all modern societies, but the analysis of their nature and function has thus far been neglected by social philosophers. We present a view according to which the function of credentials is certify the identity and the institutional status (including the rights) of individuals. More importantly, credentials enable rights-holders to exercise their rights, so that for a particular right to be exercisable the right-holder should possess, carry and sometimes show to an authority (or QR code (...) scanner) a document of a specific kind. Driving licenses, identity cards, passports, boarding passes, library passes, credit cards, ATM cards, health insurance cards are all examples of credentials in this sense. Credentials have in every case a bearer, and the bearer should be able to carry them easily on his or her person. Credentials should also be inspectable – not least because credentials can be forged. The authors analyse several historical and contemporary examples of credentials, focusing on the credentials carried by the pilgrims of the Way of Saint James. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

What does it mean to listen to someone respectfully, that is, insofar as they are due recognition respect? This paper addresses that question and gives the following answer: it is to listen in such a way that you are open to being surprised. A specific interpretation of this openness to surprise is then defended.

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

History has left a territory composed of two municipalitics, whose shape is unique, belonging partly to the Netherlands and partly to Belgium. Earlier both parts belonged to the former Duchy of Brabant, a tenitory that is now split up into the Dutch province of Noord-Brabant (including Baarle-Nassau) and thc Belgian provinces of Antwerp (which includes Baarle-Hertog), Vlaams Brabant, Brussels, and Brabant-Wallon. People are quite comfortable with this situation, even though it raises many complicated and difficult problems that even the most (...) brilliant jurists are puzzled. Baarle-Hertog is called on older Belgian maps Barle-Duc (Hertog = Duke, fr: duc) and must not be confused with the prefectoral town of Bar-le-Duc, Meuse, France. (shrink)

The concept of alienation has been used to capture a specific kind of social ill or malady, and one that philosophers have argued is distinctive of life in modern society. I argue that there is a properly epistemic form of alienation present in modern society that arises due to a conflict between the dynamics of group knowledge and traditional requirements on the intellectual virtue of individuals. As group-based knowledge becomes increasingly widespread in modern society, the conflict with virtue becomes more (...) pervasive, and the virtuous become alienated from fundamental epistemic goods. The aim of this paper is to examine this conflict and to highlight that the ‘social turn’ in epistemology is not free from costs. (shrink)

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.

It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often thought to be in tension with each other. Most significantly for our purposes, it is obscure how epistemic reasons and practical reasons might interact in the explanation of what one ought to believe. We draw an analogy with a similar distinction between (...) types of reasons for actions in the context of activities. The analogy motivates a two-level account of the structure of normativity that explains the interaction of correctness-based and other reasons. This account relies upon a distinction between normative reasons and authoritatively normative reasons. Only the latter play the reasons role in explaining what state one ought to be in. All and only practical reasons are authoritative reasons. Hence, in one important sense, all reasons for belief are practical reasons. But this account also preserves the autonomy and importance of epistemic reasons. Given the importance of having true beliefs about the world, our epistemic standard typically plays a key role in many cases in explaining what we ought to believe. In addition to reconciling (versions of) evidentialism and pragmatism, this two-level account has implications for a range of important debates in normative theory, including the interaction of right and wrong reasons for actions and other attitudes, the significance of reasons in understanding normativity and authoritative normativity, the distinction between ‘formal’ and ‘substantive’ normativity, and whether there is a unified source of authoritative normativity. (shrink)

Mortality seems important in explaining the value of virtues. It seems that courage is valuable because we face dangers of death and pain, just as it seems temperance is valuable because we can harm our health by overindulgence. This poses a serious problem for Christian ethics. If the virtues are valuable because they ameliorate harms stemming from limitations like mortality, then the virtues will lose much of their value in the new creation, where those limitations are no more. This chapter (...) argues that the threat is serious, and requires the rethinking of the fundamental value of the virtues. The virtues are not, first and foremost, the dispositions that allow us to improve the broken world we live in, but precisely those dispositions necessary for enjoying ideal or perfect conditions. (shrink)

It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary relations. The (...) paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics. (shrink)

Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – (...) which hover uncomfortably close to the boundary between the observer-relative and the observer-independent. By means of a thought experiment involving an imagined Chinese society in which guilt is determined by the random throwing of sticks, I seek to show that moral concepts threaten the foundations of Searle’s philosophy of social reality. (shrink)

What a person is doing often depends on that person’s thought about what they are doing, or about the wider circumstances of their action. For example, whether my killing is murder or manslaughter depends, in part, on whether I understand that what I am doing is killing you, and on whether I understand that my killing is unjustified. Similarly, if I know that the backpack I am taking is yours, then my taking it may be an act of theft; but (...) it is not theft if I simply mistook your backpack for my own. And if I don’t know that in signing a document I’m promising to do some thing, then in signing it I’m not promising to do this at all. -/- According to Elizabeth Anscombe, a central task of philosophical psychology is to articulate this dependency of action on thought. And in a range of papers published during the 1960s, Anscombe sought to elucidate various aspects of this dependency. In this paper we give a systematic overview of how Anscombe understands this dependency, and in the process reveal the conceptual framework underlying Anscombe’s thinking about perception, desire, intention, voluntariness, responsibility, guilt, and sin. (shrink)

This paper defends a view of the Gene Ontology (GO) and of Basic Formal Ontology (BFO) as examples of what the manufacturing industry calls product-service systems. This means that they are products (the ontologies) bundled with a range of ontology services such as updates, training, help desk, and permanent identifiers. The paper argues that GO and BFO are contrasted in this respect with DOLCE, which approximates more closely to a scientific theory or a scientific publication. The paper provides a detailed (...) overview of ontology services and concludes with a discussion of some implications of the product-service system approach for the understanding of the nature of applied ontology. Ontology developer communities are compared in this respect with developers of scientific theories and of standards (such as W3C). For each of these we can ask: what kinds of products do they develop and what kinds of services do they provide for the users of these products? (shrink)

Of Chisholm’s many signal contributions to analytic metaphysics, perhaps the most important is his treatment of boundaries, a category of entity that has been neglected, to say the least, in the history of ontology. We can gain some preliminary idea of the sorts of problems which the Chisholmian ontology of boundaries is designed to solve, if we consider the following Zeno-inspired thought-experiment.

Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontology to the phenomena of cognition. Agglomerations are aggregates of entities that are dispersed through space on geographic scales. Examples include: plagues, biological species, major world religions. The paper applies standard mereotopological theories of spatial regions to agglomerations in this sense. It offers the beginnings of a general theory of the relations (...) between social, cultural, ethnic and religious agglomerations on the one hand and territorially demarcated spatial objects on the other. In this way it serves as the basis for a general ontological theory of types of human groups and also of types of conflict between these groups. At the same time it provides ontological foundations for the epidemiological study of cognitive phenomena, and especially of cognitive phenomena in the sociopolitical realm. (shrink)

The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for (...) a formal ontology of the common-sense world. The author is interested in producing formally precise theories of structures of certain sorts in such a way that it is the structures themselves that intrest him and not formal machinery that has been set up to describe them. Hence the axioms are chosen primarily for the sake of the light they throw on the intended subject-matters (and not for their logical independence). The world itself - or its picture given in ordinary experience - is the only model the paper concentrates upon. Thus for example the presented system allows to prove that every boundary is the boundary of something, and that in particular no point exists in isolation from a large extended whole that is its boundary. (shrink)

This paper examines Spinoza’s view on the consistency of mental representation. First, I argue that he departs from Scholastic tradition by arguing that all mental states—whether desires, intentions, beliefs, perceptions, entertainings, etc.—must be logically consistent. Second, I argue that his endorsement of this view is motivated by key Spinozistic doctrines, most importantly the doctrine that all acts of thought represent what could follow from God’s nature. Finally, I argue that Spinoza’s view that all mental representation is consistent pushes him to (...) a linguistic account of contradiction. (shrink)

Our aim in this brief essay is not to defend a particular policy or attitude toward lockdown measures in the United States or elsewhere, but to consider the scope and limits of different types of arguments that can be offered for them. Understanding the complexity of these issues will, we hope, go some way to helping us understand each other and our attitudes toward state responses to the pandemic.

Can there be a theory-free experience? And what would be the object of such an experience. Drawing on ideas set out by Husserl in the “Crisis” and in the second book of his “Ideas”, the paper presents answers to these questions in such a way as to provide a systematic survey of the content and ontology of common sense. In the second part of the paper Husserl’s ideas on the relationship between the common-sense world (what he called the ‘life-world’) and (...) the world of physical theory are subjected to a critical evaluation. The relation of Husserl’s ideas to current work in folk psychology and naive physics and to the direct realism of J. J. Gibson are also treated. (shrink)

Those who conceive logic as a science have generally favoured one of two alternative conceptions as to what the subject-matter of this science ought to be. On the one hand is the nowadays somewhat old-fashioned-seeming view of logic as the science of judgment, or of thinking or reasoning activities in general. On the other hand is the view of logic as a science of ideal meanings, 'thoughts', or 'propositions in themselves'. There is, however, a third alternative conception, which enjoyed only (...) a brief flowering in the years leading up to the first World War, but whose lingering presence can be detected in the background of more recent ontologising trends in logic, as for example in the 'situation semantics' of Barwise and Perry. This third conception sees logic as a science of special objects called 'Sachverhalte' or 'states of affairs'. A view of this sort is present in simplified form in the works of Meinong, but it received its definitive formulation in the writings of Adolf Reinach, a student of Husserl who is otherwise noteworthy for having anticipated, in a monograph of 1913, large chunks of what later became known as the theory of speech acts.(1). (shrink)

In uttering a sentence we are often taken to assert more than its literal meaning — though we sometimes assert less. Robyn Carston and others take this phenomenon to show that what is said or asserted by a speaker on an occasion of utterance is usually a contextuallyenriched version of the semantic content of the sentence. I shall argue that we can resist this conclusion if we recognize that what we think we are asserting, or take others to be asserting, (...) involves selective attention to one of the ways a sentence could be true and neglects others. Most of the time people converge in their selective attention and so communication is not impaired. Though in the case of sentences involving predicates of taste, people’s attention to different aspect of the truth conditions leads to seemingly intractable disputes. I will propose a treatment of such cases on which speakers mean the same by a sentence, assert no more than its semantic content, hold conflicting opinions about its truth-value, and are both right. (shrink)

Relevance logic has become ontologically fertile. No longer is the idea of relevance restricted in its application to purely logical relations among propositions, for as Dunn has shown in his (1987), it is possible to extend the idea in such a way that we can distinguish also between relevant and irrelevant predications, as for example between “Reagan is tall” and “Reagan is such that Socrates is wise”. Dunn shows that we can exploit certain special properties of identity within the context (...) of standard relevance logic in a way which allows us to discriminate further between relevant and irrelevant properties, as also between relevant and irrelevant relations. The idea yields a family of ontologically interesting results concerning the different ways in which attributes and objects may hang together. Because of certain notorious peculiarities of relevance logic, however,1 Dunn’s idea breaks down where the attempt is made to have it bear fruit in application to relations among entities which are of homogeneous type. (shrink)

Samuel Butler is usually remembered for Erewhon, widely considered among the best English satires. He also contributed to philosophical biology in works that collectively compose the nineteenth century's finest statement of the evolutionary argument associated with the name of Lamarck. In writing on evolution, Butler was not presenting science for a popular audience but deliberately intervening in the scientific argument about Darwinism. Surprised by the success of his first venture in philosophical biology, Life and Habit, Butler committed himself to the (...) project of developing an alternative to Darwinism, which he did in three additional volumes, and these are the works canvassed in this “delayed book review.”. (shrink)

The explanatory role of natural selection is one of the long-term debates in evolutionary biology. Nevertheless, the consensus has been slippery because conceptual confusions and the absence of a unified, formal causal model that integrates different explanatory scopes of natural selection. In this study we attempt to examine two questions: (i) What can the theory of natural selection explain? and (ii) Is there a causal or explanatory model that integrates all natural selection explananda? For the first question, we argue that (...) five explananda have been assigned to the theory of natural selection and that four of them may be actually considered explananda of natural selection. For the second question, we claim that a probabilistic conception of causality and the statistical relevance concept of explanation are both good models for understanding the explanatory role of natural selection. We review the biological and philosophical disputes about the explanatory role of natural selection and formalize some explananda in probabilistic terms using classical results from population genetics. Most of these explananda have been discussed in philosophical terms but some of them have been mixed up and confused. We analyze and set the limits of these problems. (shrink)

This paper develops the Value-Based Theory of Reasons in some detail. The central part of the paper introduces a number of theoretically puzzling features of normative reasons. These include weight, transmission, overlap, and the promiscuity of reasons. It is argued that the Value-Based Theory of Reasons elegantly accounts for these features. This paper is programmatic. Its goal is to put the promising but surprisingly overlooked Value-Based Theory of Reasons on the table in discussions of normative reasons, and to draw attention (...) to a number of areas for fruitful further research. (shrink)

The rapidly increasing wealth of genomic data has driven the development of tools to assist in the task of representing and processing information about genes, their products and their functions. One of the most important of these tools is the Gene Ontology (GO), which is being developed in tandem with work on a variety of bioinformatics databases. An examination of the structure of GO, however, reveals a number of problems, which we believe can be resolved by taking account of certain (...) organizing principles drawn from philosophical ontology. We shall explore the results of applying such principles to GO with a view to improving GO’s consistency and coherence and thus its future applicability in the automated processing of biological data. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

I shall begin with the assumption that there are, among our mental acts. some which stand in direct contact with ohjects in the material world. The aim of this paper will he to clarify and to draw out certain implications of this somewhat trivial assumption, and ultimately to say something about the ontological structure of those of our acts which effect the function of bringing us into contact with material acts which serve. as we might say, as the most external (...) points of consciousness which touch the objects consciousness is trying to grasp. Amongst material objects I shall include not only material things such as tables. (shrink)