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. Zalta 2 deriving and validating kripkean claims using the theory of abstract objects. The question concerns the way names of fictional characters, when analyzed as names which deno. These objects are nonconcrete in virtue of being nonspatiotemporal and causally inert but they are not abstract since they could have been concrete linsky and zalta 1994. For at the heart of zalta s theory are his abstract objects aos, objects that by definition essentially fail to exist. Originally devised by metaphysician edward zalta in 1999, the theory was an expansion of mathematical platonism. On linsky and zaltas view, these abstract entities do exist at that possible world since they exist. The theory is based on ernst mallys distinction between two types of predication.
The following list of personnel are actively working, or have recently collaborated, on the research and development pursued in the metaphysics research lab. It includes a canonical development of abstract object theory aot, a metaphysical theory inspired by ideas of ernst mally, formalized by zalta that distinguishes between ordinary and abstract objects. Zalta reflections on the logic of the ontological argument stat studia neoaristotelica 4 2007 1 29 wouldnt agree that the is of predication here is to be understood as the exemplification form of predication. Contribute to trentondanielscs 235 development by creating an account on github. Thinking about geometric objects is perhaps the clearest way to think about abstract objects. Mechanizing principia logicometaphysica in functional type theory. Natural numbers and natural cardinals as abstract objects. He directs the metaphysics research lab at csli and serves as the principal editor of the stanford encyclopedia of philosophy, a dynamic reference work that he. To prevent initial scale formation, the antiscalants nucleate small, scaleforming crystals in the solution so that the crystals do not attach to and form scale on. Department of philosophy, rice university, houston, texas. Zalta antiscalants bring together multiple scale control mechanisms to significantly reduce the potential for scale. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct. Wisniewski freie universit at berlin, institute of computer science, germany introduction the theory of abstract objects is the core of edward zaltas upcoming principia metaphys. In many ways, this theory is like a machine for detecting abstract objects hence the name research lab, for among the recursively enumerable theorems, there are statements which assert the existence of the abstract objects mentioned above.
Theories which take fictional objects to be a kind of abstract object are faced with the obvious problem of how to explain the seeming truth of sentences ascribing internal properties. The recognition of abstract nonexistent objects enables zalta to account for the ontological commitments of nearly all areas of discourse such as talk. Abstract objects an introduction to axiomatic metaphysics. Gironde on zalta s notion encoding in conceivabilitycontexts clearcut distinction is needed between abstract and ordinary objects for the sake of clarity of our ontology. Nominalism in metaphysics stanford encyclopedia of philosophy.
In this paper, the author derives the dedekindpeano axioms for number theory from a consistent and general metaphysical theory of abstract objects. I argue for radical negative and positive theses about certain kinds of abstract objects, such as the equilateral triangle. Whereas physics attempts a systematic description of fundamental and complex concrete objects, metaphysics attempts a systematic description of fundamental and complex abstract objects. Jun 23, 2005 abstract in this paper, the author replies to a question raised about theories of nonexistent objects. Nominalism in metaphysics stanford encyclopedia of. Originally devised by metaphysician edward zalta in 1999, 1 the theory was an expansion of mathematical platonism. The paper demonstrates two ways of introducing meaning objects in two logics of natural language, tichys transparent intensional logic and zalta s intensional logic of abstract objects. Zalta 2 deriving and validating kripkean claims using the theory of. Abstract objects an introduction to axiomatic metaphysics e. On linsky and zalta s view, these abstract entities do exist at that possible world since they exist. Zalta on encoding fictional properties abstract fulllength article in. Zalta zalta takes metaphysics to be concerned with providing a framework in which science and other things. In this book, i attempt to lay the axiomatic foundations of metaphysics by developing and applying a formal theory of abstract objects. Even though we decide that our variables uniformly range over individuals, some formal distinction must select apart abstract and concrete objects within a unified domain of.
This applies to logical objects generally including mathematical objects. Since nominalism rejects abstract objects because of their nonspatiotemporality and their causal inertness, nominalism also rejects nonconcrete objects. On zaltas notion encoding in conceivabilitycontexts clearcut distinction is needed between abstract and ordinary objects for the sake of clarity of our ontology. These objects are nonconcrete in virtue of being nonspatiotemporal and causally inert but they are not abstract since they could have been concrete linsky and zalta.
On zaltas account, there are two modes of predication. Zalta, senior research scholar, csli, stanford university. Lecture series the axiomatic theory of abstract objects by edward zalta october 711. An introduction to axiomatic metaphysics synthese library set up a giveaway. The paper offers a sketchy reconstruction of axiomatic foundations of zalta s theory of abstract objects.
This article reports on recent work in which a ot has been suc cessfully represented and partly automated in the proof assistant. Impossible worlds are not taken to be primitive entities but are instead characterized intrinsically using a definition that identifies them with, and reduces them to. The claim x has f necessarily becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways to make the definition of f is essential to x more finegrained. Zalta abstract and nonexistent objects 15 mallys theory is formalized and applied in the cited works by zalta. Abstract objects stanford encyclopedia of philosophy. Referring to fictional characters zalta 2003 dialectica. How can we account for the existence of logical objects.
The modal theory of abstract objects axiomatizes ab. Wetzel 2009 examines the typetoken distinction, argues that types are abstract objects while the tokens of those types are their concrete instances, and shows how difficult it is to paraphrase away the many references to types that occur in the sciences and natural language. This framework consists of a logic extending classical logic to distinguish between abstract and concrete objects and certain amount of development of theory about these objects. Of course, like any good definition, this one does not of itself guarantee that there are or even could be any things of the sort in question. This tutorial collects and elaborates arguments for distinguishing between object oriented programming and abstract data types. Dec 17, 2012 therefore, it makes sense to posit an abstract version of the move something perfect, and outside of spacetime, from which all the worldly versions are copied. On zaltas notion of encoding in conceivability contexts.
Abstract in this paper, the author replies to a question raised about theories of nonexistent objects. On zalta s account, some objects the ordinary concrete ones around us, like tables and chairs exemplify properties, while others abstract objects like numbers, and what others would call nonexistent objects, like the round square, and the mountain made entirely of gold merely encode them. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and. Abstract object theory is a branch of metaphysics regarding abstract objects. A general theory of abstract objects is developed axiomatically in zalta 1983. A logically coherent ante rem structuralism our plan for. Theory of forms pelletier and zalta, 2000, and 2 some problems for.
An introduction to a theory of abstract objects february 1981 edward nouri zalta, b. Edward zaltas axiomatic metaphysics school of philosophy. Mimetic representation and abstract objects1 michaela markham. The language of important disciplines has terms that appear to refer to abstract. Tichys theory belongs to the fregean line of thinking, with what he calls constructions as fregean senses. Abstract data types adts adt is a set of objects together with a set of operations. First, einar duenger bohn clarifies the concepts involved, and the problem that arises from believing in both god and abstract objects. In this paper, the author derives a metaphysical theory of impossible worlds from an axiomatic theory of abstract objects.
Zalta that distinguishes between ordinary and abstract objects. On zalta s account, some objects the ordinary concrete ones around us, like tables and chairs exemplify properties, while others abstract objects like numbers, and what. Pdf an introduction to a theory of abstract objects. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and. Zalta s notion of encoding which lies at the core of his theory of abstract objects is refined so that it can capture cognitive dynamic phenomena such as multiple objecttracking in particular. Linsky and zalta argue that while abstract objects are necessarily abstract, there are objects which are not concrete but could have been concrete. Cook hewlettpackard laboratories 1501 page mill road, palo alto, ca, 943030969, usa abstract.
Zalta wa shrine is located on the road between north hyrule plain and west. Fregean senses, modes of presentation, and concepts. In this course, we present an overview of the body of theorems formally derivable from the axioms of the theory of abstract objects. But, for zalta, more things populate the nonexistent realm than aos, for he is also a possibilist. Comp1406 chapter 8 abstract data types winter 2018 257 the basic methods for inserting, removing, accessing and modifying items from a list are as follows.
Many who think that there exist contingent abstracta are fictional creationists, asserting that sherlock holmes, for example is an abstractum dependent on doyles authorial activities. This poses several challenges for otter representation and implementation. Creatures of fiction, objects of myth analysis oxford. Wisniewski freie universit at berlin, institute of computer science, germany introduction the theory of abstract objects is the core of edward zalta s upcoming principia metaphys. Consider a possible world in which the character of sherlock holmes or, if you prefer, a study in scarlet does not exist because conan doyle was too busy with his medical practice.
It is not a common practice to postulate meaning entities treated as objects of some kind. Prime members enjoy free twoday delivery and exclusive access to music, movies, tv shows, original audio series, and kindle books. Sorry, we are unable to provide the full text but you may find it at the following locations. The paper demonstrates two ways of introducing meaningobjects in two logics of natural language, tichys transparent intensional logic and zaltas intensional logic of abstract objects. Zalta 2 of my axiomatic theory of abstract objects. Wetzel 2009 examines the typetoken distinction, argues that types are abstract objects while the tokens of those types are their concrete instances, and shows how difficult it is to paraphrase away the many references to types. An introduction to axiomatic metaphysics 1983 is the title of a publication by edward zalta that outlines abstract object theory. The question concerns the way names of fictional characters, when. In this lecture series, we present a body of theorems formally derivable from the axioms of object theory.
The modal theory of abstract objects with propositions pages 5976. Objectoriented programming versus abstract data types. In our research lab, we have developed such a theory. Pdf on zaltas notion of encoding in conceivability contexts. Object oriented programming versus abstract data types william r. The zalta wa shrine is one of the shrines in the ridgeland region of the legend of zelda. Our analysis in what follows appeals to the theory of abstract objects zalta 1983 and to the distinction between exemplifying and encoding a property fundamental to that theory. Pdf mechanizing principia logicometaphysica in functional. That is, he believes that, in addition to actual and abstract objects, there are also merely possible objects, or possibilia, things that dont exist in fact, but nonetheless could have existed. The concepts by which ordinary individuals, properties, and relations are con.
Cs235objects abstraction data structures and design. The theory of abstract objects stanford university. Pdf steps toward a computational metaphysics researchgate. It includes a canonical development of abstract object theory aot, a meta. Course title the axiomatic theory of abstract objects. Abstract objects cannot be cynical, be magicians or smoke pipe. The theory of abstract objects is a metaphysical theory. Zalta s most notable philosophical position is descended from the position of alexius meinong and ernst mally, who suggested that there are many nonexistent objects. The axioms are motivated and presented in the first lecture, and once they are in place, we define a variety of abstract objects and systematize them by. Nov 14, 2006 it is not a common practice to postulate meaning entities treated as objects of some kind. 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.
Principia logicometaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. Introduction of implication and generalization in axiomatic calculi. An introduction to axiomatic metaphysics synthese library 9789400969827. Theism, platonism, and the metaphysics of mathematics. We shall extend and refine that reading in what follows. The key axiom of aot is the comprehension principle for abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The axioms are motivated and presented in the first lecture, and once they are in place, we define a variety of abstract objects and systematize them by deriving the their governing principles as theorems. Zaltas notion of encoding which lies at the core of his theory of abstract objects is refined so that it can capture cognitive dynamic phenomena such as multiple objecttracking in particular. Zalta is a senior research scholar at the center for the study of language and information at stanford university. Show how mathematics is analyzed within the theory. In the context of the theory of abstract objects, the.
Zalta on encoding fictional properties abstract klauk. Abstract objects are the objects that are presupposed by our scientific conceptual framework. Some believe that there is a god who is the source of all things. Zalta antiscalants to reduce mining scale formation solenis. Zalta 2004 uses this distinction to give a sympathetic reading of anselms strategy in the proslogion. In this book, zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a formal theory of abstract objects.
307 1021 117 609 220 416 248 1059 1519 446 532 1282 1275 569 583 599 215 599 389 1200 115 271 1148 1076 1488 665 341 1085 1043 460 315 1439