We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) perspectives within a single framework. We (...) examine how BFO-conformant domain ontologies can deal with the consistent representation of scientific data deriving from the measurement of processes of different types, and we outline on this basis the first steps of an approach to the classification of such processes within the BFO framework. (shrink)

The status of genes as bearers of semantic content remains very much in dispute among philosophers of biology. In a series of papers, Nicholas Shea has argued that his ‘infotel’ theory of semantics vindicates the claim that genes carry semantic content. On Shea’s account, each organism is associated with a ‘developmental system’ that takes genetic representations as inputs and produces whole-organism traits as outputs. Moreover, at least in his most recent work on the topic, Shea is explicit in claiming that (...) these genetic representations are ‘read in ontogenetic time, in the course of individual development’. Here I argue that a close examination of the process of reading, in Shea’s sense, reveals that acts of reading do not actually occur over the course of developmental time at all. To make this vivid, I contrast the process of reading for Shea with another type of developmental process that is widely seen as a form of reading directed on inherited genes, and which certainly does occur over the course of developmental time, namely, gene expression. I suggest that this error in Shea’s thinking can be traced back to an equivocation on Shea’s part in the meaning of ‘reads’, and also to a reliance on an invalid principle regarding the transference of representational content from one token gene to another. The issues at play are bound up with questions about causation and in particular about causation over time. Thus, having first presented my arguments in a way that doesn’t depend on any particular theory of causation, I then make use of Kenneth Waters’ framework of difference-making causation to conceptually sharpen and shed further light on matters. I conclude by discussing a consequence of the fact that acts of reading do not occur in development. 1 Introduction2 Reading for Shea3 Gene Expression as Reading4 Are Genetic Representations Read in Development? Part 15 The Manipulability Theory of Causation and Difference-Making Causation6 Are Genetic Representations Read in Development? Part 27 Conclusion. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

What I call Mellor’s Question is the problem of whether determinables are properties of their determinates or properties of the particulars that possess these determinates. One can distinguish two basic competing theories of determinables that address the issue, implicitly if not explicitly. On the second-order theory, determinables are second-order properties of determinate properties; on the second-level theory, determinables are first-order properties of the particulars with these determinate properties. Higher-order properties are prima facie ontologically uneconomical, and in line with my general (...) view that ontological parsimony is vital to metaphysics, I consider it highly important which of the two theories is true. Firstly, I argue that the second-level theory offers the best explanation of the explananda (though the race is close), including the important but neglected phenomenon of ‘intermediate determinables’. Secondly, by paying attention to intermediate determinables and instantiation of higher-order properties, I argue that the second-level theory also is more ontologically economical. For these two reasons, this theory is preferable. (shrink)

What is the contrary of pleasure? “Pain” is one common answer. This paper argues that pleasure instead has two natural contraries: unpleasure and hedonic indifference. This view is defended by drawing attention to two often-neglected concepts: the formal relation of polar opposition and the psychological state of hedonic indifference. The existence of mixed feelings, it is argued, does not threaten the contrariety of pleasure and unpleasure.

Can we maintain that purple seems composed of red and blue without giving up the impenetrability of the red and blue parts that compose it? Brentano thinks we can. Purple, according to him, is a chessboard of red and blue tiles which, although individually too small to be perceived, are together indistinctly perceived within the purple. After a presentation of Brentano’s solution, we raise two objections to it. First, Brentano’s solution commits him to unperceivable intentional objects (the chessboard’s tiles). Second, (...) his chessboard account fails in the end to explain the phenomenal spatial continuity of compound colours. We then sketch an alternative account, which, while holding fast to the phenomenal compoundedness of the purple and to the impenetrability of component colours, avoids introducing inaccessible intentional objects and compromising on the continuity of the purple. According to our proposal, instead of being indistinctly perceived spatial parts of the purple, red and blue are distinctly perceived non- spatial parts of it. (shrink)

In this article, we propose a new trope nominalist conception of determinate and determinable kinds of quantitative tropes. The conception is developed as follows. First, we formulate a new account of tropes falling under the same determinates and determinables in terms of internal relations of proportion and order. Our account is a considerable improvement on the current standard account (Campbell 1990; Maurin 2002; Simons 2003) because it does not rely on primitive internal relations of exact similarity or quantitative distance. The (...) internal relations of proportion and order hold because the related tropes exist; no kinds of tropes need be assumed here. Second, we argue that there are only pluralities of tropes in relations of proportion and order. The tropes mutually connected by the relations of proportion and order form a special type of plurality, tropes belonging to the same kind. Unlike the recent nominalist accounts, we do not identify kinds of tropes with any further entities (e.g. sets) or abstractions from entities (e.g. pluralities of similar tropes). (shrink)

Kevin Mulligan a introduit la distinction entre les descriptions épaisses et minces dans la philosophie des relations. Cette distinction lui a permis d’affirmer les thèses suivantes : toutes les relations sont « minces » et internes, et aucune n’est « épaisse » et externe. J’accepte et j’utilise la distinction de Mulligan entre mince et épais afin de soutenir que ce ne sont pas toutes les relations internes qui sont minces. Il existe également des relations internes épaisses, et celles-ci abondent en (...) physique mathématique. Je soutiens en outre qu’il peut y avoir des relations externes minces. Cependant, en introduisant une distinction entre relations fortement et faiblement internes, je suis d’accord pour affirmer avec Mulligan que toutes les relations fortement internes sont des relations minces.Kevin Mulligan has brought the distinction between thick and thin descriptions into the philosophy of relations, and with its help he has put forward the theses that all relations are “thin” and internal, and that none is “thick” and external. Accepting and using Mulligan’s thin — thick distinction, I argue that not all internal relations are thin. There are thick internal relations, too ; and they abound in mathematical physics. Also, I claim that there might be thin external relations. However, introducing a distinction between strongly and weakly internal relations, I agree with Mulligan that all strongly internal relations are thin relations. (shrink)

The paper ends with an argument that says: necessarily, if there are finitely spatially extended particulars, then there are monadic universals. Before that, in order to characterize the distinction between particulars and universals, Roman Ingarden’s notions of existential moments and modes (ways) of being are presented, and a new pair of such existential moments is introduced: multiplicity–monadicity. Also, it is argued that there are not only real universals, but instances of universals (tropes) and fictional universals too.

From a metaphysical point of view, it is important clearly to see the ontological difference between what is studied in mathematics and mathematical physics, respectively. In this respect, the paper is concerned with the vectors of classical physics. Vectors have both a scalar magnitude and a direction, and it is argued that neither conventionalism nor wholesale anti‐conventionalism holds true of either of these components of classical physical vectors. A quantification of a physical dimension requires the discovery of ontological order relations (...) among all the determinate properties of this dimension, as well as a conventional definition that connects the number one and mathematical unit vectors to determinate spatiotemporal physical entities. One might say that mathematics deals with numbers and vectors, but mathematical physics with scalar quantities and vector quantities, respectively. The International System of Units distinguishes between basic and derived scalar quantities; if a similar distinction should be introduced for the vector quantities of classical physics, then duration in directed time ought to be chosen as the basic vector quantity. The metaphysics of physical vectors is intimately connected with the metaphysics of time. From a philosophical‐historical point of view, the paper revives W. E. Johnson's distinction ‘determinates‐determinables’ and Hans Reichenbach's notion of ‘coordinative definition’. (shrink)

Famously, Galilei made the ontological claim that the book of nature is written in the language of mathematics. Probably, if only implicitly, most contemporary natural scientists share his view. This paper, in contradistinction, argues that nature is only partly written in the language of mathematics; partly, it is written in the language of functions and partly in a very simple purely qualitative language, too. During the argumentation, three more specific but in themselves interesting theses are put forward: first (in Section (...) 3), there are more shapes than real numbers; second (in Section 4), the metrological notion ‘amount of substance’ can profitably be exchanged for ‘number of entities’; third (in Section 5), prototypical concepts will always be scientifically important. (shrink)

In this paper, I assess the ontological commitments of frame-based methods of knowledge representation. Frames decompose concepts into recursive attribute-value structures. Attributes are the general aspects by which a category or individual is described; their values are more or less specific properties that are assigned to the referential object. The question is: are these properties to be interpreted as universals or as tropes? Some trope theorists allege that an interpretation in terms of universals is incompatible with frames for individuals in (...) which the values of quality attributes are recursively specified by further attributes. I shall argue, however, that recursive extension poses a challenge, not specifically to the universals realist, but rather to realists about determinables as opposed to determinables nominalists. Moreover, it is suggested that even determinables realists are able to cope with recursively extended frames once they relativize relations between determinables and determinates to particular objects. It is indicated how these findings might bear on adjacent debates in the metaphysics of natural language. (shrink)

An electron clearly has the property of having a charge of þ1.6 10 19 coulombs, but does it also have the property of being charged ? Philosophers have worried whether so-called ‘determinable’ predicates, such as ‘is charged’, actually refer to determinable properties in the way they are happy to say that determinate predicates, such as ‘has a charge of þ1.6 10 19 coulombs’, refer to determinate properties. The distinction between determinates and determinables is itself fairly new, dating only to its (...) definition by the Cambridge logician W. E. Johnson early in the last century.1 But despite its newly minted condition the distinction has found little currency in on-going philosophical debates. Or at least until recently. Renewed interest in realist positions about properties, and arguments that the determinable-determinate relation may hold the key to understanding mental causation, have thrust Johnson’s distinction to the fore. With this new attention has also come new ‘optimistic’ positions that endorse the existence of determinable properties. David Armstrong, Evan Fales, and Sydney Shoemaker, among others, have all defended such optimistic accounts that take determinable predicates, such as ‘is charged’, to refer to determinable properties.2 In this paper, our goal is to carefully assess optimism and to argue that a pessimistic view, which rejects the existence of determinable properties, is actually the appropriate default position. (shrink)

According to Vázquez and Liz (Found Sci 16(4): 383–391, 2011), Points of View (PoV) can be considered in two different ways. On the one hand, they can be explained following the model of propositional attitudes. This model assumes that the internal structure of a PoV is constituted by a subject, a set of contents, and a set of relations between the subject and those contents. On the other hand, we can analyze points of view taking as a model the notions (...) of location and access. If we choose to follow the second approach, instead of the first one, the internal structure of a PoV is not directly addressed, and the emphasized features of PoV are related to the function that PoV are intended to have. That is, PoV are directly identified by their role and they can solely be understood as ways of accessing the world that bring some kind of perspective about it. Having this in mind, we would like to propose a notation that explains how to understand such access as a sort of models (that can allow the creation of concepts), independently of whether the precise PoV under consideration is impersonal or non-impersonal, its kind of content, and its subjective or objective character. First, we will present an account of some previous approaches to the study of points of view. Then, we will analyze what kind of structure the world is assumed to posses and how the access to it is possible. Third, we will develop a notation that explains PoV as qualitative dimensions by means of which it is possible to valuate objects and states of the world. (shrink)

This is a paper about The Causal Self-Referential Theory of Perception. According to The Causal Self-Referential Theory as developed by above all John Searle and David Woodruff Smith, perceptual content is satisfied by an object only if the object in question has caused the perceptual experience. I argue initially that Searle's account cannot explain the distinction between hallucination and illusion since it requires that the state of affairs that is presented in the perceptual experience must exist in order for the (...) perception to be veridical. Smith's account is interestingly different in that the descriptive content, i.e. the content that presents the perceptual object as having certain properties, does not determine the object of the experience. His account consequently does not require that the state of affairs that is presented in perception exists in order for the perception to have an object. Smith argues instead that perceptual reference is determined by a specific kind of demonstrative content. In this paper it is argued that Smith's account of demonstrative content is too indeterminate and in certain circumstances prescribes the wrong object. It is subsequently argued that the theory of demonstrative content can be modified so as to avoid these consequences. This modification involves deriving the conditions of satisfaction of seeing an object from the conditions of satisfaction of seeing the shape of the object, where the shape of the object is conceived of as a particularized property, what is also called a ‘trope’. (shrink)

This paper discusses a problem for Russellian propositions. According to Russellianism, each word in a sentence contributes its referent to the proposition expressed by the sentence. Russellian propositions have normally been conceived of as problematic for two reasons, viz. they cannot account for the unity of the proposition and they have problems with non-referring singular names. In this paper, I argue that Russellianism also faces a problem with respect to properties. It is inconsistent with both traditional realism and trope-theories. The (...) only theory of properties which is consistent with Russellianism is Platonism. Moreover, it is argued that Russellianism needs a particularly implausible version of Platonism. (shrink)

It is often argued that for a perceptual experience to be able to justify perceptual judgments, the perceptual experience must have a propositional content. For, it is claimed, only propositions can bear logical relations such as implication to each other. In this paper, this claim is challenged. It is argued that whereas perceptions and judgments both have intentional content, their contents have different structures. Perceptual content does not have a propositional structure. Perceptions and judgments can nevertheless have the same cognitive (...) significance. So the veridicality of a certain perceptual experience, can imply the truth of certain propositions. Consequently, perceptions can have non-propositional content, but even so justify perceptual judgments which have a propositional structure. (shrink)

The topic of this paper is the perception of properties. It is argued that the perception of properties allows for a distinction between the sense of the identity and the sense of the qualitative nature of a property. So, for example, we might perceive a property as being identical over time even though it is presented as more and more determinate. Thus, you might see an object first as red and then as crimson red. In this case, the property is (...) perceived as identical over time, even though the sense of the qualitative nature (the redness, the crimson redness) of the property is changing. The distinction between the sense of identity and the sense of quality is explicated in terms of perceiving a particular property, a trope, and perceiving it as an instance of a universal. It is subsequently argued that the perceived tropes cannot constitute the phenomenal character of the perceptual experience. (shrink)

Ce numéro thématique de la revue Philosophiques est consacré aux Conférences Hugues Leblanc qui ont eu lieu du 1er au 3 avril 2010 au Département de philosophie de l'Université du Québec à Montréal. À cette occasion, le conférencier invité était Kevin Mulligan, titulaire de la chaire de philosophie analytique au Département de philosophie de l'Université de Genève, qui a prononcé trois conférences sous le titre " Wittgenstein vs ses prédécesseurs austro-allemands ", publiées dans ce numéro. Mulligan y développe un de (...) ses thèmes historiques de prédilection, à savoir la dette de Wittgenstein, dans ses travaux sur l'esprit et le langage, à l'endroit de ses prédécesseurs austro-allemands. Comme le veut la formule des conférences Hugues Leblanc, nous avons réuni quelques collègues afin de discuter de quelques-uns des aspects des travaux du conférencier invité et nous avons ajouté, pour compléter ce numéro de Philosophiques, quelques articles originaux portant également sur d'autres aspects des travaux de Mulligan. On peut regrouper l'ensemble de ces contributions sous quatre des grands thèmes exploités par Mulligan en philosophie : le domaine de l'ontologie (incluant les relations, les tropes, les états de choses et les vérifacteurs), le domaine de la philosophie de l'esprit, celui des émotions et des valeurs, et enfin le thème historique de la philosophie austro-allemande, de Bolzano à Wittgenstein en passant par M. Scheler et la phénoménologie de Munich. Faute de pouvoir rendre compte dans cette préface de l'ensemble de ces riches contributions à ce numéro de Philosophiques, je me contenterai de renvoyer le lecteur aux résumés, préparés par les auteurs de ces contributions, qui précèdent chacun des articles. (shrink)

The thesis investigates how the notion of ‘ontology’ has been used in the field of medical informatics and knowledge representation. Partly to investigate what an ‘ontology’ can be said to represent and what requirements we can have on a good ‘ontology’. The author studies the already existing medical terminologies and ‘ontologies’ to elucidate what theories they are based on. The terminological theories of Eugen Wüster and his legacy in medical informatics are studied. It is noted that terminological theories handling linguistic (...) entities are not suited for describing and representing medical theories, since these are assumed to refer to the real world, which consists of more than linguistics entities. In order to find a metaphysical theory in accordance with the world view that medical theories describe, the author turn to the critical realism of Karl Popper, Roy Bhaskar and Ilkka Niiniluoto. These theories, taken together with the metaphysical theories regarding universals of David M Armstrong and Ingvar Johansson, are used as a basis to find out what an ‘ontology’ can be said to represent, and what criteria and requirements we can have on a good ‘ontology’. Among the requirements presented in the thesis are stability, interoperability and the requirement that a good ‘ontology’ must be in accordance with our best available theories. Finally, it is discussed how these requirements and criteria can come into conflict with one another, and how one should reason when handling these trade-offs. The author emphasises the importance of including the medical expertise in the process of creating ‘ontologies’, in order to produce as useful and relevant ‘ontologies’ as possible. (shrink)

Faced with the conflict between our intuition that no two things ever share a place at a time and these counterexamples to it, philosophers usually try to find a happy medium between sticking with the original intuition and rejecting all of its counterexamples or giving up the whole intuition and accepting all the counterexamples. Some counterexamples might be rejected on conceptual grounds : one may deny for instance that absolute space is in the same place that the entities located therein (...) on the ground that absolute space is not itself located. One may also reject the distinct existence of some of the entities put forward in the examples : determinable properties might be nothing else than boolean combinations of determinate ones, spots on a screen may be just four dimensional worms whose passing through each other is a matter of part sharing rather than compenetration, etc. But as long as the conceivability of at least one counterexample is granted, the impenetrability intuition has to be weake- ned. To this end, one can weaken either the modal force of the impenetrability intuition or its scope. One may claim for instance that things are impenetrable in our world, but grant that the remaining counterexample refers to genuine metaphysical possibilities (although not natural ones). On the other hand, on may claim that the impenetrability intuition does not bear on every entity in the outside world, but only on some of them. Locke, famously, did not want to give up the metaphysical necessity of impenetrability, but agreed to restrict it to entities of the same kind.4 One other way to restrict the scope of the intuition of impenetrability is to claim that only independent entities (substances, or things proper) are impenetrable , or that only material entities are. (shrink)

G. F. Stout is famous as an early twentieth century proselyte for abstract particulars, or tropes as they are now often called. He advanced his version of trope theory to avoid the excesses of nominalism on the one hand and realism on the other. But his arguments for tropes have been widely misconceived as metaphysical, e.g. by Armstrong. In this paper, I argue that Stout’s fundamental arguments for tropes were ideological and epistemological rather than metaphysical. He moulded his scheme to (...) fit what is actually given to us in perception, arguing that our epistemic practices would break down in an environment where only universals were given to us. (shrink)

Dispositional Essentialism and Ontic Structural Realism aim to account for modality. Dispositional Essentialism takes properties to account for laws. In particular, it takes determinate properties to account for laws of nature, which are determinable. Ontic Structural Realism does the reverse. According to Steven French, Ontic Structural Realism takes laws and symmetries to be part of the fundamental structure of the world. Determinate properties are “dependent” on laws. The core difference between Dispositional Essentialism and Ontic Structural Realism’s accounts of modality is (...) the direction of the dependence between properties and laws. As a result, French describes Ontic Structural Realism as a reverse-engineering of Dispositional Essentialism, and Chakravartty differentiates them by saying that Dispositional Essentialism gives a bottom-up account of modality whereas Ontic Structural Realism’s is top-down. Both views face significant problems. The main problems these views face stem from relational individuation. Properties are individuated by their relations to further properties. As such, it is hard to see how they can be metaphysically prior to those relations as per Dispositional Essentialism. Equally, laws are relations between properties. As such, it is hard to see how they could be metaphysically prior to the properties they relate as per Ontic Structural Realism. Both properties and laws seem dependent on each other. By requiring one to come first and explain the other, dispositional essentialists and ontic structural realists end up in a chicken-egg scenario. I propose a hybrid between Dispositional Essentialism and Ontic Structural Realism. My hybrid view does away with the dogma of ontological priority between properties and laws. Instead, properties and laws symmetrically depend. I argue that my hybrid view is the way out of the chicken-egg-property-law conundrum. It paves a new way for making sense of modality from a structuralist perspective. (shrink)

Ingvar Johansson has argued that there are not only determinate universals, but also determinable ones. I here argue that this view is misguided by reviving a line of argument to the following effect: what makes determinates falling under a same determinable similar cannot be distinct from what makes them different. If true, some similarities — imperfect similarities between simple determinate properties — are not grounded in any kind of property-sharing. I suggest that determinables are better understood as maximal disjunctions of (...) brutely and imperfectly similar determinates. Such brute similarities have been thought to clash with realism about universals. I argue that this worry stems from the mistaken assumption that perfect and imperfect similarities are relations of a same kind. If exact and inexact resemblances are distinct and heterogeneous explananda, the realist about universals might explain the first thanks to property-sharing, while happily leaving imperfect similarities between properties unexplained. (shrink)

Table of Formal and Descriptivists Ontologists (PDF - from Bernard Bolzano to present time) Ontologists of the 19th and 20th Centuries (a selection of critical judgments about some of the greatest philosophers of the recent past) Living Ontologists (a list of authors with an interest in ontology, with synthetic bibliographies).

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...) between them. (shrink)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)