Universals

Both philosophers of perception and analytic metaphysicians apply the tropes/universals distinction when considering the ontological status of visual properties. One way of arguing in favor of the trope interpretation of visual properties is to claim that the way in which we visually experience properties makes it plausible to characterize them as tropes. In this paper, I argue for a different position, namely that the way in which we visually experience properties provides a serious challenge for the trope interpretation, but not (...) for an interpretation in terms of universals. More specifically, I claim that the trope interpretations of visual properties have problems accounting for the fact that ordinary, veridical visual experiences can present the properties of two objects as strictly similar. (shrink)

Book review of David Armstrong's "Sketch for a Systematic Metaphysics", written in Spanish. || Reseña del libro "Sketch for a Sytematic Metaphysics", escrito por David Armstrong.

Book review of Earl Conee and Ted Sider's "Riddles of Existence: A Guided Tour of Metaphysics", written in Spanish. || Reseña del libro "Riddles of Existence: A Guided Tour of Metaphysics", escrito por Earl Conee y Ted Sider.

A short reconstruction of the essays included in Quine's 'From a Logical Point of View'.

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not be any (...) different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g., talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

This paper could be thought of as divided into two parts. In the first I show through a series of thought experiments that it is a mistake to think of one’s individual experience as necessarily belonging to only one particular place, time and organism. In repetitions across a universe large enough to host them, the particular experience that one finds oneself in, which can be individuated only by the detailed type that is the entirety of its momentary subjective content, would (...) exist equally in every occurrence of that type, much as a moment in the plot of a novel would exist equally in every copy of that novel. Each distinguishable subjective moment of experience is thus a ‘moment universal’. In the second part of the paper I draw from this the conclusion that there could not be any proper possessors of lines of experience - that there are no proper persons - no continuing subjects of consciousness and self-interest. About five years after writing this paper I came to see that the particular identity of an experience could not be confined by types of momentary subjective detail any more than it could be confined by particular places, times or organisms. All experience is equally here, now and mine and all conscious organisms are equally I. My argument for this crucial further development is presented in ‘One Self – The Logic of Experience’, Inquiry 33 (1991): pp. 39-68. (shrink)

This paper responds to the contributions by Alexander Bird, Nathan Wildman, David Yates, Jennifer McKitrick, Giacomo Giannini & Matthew Tugby, and Jennifer Wang. I react to their comments on my 2015 book Potentiality: From Dispositions to Modality, and in doing so expands on some of the arguments and ideas of the book.

The problem of universals remains a philosophical theme not only in ontology but also in epistemology. In Husserl, there are particular universals, the noematic ‘X’, the identical, and universals stricto sensu, atemporal universal names. In this paper, I present the theme as it is analyzed by Husserl in Ideas I. In the first section, I describe the trajectory to the universals highlighting the parallelism between noese and noema. In the second section, I draw the reflection of this problem on the (...) philosophy of language which is also affected by the noeticnoematic correspondence. In the third and last section, I show how the investigation about the universals moves in the noematic sphere, and conclude defending the possibility of reaching the universal strict sense departing from the noematic ‘X’. (shrink)

Are concrete objects in some sense made up of the properties they exemplify? A distinguished tradition holds they are. I begin by defending the distinction: there is a real and not just semantic distinction between asserting and denying that concrete objects have their properties as parts. I then argue in favor of the view that concrete objects are not made up of their parts. First, this view has less ontological baggage than its opponent. Next, the supposed advantages of the alternative (...) view—its superiority in understanding persistence, exemplification, or the possibility of diverse duplicates—dissipate under analysis. (shrink)

The possibility of multilocation --- of one entity having more than one exact location --- is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalism about persistence. One of the most pressing challenges for multi-location theorists is that of making sense of exact location --- in that extant definitions of exact location entail a principle called Functionality, according to which nothing can have more than one exact location. Recently in a number of promising papers, Antony (...) Eagle has proposed and defended a definition of exact location in terms of weak location that does not entail Functionality. This paper provides the first thorough assessment of Eagle’s proposal. In particular, we argue that it cannot account for (i) location of immanent universals, (ii) multi-location of mereologically changing three-dimensional objects , (iii) multi-location of mereologically complex objects, and (iv) mereologically simple but extended objects. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

David Armstrong accepted the following three theses: universals are immanent, laws are relations between universals, and laws govern. Taken together, they form an attractive position, for they promise to explain regularities in nature—one of the most important desiderata for a theory of laws and properties—while remaining compatible with naturalism. However, I argue that the three theses are incompatible. The basic idea is that each thesis makes an explanatory claim, but the three claims can be shown to run in a problematic (...) circle. I then consider which thesis we ought to reject and suggest some general lessons for the metaphysics of laws. (shrink)

Is it possible to get by with just one ontological category? We evaluate L.A. Paul's attempt to do so: the mereological bundle theory. The upshot is that Paul's attempt to construct a one category ontology may be challenged with some of her own arguments. In the positive part of the paper we outline a two category ontology with property universals and kind universals. We will also examine Paul's arguments against a version of universal bundle theory that takes spatiotemporal co-location instead (...) of compresence or coinstantiation as the feature by which we can identify genuine bundles. We compare this novel theory, bundle theory with kinds, and Paul's mereological bundle theory and apply them to a case study concerning entangled fermions and co-located bosons. (shrink)

In his Moderate Realism and Its Logic (Yale, 1996), Donald Mertz argues that the traditional ontology of nonpredicable substances and predicable universals is beset by “intractable problems,” “harbors an insidious error,” and constitutes a “stumbling block” for the ontologist. By contrast, a onecategory ontology consisting of relation instances (and combinations thereof) is sustainable, and indeed the only way of avoiding commitment to bare particulars. The success of the project turns on Mertz’s claim that every relation instance has a linking aspect, (...) so that (in a sense) even Socrates is a predicate. I argue that, ironically, it is this very feature of a relation instance that undermines Mertz’s entire theory of predication, effectively preventing any connections from being formed between the instances that allegedly compose an ordinary individual such as Socrates. (shrink)

G. E. L. Owen, in his infl uential paper “Inherence,” talks of “vink,” a name he has created for a particular shade of the color pink, and this “vink” serves as an individual in the Aristotelian category of quality. Owen was one of the first to aim to discredit the belief that J. L. Ackrill and his camp espoused, the belief that Aristotle thought that “general attributes are not in individuals, particular attributes are not in more than one individual.” I (...) postulate that there is nothing here that does not preclude the existence of transferable nonsubstantial particulars, and base this view on passages from Aristotle’s Categories and certain examples found in Ammonius’s commentary and On Colors. Given this, a nonsubstantial particular of “vink” would not have to rely on having inhered in just one particular body to have existence, however, it would have to inhere in at least one particular body. (shrink)

‘Nominalism’ refers to a family of views about what there is. The objects we are familiar with (e.g. hands, laptops, cookies, and trees) can be characterized as concrete and particular. Nominalists agree that there are such things. But one group of nominalists denies that anything is non-particular and another group denies that anything is non-concrete. These two sorts of nominalism, referred to as ‘nominalism about universals’ and ‘nominalism about abstract objects’, have common motivations in contemporary philosophy.

The purpose of this book is to address the controversial issues of whether we have a fixed set of ontological categories and if they have some epistemic value at all. Which are our ontological categories? What determines them? Do they play a role in cognition? If so, which? What do they force to presuppose regarding our world-view? If they constitute a limit to possible knowledge, up to what point is science possible? Does their study make of philosophy a science? Departing (...) from the novelty –but no exclusively- of considering distinctions to be the subject matter of thought and language -that is, of reference and meaning- the author arrives at a radical novel conception of the ontological categories. The observations and arguments presented in it constitute a strong case against established and well-rooted tenets, if not paradigms, of contemporary philosophy, beyond ontology and epistemology. The entailing conclusions, open the door to a revival of the discipline and the importance of its studies, as the science of the constitutive elements of knowledge of a non-empirical nature. (shrink)

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how his formalisms make sense that needs to be (...) filled by appeal to my theory of Aspects. (shrink)

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs are (...) bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

In the latter half of the 19th century, economic thought in the Germanspeaking world was dominated, both intellectually and academically, by the so-called historical school, from Wilhelm Roscher to Gustav Schmoller and others. In 1871, the Austrian Carl Menger published his Grun&tze der Volkswirtschaftslehre (Menger, 1976 (1871)), customarily referred to as one of the three simultaneous discoveries of marginalist economics-the other two marginalist ‘revolutionaries’ being Jevons in England and Walras in France. Twelve years later, in 1883, Menger published a major (...) methodological treatise entitled Untersuchungen iiber die Methode der Socialwissenschaften und der Politischen Oekonomie insbesondere (Menger, 1963 (1883)). This book included criticisms of some of the historicist principles of doing economics. In the same year, Schmoller, leader of the German historicists, wrote a critical review of Menger’s book (Schmoller, 1883). Menger reacted forcefully with a more straightforwardly polemical small book, Die Irrthiimer des Historismus in der deutschen National6konomie (Menger, 1884). Commentaries by others appeared in later years, but this brief episode amounted to what has thereafter been called the Methodenstreit between Menger and Schmoller. It has been established as perhaps the most famous methodological controversy in the history of the social sciences. (shrink)

لم يكن العلم يومًا غريبًا عن الفلسفة، بل لقد أدت العلاقة الجدلية المستمرة بينهما إلى مزيد من المصداقية والقبول لبعض النماذج التفسيرية، سواء منها ما كان في الأصل نموذجًا فلسفيًا ثم وجد دعمًا علميًا – كنموذج الذرات والفـراغ عند «ديمرقــريطس» وتبنى النظرية الذرية الحديثة لإطاره العام – أو ما كان منها نموذجًا علميًا تم تداوله فلسفيًا – كنموذج النقاط المادية المتجاذبة عند »نيوتن« وتبنى معظم فلاسفة الحقبة الحديثة له. وفي هذا المقال يهتم الدكتور صلاح عثمان بمناقشة نموذج شجرة الكون لفيلسوف (...) العلم الكندي المعاصر «ستورس مكال»، وأوجه الاختلاف بينه وبين النماذج التفسيرية المماثلة القائمة على فكرة متصل الزمان – مكان، ويُركز على ما يقترحه النموذج من حلٍ لواحدةٍ من أصعب مشكلات العلم والمنطق والفلسفة، ألا وهى مشكلة تحديد شروط الصدق للقضايا المنطقية الشرطية المناقضة للواقع؛ أعني تلك التي لا تُعبر عن حوادث وقعت بالفعل، بل كان من المفترض أن تقع، وبالتالي يصعب تحديد قيمة صدق (صادقة أو كاذبة) لها. هذا النوع من القضايا يرتبط ارتباطًا وثيقًا بتصور القانون العلمي، وتحفل به المقاربات التاريخية والخطط المستقبلية للأفراد والحكومات، لذا تعددت محاولات معالجته من قبل الفلاسفة، وهو ما تجلى مثلاً في النظرية الاستدلالية للقضايا الشرطية التي اقترحها «نيلسون جودمان», ونظرية العقول واعتقاداتها للفيلسوف الإنجليزي «فرانك رامزي», ونظرية العوالم الممكنة للفيلسوفين الأمريكيين المعاصـرين «روبرت ستالنيكر»، و«ديفيد لويس»، وأخيرًا نظرية النموذج الشجري لـ «ستورس مكال». وينتهي المقال إلى نتيجة مؤداها نجاح النموذج في معالجة المشكلة، وإن كان ذلك مرهونًا بالتأكيد على موضوعية قيم الصدق والاحتمال التي تحوزها القضايا الشرطية في مقابل الذات المُدركة، تلك التي تنتقل عبر غُرف انتظار متعددة تقترب رويدًا رويدًا من الحقيقة. . (shrink)

In this paper, we discern different types of possible relations. We focus on the distinction between internal and external relations and their various possible sub-types. In the first section, we present what is nowadays more or less the standard distinction between internal and external relations. In the second section, we make two contributions to the literature of internal relations: a new taxonomy of internal relations and a novel distinction between formal and material ontological relations. In the third section, we discuss (...) three distinctions among external relations, in particular the distinction between relata-specific and relata-unspecific relations. We argue that relata-specific external relations are a promising but incomplete solution to the vexed problem of Bradley’s relation regress. (shrink)

According to Lowe’s Four-Category Ontology, the general nature of the entities belonging to the four fundamental categories is determined by the basic formal ontological relations (instantiation and characterization) that they bear to other entities. I argue that, in closer analysis, instead of one formal relation of characterization, this category system introduces two, one connecting particulars and another universals. With regard to the characterization relation connecting particulars, it remains an open issue whether it would need further analysis. By contrast, the status (...) of instantiation as an internal relation is comparatively clear. Nevertheless, because of holding by virtue of the essences of particulars, the holding of instantiation between universals and particulars rules out the possibility of kind change and entails that particulars are essentially rigidly dependent on universals. Finally, Lowe’s analysis of necessary exemplification gives us some reasons to suspect that some property universals need not have any instances in order to exist. (shrink)

Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retrieval of data in electronic health records (EHRs). Its purpose is to avoid the ambiguity that arises when statements in an EHR refer to disorders or other entities on the side of the patient exclusively by means of compound descriptions utilizing general terms such as ‘pimple on nose’ or ‘small left breast tumor’. In (...) this paper, we describe the theoretical foundations of this paradigm and show how it is being applied to the solution of analogous problems of ambiguous identification in the fields of digital rights management, corporate memories and decision algorithms. (shrink)

In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category Ontology is obliged to (...) resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)

This paper addresses the ontological status of the ontological categories as defended within E.J. Lowe’s four-category ontology (kinds, objects, properties/relations, and modes). I consider the arguments in Griffith (2015. “Do Ontological Categories Exist?” Metaphysica 16 (1):25–35) against Lowe’s claim that ontological categories do not exist, and argue that Griffith’s objections to Lowe do not work once we fully take advantage of ontological resources available within Lowe’s four-category ontology. I then argue that the claim that ontological categories do not exist has (...) no undesirable consequences for Lowe’s brand of realism. (shrink)

In Metaphysics A, Aristotle offers some objections to Plato’s theory of Forms to the effect that Plato’s Forms would not be explanatory in the right way, and seems to suggest that they might even make the explanatory project worse. One interesting historical puzzle is whether Aristotle can avoid these same objections to his own theory of universals. The concerns Aristotle raises are, I think, cousins of contemporary concerns about the usefulness and explanatoriness of abstract objects, some of which have recently (...) been receiving attention in the philosophy of mathematics. After discussing Aristotle’s objections and their contemporary cousins, the paper discusses some of the main available lines of response to these sorts of challenges, before concluding with an examination of whether these responses could assist Plato or Aristotle in responding to these challenges. (shrink)

Scientific realists argue that a good track record of multi-agent, and multiple method, validation of empirical claims is itself evidence that those claims, at least partially and approximately, reflect ways nature actually is independent of the ways we conceptualize it. Constructivists contend that successes in validating empirical claims only suffice to establish that our ways of modelling the world, our “constructions,” are useful and adequate for beings like us. This essay presents a thought experiment in which beings like us intersubjectively (...) validate claims about properties of particular things in nature under conditions in which those beings have profoundly different personal phenomenological experiences of those properties. I submit that the thought experiment scenario parallels our actual situation, and argue that this shows that successes in intersubjectively validating empirical claims are indeed enough to claim victory for the realist. More specifically, I champion a variation of realism that marries Ronald Giere’s brand of ‘perspectival realism’ with Philip Kitcher’s ‘real realism,’ and posits that causal relations between ourselves and properties instantiated in nature ground our references to the relevant properties even though our conceptions of them are perspective relative. (shrink)

D. M. Armstrong famously claims that deterministic laws of nature are contingent relations between universals and that his account can also be straightforwardly extended to irreducibly probabilistic laws of nature. For the most part, philosophers have neglected to scrutinize Armstrong’s account of probabilistic laws. This is surprising precisely because his own claims about probabilistic laws make it unclear just what he takes them to be. We offer three interpretations of what Armstrong-style probabilistic laws are, and argue that all three interpretations (...) are incompatible either with some feature of Armstrong’s broader metaphysics or with essential features of his account of laws (or both). (shrink)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in which the (...) brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

Resemblances obtain not only between objects but between properties. Resemblances of the latter sort - in particular resemblances between quantitative properties - prove to be the downfall of a well-known theory of universals, namely the one presented by David Armstrong. This paper examines Armstrong's efforts to account for such resemblances within the framework of his theory and also explores several extensions of that theory. All of them fail.

Gonzalo Rodriguez-Pereyra offers a fresh philosophical account of properties. How is it that two different things (such as two red roses) can share the same property (redness)? According to resemblance nominalism, things have their properties in virtue of resembling other things. This unfashionable view is championed with clarity and rigor.

The intersection of Foucault and Hadot's work in the philosophy of antiquity is a dense and fruitful meeting. Not only do each of the philosophers offer competing interpretations of antiquity, their differences also reflect on their opposing assessments of the contemporary situation and the continuing philosophical debate between the universal and the relative. Unpacking these two philosophers’ disagreements on antiquity sheds light on how Hadot’s commitment to the Universal and Foucault’s commitment to an aesthetics of existence stem from their diagnoses (...) of the present and the persistent philosophical issue of universalism. This line of analysis is especially productive to pursue in relation to Hadot and Foucault because of the rigor of their thought, the lack of polemics in its debate, and the importance of both thinkers to philosophy generally. (shrink)

Vallicella’s influential work makes a case that, when formulated broadly, as a problem about unity, Bradley’s challenge to Armstrongian states of affairs is practically insurmountable. He argues that traditional relational and non-relational responses to Bradley are inadequate, and many in the current metaphysical debate on this issue have come to agree. In this paper, I argue that such a conclusion is too hasty. Firstly, the problem of unity as applied to Armstrongian states of affairs is not clearly defined; in fact, (...) it has taken a number of different forms each of which need to be carefully distinguished and further supported. Secondly, once we formulate the problem in more neutral terms, as a request for a characterization of the way that particulars, universals, and states of affairs stand to one another, it can be adequately addressed by an Armstrongian about states of affairs. I propose the desiderata for an adequate characterization and present a neo-Armstrongian defense of states of affairs that meets those desiderata. The latter relies on an important distinction between different notions of fundamentality and existential dependence. (shrink)

Trope theory is the view that the world consists (wholly or partly) of particular qualities, or tropes. This admittedly thin core assumption leaves plenty of room for variation. Still, most trope theorists agree that their theory is best developed as a one-category theory according to which there is nothing but tropes. Most hold that ‘sameness of property’ should be explained in terms of resembling tropes. And most hold that concrete particulars are made up from tropes in compresence (for an overview, (...) including an introduction to some alternative versions of the view, cf. Maurin, 2014). D. M. Armstrong disagrees. He thinks the world is a world of immanent universals, the thin particulars in which those universals are instantiated, and the states of affairs that—thereby—exist. He holds that ‘sameness of property’ should be explained in terms of numerically identical universals or—if the resembling things are the universals themselves—in terms of partially identical universals. And he believes that concrete particulars are made up from ‘thin particulars’ in which a (sufficient) number of universals are instantiated. In spite of their disagreements, proponents of tropes owe Armstrong a debt of gratitude. First, for being one of the theory’s earliest, most serious, and—not least—most prominent, critics (Armstrong for the first time considers, and rejects, what he then labels ‘particularism’, in his 1978a). But also for being one of the theory’s most ardent champions. Already in his 1989a, Armstrong regrets his 1978-rejection of the view. Equivalence classes of exactly resembling tropes, he now admits, for most purposes “serve as an excellent substitute for universals” (Armstrong 1989a, 122). But then why isn’t Armstrong a trope theorist? In this paper, Armstrong’s main reasons for rejecting the trope view are critically scrutinized. All of them, it is maintained, fail to convince. If this argument is accepted, Armstrong seems to have no—or, at least, no good—reason for not accepting the existence of tropes. But, then, ought Armstrong to have been a trope theorist? If the ‘best’ version of the trope view turns out to be ontologically more parsimonious than Armstrong’s own theory of universals, then, yes. That there is a version of the trope view, a version that is not (or, at least not seriously) considered by Armstrong, that is ontologically more parsimonious than the universals view, is argued in the next section. Why none of Armstrong’s reasons for preferring universals to tropes manage to convince, is explained in the section after that. First, however, and in order to avoid a common misunderstanding of the trope view and, as a consequence, of why one ought to reject it, a few more words about the core-difference between tropes and universals, and about how this difference matters (as well as does not matter) to what—and how well—these theories explain. (shrink)

It is commonly held that Bradley’s regress has a solution within a trope ontology. This seems to happen when a bundle is understood as constituted by non-transferable tropes. It also seems to happen when a bundle is understood as constituted by transferable tropes related by a relational trope of compresence whose existence specifically depends on those relata. In this article I demonstrate that these proposals fail in addressing the essential question that underlies the regress, incurring in a question-begging response already (...) anticipated by Bradley. (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of categories, (...) dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

We propose a formalization of a realist ontology using first order logic with identity and allowing quantification over terms representing both individuals and universals. In addition to identity, the ontology includes also relational predicates such as subtype, instantiation, parthood, location, and inherence. Inspired in part by Davidson’s treatment of events, the ontology includes also various relations linking events to their participants and to the times at which they occur.

Non-Relational Realism is a popular solution to the Bradleyan regress of facts or truths. It denies that there is a relational universal of exemplification; for an object a to exemplify a universal F-ness, on this view, is not for a relation to subsist between a and F-ness. An influential objection to Non-Relational Realism is that it is unacceptably obscure. The author argues that Non-Relational Realism can be understood as a selective application of satisfaction semantics to predicates like ‘exemplify’, and that (...) so understood, it is not obscure. This kind of selective use of satisfaction semantics may be feasible in other contexts as a means of making theories more parsimonious. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...) I examine two major types of BT developed by Russell and by G. F. Stout with the intention of showing that (1) the seemingly innocuous concept of "a quality" employed by these versions cannot be used to state their theories coherently, and (2) the fatal problems that the BT encounters point to a more satisfactory and interesting alternative to both the Substratum Doctrine and the BT. This is a view that I call the Qualified Particulars Theory. In a final section I draw morals from this discussion that apply to the analogous Humean view that a mind is a "bundle of perceptions and sensations.". (shrink)

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)