In this paper, the authors discuss Frege''s theory of logical objects (extensions, numbers, truth-values) and the recent attempts to rehabilitate it. We show that the eta relation George Boolos deployed on Frege''s behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the eta relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses (...) unrestricted Comprehension for Logical Objects and banishes encoding (eta) formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: (a) the theory of extensions, (b) the theory of directions and shapes, and (c) the theory of truth values. (shrink)

Leibniz notoriously insisted that no two individuals differ solo numero, that is, by being primitively distinct, without differing in some property. The details of Leibniz’s own way of understanding and defending the principle –known as the principle of identity of indiscernibles (henceforth ‘the Principle’)—is a matter of much debate. However, in contemporary metaphysics an equally notorious and discussed issue relates to a case put forward by Max Black (1952) as a counter-example to any necessary and non-trivial version of the principle. (...) Black asks us to imagine, via one of the fictional characters of his dialogue, a world consisting solely of two completely resembling spheres, in a relational space. The supporter of the principle is then forced to admit that although there are ex hypothesi two objects in that universe, there is no property (except trivial ones), not even relational ones, to distinguish them, and hence the necessary version of the principle is falsified. In this essay I will argue that Black’s possible world, together with the dialectic between the potential friends and foes of the Principle as expounded by Black himself.. (shrink)

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a (...) description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001). (shrink)

Ontology is doubtless the most important part of Roman Ingarden’s (1893-1970) philosophy. Contrary to Husserl, Ingarden always believed that any serious philosophical investigation must involve an ontological basis and he tried to formulate a solid ontological framework for his philosophy. There are several reasons why this ontology deserves our attention. For those who are interested in Husserl’s transcendental phenomenology, Ingarden’s ontology could be treated as an ingenious attempt to analyse the conceptual structure and hidden ontological assumptions of Husserl’s transcendental idealism. (...) For those who want to understand the immanent dialectics of the post-Brentanian development of the ontology of intentionality, Ingarden’s conception of the purely intentional object could be a very valuable tool. But Ingarden’s ontology has also independent value, and hence it is also interesting for those who pursue ontology for its own sake. In this paper, I will investigate the basic scheme of Ingarden’s ontology, including pure qualities, individual real objects, purely intentional objects and ideas. This schema will prove to be in many aspects generated by his phenomenological, i.e. descriptive and anti-reductionist, ideology. (shrink)

If anything is taken for granted in contemporary metaphysics, it is that platonism with respect to a discourse of metaphysical interest, such as fictional or mathematical discourse, affords a better account of the semantic appearances than nominalism, other things being equal. This belief is often motivated by the intuitively stronger one that the platonist can take the semantic appearances “at face-value” while the nominalist must resort to apparently ad hoc and technically problematic machinery in order to explain those appearances away. (...) -/- In this paper, I argue that, on any natural construal of “face-value”, the platonist, like the nominalist, does not in general seem to be able to take the semantic appearances at face-value. And insofar as the nominalist is forced to adopt apparently ad hoc and technically problematic machinery in order to explain those appearances away, the platonist is generally forced to adopt machinery which is at least prima facie ad hoc and technically problematic as well. One moral of the story is that the thesis that platonism affords a better account of the semantic appearances than nominalism, other things being equal, is not trivial. Another is that we should rethink our methodology in metaphysics. (shrink)

If anything is taken for granted in contemporary metaphysics, it is that platonism with respect to a discourse of metaphysical interest, such as fictional or mathematical discourse, affords a better account of the semantic appearances than nominalism, other things being equal. This belief is often motivated by the intuitively stronger one that the platonist can take the semantic appearances “at face-value” while the nominalist must resort to apparently ad hoc and technically problematic machinery in order to explain those appearances away. (...) -/- In this paper, I argue that, on any natural construal of “face-value”, the platonist, like the nominalist, does not in general seem to be able to take the semantic appearances at face-value. And insofar as the nominalist is forced to adopt apparently ad hoc and technically problematic machinery in order to explain those appearances away, the platonist is generally forced to adopt machinery which is at least prima facie ad hoc and technically problematic as well. One moral of the story is that the thesis that platonism affords a better account of the semantic appearances than nominalism, other things being equal, is not trivial. Another is that we should rethink our methodology in metaphysics. (shrink)

In this paper, I distinguish scientific models in three kinds on the basis of their ontological status—material models, mathematical models and fictional models, and develop and defend an account of fictional models as fictional objects—i.e. abstract objects that stand for possible concrete objects.

I explicate and defend the claim that, fundamentally speaking, there are no numbers, sets, properties or relations. The clarification consists in some remarks on the relevant sense of ‘fundamentally speaking’ and the contrasting sense of ‘superficially speaking’. The defence consists in an attempt to rebut two arguments for the existence of such entities. The first is a version of the indispensability argument, which purports to show that certain mathematical entities are required for good scientific explanations. The second is a speculative (...) reconstruction of Armstrong's version of the One Over Many argument, which purports to show that properties and relations are required for good philosophical explanations, e.g. of what it is for one thing to be a duplicate of another. (shrink)

Chomsky and others have denied the relevance of external linguistic entities, such as E-languages, to linguistic explanation, and have questioned their coherence altogether. I discuss a new approach to understanding the nature of linguistic entities, focusing in particular on making sense of the varieties of kinds of “words” that are employed in linguistic theorizing. This treatment of linguistic entities in general is applied to constructing an understanding of external linguistic entities.

Th ere is much controversy surrounding the nature of the relation between fictional individuals and possible individuals. Some have argued that no fictional individual is a possible individual; others have argued that (some) fictional individuals just are (merely) possible individuals. In this paper, I off er further grounds for believing the theory of fictional individuals defended by Amie Thomasson,viz., Artifactualism, by arguing that her view best allows one to make sense of this puzzling relation. More specifically, when we realize that (...) the view allows for an identification of merely possible individuals with fictional individuals, we seethat the utility, and hence the level of credence lent to Artifactualism, is increased. After arguing for this thesis, I respond to three of the most pressing worries. (shrink)

Much attention has been given to the question of ontic vagueness, and the issues usually center around whether certain paradigmatically concrete entities – cats, clouds, mountains, etc. – are vague in the sense of having indeterminate spatial boundaries. In this paper, however, I wish to focus on a way in which some abstracta seem to be locationally vague. To begin, I will briefly cover some territory already covered regarding certain types of “traditional” abstracta and the ways they are currently alleged (...) to be vague. I then wish to discuss two types of “nontraditional” abstracta and the sense in which I think some of these objects are locationally vague. I will next reexamine some of the traditional abstracta and discuss whether any of these objects are locationally vague in the novel way suggested for the nontraditional sorts. I’ll finish by discussing objections, and conclude with some remarks about characterizing the abstract/concrete distinction. (shrink)

This paper discusses the question whether it is possible to explain the notion of a singular term without invoking the notion of an object or other ontological notions. The framework here is that of Michael Dummett's discussion in Frege: Philosophy of Language. I offer an emended version of Dummett's conditions, accepting but modifying some suggestions made by Bob Hale, and defend the emended conditions against some objections due to Crispin Wright. This paper dates from about 1989. It originally formed part (...) of a very early draft of what became my Ph.D. dissertation. I rediscovered it and began scanning it, when I had nothing better to do, in Fall 2001, making some minor editing changes along the way. Suffice it to say that it no longer represents my current views. I hope, however, that it remains of some small interest. (shrink)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)

Many philosophers posit abstract entities – where something is abstract if it is acausal and lacks spatio-temporal location. Theories, types, characteristics, meanings, values and responsibilities are all good candidates for abstractness. Such things raise an epistemological puzzle: if they are abstract, then how can we have any epistemic access to how they are? If they are invisible, intangible and never make anything happen, then how can we ever discover anything about them? In this article, I critically examine epistemological objections to (...) belief in abstract objects offered by Paul Benacerraf, Colin Cheyne and Hartry Field. (shrink)

The essays collected in this volume are all concerned with the connection between fiction and truth. This question is of utmost importance to metaphysics, philosophy of language, philosophical logic and epistemology, raising in each of these areas and at their intersections a large number of issues related to creation, existence, reference, identity, modality, belief, assertion, imagination, pretense, etc. All these topics and many more are addressed in this collection, which brings together original essays written from various points of view by (...) philosophers of diverse trends. These essays constitute major contributions to the current debates that the connection between truth and fiction continually enlivens, and give a sense of the directions in which research on this question is heading. Contributors: Fred Adams, Frederick Kroon, Robert Howell, Brendan Murday, Terence Parsons, Graham Priest, Erich Rast, Manuel Rebuschi, Marion Renauld, R.M. Sainsbury, Grant Tavinor, Alberto Voltolini. (shrink)

This paper has two goals. The first goal is to show that the structuralists’ claims about dependence are more significant to their view than is generally recognized. I argue that these dependence claims play an essential role in the most interesting and plausible characterization of this brand of structuralism. The second goal is to defend a compromise view concerning the dependence relations that obtain between mathematical objects. Two extreme views have tended to dominate the debate, namely the view that all (...) mathematical objects depend on the structures to which they belong and the view that none do. I present counterexamples to each of these extreme views. I defend instead a compromise view according to which the structuralists are right about many kinds of mathematical objects (roughly, the algebraic ones), whereas the anti-structuralists are right about others (in particular, the sets). I end with some remarks about how to understand the crucial notion of dependence, which despite being at the heart of the debate is rarely examined in any detail. (shrink)

Book Information Knowledge, Cause, and Abstract Objects: Causal Objections to Platonism. Knowledge, Cause, and Abstract Objects: Causal Objections to Platonism Colin Cheyne , Dordrecht: Kluwer Academic Publishers , 2001 , xvi + 236 , £55 ( cloth ) By Colin Cheyne. Dordrecht: Kluwer Academic Publishers. Pp. xvi + 236. £55.

A central stream running through the history of philosophy has been the attempt to gather a wide range of ostensibly disparate intuitive phenomena under a small, integrated set of concepts. Edward Zalta’s work is a sustained celebration of this tradition. This paper — part of a symposium on Zalta's work — is a friendly, but critical examination of Zalta's commitment to possibilism and the roles they play in his theory.

Philosophers have defended various views about abstract objects by appealing to metaphysical considerations, considerations regarding mathematics or science, and, not infrequently, intuitions about natural language. This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture (...) is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, and degrees is considerably more marginal than generally held. (shrink)

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

In this paper, the authors evaluate the ontological argument they developed in their 1991 paper as to soundness. They focus on Anselm's first premise, which asserts: there is a conceivable thing than which nothing greater is conceivable. After suggesting reasons why this premise is false, the authors show that there is a reading of this premise on which it is true. Such a premise can be used in a valid and sound reconstruction of the ontological argument. This argument is developed (...) in precise detail, but the authors show that the conclusion, the formal version of which is a reading of the claim that "God exists", doesn't quite achieve the end Anselm desired. (shrink)

i.e. for any concepts X and Y, the number of X’s and the number of Y’s are identical if and only if there is a 1-1 correspondence between X and Y.1 The central claim of neo- Fregeanism with respect to arithmetic is that arithmetical knowledge can be obtained a priori through Frege’s Theorem, the result that the axioms of arithmetic are derivable in the system obtained by adding Hume’s Principle to second-order logic.

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature (...) of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories. (shrink)

This is a dialogue in which five characters are involved. Various issues in the philosophy of mathematics are discussed. Among those issues are these: numbers as abstract objects, our knowledge of numbers as abstract objects, a proof as showing a mathematical statement to be true as opposed to the statement being true in virtue of having a proof.

Fictional realism, i.e., the view that because fictions exist, fictional characters exist as well, has recently been accused of leading to inconsistency generated by phenomena of indeterminacy and inconsistency in fiction. We examine in detail four arguments against fictional realism, and present a version of fictional realism which can withstand those arguments.

In this paper I examine critically the relationship between the realist and nominalist views of abstract objects. I begin by pointing out some differences between the usage of existential statements in metaphysics and the usage of such statements in disciplines outside of philosophy. Then I propose an account of existence that captures the characteristic intuitions underlying the latter kind of usage. This account implies that abstract object existence claims are not as ontologically extravagant as they seem, and that such claims (...) are immune to certain standard nominalistic criticisms. (shrink)

In this paper I examine a new variant of the well-known idea that the self is an abstract object. I propose a simple model of the self as a property of temporal slices of a body's history. I argue that this model, when combined with even a modest realism with regard to properties, implies that the self has many of the chief features traditionally attributed to selves. I conclude that this model allows one to reconcile the full reality of the (...) self with even the most deflationary materialistic theories of consciousness. (shrink)

In this note I examine the two main differences between Plato's and Dennett's views of the self as an abstract object. I point out that in the presence of certain forms of ontological realism, abstract-object theories of the self are compatible with the full reality of the self. I conclude with some remarks on the relationship between ontology and ethics.

It is not a common practice to postulate meaning entities treated as objects of some kind. The paper demonstrates two ways of introducing meaning-objects in two logics of natural language, Tichy’s Transparent Intensional Logic and Zalta’s Intensional Logic of Abstract Objects. Tichy’s theory belongs to the Fregean line of thinking, with what he calls ‘constructions’ as Fregean senses, and ‘determiners’ as object-like meaning entities constructed by the senses. Zalta’s theory belongs to Meinongian logics and he postulates a rich realm of (...) abstract Meinongian objects to play the role of meanings. The paper analyses the mechanisms of reference in both conceptions and it offers a comparison of the mediating meaning-objects and the framework designed to expose this mediation in both theories. An attempt is made to expose how the treatment of the meaning entities depends upon the theory of meaning which is assumed. (shrink)

Some commitments at the interface of semantics and ontology, such as numbers or symphonies, tend to appear problematic. The scorekeeping approach to semantics introduces contextually shifting parameters that allow for construal of truth as indirect correspondence. Meinong did recognize diversity and richness that is made possible by the non-reductionist engagement of the scorekeeping approach. Because of his commitment to the deep presupposition of direct correspondence construal of truth though, Meinong had to interpret richness of normative discursive scorekeeping commitments as richness (...) of ontological strata, features and engagements. Once as Meinong recognizes the construal of truth as indirect correspondence, many problems related to his objects dissolve, naturally placing his scorekeeping discovery into discursive normative setting. A translation of Meinongian objects into discursive scores confirms that his discovery aims at these indeed, which is obscured by his sticking to the construal of truth as direct correspondence. (shrink)

The first question to be addressed about fictional entities is: are there any? The usual grounds given for accepting or rejecting the view that there are fictional entities come from linguistic considerations. We make many different sorts of claims about fictional characters in our literary discussions. How can we account for their apparent truth? Does doing so require that we allow that there are fictional characters we can refer to, or can we offer equally good analyses while denying that there (...) are any fictional entities? (shrink)

The ideas of fixed points (Kripke in Recent essays on truth and the liar paradox. Clarendon Press, London, pp 53–81, 1975; Martin and Woodruff in Recent essays on truth and the liar paradox. Clarendon Press, London, pp 47–51, 1984) and revision sequences (Gupta and Belnap in The revision theory of truth. MIT, London, 1993; Gupta in The Blackwell guide to philosophical logic. Blackwell, London, pp 90–114, 2001) have been exploited to provide solutions to the semantic paradox and have achieved admirable (...) success. This happy situation naturally encourages one to look for other philosophical areas of their further applications where paradoxical results seem to follow from intuitively acceptable principles. In this paper, I propose to extend the use of these ideas to give two new treatments of abstract objects. Sections 1 and 2 below check several abstractionist theories and their main defects. Section 3 shows how the two ideas can be applied to generate consistent theories of abstract objects without any ad hoc restriction on any principle. (shrink)

In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...

In this paper, the author shows how one can independently prove, within the theory of abstract objects, some of the most significant claims, hypotheses, and background assumptions found in Kripke's logical and philosophical work. Moreover, many of the semantic features of theory of abstract objects are consistent with Kripke's views — the successful representation, in the system, of the truth conditions and entailments of philosophically puzzling sentences of natural language validates certain Kripkean semantic claims about natural language.

In its approach to fiction and fictional discourse, pretense theory focuses on the behaviors that we engage in once we pretend that something is true. These may include pretending to name, pretending to refer, pretending to admire, and various other kinds of make-believe. Ordinary discourse about fictions is analyzed as a kind of institutionalized manner of speaking. Pretense, make-believe, and manners of speaking are all accepted as complex patterns of behavior that prove to be systematic in various ways. In this (...) paper, I attempt to show: (1) that this systematicity is captured in the basic distinctions and representations that are central to the formal theory of abstract objects, and (2) that this formal theory need not be interpreted platonistically, but may instead have an interpretation on which the `objects' of the theory are things that pretense theorists already accept, namely, complex patterns of linguistic behavior. The surprising conclusion, then, is that a certain Wittgensteinian approach to meaning (e.g., the meaning of a term like `Holmes' is constituted by its pattern of use) bears an interesting relationship to a formal metaphysical theory and the semantic analyses of discourse constructed in terms of that theory---the former offers a naturalized interpretation of the latter, yet the latter makes the former more precise. (shrink)

In this paper, the author derives the Dedekind–Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The theorems proved constitute an important subset of the numbered propositions found in Frege"s Grundgesetze. The proofs of the theorems reconstruct Frege"s derivations, with the exception of the claim that every number has a successor, which is derived from a modal axiom that (...) (philosophical) logicians implicitly accept. In the final section of the paper, there is a brief philosophical discussion of how the present theory relates to the work of other philosophers attempting to reconstruct Frege"s conception of numbers and logical objects. (shrink)

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework (...) for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. (shrink)

A. Plantinga develops a challenging critique of Castañeda's guise theory, by identifying fundamental intuitions that guise theory gives up and by developing several objections to the guise-theoretic world view as a whole. In this paper, I examine whether Plantinga's criticisms apply to the theory of abstract objects. The theory of abstract objects and guise theory can be fruitfully compared because they share a common intellectual heritage---both follow Ernst Mally [1912] in postulating a special realm of objects distinguished by their "internal" (...) or "encoded" properties. Despite this common heritage, however, the theories organize, develop, and apply these special objects in distinctive ways. The two metaphysical systems, therefore, differ significantly, and these differences become important when one considers Plantinga's critique of guise theory. In this essay, the author shows that the theory of abstract objects anticipates and addresses most of Plantinga's concerns about guise theory, by preserving intuitions guise theory has abandoned. (shrink)

Awareness is a two-place determinable relation some determinates of which are seeing, hearing, etc. Abstract objects are items such as universals and functions, which contrast with concrete objects such as solids and liquids. It is uncontroversial that we are sometimes aware of concrete objects. In this paper I explore the more controversial topic of awareness of abstract objects. I distinguish two questions. First, the Existence Question: are there any experiences that make their subjects aware of abstract objects? Second, the Grounding (...) Question: if an experience makes its subject aware of an abstract object, in virtue of what does it do so? I defend the view that intuitions, specifically mathematical intuitions, sometimes make their subjects aware of abstract objects. In defending this view, I develop an account of the ground of intuitive awareness. (shrink)

Software is a ubiquitous artifact, yet not much has been done to understand its ontological nature. There are a few accounts offered so far about the nature of software. I argue that none of those accounts give a plausible picture of the nature of software. I draw attention to the striking similarities between software and musical works. These similarities motivate to look more closely on the discussions regarding the nature of the musical works. With the lessons drawn from the ontology (...) of musical works I offer a novel account of the nature of software. In this account, software is an abstract artifact. I elaborate the conditions under which software comes into existence; how it persists; how and on which entities its existence depends. (shrink)

TABLE OF CONTENTS Introduction: Art, Metaphysics, & The Paradox of Standards (Christy Mag Uidhir) GENERAL ONTOLOGICAL ISSUES 1. Must Ontological Pragmatism be Self-Defeating? (Guy Rohrbaugh) 2. Indication, Abstraction, & Individuation (Jerrold Levinson) 3. Destroying Artworks (Marcus Rossberg) INFORMATIVE COMPARISONS 4. Artworks & Indefinite Extensibility (Roy T. Cook) 5. Historical Individuals Like Anas platyrhynchos & ‘Classical Gas’ (P.D. Magnus) 6. Repeatable Artworks & Genericity (Shieva Kleinschmidt & Jacob Ross) ARGUMENTS AGAINST & ALTERNATIVES TO 7. Against Repeatable Artworks (Allan Hazlett) 8. How (...) to be a Nominalist & a Fictional Realist (Ross Cameron) 9. Platonism vs. Nominalism in Musical Ontology (Andrew Kania) ABSTRACTA ACROSS THE ARTS 10. Reflections on the Metaphysics of Sculpture (Hud Hudson) 11. Installation Art & Performance: A Shared Ontology (Sherri Irvin) 12. What Type of ‘Type’ is a Film? (David Davies) 13. Musical Works: A Metaphysical Mash-Up (Joseph Moore) . (shrink)

I consider the field of aesthetics to be at its most productive and engaging when adopting a broadly philosophically informative approach to its core issues (e.g., shaping and testing putative art theoretic commitments against the relevant standard models employed in philosophy of language, metaphysics, and philosophy of mind) and to be at its most impotent and bewildering when cultivating a philosophically insular character (e.g., selecting interpretative, ontological, or conceptual models solely for fit with pre-fixed art theoretic commitments). For example, when (...) philosophical aesthetics tends toward insularity, we shouldn’t be surprised to find standard art-ontological categories incongruous with those standardly employed in contemporary metaphysics. Of course, when contemporary metaphysics tends to ignore aesthetic and art theoretic concerns, perhaps we likewise shouldn’t be surprised to find the climate of contemporary metaphysics inhospitable for a theory of art. While this may seem to suggest at least a prima facie tension between our basic art theoretic commitments considered from within philosophical aesthetics and our standard ontological commitments considered from without, I think any perceived tension or antagonism largely due to metaphysicians and aestheticians (at least implicitly) assuming there to be but two available methodological positions with respect to the relationship between contemporary metaphysics and philosophical aesthetics (in the relevant overlap areas). I call these two opposing views the Deference View and the Independence View. I argue that either view looks to lead to what I call the Paradox of Standards. (shrink)

This paper argues that certain complements in philosophically significant constructions, especially predicative and clausal complements and intensional NPs, should not be analysed as providing an argument for a relation expressed by the verb, but rather as forming a complex predicate together with the verb. Apparent evidence for the traditional relational analyses, namely the possibility of replacing the complement by quantifiers such as 'something', will be shown to be misguided. Quantifiers like 'something' rather act as nominalizing expressions introducing ‘new’, derived objects (...) into the semantic structure of a sentence. The resulting analyses will have several philosophical ramifications. (shrink)

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like nominalizations, introducing (...) a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes. (shrink)

A proper presentation of this theory [sc. of properties] would treat properties as a special kind of relation. And it would treat propositions as a special kind of relation: it would treat properties as monadic relations and propositions as 0-adic relations. But I will not attempt to discuss relations within the confines of this paper.[ii].

In this paper I argue against Divers and Miller's 'Lightness of Being' objection to Hale and Wright's neo-Fregean Platonism. According to the 'Lightness of Being' objection, the neo-Fregean Platonist makes existence too cheap: the same principles which allow her to argue that numbers exist also allow her to claim that fictional objects exist. I claim that this is no objection at all" the neo-Fregean Platonist should think that fictional characters exist. However, the pluralist approach to truth developed by WQright in (...) 'Truth and Objectivity' allows us to salvage our intuitions about the metaphysicial lightweightness of fictional characters: truth for discourse about fictional characters fails to exert 'Cognityive Command', whereas truth about arithmetic does. (shrink)