Abstract Objects

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions from (...) his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

Several philosophers including Kripke have contended that fictional entities do exist as abstract objects, and fictional names refer to such abstract entities. Kripke and Thomasson compare fictional entities to existing social entities. Kripke also reflects on fictions inside fictions to support his view. Many philosophers appeal to the apparent fact that we quantify over fictional entities. Such arguments in favor of the existence of fictional entities are critically scrutinized. It is argued that they are much less compelling than their proponents (...) suggest and involve various obscurities. (shrink)

The question of how people change artworks is important for the metaphysics of art. It’s relatively easy for anyone to change a painting or sculpture, but who may change a literary or musical work is restricted and varies with context. Authors of novels and composers of symphonies often have a special power to change their artworks. Mary Shelley revised Frankenstein, and Tchaikovsky revised his Second Symphony. I cannot change these artworks. In other cases, such as those involving jazz standards and (...) folk songs, performers and ordinary folks have more power to change artworks. My preferred explanation of these facts is the created-abstract-simples view, according to which literary and musical works, unlike paintings and sculptures, are created abstract objects that have no parts. On this view, the way to change a literary or musical work is for an individual, empowered by social practices, to change rules about how a literary work should be published or a musical work should be performed. A. R. J. Fisher and Caterina Moruzzi object that the created-abstract-simples view doesn’t allow for literary and musical works to genuinely change, and Nemesio Garcia-Carríl Puy objects that the view doesn’t allow for these artworks to be repeatable. This paper clarifies the created-abstract-simples view and defends the view against these objections. -/- . (shrink)

One common attitude toward abstract objects is a kind of platonism: a view on which those objects are mind-independent and causally inert. But there's an epistemological problem here: given any naturalistically respectable understanding of how our minds work, we can't be in any sort of contact with mind-independent, causally inert objects. So platonists, in order to avoid skepticism, tend to endorse epistemological theories on which knowledge is easy, in the sense that it requires no such contact—appeals to Boghossian’s notion of (...) epistemic analyticity are particularly common here, as are appeals to some broadly pragmatic account of the good standing of basic beliefs. I argue, though, that these appeals are hopeless: an argument adapted from the Benacerraf–Field challenge shows that, even if some such theory can deliver the verdict that our beliefs about abstract objects have some prima facie good standing, this good standing will inevitably be defeated. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

In this paper we present a solution to Saul Kripke’s Puzzle About Belief Meaning and use, Dordrecht, 1979) based on Kaplan’s metaphysical picture of words. Although it is widely accepted that providing such a solution was one of the main incentives for the development of Kaplan’s theory, it was never presented by Kaplan in a systematic manner and was regarded by many as unsatisfactory. We agree with these critiques, and develop an extension of Kaplan’s theory by introducing the notion of (...) “conservative” word uses, as well as arguing for the restriction of Kripke’s Disquotational Principle only to such uses. This restriction allows us to solve Kripke’s Puzzle by arguing that the assent of the puzzle’s protagonist does not allow disquotation and ascription of corresponding inconsistent belief, as it contains the non-conservative use of a proper name. At the end of the paper, we defend two of Kaplan’s theses that we find essential for our argument to work: that individuation of word tokens involves taking into account the intention of the speaker, and that different uniquely referring proper names of the same shape should be regarded as different homonymous words. (shrink)

Field’s challenge to platonists is the challenge to explain the reliable match between mathematical truth and belief. The challenge grounds an objection claiming that platonists cannot provide such an explanation. This objection is often taken to be both neutral with respect to controversial epistemological assumptions, and a comparatively forceful objection against platonists. I argue that these two characteristics are in tension: no construal of the objection in the current literature realises both, and there are strong reasons to think that no (...) version of Field’s epistemological objection which has both Neutrality and Force can be construed. (shrink)

The ontology of visual artworks might be thought comparable to the ontology of other sorts of artifacts: a work of painting seems to be materially constituted by a particular canvas with paint on it, just as a spoon is constituted by a particular piece of metal. But recent developments have complicated the situation, requiring a new account of the ontology of contemporary art. These developments also shed light on the ontology of works from earlier historical eras. This article discusses Artworks (...) as Events, Artworks as Abstract Entities, and Artworks and Norms. (shrink)

Virtually everyone who has advanced an ontology of art has accepted a constraint to the effect that claims about ontology should cohere with the sort of appreciative claims made about artworks within a mature and reflective version of critical practice. I argue that such a constraint, which I agree is appropriate, rules out a one-size-fits-all ontology of contemporary visual art (and thus of visual art in general). Mature critical practice with respect to contemporary art accords artists a significant degree of (...) stipulative authority regarding the features and boundaries of their works. This results in ontological variation among visual artworks. Any claim to the effect that all works belong to the same ontological category will thus come out false or uninformative. Interesting, substantive claims about ontological status can be made only in relation to specific works; that is, we must consider the ontological status of each contemporary artwork individually. The only general ontological claim that can be made about visual artworks (and also about artworks in other forms) is that they belong to the sort of thing that artists create. But this is not a substantive ontological claim. (shrink)

It has been widely argued that words are analogous to species such that words, like species, are natural kinds. In this paper, I consider the metaphysics of word-kinds. After arguing against an essentialist approach, I argue that word-kinds are homeostatic property clusters, in line with the dominant approach to other biological and psychological kinds.

This paper is an investigation into the metaphysics of social objects such as political borders, states, and organizations. I articulate a metaphysical puzzle concerning such objects and then propose a novel account of social objects that provides a solution to the puzzle. The basic idea behind the puzzle is that under appropriate circumstances, seemingly concrete social objects can apparently be created by acts of agreement, decree, declaration, or the like. Yet there is reason to believe that no concrete object can (...) be created in this way. The central idea of my positive account is that social objects have a normative component to them, and seemingly concrete social objects have both normative and material components. I develop this idea more rigorously using resources from the Aristotelian hylomorphic tradition. The resulting normative hylomorphic account, I argue, solves the puzzle by providing a satisfying explanation of creation-by-agreement and the like, while also avoiding the difficulties facing extant accounts of social objects. (shrink)

Abstract. Could a person or mind be uploaded—transmitted to a computer or network—and thereby survive bodily death? I argue ‘mind uploading’ is possible only if a mind is an abstract object rather than a concrete particular. Two implications are notable. One, if someone can be uploaded someone can be multiply-instantiated, such that there could be as many instances of a person as copies of a book. Second, mind uploading’s possibility is incompatible with the leading theories of personal identity, insofar as (...) these assume the mind is a concrete particular. Moreover, because David Chalmers (2010; 2012; 2014) defends mind uploading without construing minds as abstract, I show Chalmers’ argument to be unsound. (shrink)

French translation by G. B. Côté and Roger Lapalme of "A Geneticist's Roadmap to Sanity" (G. B. Côté, 2019) with added bibliography. -/- À voir le monde d’aujourd’hui, on pourrait croire que nous avons perdu la raison. Je veux explorer ici les fondements mêmes de notre existence. Je discuterai brièvement du libre arbitre, de l’éthique, de la religion, de la souffrance, du dualisme cartésien et de l’état de conscience, avec un arrière-plan promulguant l’importance de la physique quantique d’aujourd’hui et de (...) l’intemporel. Pour ce faire, je devrai d’abord établir que le platonisme mathématique est une prémisse essentielle pour qu’un univers (ou même un multivers) prenne forme, et j’introduirai les trois modes d’existence abstrait, virtuel et concret (en philosophie) correspondant respectivement aux concepts d’information, d’énergie et de masse (en physique). Cet article constitue un bref exposé de ma théorie du tout. (shrink)

The subject matter of this work covers the issues or problems listed below: * The problem of the ontological status of language signs and a more general philosophical problem connected with it: * What is language as a system of signs, which – on the one hand – serves to: 1) represent our knowledge about the reality which is being recognized, and, on the other one to: 2) a. explore and better cognize or discover it, b. describe it in an (...) adequate manner, and c. enable users to make interpersonal communication? All the pragmatic functions of language require carrying out its logical-philosophical analysis, and this means both regarding its syntax and semantics. Such an analysis is not possible without determining the following: How are signs perceived and what is their ontological nature in the so-called functional approach towards logical semiotics of natural language, founded on two ways of their usage: either as signs which we use in concrete situational or situational-language contexts or as isolated signs detached from such contexts? In the first case, they are language tokens (concretes), existing material objects perceived through the senses, with a fixed temporal-spatial location, in the other one – they are non-concretes and as such (as the majority of researchers in the field of philosophy and linguistics accept) – abstract objects, language types. The type-token distinction (differentiation between abstract and concrete) has already acquired a certain status in contemporary philosophy and is of considerable importance to metaphysics and epistemology in particular. Indeed, it is most often illustrated with reference to language signs (words, expressions) as the distinction type/token of a sign, introduced into semiotics by Ch. S. Peirce. In the semiotic analysis, and also in the linguistic one, there are used both types and tokens of signs, however, often without paying due attention to when it is said about types and when about tokens. This is related to the problems which are still considered by the philosophy of language: What is the type? What is the token (specimen)? What are the mutual relations between the type and the token? Disputes concerning providing answers to these questions are related to existential issues dealing with the ontological status of these language signs and two currents within the ontology of language, remaining under the influence of two fundamental concepts formed in the debate: nominalism and realism. The author presents in brief different stances on the above-mentioned issues or problems, as well as argues that from the logical point of view: 1) working out any theoretical conception of language must take into account its bi-aspectual characteristics: as a language of expression-tokens and as a language of expression-types; 2) advocating either of the standpoints: (a) types exist independent of their tokens, or (b) it is not so, can be omitted in syntactic considerations on language; 3) mutual relations between sign-tokens differ from the mutual relations between sign-types, yet; 4) determination of the mutual relation between sign-types and sign-tokens depends on accepting either of the standpoints: (a) or (b); 5) semantic or semantic-pragmatic concepts of language, such as meaning, denotation, interpretation should be defined exclusively for types of tokens, but their definitions require certain reference to the functions which sign-tokens perform in the language (words, expressions), or to relations between them; 6) The concept of an act of language communication differs from general language communication: the first one is defined by means of sign-tokens, whereas the other one – with the use of sign-types. (shrink)

Metascientific ontology differs from philosophical ontologies in its objectives, objects and methods. By an examination of the ontological theories of Mario Bunge, we will show their main objective is a unified representation of the world as known through the sciences, that their objects of study are scientific concepts, and that their methods do not differ from those that one expects to find in any rational activity. Metascientific ontology is therefore not transcendent because it does not seek to represent non-concrete objects (...) alien to the world we inhabit and to the sciences that study it, and therefore does not need special faculties and methods to carry out its research. Metascientific ontology is a general scientific discourse on the world because it was designed by and for the sciences. (shrink)

Whether you know it or not…Whether you believe it or not….

Zero and one is circumference and diameter. Literally. And, figuratively.

L’ontologie métascientifique se distingue des ontologies philosophiques par ses objectifs, ses objets et ses méthodes. Par un examen des théories ontologiques de Mario Bunge, nous montrerons que leur principal objectif est l’élaboration d’une représentation unifiée du monde tel que connu via les sciences, que leurs objets d’étude sont les concepts scientifiques, et que leurs méthodes ne diffèrent pas de celles qu’on s’attend à trouver dans toute activité rationnelle. L’ontologie métascientifique n’est donc pas transcendante parce qu’elle ne cherche pas à représenter (...) des objets étrangers au monde que nous habitons et aux sciences qui l’étudient, et par conséquent elle n’a pas besoin de facultés ni de méthodes spéciales pour mener à bien ses recherches. L’ontologie métascientifique est un discours général scientifique sur le monde parce que conçue par et pour les sciences. (shrink)

Noether's Theorem produces the configuration (and symmetry) for everything in Nature.

Zero and one. Circumference and diameter. Intelligent anarchy. Explanation for abstraction (as a noun) (as a verb).

An uber-simple circle is the basis for (and explains) everything in philosophy.

According to what has long been the dominant school of thought in analytic meta-ontology––defended not only by W. V. O. Quine, but also by Bertrand Russell, Alvin Plantinga, Peter van Inwagen, and many others––the meaning of ‘there is’ is identical to the meaning of ‘there exists.’ The most (in)famous aberration from this view is advanced by Alexius Meinong, whose ontological picture has endured extensive criticism (and borderline abuse) from several subscribers to the majority view. Meinong denies the identity of being (...) and existence. That is, he denies that ‘there is’ and ‘there exists’ are semantically equivalent, and espouses a theory according to which there are things that do not exist. Here I defend a revised version of this view, which I call “Noncontradictory Neo-Meinongianism.” Focusing primarily on van Inwagen’s arguments in “Meta-Ontology” (1998), I argue that Noncontradictory Neo-Meinongianism is, on commonsensical grounds, preferable to the meta-ontological theories of van Inwagen and Meinong. (shrink)

If different translations of the same literary work have different syntaxes and semantics, how are they supposed to be about one and the same fictional character? In order to answer this question it’s necessary to (a) know what fictional characters are and (b) present reference conditions for them. Relying on Amie Thomasson’s (1999, 2003, 2007) and Saul Kripke’s (1980, 2013) works I argue that fictional characters are abstract artifacts whose reference is fixed by the baptism performed by an author; and (...) that the identity of a fictional character is preserved due to the maintenance of the same chain of reference. Finally, I show how translators maintain the chain of reference initiated by the author of a given work and how consequently a fictional character remains the same abstract artifact throughout different translations. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

This paper attempts to develop an ethico-aesthetic framework for enriching one's life and ethical outlook. Drawing primarily from Nietzsche, Foucault, and Heidegger, an argument is made that Heidegger's understanding of this issue was mistaken. The ontological crisis of modernity is not the overt influence of mathematics as a worldview over poetics and more traditionally aesthetic approaches. It is the rampant mis-and over-application of abstraction within one's view of the world while denying the material realities of life as we live it. (...) This runaway abstractive worldview leads to the misapplication of mathematics and other sciences which in turn facilitate the dehumanization of life and those within it. When we try to solve the real problems of our material human lives through overly abstractive means, then we arrive at inauthentic arguments that fuel popular disdain for philosophy as irrelevant and nothing more than the purview of the elite. The goal is a recalibration of the argument toward addressing the denial of materiality within Modernism. (shrink)

Modal epistemologists parse modal conditions on knowledge in terms of metaphysical possibilities or ways the world might have been. This is problematic. Understanding modal conditions on knowledge this way has made modal epistemology, as currently worked out, unable to account for epistemic luck in the case of necessary truths, and unable to characterise widely discussed issues such as the problem of religious diversity and the perceived epistemological problem with knowledge of abstract objects. Moreover, there is reason to think that this (...) is a congenital defect of orthodox modal epistemology. This way of characterising modal epistemology is however optional. It is shown that one can non-circularly characterise modal conditions on knowledge in terms of epistemic possibilities, or ways the world might be for the target agent. Characterising the anti-luck condition in terms of epistemic possibilities removes the impediment to understanding epistemic luck in the case of necessary truths and opens the door to using these conditions to shed new light on some longstanding epistemological problems. (shrink)

This paper investigates the question of how to correctly capture the scope of singular thinking. The first part of the paper identifies a scope problem for the dominant view of singular thought maintaining that, in order for a thinker to have a singular thought about an object o, the thinker has to bear a special epistemic relation to o. The scope problem has it is that this view cannot make sense of the singularity of our thoughts about objects to which (...) we do not or cannot bear any special epistemic relation. The paper focuses on a specific instance of the scope problem by addressing the case of thoughts about the natural numbers. Various possible solutions to the scope problem within the dominant framework are assessed and rejected. The second part of the paper develops a new theory of singular thought which hinges on the contention that the constraints that need to be met in order to think singularly vary depending on the kind of object we are thinking about. This idea is developed in detail by discussing the difference between the somewhat standard case of thoughts about spatio-temporal medium-sized inanimate objects and the case of thoughts about the natural numbers. It is contended that this new Pluralist theory of singular thought can successfully solve the scope problem. (shrink)

Repeatable artworks, such as novels and musical works, have often been construed as universals whose instances are particular printings or performances. In Art and Art-Attempts, Christy Mag Uidhir offers a nominalist account of repeatable artworks, eschewing talk of universals. Mag Uidhir argues that all artworks are concrete, and artworks that we regard as repeatable are simply unified by a relevant similarity relation: we use the name Beloved to refer to two concrete printed novels because they are relevantly similar to each (...) other and to certain other printings that are the product of Toni Morrison’s art-attempt. I discuss two potential difficulties for Mag Uidhir’s notion of relevant similarity: a difficulty related to appropriation, and a difficulty related to the fact that musical performances are often the product of distinct art-attempts by the composer and by the performer. I suggest that both difficulties could be addressed by enriching the notion of relevant similarity by appeal to the artist’s specification of which similarities are essential for two works to count as relevantly similar. (shrink)

Christy Mag Uidhir’s Art and Art-Attempts begins from two deceptively simple observations: artworks are the product of intentions, and intentions are the kinds of things that can fail to be realized successfully. Drawing on these observations, he argues that most contemporary theories of art must be rejected because they are not substantively intention-dependent: that is, they do not account for the fact that an attempt to make an artwork can fail. From his view that artworks must be the product of (...) art-attempts that are subject to failure, Mag Uidhir derives implications for many domains in the philosophy of art. He argues that artworks cannot be abstract objects, since abstract objects cannot participate in causal relations and thus can’t be the product of art attempts: one can’t coherently intend or attempt to create something that exists eternally. Things that we think of as repeatable artworks, then, can’t be abstract types: instead, Mag Uidhir proposes, every artwork is concrete, but some are tied together by a relation of relevant similarity. In this symposium, Mag Uidhir replies to three critics, David Davies, Sherri Irvin and Keith Lehrer. All three critics examine the relevant similarity relation that Mag Uidhir proposes to account for artworks that we treat as repeatable, while also considering a variety of other issues. (shrink)

This chapter develops a semantics for 'reifying terms' of the sort 'the proposition that S', 'the fact that S', 'the property of being P', 'the number eight', 'the concept horse', 'the truth value true', 'the kind humane being'. This semantics is developed within the broader perspective of the ontology of natural language involving abstract objects only at its periphery, not its core.

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

Can we feel emotions about abstract objects, assuming that abstract objects exist? I argue that at least some emotions can have abstract objects as their intentional objects and discuss why this conclusion is not just trivially true. Through critical engagement with the work of Dacher Keltner and Jonathan Haidt, I devote special attention to awe, an emotion that is particularly well suited to show that some emotions can be about either concrete or abstract objects. In responding to a possible objection, (...) according to which we can only feel emotions about things that we take to matter to our flourishing, and thus cannot feel emotions about causally inefficacious abstract objects, I explore how abstract objects can be relevant to human flourishing and discuss someemotions other than awe that can be about abstract objects. I finish by explaining somereasons why my conclusion matters, including the fact that it presents a challenge to perceptual theories of emotion and causal theories of intentionality. (shrink)

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended arithmetic (...) when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

The perfectly natural properties and relations are special—they are all and only those that "carve nature at its joints." They act as reference magnets, form a minimal supervenience base, figure in fundamental physics and in the laws of nature, and never divide duplicates within or between worlds. If the perfectly natural properties are the (metaphysically) important ones, we should expect being a perfectly natural property to itself be one of the (perfectly) natural properties. This paper argues that being a perfectly (...) natural property is not a very natural property, and examines the consequences. (shrink)

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as a thesis only (...) about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (shrink)

Theistic activism and theistic conceptual realism attempt to relieve the tension between transcendent realism about universals and a strong aseity-sovereignty doctrine. Paradoxically, both theories seem to imply that God is metaphysically prior and metaphysically posterior to his own nature. In this paper I critique one attempt to respond to this worry and offer a neo-Augustinian solution in its place. I demonstrate that Augustine’s argument for forms as ideas in the mind of God strongly suggests that only created beings need universals (...) to ground their character. For them, divine concepts can do all of the work that universals are typically invoked to do in the contemporary literature. An uncreated being’s character needs no such grounding and can be accounted for in terms of his own concepts. If this is correct, theists may be realists about universals while maintaining the traditional read of God’s aseity and sovereignty. (shrink)

Aquinas’s process of abstraction of the particular thing into a universal concept is of pivotal importance for grounding his philosophy and theology in a natural framework. Much has been said and written regarding Aquinas’s doctrine of abstraction, yet recent studies still consider it to be ‘nothing more than a kind of magic.’ This problematic claim is not without foundation, for in trying to understand exactly how this process works, we are constantly faced with an unbridgeable abyss and the repeated vague (...) explanations made by Aquinas. The plain truth is that Aquinas explains what abstraction ought to do and yet, most of the time, he does not explain how it is to be done. This paper intends to show that although Aquinas does not present us with a mechanism for the theory of abstraction, we are nevertheless able to construct a viable mechanism which accords with Aquinas’s guidelines. The aim of constructing a working mechanism that corresponds to what Aquinas demands of the process of abstraction is twofold: First, it attempts to extricate Aquinas’s doctrine of abstraction from the claims of being a quasi-natural doctrine. Second, a viable process of abstraction which is derived from Aquinian-Aristotelian sources can approach contemporary cognitive problems from a fresh point of view. (shrink)

This is my main contribution to P. Gould (ed.) Beyond the Control of God?: Six Views on the Problem of God and Abstract Objects Bloomsbury. (The other contibutors to this work are: Keith Yandell; Paul Gould and Rich Davis; Greg Welty; William Lane Craig; and Scott Shalkowski.) I argue that, when it comes to a comparative assessment of the merits of theism and atheism, it makes no difference whether one opts for realism or fictionalism concerning abstract objects.

Creationism about fictional entities requires a principle connecting what fictions say exist with which fictional entities really exist. The most natural way of spelling out such a principle yields inconsistent verdicts about how many fictional entities are generated by certain inconsistent fictions. Avoiding inconsistency without compromising the attractions of creationism will not be easy.

This paper has three objectives. First, I argue that apprehending an installation artwork is similar to apprehending an artwork for performance: in each case, audiences must recognize a relationship between the performance or display one encounters and the parameters expressed in the underlying work. Second, I consider whether realizations are also artworks in their own right. I argue that, in both installation art and performance, a particular realization is sometimes an artwork in its own right (even as it realizes another (...) work). I offer criteria for determining when this is the case. Application of the criteria yields the verdict that performances are sometimes artworks in their own right, while displays of installation artworks rarely are. This difference, though, is merely contingent on the conventions of the respective art forms. Third, I address ontological concerns about entities that are both abstract and temporal, as many artworks are on my analysis. (shrink)

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction of (...) the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

O problema no qual se inserem nominalismo e realismo, diz-nos MacBride, é o de como explicar as características repetidas das coisas. Enquanto o realista nos diz que as características repetidas se explicam por serem universais, ou seja, por serem as naturezas comuns que várias coisas compartilham, o nominalista nos diz que é possível explicar essas características repetidas com apenas particulares concretos (sem universais).

Neste capítulo, Loux apresenta alguns problemas com relação às modalidades e algumas das relações entre elas e o vocabulário dos mundos possíveis, expondo as duas principais posições ontológicas com relação a tais mundos e às modalidades e com relação à natureza das modalidades, a saber, o possibilismo e o actualismo, defendidos respectivamente por Lewis e Plantinga. Essas são teorias inconsistentes entre si, que intentam nos dizer se os mundos possíveis são concretos ou abstratos e se existe algo além do que (...) é actual. (shrink)

In this paper, I defend an indexical analysis of the abstract-concrete distinction within the framework of modal realism. This analysis holds the abstract-concrete distinction to be conceptually inseparable from the distinction between the actual and the merely possible, which is assumed to be indexical in nature. The resulting view contributes to the case for modal realism by demonstrating how its distinctive resources provide a reductive analysis of the abstract-concrete distinction. This indexical analysis also provides a solution to a sceptical problem (...) regarding our concreteness, which parallels the sceptical problem that motivates indexicalism about actuality. (shrink)

In this paper, two concepts of completing an infinite number of tasks are considered. After discussing supertasks, equisupertasks are introduced. I suggest that equisupertasks are logically possible.

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)