In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for (...) producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

This book discusses and exemplifies the philosophy of religion, or philosophical reflection on central themes of religion.

In this book the author treats art as an action performed by the artist as agent, rather than examining it from the point of view of its audience as ...

This is the second edition of an award-winning 1981 book (Princeton University Press and Basil Blackwell, based on the author’s doctoral dissertation) considered to be a classic in the philosophy of language movement known variously as the New Theory of Reference or the Direct-Reference Theory, as well as in the metaphysics of modal essentialism that is related to this philosophy of language.

Terence Parsons presents a lively and controversial study of philosophical questions about identity. Because many puzzles about identity remain unsolved, some people believe that they are questions that have no answers and that there is a problem with the language used to formulate them. Parsons explores a different possibility: that such puzzles lack answers because of the way the world is (or because of the way the world is not). He claims that there is genuine indeterminacy of identity in the (...) world. He articulates such a view in detail and defends it from a host of criticisms. (shrink)

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

Creationism is the conjunction of the following theses: (i) fictional individuals (e.g. Sherlock Holmes) actually exist; (ii) fictional names (e.g., 'Holmes') are at least sometimes genuinely referential; (iii) fictional individuals are the creations of the authors who first wrote (or spoke, etc.) about them. CA Creationism is the conjunction of (i) - (iii) and the following thesis: (iv) fictional individuals are contingently existing abstracta; they are non-concrete artifacts of our world and various other possible worlds. TakashiYagisawa has recently provided a (...) number of arguments designed to show that Creationism is unjustified. I here critically examine three of his challenges to CA Creationism. I argue that each fails to undermine this version of Creationism. (shrink)

We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel's relation to Kant.

According to Peter van Inwagen, visible inanimate objects do not, strictly speaking, exist. In defending this controversial thesis, he offers fresh insights on such topics as personal identity, commonsense belief, existence over time, the phenomenon of vagueness, and the relation between metaphysics and ordinary language.

I explain a tension between musical creationism (the view that musical works are abstract artifacts) and the view that there is no vague existence. I then suggest ways to reconcile these views. My central conclusion is that, although some versions of musical creationism imply vague existence, others do not. I discuss versions of musical creationism held by Jerrold Levinson, Simon Evnine, and Kit Fine. I also present two new versions. I close by considering whether the tension is merely an instance (...) of a general problem raised by artifacts, both abstract and concrete. I argue that on at least one defensible account of music the tension is especially problematic for abstracta. I focus on musical works, but much of the paper straightforwardly applies to other kinds of abstract artifacts. (shrink)

This challenging study places fiction squarely at the centre of the discussion of metaphysics. Philosophers have traditionally treated fiction as involving a set of narrow problems in logic or the philosophy of language. By contrast Amie Thomasson argues that fiction has far-reaching implications for central problems of metaphysics. The book develops an 'artifactual' theory of fiction, whereby fictional characters are abstract artifacts as ordinary as laws or symphonies or works of literature. By understanding fictional characters we come to understand how (...) other cultural and social objects are established on the basis of the independent physical world and the mental states of human beings. (shrink)

Anthony Everett () argues that those who embrace the reality of fictional entities run into trouble when it comes to specifying criteria of character identity. More specifically, he argues that realists must reject natural principles governing the identity and distinctness of fictional characters due to the existence of fictions which leave it indeterminate whether certain characters are identical and the existence of fictions which say inconsistent things about the identities of their characters. Everett's critique has deservedly drawn much attention and (...) a number of defensive moves have been made by, or on the behalf of, fictional realists. My goal in this paper is to move this debate on a further step. I have three goals: to clarify the importance of Everett's discussion of identity criteria within the context of fictional realism, to reassess Everett's objections to realism in light of the resultant literature, and to develop a novel strategy for responding to Everett's concerns. On the approach to be developed, the problems emerge due to an indeterminacy inherent in the concept of a fictional character itself. (shrink)

Simon J. Evnine explores the view that some objects have matter from which they are distinct but that this distinctness is not due to the existence of anything like a form. He draws on Aristotle's insight that such objects must be understood in terms of an account that links what they are essentially with how they come to exist and what their functions are. Artifacts are the most prominent kind of objects where these three features coincide, and Evnine develops a (...) detailed account of the existence and identity conditions of artifacts, and the origins of their functions, in terms of how they come into existence. He then extends this account to organisms, where evolution accomplishes what is effected by intentional making in the case of artifacts, and to actions, which are seen as artifactual events. (shrink)

This is a wide-ranging 2004 book about arguments for and against beliefs in God. The arguments for the belief are analysed in the first six chapters and include ontological arguments from Anselm to Gödel, the cosmological arguments of Aquinas and Leibniz, and arguments from evidence for design and miracles. The next two chapters consider arguments against belief. The last chapter examines Pascalian arguments for and against belief in God. There are discussions of Cantorian problems for omniscience, of challenges to divine (...) omnipotence, and of the compatibility of everlasting complete knowledge of the world with free-will. There are appendices that present formal proofs in a system for quantified modal logic, a theory of possible worlds, notes on Cantorian set theory, and remarks concerning non-standard hyperreal numbers. This book will be a valuable resource for philosophers of religion and theologians and will interest logicians and mathematicians as well. (shrink)

Artifactualism about fictional characters, positing Harry Potter as an abstract artifact created by J. K. Rowling, has been criticized on the grounds that the idea of creating such objects is mysterious and problematic. In the light of such qualms, it is worth homing in on an argument in favor of artifactualism, showing that it is the best way to include the likes of Harry Potter in our ontology precisely because it incorporates authorial creation. To that end, I will be exploring (...) Kripke’s fleeting remarks in the Addenda to his “Naming and Necessity” lectures about expressions like ‘unicorn’ and ‘Harry Potter’. Elsewhere, Kripke motivates artifactualism by suggesting that incorporating authorial creation (as artifactualism does) is a move that is intuitive and natural; but beyond this, he doesn’t provide any arguments in favor of such a move. My purpose in this paper is to construct such an argument based on considerations about Kripke’s general view about proper names, in particular, his seminal causal-historical chain account of reference determination, and its consequences for fictional names as well as nonfictional names without bearers such as ‘Vulcan’. (shrink)

My goal is to reflect on the phenomenon of inadvertent creation and argue that—various objections to the contrary—it doesn’t undermine the view that fictional characters are abstract artifacts. My starting point is a recent challenge by Jeffrey Goodman that is originally posed for those who hold that fictional characters and mythical objects alike are abstract artifacts. The challenge: if we think that astronomers like Le Verrier, in mistakenly hypothesizing the planet Vulcan, inadvertently created an abstract artifact, then the “inadvertent creation” (...) element turns out to be inescapable yet theoretically unattractive. Based on considerations about actually existing concrete objects featured in fictional works (as Napoleon is in Tolstoy’s War and Peace), I argue that independently of one’s stand on mythical objects, admitting fictional characters as abstract artifacts is enough to give rise to the challenge at hand; yet this very point serves to undermine the challenge, indicating that inadvertent creation is not nearly as worrisome as Goodman suggests. Indeed, the inadvertent creation phenomenon’s generality extends far beyond objects of fiction and myth, and I will use this observation to counter a further objection. Taking fictional characters (and mythical objects) to be abstract artifacts therefore remains a viable option. (shrink)

This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).

Words, languages, symphonies, fictional characters, games, and recipes are plausibly abstract artifacts— entities that have no spatial location and that are deliberately brought into existence as a result of creative acts. Many accept that composition is unrestricted: for every plurality of material objects, there is a material object that is the sum of those objects. These two views may seem entirely unrelated. I will argue that the most influential argument against restricted composition—the vagueness argument—doubles as an argument that there can (...) be no abstract artifacts. There is no way to resist the vagueness argument against abstract artifacts that does not also undermine the vagueness argument against restricted composition. (shrink)

This response to critics includes elaboration of ideas and arguments in ’Logic and Theism’ regarding cumulative arguments for theism, probabilities, ’fine-tuning’ and many worlds, and Gödel’s ontological proof probabilities subjective and objective, and Mackiean doubts concerning the latter, are explained. There is discussion of ’dividing the evidence’ in Bayesian confirmation exercises, with some of it allowed to target ’priors’ of hypotheses, and there is a note on my problems with old evidence. Tentatively explored are Gödel’s considered modal opinions, which may (...) have included that every truth is necessary, and every falsehood impossible. (shrink)

Kurt Gödel’s version of the ontological argument was shown by J. Howard Sobel to be defective, but some plausible modifications in the argument result in a version which is immune to Sobel’s objection. A definition is suggested which permits the proof of some of Godel’s axioms.

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.

Formal representations of values and norms are employed in several academic disciplines and specialties, such as economics, jurisprudence, decision theory and social choice theory. Sven Ove Hansson closely examines such foundational issues as the values of wholes and the values of their parts, the connections between values and norms, how values can be decision-guiding and the structure of normative codes with formal precision. Models of change in both preferences and norms are offered, as well as a method to base the (...) logic of norms on that of preferences. Hansson has developed a unified formal representation of values and norms that reflects both their static and their dynamic properties. This formalized treatment, carried out in terms of both informal value theory and precise logical detail, will contribute to the clarification of certain issues in the basic philosophical theory of values and norms. (shrink)