Philosophy and Phenomenological Research, EarlyView.

My aim in this paper is to discuss the logical form of exemplification. In order to achieve this goal, I analyze three views on the logical form of exemplification, namely, Gustav Bergmann's logical realism, Wilfrid Sellars's meta-linguistic expressivism, and Javier Cumpa's logical eliminativism. I start by examining the account advanced by Bergmann in his 1960 essay "Ineffability, Ontology, and Method," according to which the logical form of exemplification is represented by the juxtaposition of logical signs in a sentence. Then I (...) consider two alternatives to Bergmann's realism, namely, Sellars's meta-linguistic expressivism, according to which exemplification is a quasi-semantical relation that is accounted for at a meta-linguistic level; and Cumpa's molecular theory of exemplification—which I will call logical eliminativism—according to which exemplification is an eliminable constituent of facts. I conclude that neither the account advanced by Sellars nor the one provided by Cumpa is preferable to Bergmann's account of the logical form of exemplification, while offering a defense of the latter. (shrink)

Typical structural universals are not just the mereological sum of their constituents. Hence, there is the Structure Problem of explaining this non-mereological structure. The Instantiation Problem is that the predicate "U is instantiated by x, y, etc., in that order" is ill-suited to be a primitive, unanalyzed predicate. The proposed solution to these problems is based on the observation that if universal U is said to supervene upon universals V, W, etc., then it is the instantiation of U that supervenes (...) on the instantiation of V, W, etc. Assuming there are few subvenient universals, which is admittedly a speculation, their instantiation may be explained in ways that would be uneconomic if there were too many. (shrink)

1. Categories and the Scientific Turn of Metaphysics: The Notion of World-Fundamentality What are the fundamental inhabitants of the world? This question, as old as it is new, is about the fundamental structure of our world. Is our world a world of Aristotle's ordinary substances, Locke's physical substances, Husserl's wholes, Wittgenstein's facts, Sellars's processes, or Quine's sets? In order to distinguish the sort of metaphysical fundamentality at stake in this discussion from other possible types of fundamentality, I shall call it (...) from now on "world-fundamentality." In this article I want to make a proposal in the context of this metaphysical dispute. The proposal is the addition of a new criterion of world-fundamentality to the existing catalog of independence and simplicity, among some other prominent classical examples. I call this criterion "the materialist criterion of world-fundamentality" because it states that metaphysicians should not decide the question of whether our world is a world of facts rather than a world of sets or other categories without considering the explanatory power of such categories to account for the relation between "the manifest image" and "the scientific image," to use the words of Wilfrid Sellars. (shrink)

The aim of this paper is to defend a naturalistic approach to instantiation and the Principle of Instantiation. I argue that the instantiation of an ordinary property F consists of two coordinated relationships at the levels of the manifest and scientific images, namely, constituency and entailment. Also, I offer an account of the Principle of Instantiation related to this conception of instantiation based on the notion of scientific prediction.