Notice: This PDF version was distributed by request to members of the Friends of the SEP Society and by courtesy to SEP content contributors. It is solely for their fair use. Unauthorized distribution is prohibited. To learn how to join the Friends of the SEP Society and obtain authorized PDF versions of SEP entries, please visit https://leibniz.stanford.edu/friends/.
As the above quote clearly highlights, it is the responsibility of researchers and research supervisors to be certain that their research staff and students assistants are very familiar with all of the ethical principles and current standards relevant to the research they are conducting. Indeed, they must take an active role in being certain that their research staff and students complete appropriate training in these ethical principles and standards, and how they apply them to the research context in which they (...) are working. This is especially important in areas in which there may be physical harm such as chronic pain research. (shrink)
As the above quote clearly highlights, it is the responsibility of researchers and research supervisors to be certain that their research staff and students assistants are very familiar with all of the ethical principles and current standards relevant to the research they are conducting. Indeed, they must take an active role in being certain that their research staff and students complete appropriate training in these ethical principles and standards, and how they apply them to the research context in which they (...) are working. This is especially important in areas in which there may be physical harm such as chronic pain research. During the past decade, there has been a great increase in research of chronic pain, with breakthroughs in better understanding its etiology, assessment, and treatment (1,2). Obviously, much of this research was conducted using humans and animals as subjects. As a consequence, there were a number of ethical issues that investigators have to be cognizant of when conducting their studies. In this chapter, we will discuss such ethical issues in three major areas: (i) laboratory research with human subjects; (ii) laboratory research with animals; and (iii) translating these laboratory research ﬁndings to ‘‘real world’’ applications in the clinical treatment arena. (shrink)
The use of negative probabilities is discussed for certain problems in which a stochastic process approach is indicated. An extension of probability theory to include signed (negative and positive) probabilities is outlined and both philosophical and axiomatic examinations of negative probabilities are presented. Finally, a class of applications illustrates the use and implications of signed probability theory.
(DRAFT) We investigate the form of mathematical structuralism that acknowledges the existence of structures and their distinctive structural elements. This form of structuralism has been subject to recent criticisms, and our view is that the problems raised stem from the lack of proper, mathematics-free theoretical foundations. We attempt to provide such foundations and show that our foundations have consequences, in the form of theorems, that provide answers to the main questions and problems that have arisen in connection with this form (...) of structuralismn. Our solutions to the problems of structuralism are not developed piecemeal but rather justiﬁed by reference to a principled position. (shrink)
In 1934, Karl N. Llewellyn published a lively essay trumpeting the dawn of legal realism, "On Philosophy in American Law." The charm of his defective little piece is its style and audacity. A philosopher might be seduced into reading Llewellyn's essay by its title; but one soon learns that by "philosophy" Llewellyn only meant "atmosphere". His concerns were the "general approaches" taken by practitioners, who may not even be aware of having general approaches. Llewellyn paired an anemic concept of philosophy (...) with a pumped-up conception of law. Llewellyn's "law" included anything that reflects the "ways of the law guild at large" - judges, legislators, regulators, and enforcers. Llewellyn argued that the legal philosophies implicit in American legal practice had been natural law, positivism and realism, each adopted in response to felt needs of a time. We must reckon with many other implicit "philosophies" to understand the workings of the law guild, not the least of which has been racism. Others, maternalism and paternalism, my foci here, persist in American law, despite women's progress toward equality. Both maternalism and paternalism were strikingly present in a recent decision of the U.S. Supreme Court, Gonzales v. Carhart, upholding the federal Partial-Birth Abortion Ban Act. (shrink)
Karen Bennett has recently argued that the views articulated by Linsky and Zalta (Philos Perspect 8:431–458, 1994) and (Philos Stud 84:283–294, 1996) and Plantinga (The nature of necessity, 1974) are not consistent with the thesis of actualism, according to which everything is actual. We present and critique her arguments. We first investigate the conceptual framework she develops to interpret the target theories. As part of this effort, we question her definition of ‘proxy actualism’. We then discuss her main arguments (...) that the theories carry a commitment to actual entities that do not exist. We end by considering and addressing a worry that might have been the driving force behind Bennett’s claim that Linsky and Zalta’s view is not fully actualistic. (shrink)
Almost everything that we know about Zeno of Elea is to be found in the opening pages of Plato's Parmenides. There we learn that Zeno was nearly 40 years old when Socrates was a young man, say 20. Since Socrates was born in 469 BC we can estimate a birth date for Zeno around 490 BC. Beyond this, really all we know is that he was close to Parmenides (Plato reports the gossip that they were lovers when Zeno was young), (...) and that he wrote a book of paradoxes defending Parmenides' philosophy. Sadly this book has not survived, and what we know of his arguments is second-hand, principally through Aristotle and his commentators (here I have drawn particularly on Simplicius, who, though writing a thousand years after Zeno, apparently possessed at least some of his book). There were apparently 40 ‘paradoxes of plurality’, attempting to show that ontological pluralism — a belief in the existence of many things rather than only one — leads to absurd conclusions; of these paradoxes only two definitely survive, though a third argument can probably be attributed to Zeno. Aristotle speaks of a further four arguments against motion (and by extension change generally), all of which he gives and attempts to refute. In addition Aristotle attributes two other paradoxes to Zeno. Sadly again, almost none of these paradoxes are quoted in Zeno's original words by their various commentators, but in paraphrase. (shrink)
Any study of the 'Scientific Revolution' and particularly Descartes' role in the debates surrounding the conception of nature (atoms and the void v. plenum theory, the role of mathematics and experiment in natural knowledge, the status and derivation of the laws of nature, the eternality and necessity of eternal truths, etc.) should be placed in the philosophical, scientific, theological, and sociological context of its time. Seventeenth-century debates concerning the nature of the eternal truths such as '2 + 2 = 4' (...) or the law of inertia turn on the question of whether these truths were created along with nature, or were uncreated and subsisting in God's mind. One's answer to that question has direct consequences for conceptions of the necessity/contingency of mathematical and natural knowledge, how knowledge of such truths is accomplished by humans, and what grounds these truths. In this paper, I review the positions of four successors to Descartes' philosophy on the question of the eternal truths to illustrate how in specific ways that question with its theological, metaphysical, modal, and epistemological dimensions concerned the objectivity and certainty of the discoveries of the new science. Author Recommends: Clarke, Desmond. Descartes' Philosophy of Science . University Park, Penn State Press, 1982. This work provides an account of Descartes as a practicing scientist whose rationalism is mitigated by reliance on experiment and experience. Author re-examines Descartes' philosophical and scientific works in this new light. Dear, Peter. Revolutionizing the Sciences: European Knowledge and its Ambitions, 1500–1700 . Princeton, Princeton University Press, 2001. This work provides a useful overview of the issues and thinkers of the Scientific Revolution. Of particular relevance is chapter 8 on Cartesian and Newtonian science. Funkenstein, Amos. Theology and the Scientific Imagination from the Middle Ages to the Seventeenth Century . Princeton, Princeton University Press, 1986. This work is an advanced study of the theological and metaphysical foundations of early modern science. Discussions include questions of God's nature, God's knowledge in relation to human knowledge, providence, the laws of nature, and the truths of mathematics. In particular, chapter 3 discusses Descartes' account of the eternal truths and divine omnipotence. Garber, Daniel. Descartes' Metaphysical Physics . Chicago, University of Chicago Press, 1992. This work examines how Descartes' metaphysical doctrines of God, soul, and body set the groundwork for his physics. It includes a study of God and the grounds for the laws of physics (chapter 9). Henry, John. The Scientific Revolution and the Origins of Modern Science . 3rd ed. New York, Palgrave, Macmillan Press, 2008. This work provides a brief, general, and informative overview of the Scientific Revolution, including the themes of method, magic, religion, and culture. Osler, Margaret J. Divine Will and the Mechanical Philosophy: Gassendi and Descartes on Contingency and Necessity in the Created World . Cambridge, Cambridge University Press, 1994. This work is an examination and comparison of the mechanical philosophies of Gassendi and Descartes. It offers in-depth discussion of the issue of voluntarism and intellectualism in the period and how that related to conceptions of laws of nature and the eternal truths. Shapin, Steven. The Scientific Revolution . Chicago, University of Chicago Press, 1996. This work provides a critical synthesis of as well as a guide to recent scholarship in the history of science for a general readership. Online Materials Dr. Robert A. Hatch's Scientific Revolution Website: http://web.clas.ufl.edu/users/rhatch/pages/03-Sci-Rev/SCI-REV-Home/ A compendium of resources for the study of Scientific Revolution. Early English Books Online: http://eebo.chadwyck.com/home Early English Books Online (EEBO) contains digital facsimile page images of virtually every work printed in England, Ireland, Scotland, Wales and British North America and works in English printed elsewhere from 1473 to 1700. Early Modern Resources: http://www.earlymodernweb.org.uk/emr/ Early Modern Resources is a gateway for all those interested in finding electronic resources relating to the early modern period in history. Gallica, the Digital Library of the Bibliothèque Nationale de France: http://gallica.bnf.fr/ An ever-growing digital library which includes numerous primary and secondary texts of relevance to Descartes and his role in Scientific Revolution. Hatfield, Gary, 'René Descartes', The Stanford Encyclopedia of Philosophy. Spring 2009 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/spr2009/entries/descartes/ Slowik, Edward, 'Descartes' Physics', The Stanford Encyclopedia of Philosophy. Winter 2008 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/win2008/entries/descartes-physics/ Syllabus Sample Syllabus: Cartesian Science The following is five weeks covering Cartesian Science in a course on Descartes or the Scientific Revolution, or 17th-century theories of matter, or related themes on early modern truth and method, especially on the continent. This material is best suited to a graduate level audience, but it could be modified to suit an upper-division undergraduate course, as the readings are basically primary texts whose context and background can be explained in lectures. Week 1: Cartesian Revolution in France • Scientific method • Role of mathematics and experiment • Certainty of scientific knowledge Readings: Hatfield, Gary, 'René Descartes', The Stanford Encyclopedia of Philosophy. Spring 2009 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/spr2009/entries/descartes/ Descartes, Discourse on Method , Parts 1–3 Descartes, Meditations on First Philosophy , First Meditation. Week 2: Descartes' Scientific Treatises • Mechanization and mathematization of nature • Primary–secondary quality distinction Readings: Discourse on Method, Parts 4–6 Selections from Descartes' Scientific Essays: The World or Treatise on Light (ATXI 3–48); Treatise on Man (ATXI 119–202); Optics (ATVI 82–147). Slowik, Edward, 'Descartes' Physics', The Stanford Encyclopedia of Philosophy. Winter 2008 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/win2008/entries/descartes-physics/ Henry, John, 'The Mechanical Philosophy,' chapter 5. The Scientific Revolution and the Origins of Modern Science . 3rd ed. Macmillan, 2008. Week 3: Descartes' Theory of Nature • Descartes' derivation of the law of conservation and the three laws of motion • God's role in the metaphysics and physics of nature Readings: Selections from Principles of Philosophy, Preface (all); Letter to Elizabeth; Part I: 1–8; Part II: 1–45, 55, 64; Part III: 1–4, 15–19, 45–47; Part IV: 187–207. John Henry, 'Religion and Science,' chapter 6. The Scientific Revolution and the Origins of Modern Science . 3rd ed. Macmillan, 2008. Week 4: Post-1650 Cartesian Science: Necessity and Contingency in Nature • Debates on God, Creation, and Causes Readings: Easton, Patricia, 'What is at Stake in the Cartesian Debates on the Eternal Truths?' Philosophy Compass 4.2 (2009): 348–62. Malebranche, Nicolas, 'Elucidation 10', from The Search after Truth (1674). Note: All selections available in Nicolas Malebranche (1992). Philosophical Selections , edited by S. Nadler, Hackett. Gottfried Leibniz (1714) Monadology . Week 5: Causes in Nature and Morals • Theodicy as an explanation of defect and evil in a lawful universe: Malebranche v. Leibniz Readings: Nicolas Malebranche, Elucidation XVI (on occasionalism), and Treatise on Nature and Grace, Discourse One, Part 1. Gottfried Leibniz (1706), Theodicy. Focus Questions Weekly questions can be used to focus the readings. This can be done in a web or e-mail discussion thread, as a weekly assignment, or for in class discussion. I require students to post a short paragraph in response to the question or some posting by a classmate on the question. Students are required to post by 10 a.m. the day before we meet for class on a course website. Week 1: According to Descartes, what role does skepticism play in scientific reasoning? Week 2: Comment on the following: 'But I am supposing this machine to be made by the hands of God, and so I think you may reasonably think it capable of a greater variety of movements than I could possibly imagine in it, and of exhibiting more artistry than I could possibly ascribe to it' [ Treatise on Man ; ATXI 120]. Week 3: What is Descartes' conception of the relation between the metaphysics and physics of nature? Week 4: Critically discuss the positions of Descartes, Malebranche, and Leibniz on what provides the foundation for the certitude of natural knowledge? Week 5: Explain why both Malebranche and Leibniz consider moral sin to be analogous to natural defect? Seminar/Project Idea Hold a debate on the question of the status of the eternal truths. The proposition will be Descartes' position: 'Eternal truths must be both created and necessary if certainty in science is to be possible'. Format: 1. At the beginning of the 5-week module, students will be assigned to one of three roles: Team A, Team B, and judge's panel. Students will be given the debate proposition, but will not be told which team will take the affirmative and which team the negative until the time of the debate. 2. Recommend a variation on the Classic Debate Format to encourage the development of argument: sequence begins with affirmative construction (8 minutes), negative construction (8 minutes), second affirmative construction (8 minutes), second negative construction (8 minutes), first negative rebuttal (4 minutes), first affirmative rebuttal (4 minutes), final negative rebuttal (4 minutes) and final affirmative rebuttal (4 minutes). 3. Judges Panel: will consist of 3–4 judges who will assess the performance of Teams A and B. Judgment should be based on the persuasiveness of the team position. 4. Debate will be held at the end of the fifth week, or semester, whichever makes most sense given the course length and structure. Acknowledgements The author gratefully acknowledges the immensely helpful comments and suggestions by the participants in her graduate seminar on the Scientific Revolution: Benjamin Chicka, Sarah Jacques-Ross, Richard Ross, Marcella Stockstill, and Zohra Wolters. (shrink)
A formula is a contingent logical truth when it is true in every model M but, for some model M , false at some world of M . We argue that there are such truths, given the logic of actuality. Our argument turns on defending Tarski’s definition of truth and logical truth, extended so as to apply to modal languages with an actuality operator. We argue that this extension is the philosophically proper account of validity. We counter recent arguments to (...) the contrary presented in Hanson’s ‘Actuality, Necessity, and Logical Truth’ (Philos Stud 130:437–459, 2006 ). (shrink)
These lecture notes were composed while teaching a class at Stanford and studying the work of Brian Chellas (Modal Logic: An Introduction, Cambridge: Cambridge University Press, 1980), Robert Goldblatt (Logics of Time and Computation, Stanford: CSLI, 1987), George Hughes and Max Cresswell (An Introduction to Modal Logic, London: Methuen, 1968; A Companion to Modal Logic, London: Methuen, 1984), and E. J. Lemmon (An Introduction to Modal Logic, Oxford: Blackwell, 1977). The Chellas text inﬂuenced me the most, though the order of (...) presentation is inspired more by Goldblatt.2 My goal was to write a text for dedicated undergraduates with no previous experience in modal logic. The text had to meet the following desiderata: (1) the level of diﬃculty should depend on how much the student tries to prove on his or her own—it should be an easy text for those who look up all the proofs in the appendix, yet more diﬃcult for those who try to prove everything themselves; (2) philosophers (i.e., colleagues) with a basic training in logic should be able to work through the text on their own; (3) graduate students should ﬁnd it useful in preparing for a graduate course in modal logic; (4) the text should prepare people for reading advanced texts in modal logic, such as Goldblatt, Chellas, Hughes and Cresswell, and van Benthem, and in particular, it should help the student to see what motivated the choices in these texts; (5) it should link the two conceptions of logic, namely, the conception of a logic as an axiom system (in which the set of theorems is constructed from the bottom up through proof sequences) and the conception of a logic as a set containing initial ‘axioms’ and closed under ‘rules of inference’ (in which the set of theorems is constructed from the top down, by carving out the logic from the set of all formulas as the smallest set closed under the rules); ﬁnally, (6) the pace for the presentation of the completeness theorems should be moderate—the text should be intermediate between Goldblatt and Chellas in this regard (in Goldblatt, the completeness proofs come too quickly for the undergraduate, whereas in Chellas, too many unrelated.... (shrink)
Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. 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 fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (shrink)
The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...) on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)
The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)
The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small models (...) and hence that its ontological commitments — and, therefore, those of the fundamental principle of world theory — are minimal. (shrink)
The appeal to possible worlds in the semantics of modal logic and the philosophical defense of possible worlds as an essential element of ontology have led philosophers and logicians to introduce other kinds of `worlds' in order to study various philosophical and logical phenomena. The literature contains discussions of `non-normal worlds', `non-classical worlds', `non-standard worlds', and `impossible worlds'. These atypical worlds have been used in the following ways: (1) to interpret unusual modal logics, (2) to distinguish logically equivalent propositions, (3) (...) to solve the problems associated with propositional attitude contexts, intentional contexts, and counterfactuals with impossible antecedents, and (4) to interpret systems of relevant and paraconsistent logic. However, those who have attempted to develop a genuine metaphysical theory of such atypical worlds tend to move too quickly from philosophical characterizations to formal semantics. (shrink)
of my axiomatic theory of abstract objects.<sup>1</sup> The theory asserts the ex- istence not only of ordinary properties, relations, and propositions, but also of abstract individuals and abstract properties and relations. The.
This paper contains answers to the following Five questions, posed by the editors are answered: (1) Why were you initially drawn to the foundations of mathematics and/or the philosophy of mathematics? (2) What example(s) from your work (or the work of others) illustrates the use of mathematics for philosophy? (3) What is the proper role of philosophy of mathematics in relation to logic, foundations of mathematics, the traditional core areas of mathematics, and science? (4) What do you consider the most (...) neglected topics and/or contributions in late 20th century philosophy of mathematics? (5) What are the most important open problems in the philosophy of mathematics and what are the prospects for progress? (shrink)
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)
The author engages a question raised about theories of nonexistent objects. The question concerns the way names of fictional characters, when analyzed as names which denote nonexistent objects, acquire their denotations. Since nonexistent objects cannot causally interact with existent objects, it is thought that we cannot appeal to a `dubbing' or a `baptism'. The question is, therefore, what is the starting point of the chain? The answer is that storytellings are to be thought of as extended baptisms, and the details (...) of this response receive attention in the paper. Once the storytelling is complete, and the characters have been baptized, a priori metaphysical principles linking the storytelling with the realm of nonexistent objects provide the referential, non-causal connection between the names used in the storytelling and the objects denoted by such names. [This is the original English version of an article that first appeared in German translation, translated into German by Arnold Günther and published in the Zeitschrift für Semiotik 9/1-2 (1987): 85-95. The version that appears here is, for the most part, unaltered.]. (shrink)
In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)
In "Actualism or Possibilism?" (Philosophical Studies, 84 (2-3), December 1996), James Tomberlin develops two challenges for actualism. The challenges are to account for the truth of certain sentences without appealing to merely possible objects. After canvassing the main actualist attempts to account for these phenomena, he then criticizes the new conception of actualism that we described in our paper "In Defense of the Simplest Quantified Modal Logic" (Philosophical Perspectives 8: Philosophy of Logic and Language, Atascadero, CA: Ridgeview, 1994). We respond (...) to Tomberlin's criticism by showing that we wouldn't analyze the problematic claim (e.g., "Ponce de Leon searched for the fountain of youth") in the way he suggests. (shrink)
In this paper, the author develops a theory of concepts and shows that it captures many of the ideas about concepts that Leibniz expressed in his work. Concepts are first analyzed in terms of a precise background theory of abstract objects, and once concept summation and concept containment are defined, the axioms and theorems of Leibniz's calculus of concepts (in his logical papers) are derived. This analysis of concepts is then seamlessly connected with Leibniz's modal metaphysics of complete individual concepts. (...) The fundamental theorem of Leibniz's modal metaphysics of concepts is proved, namely, whenever an object x has F contingently, then (i) the individual concept of x contains the concept F and (ii) there is a (counterpart) complete individual concept y which doesn't contain the concept F and which `appears' at some other possible world. Finally, the author shows how the concept containment theory of truth can be made precise and made consistent with a modern conception of truth. (shrink)
In this entry, Frege's logic is introduced and described in some detail. It is shown how the Dedekind-Peano axioms for number theory can be derived from a consistent fragment of Frege's logic, with Hume's Principle replacing Basic Law V.
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)
The authors first address two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan and show that these paradoxes don't affect the object-theoretic analysis of worlds and propositions. However, Kit Fine has formulated an object theoretic version of Kaplan's paradox that threatens to show that object theory is, after all, no better off. The initial, most straightforward version of the paradox is blocked by theoretical restrictions specific to object theory, but the paradox can be revised (...) so as to comport with these restrictions by redefining one of the terms in an essential premise. The authors then argue that the premise that results given the new definition is entirely implausible if propositions are understood, as they are in object theory, to be fine-grained intensional entities rather than sets of possible worlds. Object theory, therefore, can block the revised paradox as well. (shrink)
In the debate about the nature and identity of possible worlds, philosophers have neglected the parallel questions about the nature and identity of moments of time. These are not questions about the structure of time in general, but rather about the internal structure of each individual time. Times and worlds share the following structural similarities: both are maximal with respect to propositions (at every world and time, either p or p is true, for every p); both are consistent; both are (...) closed (every modal consequence of a proposition true at a world is also true at that world, and every tense-theoretic consequence of a proposition true at a time is also true at that time); just as there is a unique actual world, there is a unique present moment; and just as a proposition is necessarily true iff true at all worlds, a proposition is eternally true iff true at all times. In this paper, I show that a simple extension of my theory of worlds yields a theory of times in which the above structural similarities between the two are consequences. (shrink)
The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.
In this paper, we develop an alternative strategy, Platonized Naturalism, for reconciling naturalism and Platonism and to account for our knowledge of mathematical objects and properties. A systematic (Principled) Platonism based on a comprehension principle that asserts the existence of a plenitude of abstract objects is not just consistent with, but required (on transcendental grounds) for naturalism. Such a comprehension principle is synthetic, and it is known a priori. Its synthetic a priori character is grounded in the fact that it (...) is an essential part of the logic in which any scientific theory will be formulated and so underlies (our understanding of) the meaningfulness of any such theory (this is why it is required for naturalism). Moreover, the comprehension principle satisfies naturalist standards of reference, knowledge, and ontological parsimony! As part of our argument, we identify mathematical objects as abstract individuals in the domain governed by the comprehension principle, and we show that our knowledge of mathematical truths is linked to our knowledge of that principle. (shrink)
In this article, we canvass a few of the interesting topics that philosophers can pursue as part of the simultaneous study of logic and metaphysics. To keep the discussion to a manageable length, we limit our survey to deductive, as opposed to inductive, logic. Though most of this article will focus on the ways in which logic can be deployed in the study of metaphysics, we begin with a few remarks about how metaphysics might be needed to understand what logic (...) is. When we ask the question, “What is logic and what is its subject matter?”, there is no obvious answer. There have been so many di erent kinds of studies that have gone by the name ‘logic’ that it is di cult to give an answer that applies to them all. But there are some basic commonalities. Most philosophers would agree that logic presupposes (1) the existence of a language for expressing thoughts or meanings, (2) certain analytic connections between the thoughts that ground and legitimize the inferential relations among them, and (3) that the analytic connections and inferential relations can be studied systematically by investigating (often formally) the logical words and sentences used to express the thoughts so connected and related. For example, analytic connections give rise to various patterns of inferences expressed by certain logical words and phrases.. (shrink)
The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)
This is an extended, critical review of Mark Balaguer's book *Platonism and Anti-Platonism in Mathematics* (New York: Oxford University Press, 1998). After describing his theory ("full-blooded Platonism"), we raise two criticisms. The first concerns the fact that Balaguer's theory offers no way to uniquely identify the denotations of the terms appearing in mathematical theories. The second concerns the fact that Balaguer overlooks the possibility that the fact, that Platonism and anti-Platonism agree on numerous points but differ only on whether mathematical (...) objects exist, can be explained if both views turn out to be two different interpretations of the same formal theory. (shrink)
In (1991), Meinwald initiated a major change of direction in the study of Plato’s Parmenides and the Third Man Argument. On her conception of the Parmenides , Plato’s language systematically distinguishes two types or kinds of predication, namely, predications of the kind ‘x is F pros ta alla’ and ‘x is F pros heauto’. Intuitively speaking, the former is the common, everyday variety of predication, which holds when x is any object (perceptible object or Form) and F is a property (...) which x exempliﬁes or instantiates in the traditional sense. The latter is a special mode of predication which holds when x is a Form and F is a property which is, in some sense, part of the nature of that Form. Meinwald (1991, p. 75, footnote 18) traces the discovery of this distinction in Plato’s work to Frede (1967), who marks the distinction between pros allo and kath’ hauto predications by placing subscripts on the copula ‘is’. (shrink)
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)
States of affairs, situations, and worlds are integrated into a single metaphysical foundation and the most basic principles that pretheoretically characterize these entities are derived. The principles are cast as theorems in a precise logical framework and are derived from an independently- motivated axiomatic theory of objects and relations. Situations and worlds are identified as objects that both encode and exemplify properties. They encode properties of the form being such that (where p is a state of affairs). These encoded properties (...) are distinguished from the other properties that situations and worlds both contingently and necessarily exemplify, and this distinction offers a principled answer to a variety of philosophical questions about these entities. (shrink)
In this paper, we investigate (1) what can be salvaged from the original project of "logicism" and (2) what is the best that can be done if we lower our sights a bit. Logicism is the view that "mathematics is reducible to logic alone", and there are a variety of reasons why it was a non-starter. We consider the various ways of weakening this claim so as to produce a "neologicism". Three ways are discussed: (1) expand the conception of logic (...) used in the reduction, (2) allow the addition of analytic-sounding principles to logic so that the reduction is not to "logic alone" but to logic and truths knowable a priori, and (3) revise the conception of "reducible". We show how the current versions of neologicism fit into this classification scheme, and then focus on a kind of neologicism which we take to have the most potential for achieving the epistemological goals of the original logicist project. We argue that that the "weaker" the form of neologicism, the more likely it is to be a new form of logicism, and show how our preferred system, though mathematically weak, is metaphysically and epistemogically strong, and can "reduce" arbitrary mathematical theories to logic and analytic truths, if given a legitimate new sense of "reduction". (shrink)
The author revises the formulation of propositional modal logic by interposing a domain of structured propositions between the modal language and the models. Interpretations of the language (i.e., ways of mapping the language into the domain of propositions) are distinguished from models of the domain of propositions (i.e., ways of assigning truth values to propositions at each world), and this contrasts with the traditional formulation. Truth and logical consequence are defined, in the first instance, as properties of, and relations among, (...) propositions. (shrink)
The author examines the differences between the general intensional logic defined in his recent book and Montague's intensional logic. Whereas Montague assigned extensions and intensions to expressions (and employed set theory to construct these values as certain sets), the author assigns denotations to terms and relies upon an axiomatic theory of intensional entities that covers properties, relations, propositions, worlds, and other abstract objects. It is then shown that the puzzles for Montague's analyses of modality and descriptions, propositional attitudes, and directedness (...) towards nonexistents can be solved using the author's logic. (shrink)
Current versions of nominalism in the philosophy of mathematics have the benefit of avoiding commitment to the existence of mathematical objects. But this comes with the cost of not taking mathematical theories literally. Jody Azzouni's Deflating Existential Consequence has recently challenged this conclusion by formulating a nominalist view that lacks this cost. In this paper, we argue that, as it stands, Azzouni's proposal does not yet succeed. It faces a dilemma to the effect that either the view is not nominalist (...) or it fails to take mathematics literally. After presenting the dilemma, we suggest a possible solution for the nominalist. (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)
In this paper, we describe "metaphysical reductions", in which the well-defined terms and predicates of arbitrary mathematical theories are uniquely interpreted within an axiomatic, metaphysical theory of abstract objects. Once certain (constitutive) facts about a mathematical theory T have been added to the metaphysical theory of objects, theorems of the metaphysical theory yield both an analysis of the reference of the terms and predicates of T and an analysis of the truth of the sentences of T. The well-defined terms and (...) predicates of T are analyzed as denoting abstract objects and abstract relations, respectively, in the background metaphysics, and the sentences of T have a reading on which they are true. After the technical details are sketched, the paper concludes with some observations about the approach. One important observation concerns the fact that the proper axioms of the background theory abstract objects can be reformulated in a way that makes them sound more like logical axioms. Some philosophers have argued that we should accept (something like) them as being logical. (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)
In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-order, axiomatic theory of abstract objects, we show (1) how to represent a fragment of that theory in prover9’s first-order syntax, and (2) how (...) prover9 then finds proofs of interesting theorems of metaphysics, such as that every possible world is maximal. We conclude the paper by discussing some issues for further research. (shrink)
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.
The arguments of the dialetheists for the rejection of the traditional law of noncontradiction are not yet conclusive. The reason is that the arguments that they have developed against this law uniformly fail to consider the logic of encoding as an analytic method that can resolve apparent contradictions. In this paper, we use Priest  and  as sample texts to illustrate this claim. In , Priest examines certain crucial problems in the history of philosophy from the point of view (...) of someone without a prejudice in favor of classical logic. For each of these problems, the logic of encoding offers an alternative explanation of the phenomena---this alternative is not considered when Priest describes what options there are in classical logic for analyzing the problem at hand. (shrink)
Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)
In this paper, I respond to D. Jacquette's paper, "Mally's Heresy and the Logic of Meinong's Object Theory" (History and Philosophy of Logic, 10 (1989): 1-14), in which it is claimed that Ernst Mally's distinction between two modes of predication, as it is employed in the theory of abstract objects, is reducible to, and analyzable in terms of, a single mode of predication plus the distinction between nuclear and extranuclear properties. The argument against Jacquette's claims consists of counterexamples to his (...) reductions and analyses. Reasons are offered for thinking that no such reduction/analysis of the kind Jacquette proposes could be successful. (shrink)
<span class='Hi'>Mark</span> Balaguer’s project in this book is extremely ambitious; he sets out to defend both platonism and ﬁctionalism about mathematical entities. Moreover, Balaguer argues that at the end of the day, platonism and ﬁctionalism are on an equal footing. Not content to leave the matter there, however, he advances the anti-metaphysical conclusion that there is no fact of the matter about the existence of mathematical objects.1 Despite the ambitious nature of this project, for the most part Balaguer does not (...) shortchange the reader on rigor; all the main theses advanced are argued for at length and with remarkable clarity and cogency. There are, of course, gaps in the account (some of which are described below) but these should not be allowed to overshadow the sig-. (shrink)
In this paper, the author analyzes critically some of the ideas found in Karel Lambert's recent book, Meinong and the Principle of Independence (Cambridge: Cambridge University Press, 1983). Lambert attempts to forge a link between the ideas of Meinong and the free logicians. The link comes in the form of a principle which, Lambert says, these philosophers adopt, namely, Mally's Principle of Independence, which Mally himself later abandoned. Instead of following Mally and attempting to formulate the principle in the material (...) mode as the claim that an object can have properties without having any sort of being, Lambert formulates the principle in the formal mode, as (something equivalent to) the rejection of the traditional constraint on the principle of predication. The principle of predication is that a formula of the form Fa' is true iff the general term F' is true of the object denoted by the object term a'. The traditional constraint on this predication principle is that for the sentence Fa' to be true, not only must the object term have a denotation, but it must also denote an object that has being. According to Lambert, the free logicians violate this constraint by suggesting that Fa' can be true even if the object term has no denotation, whereas Meinong violates this constraint by proposing Fa' can be true even when the object term denotes an object that has no being. Lambert then tries to `vindicate' the Principle of Independence, thereby justifying both the work of the free logicians and Meinong. (shrink)
<span class='Hi'></span> In this paper I propose a fundamental modification of standard type theory,<span class='Hi'></span> produce a new kind of type theoretic language,<span class='Hi'></span> and couch in this language a comprehensive theory of abstract individuals and abstract properties and relations of every type.<span class='Hi'></span> I then suggest how to employ the theory to solve the four following philosophical problems:<span class='Hi'></span> (A)<span class='Hi'></span> the identification and ontological status of Frege's Senses;<span class='Hi'></span> (B)<span class='Hi'></span> the deviant behavior of terms in propositional attitude (...) contexts;<span class='Hi'></span> (C)<span class='Hi'></span> the non-identity of necessarily equivalent propositions,<span class='Hi'></span> and <span class='Hi'></span>(D)<span class='Hi'></span> the paradox of analysis.<span class='Hi'></span> We can roughly describe these solutions as follows:<span class='Hi'></span> (A)<span class='Hi'></span> the senses of English names and descriptions which denote individuals will be modelled as abstract individuals;<span class='Hi'></span> the senses of English relation denoting expressions of a given type will be modelled as abstract relations of that type.<span class='Hi'></span> (B)<span class='Hi'></span> Inside de dicto attitude contexts,<span class='Hi'></span> these English expressions denote <span class='Hi'></span>(the abstract objects which serve as)<span class='Hi'></span> their senses.<span class='Hi'></span> (C)<span class='Hi'></span> Relations and propositions will not be identified with their extensions,<span class='Hi'></span> nor with functions or sets of any kind.<span class='Hi'></span> They will be taken as primitive,<span class='Hi'></span> and precise being and identity conditions will be proposed consistent with the view that necessarily equivalent relations and propositions may be distinct.<span class='Hi'></span> (D)<span class='Hi'></span> With the modelling described in <span class='Hi'></span>(A)<span class='Hi'></span>, the expressions being a brother and being a male sibling may both denote the same property,<span class='Hi'></span> though <span class='Hi'></span>(the abstract properties which serve as)<span class='Hi'></span> their senses may differ.<span class='Hi'></span> Just as Frege predicts,<span class='Hi'></span> being a brother just is being a male sibling is an informative identity statement because the terms flanking the identity sign have the same denotation,<span class='Hi'></span> though distinct senses. (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  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)
In an author-meets-critics session at the March 1992 Pacific APA meetings, the critics (Christopher Menzel, Harry Deutsch, and C. Anthony Anderson) commented on the author's book *Intensional Logic and the Metaphysics of Intentionality* (Cambridge, MA: MIT/Bradford, 1988). The critical commentaries are published in this issue together with these replies by the author. The author responds to questions concerning the system he proposes, and in particular, to questions concerning the treatment of modality, the semantics of belief reports, and the general efficacy (...) of the metaphysical foundations as compared to that of set theory. (shrink)
In this paper, the author compares passages from two philosophically important texts and concludes that they have fundamental ideas in common. What makes this comparison and conclusion interesting is that the texts come from two different traditions in philosophy, the analytic and the phenomenological. In 1912, Ernst Mally published *Gegenstandstheoretische Grundlagen der Logik und Logistik*, an analytic work containing a combination of formal logic and metaphysics. In 1913, Edmund Husserl published *Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie*, a seminal (...) work in phenomenology in which noemata are defined and given a crucial role in directing our mental states. In the passages from these two texts reproduced below, the author shows that the abstract `determinates' postulated by Mally in 1912 are assigned much the same role that Husserl assigned to noemata in 1913. Though Mally's determinates are not as highly structured as Husserl's noemata, they have a feature that explains how they manage to play the role assigned to them. The corresponding feature is missing, or at least, not emphasized in Husserl's account of noemata. Therefore, insights from both philosophers, and thus from both the analytic and phenomenological traditions, are needed to give a more complete account of directed mental states. (shrink)
This paper serves as a kind of field guide to certain passages in the literature which bear upon the theory of abstract objects. This theory assimilates ideas from key philosophers in both the analytical and phenomenological traditions. The paper explains how the theory of abstract objects serves as a common ground where analytic and phenomenological concerns meet.
Forma logica argumenti ontologici reconsiderataHac in tractatione auctores veritatem praemissarum argumenti ontologici, quod in dissertatione sua anno 1991 publicata proposuerunt, examinant. Auctores praesertim de prima Anselmi praemissa, qua asseritur, dari cogitabile quid, quo maius cogitari nequit, dubitant. Primo scilicet argumentum, quod Anselmus pro hac assertione astruit, reiciunt; deinde ostendunt, aliam interpretationem formalem huius praemissae dari posse, secundum quam vera evenit. Haec interpretatione adhibita, argumentum Anselmi non solum validum, sed etiam efficax esse constat. Reconstructio praecisa argumenti in hoc sensu intellectinihilominus revelat, (...) conclusionem eius, scilicet „Deus existit“, sensum peculiarem acquirere, qui Anselmi intentioni originali haud satisfacit.Reflections on the Logic of the Ontological ArgumentThe authors evaluate the soundness of the ontological argument they developed in their 1991 paper. They focus on Anselm’s first premise, which asserts that there is a conceivable thing than which nothing greater can be conceived. After casting doubt on the argument Anselm uses in support of this premise, the authors show that there is a formal reading on which it is true. Such a reading can be used in a sound reconstruction of the argument. After this reconstruction is developed in precise detail, the authors show that the conclusion, a reading of the claim “God exists”, does not quite achieve the end Anselm desired. (shrink)
This paper describes a way of creating and maintaining a `dynamic encyclopedia', i.e., an encyclopedia whose entries can be improved and updated on a continual basis without requiring the production of an entire new edition. Such an encyclopedia is therefore responsive to new developments and new research. We discuss our implementation of a dynamic encyclopedia and the problems that we had to solve along the way. We also discuss ways of automating the administration of the encyclopedia.
The author resolves a conflict between Frege's view that the cognitive significance of coreferential names may be distinct and Kaplan's view that since coreferential names have the same "character", they have the same cognitive significance. A distinction is drawn between an expression's "character" and its "cognitive character". The former yields the denotation of an expression relative to a context (and individual); the latter yields the abstract sense of an expression relative to a context (and individual). Though coreferential names have the (...) same character, they may have distinct cognitive characters. Propositions involving these abstract senses play an important role in explaining de dicto belief contexts. (shrink)
In this paper, the authors show that there is a reading of St. Anselm’s ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm’s use of the definite description “that than which nothing greater can be conceived” seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence “there is an x such that…” does not imply “x exists”. Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God’s existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if x does not exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes’ ontological argument can be derived from it. (shrink)
This book tackles the issues that arise in connection with intensional logic -- a formal system for representing and explaining the apparent failures of certain important principles of inference such as the substitution of identicals and existential generalization-- and intentional states --mental states such as beliefs, hopes, and desires that are directed towards the world. The theory offers a unified explanation of the various kinds of inferential failures associated with intensional logic but also unifies the study of intensional contexts and (...) intentional states by grounding the explanation of both phenomena in a single theory. When an axiomatized realm of abstract entities is added to the metaphysical structure of the world, we can use them to identify and individuate the contents of directed mental states. The special abstract entities can be viewed as the objectified contents of mental files, and they play a crucial role in the analysis of truth conditions of the sentences involved in inferential failures. (shrink)
De argumenti ontologici forma logicaTractatione proposita auctores manifestant, „Argumentum Ontologicum“ St. Anselmi in 2° capitulo eius Proslogii inscriptum ut validum exponi posse (i. e. consequentiam bonam servando). Hac in interpretatione vis et notio descriptionis illae „id quo maius cogitari nequit“, qua Anselmus usus est, rite agnoscitur. Datis enim lingua formali „primi ordinis“, ut aiunt, et systemati deductivo logicae huiusmodi, in quo descriptiones definitae genuini sunt termini et ubi a sententia „datur x quod…“ signo quantitatis praefixa ad sententiam „x exsistit“ consequentia (...) non valet, et adhibendo adhuc regulas ordinarias logicae descriptionumrelationemque comparationis, quae „continua“ dicitur, exsistentia Dei sequitur duabus ex praemissis: Una quidem, „datur cogitabile aliquid, quo maius cogitari nequit“; et altera, „x non exsistente, aliquid eo maius cogitari potest“. Conclusio praedicta non potest negari, nisi una quoque harum praemissarum saltem negatur. Argumentum hoc vero nulla deductione modali utitur; et, quod notabile est, ratio ontologica Cartesii ex eo derivari potest.On the Logic of the Ontological ArgumentIn this paper, the authors show that there is a reading of St. Anselm’s ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm’s use of the definite description “that than which nothing greater can be conceived” seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence “there is an x such that…” does not imply “x exists”. Then, using an ordinary logic of descriptions and a connected greater-than relation, God’s existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if x does not exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes’ ontological argument can be derived from it. (shrink)
The Stanford Encyclopedia of Philosophy is an open access, dynamic reference work designed to organize professional philosophers so that they can write, edit, and maintain a reference work in philosophy that is responsive to new research. From its inception, the SEP was designed so that each entry is maintained and kept up to date by an expert or group of experts in the field. All entries and substantive updates are refereed by the members of a distinguished Editorial Board before they (...) are made public. (shrink)
Nineteen obituaries of recently deceased Fellows of the British Academy: W S Allen; George Anderson; A C de la Mare; John Flemming; James Harris; John Hurst; Casimir Lewy; Donald MacDougall; Colin Matthew; Edward Miller; Michio Morishima; Brian Reddaway; Marjorie Reeves; C Martin Robertson; Conrad Russell and Arnold Taylor.
In contrast to many of his contemporaries, A. J. Ayer was an analytic philosopher who had sustained throughout his career some interest in developments in the work of his ‘continental’ peers. Ayer, who spoke French, held friendships with some important Parisian intellectuals, such as Camus, Bataille, Wahl and Merleau-Ponty. This paper examines the circumstances of a meeting between Ayer, Merleau-Ponty, Wahl, Ambrosino and Bataille, which took place in 1951 at some Parisian bar. The question under discussion during this meeting was (...) whether the sun existed before humans did, over which the various philosophers disagreed. This disagreement is tangled with a variety of issues, such as Ayer’s critique of Heidegger and Sartre (inherited from Carnap), Ayer’s response to Merleau-Ponty’s critique of empiricism, and Bataille’s response to Sartre’s critique of his notion of ‘unknowing’, which uncannily resembles Ayer’s critique of Sartre. Amidst this tangle one finds Bataille’s statement that an ‘abyss’ separates English from French and German philosophy, the first recorded announcement of the analytic-continental divide in the twentieth century. References H. B. Acton. Philosophy in France. Philosophy, 22(82):161-166, 1947. http://dx.doi.org/10.1017/S0031819100025365 A. J. Ayer & T. Honderich. An Interview with A. J. Ayer. In A. P. Griffiths, editor, A.J. Ayer Memorial Essays, pages 209-226. Cambridge, Cambridge University Press, 1991. A. J. Ayer. Language, Truth and Logic. London, Gollancz, 1936. A. J. Ayer. Novelist-Philosopher, Jean-Paul Sartre. Horizon, 12(67):12–26, & 12(68):101-110, 1945. A. J. Ayer. Novelist-Philosopher, Albert Camus. Horizon, 13(75):155-168, 1946a. A. J. Ayer. Secret Session. Polemic, 2:60-63, 1946b. A. J. Ayer. Some Aspects of Existentialism. In F. Watts, editor, H. B. Acton. Philosophy in France. Philosophy, 22(82):161-166, 1947. http://dx.doi.org/10.1017/S0031819100025365 A. J. Ayer & T. Honderich. An Interview with A. J. Ayer. In A. P. Griffiths, editor, A.J. Ayer Memorial Essays, pages 209-226. Cambridge, Cambridge University Press, 1991. A. J. Ayer. Language, Truth and Logic. London, Gollancz, 1936. A. J. Ayer. Novelist-Philosopher, Jean-Paul Sartre. Horizon, 12(67):12–26, & 12(68):101-110, 1945. A. J. Ayer. Novelist-Philosopher, Albert Camus. Horizon, 13(75): 155-168, 1946a. A. J. Ayer. Secret Session. Polemic, 2:60-63, 1946b. A. J. Ayer. Some Aspects of Existentialism. In F. Watts, editor, The Rationalist Annual, pages 5-13. London, Watts & Co, 1948. A. J. Ayer. The Definition of Liberty: Jean-Paul Sartre’s Doctrine of Commitment. The Listener, 44(1135):633-634, 1950. A. J. Ayer. Jean-Paul Sartre. Encounter, 15(4):75-77, 1961. A. J. Ayer. On Existentialism. Modern Languages, 48(1):1-12, 1967. A. J. Ayer. Sartre on the Jews. The Spectator, 211(7317):394-395, 1968. A. J. Ayer. Reflections on Existentialism. In Metaphysics and Common Sense, pages 203-218. London, Macmillan,1969. A. J. Ayer. Part of my Life: The Memoirs of a Philosopher. New York, Harcourt Brace Janovich, 1977. A. J. Ayer. Philosophy in the Twentieth Century. London, Unwinn, 1984. A. J. Ayer. A Defence of Empiricism. In A. P. Griffiths, editor, A.J. Ayer Memorial Essays, pages 1-16. Cambridge, Cambridge University Press, 1991. G. Bataille. Un-knowing and its Consequences. A. Michelson, translator, October, 36:80-85, 1986. G. Bataille. On Nietzsche. B. Boone, translator. London, Continuum, 2004. G. Bataille, I. Waldberg, & R. Lebel, editors, Encyclopaedia Acephalica. (I. White, D. Faccini, A. Michelson, J. Harman, A. Lykiard, et al., translators.) London, Atlas Press, 1995. I. Berlin. Review of My Philosophy (And other Essays on the Moral and Political Problems of our Time) by Benedetto Croce. Mind, 61(244):574-584, 1952. T. Carman. Continental Themes in Analytic Philosophy. In C. V. Boundas, editor, Columbia Companion to Twentieth-Century Philosophies, pages 351-366. New York, Columbia University Press, 2007. R. Carnap. The Elimination Of Metaphysics Through Logical Analysis of Language (A. Pap, translator). In A. J. Ayer, editor, Logical Positivism, pages 60-81. Glencoe, IL, The Free Press, 1959. J. Chase & J. Reynolds. Analytic versus Continental: Arguments on the Methods and Value of Philosophy. Durham, Acumen, 2010. S. Collini. Absent Minds: Intellectuals in Britain. Oxford: Oxford University Press, 2006. S. Critchley. Very Short Introduction to Continental Philosophy. Oxford, Oxford University Press, 2001. H. J. Dahms. Neue Sachlichkeit in the Architecture and Philosophy of the 1920s. In S. Awodey & C. Klein, editors, Carnap Brought Home: The View From Jena, pages 357-376. Chicago, Open Court, 2004. P. J. R. Dempsey. The Psychology of Sartre. Cork, Cork University Press,1950. V. Descombes. Modern French Philosophy. Cambridge, Cambridge University Press, 1980. B. Flynn. Merleau-Ponty. In E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy, , 2004. M. Friedman. A Parting of the Ways: Carnap, Cassirer, and Heidegger. Chicago, Open Court, 2000. G. Gabriel. Carnap’s “Elimination of Metaphysics Through the Logical Analysis of Language:” A Retrospective Consideration of the Relationship between Continental and Analytic Philosophy. In P. Parrini, W. C. Salmon, & M. H. Salmon, editors, Logical Empiricism: Historical and Contemporary Perspectives, pages 30-42. Pittsburgh, University of Pittsburgh Press, 2003. P. Galison. Constructing Modernism: The Cultural Location of Aufbau. In R. N. Giere, A. Richardson, editors, Origins of Logical Empiricism, pages 17-44. Minneapolis, University of Minnesota, 1996. S. Glendinning. In the Name of Phenomenology. London, Routledge, 2007. Gary Gutting. Continental Philosophy of Science. Oxford, Blackwell, 2005. M. Hammond, J. Howarth, & R. Kent. Understanding Phenomenology. Oxford, Blackwell, 1995. M. Heidegger. Kant and the Problem of Metaphysics. R. Taft, translator. Bloomington: Indiana University Press, 1997. M. Heidegger. Pathmarks. W. MacNeil, editor. Cambridge, Cambridge University Press, 1998. J. M. Heimonet. Bataille and Sartre: The Modernity of Mysticism. Diacritics, 26(2):59-73, 1996. http://dx.doi.org/10.1353/dia.1996.0016 J. Himanka. Does the Earth Move?: A Search for a Dialogue Between Two Traditions of Contemporary Philosophy. The Philosophical Forum, 31(1):57-83, 2000. http://dx.doi.org/10.1111/0031-806X.00028 A. M. Hollywood. The Philosopher – Sartre – and Me. In Sensible Ecstasy: Mysticism, Sexual Difference and the Demands of History, pages 25-36. Chigago, University of Chicago Press, 2002. T. E. Hulme. A Note-Book. The New Age, 18(8):186-189, 1915. T. E. Hulme. A Note-Book. The New Age, 18(10):234-236, 1916. S. P. James. Merleau-Ponty, Metaphysical Realism and the Natural World. International Journal of Philosophical Studies, 15(4): 501-519, 2007. S. Käufer. Logic. In H. Dreyfus & M. Wrathall, editors, A Companion to Heidegger, pages 141-155. Oxford, Blackwell, 2005. E. W. Knight. Literature Considered as Philosophy: The French Example. New York, Macmillan, 1958. C. A. Mace. Review of The Psychology of Sartre by Peter J. R. Dempsey. Mind, 61(243):425-427, 1952. B. Magee. Men of Ideas: Some Creators of Contemporary Philosophy. Oxford, Oxford University Press, 1982. A. R. Manser. Sartre and "Le Néant." Philosophy, 36(137):177-187, 1961. http://dx.doi.org/10.1017/S0031819100058022 M. Martin. Sensible Appearances. In T. Baldwin, editor, The Cambridge History of Philosophy, 1870-1945, pages 521-532. Cambridge, Cambridge University Press, 2003. http://dx.doi.org/10.1017/CHOL9780521591041.044 PMid:14585038 F. Maubert. Francis Bacon, sa dernière interview: “Je poursois le peinture car je sais qu’il n’est pas possible de l’arreter.” Paris-Match, 2242:92-93, 1992. J. M. E. McTaggart. The Unreality of Time. Mind, 17:457-474, 1908. http://dx.doi.org/10.1093/mind/XVII.4.457 M. Merleau-Ponty. Phenomenology of Perception. C. Smith, translator. London, Routledge, 2002. M. Merleau-Ponty. Texts and Dialogues: On Philosophy, Politics, and Culture. H. J. Silverman, editor (M. B. Smith, et al., translators). New York: Humanity Books, 2005. M. Merleau-Ponty & T. Baldwin. Maurice Merleau-Ponty. London, Routledge, 2004. H. Meyerhoff. Emotive and Existentialist Theories of Ethics. The Journal of Philosophy, 48(25):769-783, 1951. http://dx.doi.org/10.2307/2021208 I. Murdoch. Sartre, Romantic Rationalist. Cambridge, Bowes and Bowes, 1953. I. Murdoch. The Idea of Perfection. In The Sovereignty of Good, pages 1-44. London, Routledge, 2001. A. Oliver. A Few More Remarks on Logical Form. Proceedings of the Aristotelian Society, 99:247-272, 1999. A. Plantinga. An Existentialist’s Ethics. Review of Metaphysics, 12(2):235-56, 1958. S. Priest. Merleau-Ponty. New York, Routledge, 2003. W. V. Quine. Word and Object. M.I.T. Press, Cambridge, MA, 1960. A. Quinton. Which Philosophy is Modernistic? In Thoughts and Thinkers, pages 39-51. New York, Holmes and Meier, 1982. J. Rée. English Philosophy in the Fifties. Radical Philosophy, 65:3-21, 1993. S. Richmond. Sartre and Bergson: A Disagreement about Nothingness. International Journal of Philosophical Studies, 15(1):77-95, 2007. http://dx.doi.org/10.1080/09672550601143201 B. Rogers. Ayer: A Life. New York, Grove Press, 2002. K. Romdenh-Romluc. Merleau-Ponty and Phenomenology of Perception. London, Routledge, 2009. G. E. Rosado Haddock. The Young Carnap’s Unknown Master: Husserl's Influence on Der Raum and Der logische Aufbau der Welt. Aldershot, Ashgate, 2008. B. Russell. Nightmares of Eminent Persons And Other Stories. London, The Bodley Head, 1954. G. Ryle, H. A. Hodges, & H. B. Acton. Symposium: Phenomenology. Proceedings of the Aristotelian Society, 11:68-115, 1932. G. Ryle. Phenomenology vs. The Concept of Mind. In Collected Papers: Critical Essays, Vol. 1, pages 179-196. London, Hutchinson, 1971. J. P. Sartre. Un nouveau mystique. In Critiques littéraires (Situations I), pages 174-229. Paris, Gallimard, 1975. J. Skorupski. The Presidential Address: The Legacy of Modernism. Proceedings of the Aristotelian Society, 91:1-19, 1990. A. Stone. Heidegger and Carnap on the Overcoming of Metaphysics. In S. Mulhall editor, Martin Heidegger, pages 217-244. Aldershot, Ashgate, 2006. M. Surya, K.Fijalkowski, & M. Richardson. Georges Bataille: An Intellectual Biography. K. Fijalkowski & M. Richardson, translators. London, Verso, 2002. C. Taylor, & Alfred J. Ayer. Symposium: Phenomenology and Linguistic Analysis. Proceedings of the Aristotelian Society, Supplementary Volumes, 33:93-124, 1959. N. Trakakis. Meta-philosophy of Religion: The Analytic-Continental Divide in Philosophy of Religion. Ars Disputandi, 7, 2007. J. Wahl. The Pluralist Philosophies of England and America. F. Rothwell, translator. London, The Open Court Company, 1925. J. Wahl. Vers le Concret. Paris, Vrin, 1932. J. Wahl. Nietzsche et la mort de dieu: note a propos du “Nietzsche” de Jaspers. Acéphale, 2:22-24, 1937. I. Waldberg & Patrick Waldberg. Un Amour Acéphale, Correspondence 1940-49. Paris, Editions de la Différence, 1992. M. Warnock. The Philosophy of Sartre. London, Hutchinson, 1965. D. Wiggins. Truth, Invention, and the Meaning of Life. In G. Sayre-McCord, editor, Essays on Moral Realism, pages 127-65. Ithaca, Cornell University Press, 1988. C. Wilson. The Outsider. London, Gollancz, 1956. D. Zahavi. Phenomenology and Metaphysics. In D. Zahavi, S. Heinämaa, & H. Ruin, editors, Metaphysics, Facticity, Interpretation: Phenomenology in the Nordic Countries, pages 3-22. Dordrecht, Kluwer, 2003. (shrink)
The text is a rejoinder to Mr. Wciórka's critical analysis of two author's arguments against nominalistic definition of abstract objects. The author shows that although his first argument is not sound, the second still remains correct. The paper also offers a modified definition of abstract objects inspired by E. N. Zalta's metaphysical theory of objects and some critical remarks, which Mr. Wciórka aimed at the earlier papers of the author.
Bernard Linsky and EdwardZalta have recently proposed a new form of actualism. I characterize the general form of their view and the motivations behind it. I argue that it is not quite new – it bears interesting similarities to Alvin Plantinga’s view – and that it definitely isn’t actualist.
The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and EdwardZalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close (...) to the heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (shrink)
The standard Kripkean semantic theories for quantified modal logic allow the individuals that exist at other worlds to vary from those that exist at the actual world. This causes a problem for those who deny the existence of non-actual individuals. I focus on two prominent strategies for solving this problem, due respectively to Bernard Linsky and EdwardZalta (who identify the possible individuals with the actual individuals) and Alvin Plantinga (who identifies the possible individuals with the individual essences). (...) I argue, contra various commentators, that both of these solutions are acceptable by the lights of those who deny the existence of mere possibilia. (shrink)
For thousands of years, people have used nature to justify their political, moral, and social judgments. Such appeals to the moral authority of nature are still very much with us today, as heated debates over genetically modified organisms and human cloning testify. The Moral Authority of Nature offers a wide-ranging account of how people have used nature to think about what counts as good, beautiful, just, or valuable. The eighteen essays cover a diverse array of topics, including the connection of (...) cosmic and human orders in ancient Greece, medieval notions of sexual disorder, early modern contexts for categorizing individuals and judging acts as "against nature," race and the origin of humans, ecological economics, and radical feminism. The essays also range widely in time and place, from archaic Greece to early twentieth-century China, medieval Europe to contemporary America. Scholars from a wide variety of fields will welcome The Moral Authority of Nature , which provides the first sustained historical survey of its topic. Contributors: Danielle Allen, Joan Cadden, Lorraine Daston, Fa-ti Fan, Eckhardt Fuchs, Valentin Groebner, Abigail J. Lustig, Gregg Mitman, Michelle Murphy, Katharine Park, Matt Price, Robert N. Proctor, Helmut Puff, Robert J. Richards, Londa Schiebinger, Laura Slatkin, Julia Adeney Thomas, Fernando Vidal. (shrink)