Exemplification and Constituent Realism: A Clarification and Modest Defense

In this article I present and (modestly) defend a hybrid position which we may call a Platonist constituent ontology. More specifically, I present a version of exemplification which entails (1) a certain form of Platonism, (2) a constituent ontology of ordinary objects, (3) a view of exemplification as a “tiedto” nexus, and (4) a view of properties as abstract objects that are non-spatially “in” ordinary objects. I clarify two sets of preliminary issues, present my hybrid analysis of exemplification, raise and seek to undercut an argument against my constituent realism, and surface some of the costs and benefits relevant to assessing the relative merits of relational versus constituent realism.     

Exemplification and Parthood

Consider the things that exist—the entities—and let us suppose they are mereologically structured, that is, some are parts of others. The project of ontology within the bounds of bare mereology use this structure to say which of these entities belong to various ontological kinds, such as properties and particulars. My purpose in this paper is to defend the most radical section of the project, the mereological theory of the exemplification of universals. Along the way I help myself to several hypotheses: the existence of merely possible worlds; that particulars have thisnesses; and that mereology is far from classical. Moreover, the way I characterize instantiation might be judged too complicated to be plausible. At the end of the paper, I reply to these objections based on complexity.     

Exemplification as Explanation

In this paper I critically investigate an unorthodox attempt to metaphysically explain in virtue of what there are states of affairs. This is a suggestion according to which states of affairs exist thanks to, rather than, as is the common view, in spite of, the infinite regress their metaphysical explanation seems to engender. I argue that, no matter in which form it is defended, or in which theoretical framework it is set, this suggestion cannot provide us with the explanation we crave.     

Exemplification, Then and Now

Exemplification can be found in ontologies from the ancient world, such as those of Plato and Aristotle, and more recent ontologies, in particular those that take what exists to be determined by the empiricist’s Principle of Acquaintance. This study examines some of the ways in which exemplification takes different forms in these different ontologies. Exemplification has also been criticized as an ontological category. This paper examines a number of these criticisms, to see the extent to which they are viable.     

Belief-Ful Realism and Scientific Realism

Despite tensions between Tillich's category of belief-ful realism and a view of science that embraces metaphysical and epistemological realism, a constructive relationship can be developed between the two. Both are based on common understandings about reality. Belief-ful or theonomous realism thus affirms scientific realism. On the other hand, scientific realism is open to the ecstatic, self-transcending elements of belief-ful realism. Finally, Tillich's formulation of the relationship between culture and religion can be reformulated specifically to include scientific and technological culture.     

Scattered Exemplification and Many-Place Copulas

Can there be relational universals? If so, how can they be exemplified? A monadic universal is by definition capable of having a scattered spatiotemporal localization of its different exemplifications, but the problem of relational universals is that one single exemplification seems to have to be scattered in the many places where the relata are. The paper argues that it is possible to bite this bullet, and to accept a hitherto un-discussed kind of exemplification relation called ‘scattered exemplification’. It has no immediate symbolic counterpart in any Indo-European natural language or in any so far constructed logical language. In order to remedy this, a notion called ‘many-place copula’ is introduced, too.     

Exemplification as molecular function

Since the publication of Universals and Scientific Realism (Armstrong 1978a, b) until Sketch for a Systematic Metaphysics (Armstrong 2010), via Universals: An Opinionated Introduction (Armstrong 1989), a World of States of Affairs (Armstrong 1997), and Truth and Truthmakers (Armstrong 2004), David Armstrong has developed one of the most influential theories of instantiation in contemporary analytic metaphysics (see, for example, Lewis, in Aust J Phil 61(4), 343–377, 1983; Baxter in Aust J Phil, 79, 449–464, 2001; Forrest, in Aust J Phil, 83, 213–228, 2006). Instantiation has been advocated by Armstrong to give a solution to what he has called the “pressing problem” of “the multiple location of property universals” (Armstrong, in Universals: An opinionated introduction. University Press, Cambridge, 1989, pp. 89–90). Here I argue that Armstrong’s theory of instantiation fails to solve the problem because it involves two kinds of instantiation to account for particulars “having” and “sharing” universals. As a viable alternative to Armstrong’s theory, I propose a theory of instantiation capable of accounting for both phenomena in a univocal way.     

From Standard Scientific Realism and Structural Realism to Best Current Theory Realism

I defend a realist commitment to the truth of our most empirically successful current scientific theories—on the ground that it provides the best explanation of their success and the success of their falsified predecessors. I argue that this Best Current Theory Realism (BCTR) is superior to preservative realism (PR) and the structural realism (SR). I show that PR and SR rest on the implausible assumption that the success of outdated theories requires the realist to hold that these theories possessed truthful components. PR is undone by the fact that past theories succeeded even though their ontological claims about unobservables are false. SR backpeddles to argue that the realist is only committed to the truth about the structure of relations implied by the outdated theory, in order to explain its success. I argue that the structural component of theories is too bare-bones thin to explain the predictive/explanatory success of outdated theories. I conclude that BCTR can meet these objections to PR and SR, and also overcome the pessimistic meta-induction.     

A Correspondence Theory of Exemplification

What is exemplification? A proposition that attributes a property to an object is true if the object exemplifies the property. But according to the correspondence theory, a proposition is true if the corresponding fact exists. So if the correspondence theory is correct, an exemplification of a temporal property by an object is simply the concrete circumstance of the object’s having the property. But since not all properties are temporal, not all exemplifications are circumstances, and we need to recognise timeless as well as temporal facts. This distinction allows us to solve the problem of converse relations, and to give an account of the logically complex facts which deduction allows us to know.     

Exemplification Effects of Multimedia Enhancements

This research addresses multimedia effects through the lens of exemplification, thereby providing insight into consequences of using multimedia to embellish news content. Specifically, the study examines whether the vivid display of multimedia enhancements could influence the way people perceive issues reported in the accompanying stories. A 3 × 2 × 2 mixed factorial experiment was conducted with exemplar valence and exemplar vividness presented via multimedia elements and time of response serving as factors. According to the results, the content of multimedia additions created a shift in issue perception. The more interesting finding was the interaction effect of valence and vividness in multimedia exemplification. Valence of highly vivid exemplars was more likely to bias issue perception than did valence of non-vivid exemplars. This effect occurred in the presence of identical, two-sided textual content across all conditions. Theoretical and practical implications of the findings are discussed.     

Qualities, Relations, and Property Exemplification

The question whether qualities are metaphysically more fundamental than or mere limiting cases of relations can be addressed in an applied symbolic logic. There exists a logical equivalence between qualitative and relational predications, in which qualities are represented as one-argument-place property predicates, and relations as more-than-one-argument-place predicates. An interpretation is first considered, according to which the logical equivalence of qualitative and relational predications logically permits us ontically to eliminate qualities in favor of relations, or relations in favor of qualities. If metaphysics is understood at least in part as an exercise in ontic economy, then we may be encouraged to adopt a property ontology of qualities without quality-irreducible relations, or relations without relation-irreducible qualities. If either strategy is followed, the choice of reducing qualities to relations or relations to qualities will need to be justified on extra-logical grounds. These might include a perceived greater intuitiveness, explanatory fecundity, compatibility with cognitive ontogeny or developmental psychology, expressive or explanatory elegance or cumbersomeness, and an open-ended list of philosophical motivations that could reasonably favor the ontic prioritization of qualities over relations or relations over qualities. Despite its intuitive appeal, the thesis that logical equivalence together with extra-logical preferences justifies unidirectional ontic reduction of relations to qualities or qualities to relations is rejected in light of the more defensible proposition that the logical equivalence of qualitative and relational predications actually supports the opposite conclusion, that both qualities and relations are logically indispensable to a complete ontology of properties. The logical equivalence of qualitative and relational predications, insofar as we continue to observe the distinction, makes it logically necessary ontically for both qualities and relations to exist whenever either one exists. That logically equivalent qualitative and relational predications have as their truth-makers the exemplification by objects of both qualities and relations as equi-foundational properties further suggests that there is no deeper logical distinction between qualities and relations, but only two convenient lexical-grammatical designations for property predications involving one- versus more-than-one-argument-place.     

Realism and Realism: Rejoinder to Gare and Smith

This is a response to comments by Gare and Smith (1984) on my critique of humanistic psychology (McMullen, 1982).     

Scientific Realism Within Perspectivism and Perspectivism Within Scientific Realism

Perspectivism is often understood as a conception according to which subjective conditions inevitably affect our knowledge and, therefore, we are never confronted with reality and facts but only with interpretations. Hence, subjectivism and anti-realism are usually associated with perspectivism. The thesis of this paper is that, especially in the case of the sciences, perspectivism can be better understood as an appreciation of the cognitive attitude that consists in considering reality only from a certain ‘point of view’, in a way that can avoid subjectivism. Whereas the way of conceiving a notion is strictly subjective, the way of using it is open to intersubjective agreement, based on the practice of operations whose nature is neither mental nor linguistic. Therefore, intersubjectivity (that is a ‘weak’ sense of objectivity) is possible within perspectivism. Perspectivism can also help understand the notion of ‘scientific objects’ in a referential sense: they are those ‘things’ that become ‘objects’ of a certain science by being investigated from the ‘point of view’ of that science. They are ‘clipped out’ of things (and constitute the ‘domain of objects’ or the ‘regional ontology’ of that particular science) by means of standardized operations which turn out to be the same as those granting intersubjectivity. Therefore this ‘strong’ sense of objectivity, which is clearly realist, coincides with the ‘weak’ one. The notion of truth appears fully legitimate in the case of the sciences, being clearly defined for the regional ontology of each one of them and, since this truth can be extended in an analogical sense to the theories elaborated in each science, it follows that are real also the unobservable entities postulated by those theories.     

The Indispensability Argument for Mathematical Realism and Scientific Realism

Confirmational holism is central to a traditional formulation of the indispensability argument for mathematical realism (IA). I argue that recent strategies for defending scientific realism are incompatible with confirmational holism. Thus a traditional formulation of IA is incompatible with recent strategies for defending scientific realism. As a consequence a traditional formulation of IA will only have limited appeal.     

Realism

Realism is multiply ambiguous. The central concern of Part 1 of this paper is to distinguish several of its many senses — four (Theoretical Realism, Cumulative Realism, Progressive Realism and Optimistic Realism) in which it refers to theses about the status of scientific theories, and five (Minimal Realism, Ambitious Absolutism, Transcendentalism, Nidealism, Scholastic Realism) in which it refers to theses about the nature of truth or truth-bearers. Because Realism has these several, largely independent, senses, the conventional wisdom that Tarski's theory of truth supports realism, and that the Meaning-Variance thesis undermines it, needs re-evaluation. The concern of the rest of the paper is to sort out in which senses the conventional wisdom, with respect to Tarski's theory (Part 2) and the Meaning-Variance thesis (Part 3), is correct.