DOCSLIB.ORG

A Nominalist's Dilemma and Its Solution

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Nominalist's Dilemma and Its Solution A Nominalist’s Dilemma and its Solution 2 Abstract Current versions of nominalism in the philosophy of mathemat- ics have the benefit of avoiding commitment to the existence of A Nominalist’s Dilemma and its Solution∗ mathematical objects. But this comes with a cost: to avoid com- mitment to mathematical entities, nominalists cannot take math- ematical theories literally, and so, they seem unable to accommo- Ot´avio Bueno date mathematical practice. In a recent work, Jody Azzouni has Department of Philosophy challenged this conclusion, by formulating a nominalist view that University of South Carolina doesn’t have this cost (Azzouni 2004). In this paper, we argue that, as it stands, Azzouni’s proposal doesn’t yet succeed. It faces Columbia, SC 29208 a dilemma to the effect that either the view isn’t nominalist or it [email protected] fails to take mathematics literally. So, in the end, it still doesn’t do justice to mathematical practice. After presenting the dilemma, we suggest a solution which the nominalist should be able to accept. and 1. Introduction Edward N. Zalta Center for the Study of Language and Information According to nominalism about mathematics, mathematical objects don’t Stanford University exist or, at least, they need not be taken to exist for us to make sense Stanford, CA 94305 of mathematics. While nominalism has the prima facie benefit of not [email protected] assuming the existence of mathematical objects, current nominalist in- terpretations face the problem of not being able to take mathematical theories literally. Typically, such theories have to be rewritten or, at least, reinterpreted in a nominalistically acceptable way, so as to avoid commitment to mathematical objects. For example, in Geoffrey Hellman’s modal-structural interpretation, a mathematical statement S has to be translated into a sentence of modal second-order language which (roughly) states that (i) if there were struc- tures of the appropriate kind, S would hold in such structures, and (ii) it’s possible that there are such structures (see Hellman 1989). In this way, the commitment to mathematical objects is avoided, and only the possibility of structures is asserted. But, clearly, mathematical language is not being taken literally. In Hartry Field’s version of nominalism, given that there are no math- ematical objects, existential mathematical statements are false (Field 1980). In particular, according to Field, given that there are no num- ∗ Copyright c 2005 by Ot´avio Bueno and Edward N. Zalta. This piece was pub- bers, the claim that “there are infinitely many prime numbers” is not lished in Philosophia Mathematica, 13, (2005): 297–307. The authors would like to thank Jody Azzouni, Mark Balaguer, Mark Colyvan, and Hartry Field for extremely true. But this simply flies in the face of the way mathematical discourse helpful discussions and comments about the material in this paper. is used. To preserve verbal agreement with mathematicians, Field can, of 1 3 Otavio´ Bueno and Edward Zalta A Nominalist’s Dilemma and its Solution 4 course, introduce a fictional operator, “According to arithmetic”, and, in commitment—that is, to be committed to the existence of a given object— this way, he can assert the true sentence “According to arithmetic, there a criterion for what exists needs to be met. There are, of course, various are infinitely many prime numbers” without violating nominalism (Field possible criteria for what exists (such as causal efficacy, observability, and 1989). But, once again, mathematical language wouldn’t have been taken so on). But the criterion Azzouni favors, as the one that we have all col- literally. lectively adopted, is ontological independence (2004, 99): what exist are The trouble of not taking mathematical discourse literally is that it the things that are ontologically independent of our linguistic practices makes it hard for the nominalist to make sense of mathematical practice. and psychological processes. The idea here is that if we have just made After all, instead of understanding what mathematicians are doing when something up through our linguistic practices or psychological processes, they are doing mathematics, the nominalist would have to be constantly there’s no need for us to be committed to the existence of the objects in rewriting mathematical discourse, and thus, changing a crucial part of question. And typically, we would resist any such commitment. the practice he or she is trying to understand. In its current forms, nom- Quine, of course, identifies quantifier and ontological commitments, inalism may provide a viable ontological alternative to those who worry at least in a crucial case, namely, for the objects that are indispensable about the existence of mathematical objects, but it’s unclear whether it to our best theories of the world. Such objects are those that cannot be can yield an insightful picture of mathematical activity. eliminated through paraphrase and over which we have to quantify when Jody Azzouni has recently developed a new way of conceptualizing we regiment the theories in question (in first-order logic). For Quine, nominalism in the philosophy of mathematics that is meant to overcome these are exactly the objects we are ontologically committed to. Azzouni this problem (Azzouni 2004). On his view, mathematical theories can be insists that we should resist this identification. Even if the objects in taken literally, and so one can do justice to mathematical practice, but our best theories are indispensable, even if we quantify over them, this there is no commitment to the existence of mathematical objects. The key is not sufficient for us to be ontologically committed to them. After all, idea is that mathematical theories should be taken to be (deflationarily) the objects we quantify over might be ontologically dependent on us— true, but their truth doesn’t entail the existence of mathematical entities. on our linguistic practices or psychological processes—and thus we might After all, on his view, an additional criterion of existence, which he calls have just made them up. But, in this case, clearly there is no reason ‘ontological independence’, has to be met. to be committed to their existence. However, for those objects that are In this paper, we argue that, as it stands, Azzouni’s proposal doesn’t ontologically independent of us, we are committed to their existence. yet succeed. It faces a dilemma to the effect that either the view isn’t As it turns out, on Azzouni’s view, mathematical objects are ontolog- nominalist or it ultimately fails to take mathematics literally, and so it ically dependent on our linguistic practices and psychological processes. still doesn’t do justice to mathematical practice. After presenting the And so, it’s not surprising that, even though they might be indispensable dilemma, we suggest a possible way out for the nominalist. to our best theories of the world, still we are not ontologically committed to them. Hence, Azzouni is a nominalist. 2. A New Form Of Nominalism But in what sense do mathematical objects depend on our linguistic practices and psychological processes? In the sense that, in mathematical According to Azzouni, two kinds of commitment should be distinguished: practice, the sheer postulation of certain principles is enough: “A mathe- quantifier commitment and ontological commitment (see Azzouni 2004, matical subject with its accompanying posits can be created ex nihilo by 127; see also 49–122). We incur a quantifier commitment whenever our simply writing down a set of axioms” (Azzouni 2004, 127). The only ad- theories imply existentially quantified claims. But existential quantifica- ditional constraint that sheer postulation has to meet, in practice, is that tion, Azzouni insists, is not sufficient, in general, for ontological com- mathematicians should find the resulting mathematics interesting. That mitment. After all, we often quantify over objects we have no rea- is, briefly put, the consequences that follow from mathematical principles son to believe exist, such as fictional entities. To incur an ontological shouldn’t be obvious, nor should they be intractable. Thus, given that 5 Otavio´ Bueno and Edward Zalta A Nominalist’s Dilemma and its Solution 6 sheer postulation is (basically) enough in mathematics, mathematical ob- (b) If ‘2’ refers to 2, then either Azzouni’s view is not nominalist (ac- jects have no epistemic ‘burdens’ and so Azzouni calls such objects, or cording to his own definition of ‘nominalism’), or it has a non- posits, as he uses term, ‘ultrathin’ (2004, 127). standard notion of reference (in which case the language is not taken The same move that Azzouni makes to distinguish ontological commit- literally). ment from quantifier commitment is also used to distinguish ontological commitment to F s from asserting the truth of “There are F s”. Although (c) If ‘2’ doesn’t refer to 2, then the proposal fails to take mathematical mathematical theories used in science are (taken to be) true, this is not language literally. sufficient to commit us to the existence of the objects these theories are Clearly, each option is problematic for Azzouni. But are the dilemma’s supposed to be about. After all, on Azzouni’s picture, it might be true premises true? Given that (a) is a logical truth, the crucial work is done F F that there are s, but to be ontologically committed to s, a criterion by premises (b) and (c), and we will motivate them in what follows. for what exists needs to be met. As Azzouni points out: Premise (b): Suppose that ‘2’ refers to 2. Now either it follows from I take true mathematical statements as literally true; I forgo this that there is something to which ‘2’ refers or that there is nothing to attempts to show that such literally true mathematical state- which ‘2’ refers.
Load more

Recommended publications
  • First-Order Logic
    INF5390 – Kunstig intelligens First-Order Logic Roar Fjellheim Outline Logical commitments First-order logic First-order inference Resolution rule Reasoning systems Summary Extracts from AIMA Chapter 8: First-Order Logic Chapter 9: Inference in First-Order Logic INF5390-AI-05 First-Order Logic 2 From propositonal to first-order logic Features of propositional logic: + Declarative + Compositional + ”Possible-world” semantics - Lacks expressiveness First-order logic: Extends propositional logic Keeps good features Adds expressiveness INF5390-AI-05 First-Order Logic 3 First-order logic First-order logic is based on “common sense” or linguistic concepts: Objects: people, houses, numbers, .. Properties: tall, red, .. Relations: brother, bigger than, .. Functions: father of, roof of, .. Variables: x, y, .. (takes objects as values) First-order logic is the most important and best understood logic in philosophy, mathematics, and AI INF5390-AI-05 First-Order Logic 4 Logic “commitments” Ontological commitment Ontology - in philosophy, the study of “what is” What are the underlying assumptions of the logic with respect to the nature of reality Epistemological commitment Epistemology - in philosophy, the study of “what can be known” What are the underlying assumptions of the logic with respect to the nature of what the agent can know INF5390-AI-05 First-Order Logic 5 Commitments of some logic languages Language Ontological Epistemological Commitment Commitment Propositional logic Facts True/false/unknown First-order logic
    [Show full text]
  • In Defence of Folk Psychology
    FRANK JACKSON & PHILIP PETTIT IN DEFENCE OF FOLK PSYCHOLOGY (Received 14 October, 1988) It turned out that there was no phlogiston, no caloric fluid, and no luminiferous ether. Might it turn out that there are no beliefs and desires? Patricia and Paul Churchland say yes. ~ We say no. In part one we give our positive argument for the existence of beliefs and desires, and in part two we offer a diagnosis of what has misled the Church- lands into holding that it might very well turn out that there are no beliefs and desires. 1. THE EXISTENCE OF BELIEFS AND DESIRES 1.1. Our Strategy Eliminativists do not insist that it is certain as of now that there are no beliefs and desires. They insist that it might very well turn out that there are no beliefs and desires. Thus, in order to engage with their position, we need to provide a case for beliefs and desires which, in addition to being a strong one given what we now know, is one which is peculiarly unlikely to be undermined by future progress in neuroscience. Our first step towards providing such a case is to observe that the question of the existence of beliefs and desires as conceived in folk psychology can be divided into two questions. There exist beliefs and desires if there exist creatures with states truly describable as states of believing that such-and-such or desiring that so-and-so. Our question, then, can be divided into two questions. First, what is it for a state to be truly describable as a belief or as a desire; what, that is, needs to be the case according to our folk conception of belief and desire for a state to be a belief or a desire? And, second, is what needs to be the case in fact the case? Accordingly , if we accepted a certain, simple behaviourist account of, say, our folk Philosophical Studies 59:31--54, 1990.
    [Show full text]
  • Ontological Commitment of Natural Language Semantics
    Ontological Commitment of Natural Language Semantics MSc Thesis (Afstudeerscriptie) written by Viktoriia Denisova (born July, 23d 1986 in Kustanay, Kazakhstan) under the supervision of Prof. Dr. Martin Stokhof, and submitted to the Board of Examiners in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: March, 23d 2012 Prof. Dr. Martin Stokhof Prof. Dr. Frank Veltman Dr. Paul Dekker Contents Acknowledgments v Abstract vi Introduction 1 1 Quine's Ontological Criterion 5 1.1 Why do we need to define the criterion of ontological commitment? 5 1.2 Why do we operate on the semantic level when talking about on- tology? . 13 1.3 What does Quine's ontological criterion bring to semantics? . 15 1.4 What is the role of logic in determination of the ontological com- mitment? . 17 1.5 Concluding remarks . 19 2 Critique of the Ontological Criterion 21 2.1 Hodges on the philosophical importance of ontological commitment 21 2.2 Evaluation of Hodges's exposition . 25 2.3 Beyond the semantics of standard first-order logic . 27 2.3.1 The difficulties concerning first-order regimentation . 27 2.3.2 Regimentation of the sentences that contain plurals . 30 2.3.3 Regimentation of modals . 31 2.4 Evaluation of Rayo's exposition . 33 3 Ontological commitment within possible worlds semantics 35 3.1 The reasons to consider ontological commitment in intensional lan- guage . 35 3.2 Ontological commitment for proper names . 37 3.3 Natural kind terms .
    [Show full text]
  • Logic: a Brief Introduction Ronald L
    Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 1 - Basic Training 1.1 Introduction In this logic course, we are going to be relying on some “mental muscles” that may need some toning up. But don‟t worry, we recognize that it may take some time to get these muscles strengthened; so we are going to take it slow before we get up and start running. Are you ready? Well, let‟s begin our basic training with some preliminary conceptual stretching. Certainly all of us recognize that activities like riding a bicycle, balancing a checkbook, or playing chess are acquired skills. Further, we know that in order to acquire these skills, training and study are important, but practice is essential. It is also commonplace to acknowledge that these acquired skills can be exercised at various levels of mastery. Those who have studied the piano and who have practiced diligently certainly are able to play better than those of us who have not. The plain fact is that some people play the piano better than others. And the same is true of riding a bicycle, playing chess, and so forth. Now let‟s stretch this agreement about such skills a little further. Consider the activity of thinking. Obviously, we all think, but it is seldom that we think about thinking. So let's try to stretch our thinking to include thinking about thinking. As we do, and if this does not cause too much of a cramp, we will see that thinking is indeed an activity that has much in common with other acquired skills.
    [Show full text]
  • The Philosophy of Mathematics: a Study of Indispensability and Inconsistency
    Claremont Colleges Scholarship @ Claremont Scripps Senior Theses Scripps Student Scholarship 2016 The hiP losophy of Mathematics: A Study of Indispensability and Inconsistency Hannah C. Thornhill Scripps College Recommended Citation Thornhill, Hannah C., "The hiP losophy of Mathematics: A Study of Indispensability and Inconsistency" (2016). Scripps Senior Theses. Paper 894. http://scholarship.claremont.edu/scripps_theses/894 This Open Access Senior Thesis is brought to you for free and open access by the Scripps Student Scholarship at Scholarship @ Claremont. It has been accepted for inclusion in Scripps Senior Theses by an authorized administrator of Scholarship @ Claremont. For more information, please contact [email protected]. The Philosophy of Mathematics: A Study of Indispensability and Inconsistency Hannah C.Thornhill March 10, 2016 Submitted to Scripps College in Partial Fulfillment of the Degree of Bachelor of Arts in Mathematics and Philosophy Professor Avnur Professor Karaali Abstract This thesis examines possible philosophies to account for the prac- tice of mathematics, exploring the metaphysical, ontological, and epis- temological outcomes of each possible theory. Through a study of the two most probable ideas, mathematical platonism and fictionalism, I focus on the compelling argument for platonism given by an ap- peal to the sciences. The Indispensability Argument establishes the power of explanation seen in the relationship between mathematics and empirical science. Cases of this explanatory power illustrate how we might have reason to believe in the existence of mathematical en- tities present within our best scientific theories. The second half of this discussion surveys Newtonian Cosmology and other inconsistent theories as they pose issues that have received insignificant attention within the philosophy of mathematics.
    [Show full text]
  • Validity and Soundness
    1.4 Validity and Soundness A deductive argument proves its conclusion ONLY if it is both valid and sound. Validity: An argument is valid when, IF all of it’s premises were true, then the conclusion would also HAVE to be true. In other words, a “valid” argument is one where the conclusion necessarily follows from the premises. It is IMPOSSIBLE for the conclusion to be false if the premises are true. Here’s an example of a valid argument: 1. All philosophy courses are courses that are super exciting. 2. All logic courses are philosophy courses. 3. Therefore, all logic courses are courses that are super exciting. Note #1: IF (1) and (2) WERE true, then (3) would also HAVE to be true. Note #2: Validity says nothing about whether or not any of the premises ARE true. It only says that IF they are true, then the conclusion must follow. So, validity is more about the FORM of an argument, rather than the TRUTH of an argument. So, an argument is valid if it has the proper form. An argument can have the right form, but be totally false, however. For example: 1. Daffy Duck is a duck. 2. All ducks are mammals. 3. Therefore, Daffy Duck is a mammal. The argument just given is valid. But, premise 2 as well as the conclusion are both false. Notice however that, IF the premises WERE true, then the conclusion would also have to be true. This is all that is required for validity. A valid argument need not have true premises or a true conclusion.
    [Show full text]
  • 1 Critical Thinking: the Very Basics
    1 CRITICAL THINKING: THE VERY BASICS - HANDBOOK Dona Warren, Philosophy Department, The University of Wisconsin – Stevens Point I. RECOGNIZING ARGUMENTS An argument is a unit of reasoning that attempts to prove that a certain idea is true by citing other ideas as evidence. II. ANALYZING ARGUMENTS 1. Identify the ultimate conclusion (the main idea that the argument is trying to prove). Sometimes, this is unstated. 2. Determine which other ideas are important. An idea is important if it helps the argument to establish the truth of the ultimate conclusion. 3. Figure out how these other ideas work together to support the ultimate conclusion. Ideas work together according to four basic patterns of cooperation. Basic Patterns: i. Premise / Ultimate Conclusion Idea Premise - an idea that the argument assumes to be true % without support Inference - the connection that holds between the idea(s) at the top of the arrow and the idea at the bottom of the arrow when the truth of the idea(s) at the top is supposed % to establish the truth of the idea at the bottom - often indicated by conclusion indicator expressions like “therefore” and reason indicator expressions “because.” Idea Ultimate Conclusion – what the argument is ultimately % trying to prove. 2 ii. Subconclusions Idea Idea Subconclusion – an intermediate idea on the way from the % premises to the ultimate conclusion Idea iii. Dependent Reasons Idea + Idea Dependent Reasons – neither idea can support the % conclusion alone but together they can support the conclusion Idea iv. Independent Reasons Independent Reasons – each idea can support the Idea Idea conclusion on its own % Idea This gives us independent lines of reasoning.
    [Show full text]
  • Formalizing Ontological Commitments
    From: AAAI-94 Proceedings. Copyright © 1994, AAAI (www.aaai.org). All rights reserved. Formalizing Ontological Commitments Nicola Guarino Massimiliano Carrara Pierdaniele Giaretta LADSEB-CNR, National Research Council, Viale Ungheria, 43a Institute of History of Philosophy, Corso Stati Uniti, 4 I-37046 Minerbe (VR) University of Padova, I-35127 Padova, Italy Italy Piazza Capitaniato, 3 [email protected] I-35100 Padova, Italy Abstract purposes, since we want to include in the commitment Formalizing the ontological commitment of a logical lan- some basic assumptions and distinctions presupposed by guage means offering a way to specify the intended meaning the theory. of its vocabulary by constraining the set of its models, giv- In the AI community, the above position is at the basis ing explicit information about the intended nature of the of current projects for knowledge sharing and reuse modelling primitives and their a priori relationships. We (Neches et al. 1991). In the knowledge acquisition litera- present here a formal definition of ontological commitment ture, the notion of ontological commitment has been intro- which aims to capture the very basic ontological assump- duced by Gruber (1993-1994) as an agreement to use a tions about the intended domain, related to issues such as sli,ared vocabukary specification: such a specification is a identity and internal structure. To tackle such issues, a set of terminological ‘axioms, <and ontological commitment modal framework endowed with mereo-topological primi- amounts to syntactical consistency with such axioms. This tives has been adopted. The paper is mostly based on a re- syntactical notion does not fit our intuitions, since it seems visitation of philosophical (and linguistic) literature in the natural to allow two different vocabularies (using English perspective of knowledge representation.
    [Show full text]
  • What Is a Logical Argument? What Is Deductive Reasoning?
    What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing Logical relations • Deductive logic – Claims to provide conclusive support for the truth of a conclusion • Inductive logic – Arguments support a conclusion, but do not claim to show that it is necessarily true Deductive logic • Categorical propositions – Deductive arguments are either valid or invalid. – Premises are either true or not true. – If the argument is valid and the premises are true, then the conclusion is true. Deductive logic • Categorical propositions – All S is P. – No S is P. – Some S is P. – Some S is not P. • Quantity: Some or All • Quality: Positive or Negative (no, not) Deductive logic • Categorical propositions – All dogs are mammals. – No dogs are fish. – Some mammals are carnivores. – Some mammals are not carnivores. • The truth of a proposition is determined by its “fit” with the world. – “Some mammals are carnivores” is true if and only if there are some mammals that eat meat. Deductive logic • Categorical propositions – “Physicians licensed to practice in Japan must pass the National Medical Licensing Board Exam.” – All licensed physicians in Japan are people who passed the Licensing Board Exam. – All S is P. Exercise • Create one or more categorical statements of the following types. Compare your statements with your group members’. – All S is P. – No S is P. (= All S is not-P.) – Some S is P. – Some S is not P. Syllogisms • Syllogism: A conclusion inferred from two premises All Cretans are liars. All liars are dishonest. ∴ All Cretans are dishonest. Syllogisms All Cretans are liars.
    [Show full text]
  • Introduction to Logic and Critical Thinking
    Introduction to Logic and Critical Thinking Version 1.4 Matthew J. Van Cleave Lansing Community College Introduction to Logic and Critical Thinking by Matthew J. Van Cleave is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/. Table of contents Preface Chapter 1: Reconstructing and analyzing arguments 1.1 What is an argument? 1.2 Identifying arguments 1.3 Arguments vs. explanations 1.4 More complex argument structures 1.5 Using your own paraphrases of premises and conclusions to reconstruct arguments in standard form 1.6 Validity 1.7 Soundness 1.8 Deductive vs. inductive arguments 1.9 Arguments with missing premises 1.10 Assuring, guarding, and discounting 1.11 Evaluative language 1.12 Evaluating a real-life argument Chapter 2: Formal methods of evaluating arguments 2.1 What is a formal method of evaluation and why do we need them? 2.2 Propositional logic and the four basic truth functional connectives 2.3 Negation and disjunction 2.4 Using parentheses to translate complex sentences 2.5 “Not both” and “neither nor” 2.6 The truth table test of validity 2.7 Conditionals 2.8 “Unless” 2.9 Material equivalence 2.10 Tautologies, contradictions, and contingent statements 2.11 Proofs and the 8 valid forms of inference 2.12 How to construct proofs 2.13 Short review of propositional logic 2.14 Categorical logic 2.15 The Venn test of validity for immediate categorical inferences 2.16 Universal statements and existential commitment 2.17 Venn validity for categorical syllogisms Chapter 3: Evaluating inductive arguments and probabilistic and statistical fallacies 3.1 Inductive arguments and statistical generalizations 3.2 Inference to the best explanation and the seven explanatory virtues 3.3 Analogical arguments 3.4 Causal arguments 3.5 Probability 3.6 The conjunction fallacy 3.7 The base rate fallacy 3.8 The small numbers fallacy 3.9 Regression to the mean fallacy 3.10 Gambler’s fallacy Chapter 4: Informal fallacies 4.1 Formal vs.
    [Show full text]
  • Problems on Philosophical Logic
    Problems on Philosophical Logic For each of the five logics treated (temporal, modal, conditional, relevantistic, intuitionistic) the list below first collects verifications ‘left to the reader’ in the corresponding chapter of Philosophical Logic, then adds other problems, introducing while doing so some supplementary topics not treated in the book. In working problems ‘left to the reader’ it is appropriate to use any material up to the point in the book where the problem occurs; in working other problems, it is appropriate to use any material in the pertinent chapter. In all cases, it is appropriate to use results from earlier problems in later problems Instructors adopting the book as a text for a course may obtain solutions to these problems by e-mailing the author [email protected] 2 Temporal Logic Problems ‘left to the reader’ in chapter 2 of Philosophical Logic 1. From page 22: Show that axiom (24a) is true everywhere in every model. 2. From page 24: Do the conjunction case in the proof of the rule of replacement (Rep). 3. From page 25: The lemma needed for the proof of the rule of duality (Dual) is proved by induction on complexity. If A is an atom, then A* is just A while A' is ¬A, so ¬A' is ¬¬A and A* « ¬A' is A « ¬¬A, which is a tautology, hence a theorem; thus the lemma holds in the atomic case. Prove that: (a) show that if A is a negation ¬B and the lemma holds for B it holds for A. (b) show that if A is a conjunction B Ù C and the lemma holds for B and for C, then the lemma holds for A.
    [Show full text]
  • Backwaters of Ontology: the Special Composition Question and Its
    Backwaters of Ontology: The Special Composition Question and Its Discontents BY JANELLE DERSTINE A dissertation submitted to the Graduate School—New Brunswick Rutgers, The State University of New Jersey in partial fulfillment of the requirements for the degree of Doctor of Philosophy Graduate Program in Philosophy Written under the direction of Dean Zimmerman and approved by ___________________________ ___________________________ ___________________________ ____________________________ New Brunswick, NJ October 2014 ABSTRACT OF THE DISSERTATION Backwaters of Ontology: The Special Composition Question and its Discontents by JANELLE DERSTINE Dissertation Director: Dean Zimmerman The goal of the present work is to explore a wide variety of answers to the so- called special composition question (hereafter SCQ), which asks, given some things, the Xs, when is it that the Xs are some one thing, rather than many? For instance, given some pieces of wood, e.g., the wood (and perhaps other materials things like epoxy) compose a canoe? As with the aforementioned cases, it seems obvious that sometimes, e.g., some lumber composes a fence, some molecules compose an organism, or some quantities of alcohol compose a martini. In other situations, it seems questionable whether there is anything one could do to make some things compose another thing. For instance, is there anything one could do to make two persons and an apple pie compose one thing, some single thing such that it is two parts person and one part pie? As a rather famous example of the latter “strange kind,” David Lewis postulates “fusions” of such disparate and ii heterogeneous things as “trout-turkeys,” composed of the front half of a turkey and back half of a trout.
    [Show full text]