ABSTRACT We have previously argued that there are forms of greenhouse gas offsetting for which, when one emits and offsets, one imposes no risk. Orri Stefansson objects that our argument fails to distinguish properly between the people who stand to be harmed by one’s emissions and the people who stand to be benefited by one’s offsetting. We reply by emphasizing the difference between acting with a probability of making a difference to the distribution of harm and acting in a way (...) that worsen’s someone’s prospect. (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)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

Efficient markets are alienating if they inhibit us from recognizably caring about one another in our productive activities. I argue that efficient market behaviour is both exclusionary and fetishistic. As exclusionary, the efficient marketeer cannot manifest care alongside their market behaviour. As fetishistic, the efficient marketeer cannot manifest care in their market behaviour. The conjunction entails that efficient market behavior inhibits care. It doesn’t follow that efficient market behavior is vicious: individuals might justifiably commit to efficiency because doing so serves (...) the common good. But efficient market systems nevertheless have significant opportunity costs. The discussion yields a range of desiderata for non-alienated economic organization. (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)

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) Broadly, the objects towards which human cognition is directed should be parts of reality in a sense that is at least consistent with the truths of natural science. But such a scheme should also be (2) comprehensive: it should do justice to each sort of object on its own terms, and not attempt to eliminate objects of one sort in favour of objects of other, more favoured sorts. Linguistic and other forms of idealism, as well as Meinongian theories, which assign to each and every referring expression or intentional act an object tailored to fit, yield categorial schemes which fail to satisfy (1). Physicalistic and other forms of reductionism yield categorial schemes which fail to satisfy (2). What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each. (shrink)

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.

We have now reached the point at which cloud computing and other types of advanced infrastructure are bringing about a situation in which knowledge objects can be delivered in an efficient manner to hose who need to consume them. And just as highways were the infrastructure necessary for a manufacturing economy, serving as the arteries along which raw materials and manufactured goods coming in from all directions could flow, so we believe that ontologies will in the future provide an important (...) pillar in the infrastructure that is necessary for the accurate and safe delivery of all varieties of knowledge. (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 paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (shrink)

Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality which allows us to simulate (and also to generalize) aspects of set theory within a mereotopological framework. This theory is extended to a theory of coarse- and fine-grained histories (or finite sequences of partitions evolving over time), drawing on machinery developed within the framework of the so-called ‘consistent histories’ interpretation of (...) quantum mechanics. (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)

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)

We begin at the beginning, with an outline of Aristotle’s views on ontology and with a discussion of the influence of these views on Linnaeus. We move from there to consider the data standardization initiatives launched in the 19th century, and then turn to investigate how the idea of computational ontologies developed in the AI and knowledge representation communities in the closing decades of the 20th century. We show how aspects of this idea, particularly those relating to the use of (...) the term 'concept' in ontology development, influenced SNOMED CT and other medical terminologies. Against this background we then show how the Foundational Model of Anatomy, the Gene Ontology, Basic Formal Ontology and other OBO Foundry ontologies came into existence and discuss their role in the development of contemporary biomedical informatics. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

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)

Ontologies and standards are strongly interrelated and can often be seen as two sides of the same coin. Indeed, standards reflect consensus on the semantics of terms, though different standards might employ different ways to explain the same or very similar concepts semantically. Given the crucial role played by both aspects in OntoCommons, we have interviewed Barry Smith, SUNY Distinguished Professor of Philosophy at the University at Buffalo and one of the External Advisory Board (EAB) members of the OntoCommons (...) project, to better understand what are the challenges and priorities to focus on in this context. (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.

A survey of theories of part, whole and dependence from Aristotle to the Gestalt psychologists, with special attention to Husserl’s Third Logical Investigation “On the Theory of Parts and Wholes”.

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.

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)

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)

Husserl’s philosophy, by the usual account, evolved through three stages: 1. development of an anti-psychologistic, objective foundation of logic and mathematics, rooted in Brentanian descriptive psychology; 2. development of a new discipline of "phenomenology" founded on a metaphysical position dubbed "transcendental idealism"; transformation of phenomenology from a form of methodological solipsism into a phenomenology of intersubjectivity and ultimately (in his Crisis of 1936) into an ontology of the life-world, embracing the social worlds of culture and history. We show that this (...) story of three revolutions can provide at best a preliminary orientation, and that Husserl was constantly expanding and revising his philosophical system, integrating views in phenomenology, ontology, epistemology and logic with views on the nature and tasks of philosophy and science as well as on the nature of culture and the world in ways that reveal more common elements than violent shifts of direction. We argue further that Husserl is a seminal figure in the evolution from traditional philosophy to the characteristic philosophical concerns of the late twentieth century: concerns with representation and intentionality and with problems at the borderlines of the philosophy of mind, ontology, and cognitive science. (shrink)

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)

This paper is a study of Brentano’s ontology, and more specifically of his theory of substance and accident as put forward toward the end of his life in the materials collected together as the Kategorienlehre or Theory of Categories. Here Brentano presents an auditious (re-)interpretation of Aristotle’s theory of substance and accidence. We show that on the Brentano initially defends, it is space which serves as the single substance upon which all other entities depend as accidents of space. In an (...) appendix, however, Brentano puts forward an even more radical suggestion, inspired by the physics of Kelvin. According to this final view, space itself is an accident of a deeper substance: the present time. (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)

La présente étude utilise les outils du domaine de la méréotopologie (la théorie des parts, ensembles et frontières) pour élaborer les implications de certaines analogies entre la 'psychologie écologique' de J.J.Gibson et la phénoménologie de Edmund Husserl. On présentera une théorie ontologique de frontières spatiales et des entités possédant une extension spatiale. S'en rapportant aux exemples de la sphère de géographie, on démontre qu'aussi bien les frontières que les entités à extension spatiale appartiennent à deux vastes catégories: des objets qui (...) existent indépendamment de nos actes cognitifs (par exemple: la planète Terre, sa surface extérieure); et des objets qui existent seulement grâce à ces actes (par exemple: l'équateur, la Mer du Nord). Le champ visuel, lui aussi, peut être conçu comme un exemple d'une entité à extension spatiale qui est dépendante dans le sens proposé ci-dessus. L'étude présente suggère une extension de cette analogie en postulant les entités qui, pour les vrais jugements, seraient ce que le champ visuel est pour les actes de perception visuelle. Le champ de jugement est défini plus précisément comme une entité étendue complexe, contenant toutes les entités essentielles pour la vérité d'un (vrai) jugement donné. Il est possible de démontrer que le travail des linguistes cognitifs tel Talmy ou Langacker, si l'on l'interprète convenablement, produit une explication détaillée des structures des champs de jugement correspondant aux phrases de sortes différentes. Un genre nouveau de définition de la vérité en tant que correspondance pour les expressions de la langue naturelle peut donc être formulé sur cette base. (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)

It is a truism that the attitude of deference to the text plays a lesser role in Anglo-Saxon philosophy than in other philosophical traditions. Works of philosophy written in English have, it is true, spawned a massive secondary literature dealing with the ideas, problems or arguments they contain. But they have almost never given rise to works of commentary in the strict sense, a genre which is however a dominant literary form not only in the Confucian, Vedantic, Islamic, Jewish and (...) Scholastic traditions of the past, but also in relation to more recent German-language philosophy (thus for example in work on Hegel, Heidegger or Wittgenstein). Moreover Anglo-Saxon philosophers have themselves embraced the commentary form when dealing with Greek or Latin philosophers outside their own tradition. The paper seeks to establish the reasons for this imbalance by examining those factors which might be conducive to the growth of a commentary literature in a given culture. (shrink)

This essay is a contribution to social ontology, drawing on the work of John Searle and of Hernando de Soto. At the center of the argument is the proposition advanced by de Soto in his Mystery of Capital to the effect that many of the entities which structure our contemporary social reality are entities which exist in virtue of the fact that there are (paper or digital) documents which support their existence. I here develop de Soto’s argument further, focusing specifically (...) on the ontological problems raised by a family of new types of social phenomena – exemplified most dramatically in the domain of finance for example in the form of what are called ‘structured investment vehicles’ – made possible as a result of the employment of computer technology in entity creation. I address also Searle’s most recent work on social ontology, and conclude with an appendix on the theory of documentality advanced by Maurizio Ferraris. (shrink)

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for example, (...) the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis. (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)

Long-standing neglect of the chemical senses in the philosophy of perception is due, mostly, to their being regarded as ‘lower’ senses. Smell, taste, and chemically irritated touch are thought to produce mere bodily sensations. However, empirically informed theories of perception can show how these senses lead to perception of objective properties, and why they cannot be treated as special cases of perception modelled on vision. The senses of taste, touch, and smell also combine to create unified perceptions of flavour. The (...) nature of these multimodal experiences and the character of our awareness of them puts pressure on the traditional idea that each episode of perception goes one or other of the five senses. Thus, the chemical senses, far from being peripheral to the concerns of the philosophy of perception, may hold important clues to the multisensory nature of perception in general. (shrink)

How, as Caldwell puts it, does one choose between rival systems all of which claim to rest on a priori foundations? On the nonfallibilistic conception it is difficult to make sense even of the possibility of rival systems of this sort. On the conception here defended, in contrast, the existence of such rival systems can be seen to be a perfectly natural and acceptable consequence of the just-mentioned difficulties we will often fact in coming to know even the intelligible traits (...) of reality: one adjudicates between such systems in the same way in which one adjudicates between all rival scientific hypotheses, namely via a complex mixture of empirical and a priori considerations. (shrink)

The Universal Core (UCore) is a central element of the National Information Sharing Strategy that is supported by multiple U.S. Federal Government Departments, by the intelligence community, and by a number of other national and international institutions. The goal of the UCore initiative is to foster information sharing by means of an XML schema providing consensus representations for four groups of universally understood terms under the headings who, what, when, and where. We here describe a project to create an ontology-based (...) supporting layer for UCore, entitled ‘Universal Core Semantic Layer’ (UCore SL), and describe how UCore SL can be applied to further UCore’s information sharing goals. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

"'It is clear", wrote Wittgenstein in the Tractatus, "that ethics has nothing to do with punishment and reward in the usual sense of the terms" (6.422). But he insisted also that there must be some kind of ethical punishment and reward; "the reward", he tells us, "must be something pleasant, and the punishment something unpleasant" (ibid.). I argue that we can understand what Wittgenstein meant by "reward" and "punishment" by conceiving these notions as elements in a system of interrelated concepts (...) connected with the idea of law. (shrink)

The theory of document acts is an extension of the more traditional theory of speech acts advanced by Austin and Searle. It is designed to do justice to the ways in which documents can be used to bring about a variety of effects in virtue of the fact that, where speech is evanescent, documents are continuant entities. This means that documents can be preserved in such a way that they can be inspected and modified at successive points in time and (...) grouped together into enduring document complexes. We outline some components of a theory of document acts, and show how it can throw light on certain problems in Searle’s ontology of social reality. (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)

It is now generally recognized that figures such as Reid, Peirce, and Reinach formulated theories of speech acts avant la lettre of Austin and Searle, in Reid and Reinach’s cases under the heading ‘theory of social acts’. Here we address the question as to what conditions would have to be satisfied for such theories to count as ‘theories of speech acts’ in the now familiar sense.

Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at a certain (...) level of abstractness) of the structures of molecules of different sorts. A diagram of such a language would be true if that which it sets out to depict exists in reality, i.e. if the structural relations between the names (and other bits and pieces in the diagram) map structural relations among the corresponding objects in the world. Otherwise it would be false. All of this should, of course, be perfectly familiar. (See, for example, Aristotle, Metaphysics, 1027 b 22, 1051 b 32ff.) The present paper seeks to go further than its predecessors, however, in offering a detailed account of the syntax of a working universal characteristic and of the ways in which it might be used. (shrink)

We argue that a modified version of Mill’s method of agreement can strongly confirm causal generalizations. This mode of causal inference implicates the explanatory virtues of mechanism, analogy, consilience, and simplicity, and we identify it as a species of Inference to the Best Explanation (IBE). Since rational causal inference provides normative guidance, IBE is not a heuristic for Bayesian rationality. We give it an objective Bayesian formalization, one that has no need of principles of indifference and yields responses to the (...) Voltaire objection, van Fraassen’s Bad Lot objection, and John Norton’s recent objection to IBE. (shrink)

In a development that has still been hardly noticed by philosophers, a conception of ontology has been advanced in recent years in a series of extra-philosophical disciplines as researchers in linguistics, psychology, geography and anthropology have sought to elicit the ontological commitments (‘ontologies’, in the plural) of different cultures or disciplines. Exploiting the terminology of Quine, researchers in psychology and anthropology have sought to establish what individual human subjects, or entire human cultures, are committed to, ontologically, in their everyday cognition, (...) in much the same way in which philosophers of science have attempted to elicit the ontological commitments of the natural sciences. Thus they have engaged in inquiries designed to establish how folk ontologies (or folk biologies, folk theories of physics, folk psychologies, and so on) develop through infancy and childhood, or to establish the degree to which given elements of folk ontologies reflect universal features of the human cognitive system. In a parallel development, researchers in biomedicine developed what they called 'ontologies' as controlled vocabularies to ensure interoperability of the way in which, for example, genomic data is described in different biological disciplines. We describe in what follows some of the relations between these efforts and the more traditional concerns of philosophers. (shrink)

This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

The history of evolution is a history of development from less to more complex organisms. This growth in complexity of organisms goes hand in hand with a concurrent growth in complexity of environments and of organism-environment relations. It is a concern with this latter aspect of evolutionary development that motivates the present paper. We begin by outlining a theory of organism-environment relations. We then show that the theory can be applied to a range of different sorts of cases, both biological (...) and non-biological, in which objects are lodged or housed within specific environments, or niches. Biological science is interested in types—for example in genotypes, phenotypes, and environment types—in regularities that can serve as the basis for the formulation of laws or general principles. Types, however, can exist only through their corresponding tokens. Our theory of token environments is meant to plug this gap and to provide a first step towards a general theory of causally relevant spatial volumes. (shrink)

Plato’s partition argument infers that the soul has parts from the fact that the soul experiences mental conflict. We consider an ambiguity in the concept of mental conflict. According to the first sense of conflict, a soul is in conflict when it has desires whose satisfaction is logically incompatible. According to the second sense of conflict, a soul is in conflict when it has desires which are logically incompatible even when they are unsatisfied. This raises a dilemma: if the mental (...) conflict is supposed to be the latter kind of conflict, then the partition argument is valid but is likely unsound; if it’s supposed to be the former kind, then the partition argument has true premises but is invalid. We explain this dilemma in detail and defend a dispositionalist solution to it. (shrink)