# Philosophy of Mathematics Nominalism

Size: px
Start display at page:

## Transcription

1 Philosophy of Mathematics Nominalism Owen Griffiths Churchill and Newnham, Cambridge 8/11/18

2 Last week Ante rem structuralism accepts mathematical structures as Platonic universals. We posed problems for Shapiro s stratified epistemology in terms of abstraction, projection and description. We also posed an identity problem: some structures admit of nontrivial automorphisms. E.g. The integers 4 and 4 share all additive intrastructural properties. Worse, i and i share all intrastructural properties.

3 Talk outline Modal structuralism Indispensability Conclusion

4 Nominalist structuralism Given these problems, some have endorsed nominalist structuralism. We ll focus on Geoffrey Hellman s modal structuralism, as presented in Mathematics without Numbers (1989). The central idea is that we can enjoy the benefits of Platonist structuralism but without the ontological commitment. We don t need actual structures, we only need possible ones. We talk about structures only within the scope of modal operators.

5 Arithmetic An ω-sequence is a set of objects that (i) has the cardinality of the natural numbers; and (ii) is ordered as the natural numbers are usually ordered. Consider some arithmetic sentence S. Hellman would paraphrase S: X (X is an ω-sequence S holds in X ) In words: necessarily, if x is an ω-sequence, then S is true in x. This is the hypothetical component. Note this is second-order.

6 Vacuity There is an immediate vacuity problem. The nominalist structuralist does not want to be committed to mathematical objects. These are the very things that caused issues for Shapiro. But, for all we know, the universe may not contain enough physical objects for all of mathematics. E.g. if the universe contains only ,000 objects, then there won t be any ω-sequences.

7 Vacuity Even if we are convinced that the universe contains enough objects for arithmetic, there may be some limit. There will be branches of mathematics that require more. If there are not enough objects, the antecedent of the hypothetical component will be false. So the conditional will be vacuously true. For this reason, Hellman introduces the categorical component: X (X is an ω-sequence) In words: it is possible that an ω-sequence exists.

8 The categorical component The categorical component guarantees that, if the hypothetical component is true, it is non-vacuously true. There s one wrinkle. Both components are expressed in second-order S5. But it had better be S5 without the Barcan Formula: BF XFX X FX BF X (X is an ω-sequence) X (X is an ω-sequence) CC X (X is an ω-sequence) X (X is an ω-sequence) Hellman obviously doesn t want this.

9 More precisely PA 2 is the conjunction of the axioms of second-order PA. The hypothetical modal paraphrase of S is: H X f (PA 2 S) X (s/f ) And the categorical paraphrase: C X f (PA 2 ) X (s/f ) Here, s/f is the result of replacing s with f. φ X is the result of relativizing the quantifiers in φ to X. 0 can be defined. Hellman also offers paraphrases of sentences of real analysis and set theory.

10 Modality Overall, mathematical sentences are elliptical for longer sentences in second-order S5 (without BF). They have a hypothetical component to achieve this, and a categorical component to avoid vacuity. The account avoids Shapiro s metaphysical burden.

11 Modality But the nature of the invoked modality must be explained. Is it metaphysical, logical, mathematical? Hellman says logical, but now there s a problem. Logical modality usually gets explicated in set-theoretic terms, but that is to let abstract objects back in. Instead, he refuses to explicate the logical modality at all, and leaves it primitive.

12 Ontology vs ideology Quine says that a theory carries an ontology and an ideology The ontology consists of the entities which the theory says exist. The ideology consists of the ideas expressed within the theory using predicates, operators, etc. Ontology is measured by the number of entities postulated by a theory. Ideology is measured by the number of primitives. It is often thought that ideological economy has epistemological benefits. A theory with fewer primitives is likely to be more unified, which may aid understanding. Hellman has increased ideology in order to reduce ontology.

13 Problems for modal structuralism Hellman also faces epistemological and semantic worries. Epistemologically, it is not at all obvious that facts about primitive logical modality are any more accessible than mathematical facts. Further, possibility presumably implies consistency. But we have no idea about the consistency of the cases being considered. Semantically, Hellman loses the nice uniform semantics offered by e.g. Shapiro.

14 Applications Further, modal structuralism has little to say about the applications of mathematics. Hellman supposedly gives a framework in which mathematics can be understood without ontological commitment. But this is not how mathematicians understand their utterances. Hellman could advance his view as prescriptive but that seems implausible.

15 Talk outline Modal structuralism Indispensability Conclusion

16 The indispensability argument The indispensability argument was put forward by Quine and Putnam as an argument for platonism about mathematical objects. Put simply, it has the following form: 1 We ought to be ontologically committed to all and only those entities that are indispensable to our best scientific theories. 2 Mathematical entities are indispensable to our best scientific theories. 3 We ought to be ontologically committed to mathematical entities.

17 The indispensability argument Why believe the first premise? 1 We ought to be ontologically committed to all and only those entities that are indispensable to our best scientific theories. Quine and Putnam argue for it using a combination of naturalism and holism: Naturalism Philosophy is continuous with science. It is neither prior to nor privileged over science. Holism Theories are confirmed or disconfirmed as wholes. Let s look at these in turn.

18 Naturalism Our concern is methodological naturalism: the only authoritative standards in the philosophy of mathematics are those of the natural sciences It has precursors in the empiricist tradition, e.g. the logical positivists, Mill and Hume. This is accepted in one form or another by most philosophers. One prominent kind of opponent is the intuitionist. It is far from clear that all of science can be reconstructed in intuitionistic terms.

19 Naturalism Naturalism tells us nothing directly about the sorts of entities we should accept. As it stands, we shouldn t accept ghosts but this is only contingently so. If best theory included ghosts, we would have reason to believe in them. Naturalism implies that we should believe in only the entities that feature in our best scientific theories. Whether we should also believe in all of them is unclear.

20 Holism But the indispensability argument only goes through if we accept all such entities. Otherwise, mathematics may not be part of the naturalistic commitments. Holism rules out this possibility. Our concern is with confirmational holism as opposed to Quine s semantic holism. Theories are confirmed as wholes, so confirmation of the mathematical part is guaranteed.

21 Maddy on indispensability Nominalists need to undermine the indispensability argument. Next week, we ll see Harty Field s fictionalist attack on the second premise. For now, let s consider Penelope Maddy s influential attacks on the first premise. She seeks to undermine the first premise by undermining the combination of its motivations: naturalism and holism. See her paper Indispensability and Practice (1992).

22 Holism and naturalism According to naturalism, we should take scientific practice seriously. But scientists have different attitudes to the parts of well-confirmed theories. Logically speaking, this holistic doctrine is unassailable, but the actual practice of science presents a very different picture. Historically, we find a wide range of attitudes toward the components of well-confirmed theories, from belief to grudging tolerance to outright rejection. (Maddy 1992: 280) Her main illustration is atomic theory.

23 Atomic theory Atomic theory was well-confirmed as early as 1860 in light of fruitfulness, systematic advantages, etc. Still, many scientists were sceptical until the turn of the century. Ingenious experiments were then performed to directly verify the existence of atoms. And only the directly verifiable consequences of atomic theory were believed. Confirmation was taken to spread only so far. Hence, naturalism and holism can pull apart.

24 Truth and utility The lesson is that scientists do not take treat their theories homogeneously. Some parts are taken to be true; others merely useful. E.g. the analysis of water waves assumes that the water is infinitely deep. Fluid dynamics treats matter as continuous, ignoring that it is made of atoms. These assumptions are essential: our best theories would not work without them. Again, naturalism and holism lead us in different directions.

25 Independence We know that there are interesting set-theoretic claims that are independent of ZFC, e.g. Continuum Hypothesis (CH). Reactions to these independent claims vary. Some are willing to assert bivalence; others claim that they are indeterminate. There are many suggestions of additional set-theoretic axioms that would either imply CH or imply CH. And these discussions occur independently of scientific practice. Indispensability implies that set theorists consider the scientific upshots of their axioms. This again goes against practice.

26 Talk outline Modal structuralism Indispensability Conclusion

27 Conclusion Issues such as the identity problem may lead us to doubt ante rem structuralism. If we want to maintain structuralism, we may move to a modal structuralism. But this view relies on a primitive modality, which seems as inaccessible as much of mathematics. And as a nominalist view of mathematics, it faces application and indispensability worries. We have seen, though, that there are reasons to doubt indispensability. Next week, we explore these further as part of Hartry Field s fictionalism.

### TRUTH IN MATHEMATICS. H.G. Dales and G. Oliveri (eds.) (Clarendon: Oxford. 1998, pp. xv, 376, ISBN X) Reviewed by Mark Colyvan

TRUTH IN MATHEMATICS H.G. Dales and G. Oliveri (eds.) (Clarendon: Oxford. 1998, pp. xv, 376, ISBN 0-19-851476-X) Reviewed by Mark Colyvan The question of truth in mathematics has puzzled mathematicians

### Deflationary Nominalism s Commitment to Meinongianism

Res Cogitans Volume 7 Issue 1 Article 8 6-24-2016 Deflationary Nominalism s Commitment to Meinongianism Anthony Nguyen Reed College Follow this and additional works at: http://commons.pacificu.edu/rescogitans

### Is there a good epistemological argument against platonism? DAVID LIGGINS

[This is the penultimate draft of an article that appeared in Analysis 66.2 (April 2006), 135-41, available here by permission of Analysis, the Analysis Trust, and Blackwell Publishing. The definitive

### Fictionalism, Theft, and the Story of Mathematics. 1. Introduction. Philosophia Mathematica (III) 17 (2009),

Philosophia Mathematica (III) 17 (2009), 131 162. doi:10.1093/philmat/nkn019 Advance Access publication September 17, 2008 Fictionalism, Theft, and the Story of Mathematics Mark Balaguer This paper develops

### Nominalism in the Philosophy of Mathematics First published Mon Sep 16, 2013

Open access to the SEP is made possible by a world-wide funding initiative. Please Read How You Can Help Keep the Encyclopedia Free Nominalism in the Philosophy of Mathematics First published Mon Sep 16,

### Mathematics: Truth and Fiction?

336 PHILOSOPHIA MATHEMATICA Mathematics: Truth and Fiction? MARK BALAGUER. Platonism and Anti-Platonism in Mathematics. New York: Oxford University Press, 1998. Pp. x + 217. ISBN 0-19-512230-5 Reviewed

### WHAT S WRONG WITH INDISPENSABILITY? (Or, The Case for Recreational Mathematics)

MARY LENG WHAT S WRONG WITH INDISPENSABILITY? (Or, The Case for Recreational Mathematics) ABSTRACT. For many philosophers not automatically inclined to Platonism, the indispensability argument for the

### Mathematical Ontology and Epistemology: An Analysis of Quine s and Maddy s Unique Arguments. Luke B. D. Quigley

Mathematical Ontology and Epistemology: An Analysis of Quine s and Maddy s Unique Arguments Luke B. D. Quigley 2016 i Contents I. Introduction..............................................................

### How Do We Know Anything about Mathematics? - A Defence of Platonism

How Do We Know Anything about Mathematics? - A Defence of Platonism Majda Trobok University of Rijeka original scientific paper UDK: 141.131 1:51 510.21 ABSTRACT In this paper I will try to say something

### Realism and Idealism Internal realism

Realism and Idealism Internal realism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 12/11/15 Easy answers Last week, we considered the metaontological debate between Quine and Carnap. Quine

### THE INDISPENSABILITY ARGUMENT AND MULTIPLE FOUNDATIONS FOR MATHEMATICS

The Philosophical Quarterly, Vol. 53, No. 210 January 2003 ISSN 0031 8094Y THE INDISPENSABILITY ARGUMENT AND MULTIPLE FOUNDATIONS FOR MATHEMATICS BY ALAN BAKER One recent trend in the philosophy of mathematics

### Brief Remarks on Putnam and Realism in Mathematics * Charles Parsons. Hilary Putnam has through much of his philosophical life meditated on

Version 3.0, 10/26/11. Brief Remarks on Putnam and Realism in Mathematics * Charles Parsons Hilary Putnam has through much of his philosophical life meditated on the notion of realism, what it is, what

### 1. Introduction. 2. Clearing Up Some Confusions About the Philosophy of Mathematics

Mark Balaguer Department of Philosophy California State University, Los Angeles A Guide for the Perplexed: What Mathematicians Need to Know to Understand Philosophers of Mathematics 1. Introduction When

### Philosophy 125 Day 21: Overview

Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 21: Overview 1st Papers/SQ s to be returned this week (stay tuned... ) Vanessa s handout on Realism about propositions to be posted Second papers/s.q.

### Retrospective Remarks on Events (Kim, Davidson, Quine) Philosophy 125 Day 20: Overview. The Possible & The Actual I: Intensionality of Modality 2

Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 20: Overview 1st Papers/SQ s to be returned next week (a bit later than expected) Jim Prior Colloquium Today (4pm Howison, 3rd Floor Moses)

### Review of Stewart Shapiro, Philosophy of Mathematics: Structure and Ontology. Øystein Linnebo *

Review of Stewart Shapiro, Philosophy of Mathematics: Structure and Ontology Øystein Linnebo * This book is an important contribution to the philosophy of mathematics. It aims to clarify and answer questions

### A Logical Approach to Metametaphysics

A Logical Approach to Metametaphysics Daniel Durante Departamento de Filosofia UFRN durante10@gmail.com 3º Filomena - 2017 What we take as true commits us. Quine took advantage of this fact to introduce

### Structuralism in the Philosophy of Mathematics

1 Synthesis philosophica, vol. 15, fasc.1-2, str. 65-75 ORIGINAL PAPER udc 130.2:16:51 Structuralism in the Philosophy of Mathematics Majda Trobok University of Rijeka Abstract Structuralism in the philosophy

### Phil/Ling 375: Meaning and Mind [Handout #10]

Phil/Ling 375: Meaning and Mind [Handout #10] W. V. Quine: Two Dogmas of Empiricism Professor JeeLoo Liu Main Theses 1. Anti-analytic/synthetic divide: The belief in the divide between analytic and synthetic

### What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history

### Naturalized Epistemology. 1. What is naturalized Epistemology? Quine PY4613

Naturalized Epistemology Quine PY4613 1. What is naturalized Epistemology? a. How is it motivated? b. What are its doctrines? c. Naturalized Epistemology in the context of Quine s philosophy 2. Naturalized

### Putnam and contemporary fictionalism*

Putnam and contemporary fictionalism* Concha Martínez Vidal Received: 09/02/2017 Final version: 26/12/2017 BIBLID 0495-4548(2018)33:2p.165-181 DOI: 10.1387/theoria.17610 ABSTRACT: Putnam rejects having

### Relativism and Indeterminacy of Meaning (Quine) Indeterminacy of Translation

Relativism and Indeterminacy of Meaning (Quine) Indeterminacy of Translation Owen Griffiths oeg21@cam.ac.uk Churchill and Newnham, Cambridge 9/10/18 Talk outline Quine Radical Translation Indeterminacy

### A Nominalist s Dilemma and its Solution

A Nominalist s Dilemma and its Solution 2 A Nominalist s Dilemma and its Solution Otávio Bueno Department of Philosophy University of South Carolina Columbia, SC 29208 obueno@sc.edu and Edward N. Zalta

### Philosophy of Mathematics Kant

Philosophy of Mathematics Kant Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 20/10/15 Immanuel Kant Born in 1724 in Königsberg, Prussia. Enrolled at the University of Königsberg in 1740 and

### Think about the Consequences! Nominalism and the Argument from the Philosophy of Logic

Torsten Wilholt Think about the Consequences! Nominalism and the Argument from the Philosophy of Logic [anuscript version. The original publication appeared in Dialectica 60 (2), 2006, 115-133.] Abstract

### CONTRASTIVE EMPIRICISM AND INDISPENSABILITY

MARK COLYVAN CONTRASTIVE EMPIRICISM AND INDISPENSABILITY ABSTRACT. The Quine Putnam indispensability argument urges us to place mathematical entities on the same ontological footing as (other) theoretical

### Why the Indispensability Argument Does Not Justify Belief in Mathematical Objects. Russell Marcus, Ph.D. Chauncey Truax Post-Doctoral Fellow

Why the Indispensability Argument Does Not Justify Belief in Mathematical Objects Russell Marcus, Ph.D. Chauncey Truax Post-Doctoral Fellow Department of Philosophy, Hamilton College 198 College Hill Road

Issue 4, Special Conference Proceedings 2017 Published by the Durham University Undergraduate Philosophy Society An Alternative Approach to Mathematical Ontology Amber Donovan (Durham University) Introduction

### Review of Constructive Empiricism: Epistemology and the Philosophy of Science

Review of Constructive Empiricism: Epistemology and the Philosophy of Science Constructive Empiricism (CE) quickly became famous for its immunity from the most devastating criticisms that brought down

### Deflationism and the Gödel Phenomena: Reply to Ketland Neil Tennant

Deflationism and the Gödel Phenomena: Reply to Ketland Neil Tennant I am not a deflationist. I believe that truth and falsity are substantial. The truth of a proposition consists in its having a constructive

### Completeness or Incompleteness of Basic Mathematical Concepts Donald A. Martin 1 2

0 Introduction Completeness or Incompleteness of Basic Mathematical Concepts Donald A. Martin 1 2 Draft 2/12/18 I am addressing the topic of the EFI workshop through a discussion of basic mathematical

### Full-Blooded Platonism 1. (Forthcoming in An Historical Introduction to the Philosophy of Mathematics, Bloomsbury Press)

Mark Balaguer Department of Philosophy California State University, Los Angeles Full-Blooded Platonism 1 (Forthcoming in An Historical Introduction to the Philosophy of Mathematics, Bloomsbury Press) In

### Tuomas E. Tahko (University of Helsinki)

Meta-metaphysics Routledge Encyclopedia of Philosophy, forthcoming in October 2018 Tuomas E. Tahko (University of Helsinki) tuomas.tahko@helsinki.fi www.ttahko.net Article Summary Meta-metaphysics concerns

### By Hans Robin Solberg

THE CONTINUUM HYPOTHESIS AND THE SET-THeORETIC MULTIVERSE By Hans Robin Solberg For in this reality Cantor s conjecture must be either true or false, and its undecidability from the axioms as known today

### νµθωερτψυιοπασδφγηϕκλζξχϖβνµθωερτ ψυιοπασδφγηϕκλζξχϖβνµθωερτψυιοπα σδφγηϕκλζξχϖβνµθωερτψυιοπασδφγηϕκ χϖβνµθωερτψυιοπασδφγηϕκλζξχϖβνµθ

θωερτψυιοπασδφγηϕκλζξχϖβνµθωερτψ υιοπασδφγηϕκλζξχϖβνµθωερτψυιοπασδ φγηϕκλζξχϖβνµθωερτψυιοπασδφγηϕκλζ ξχϖβνµθωερτψυιοπασδφγηϕκλζξχϖβνµ Mathematics as Fiction θωερτψυιοπασδφγηϕκλζξχϖβνµθωερτψ A Common Sense

### Against the No-Miracle Response to Indispensability Arguments

Against the No-Miracle Response to Indispensability Arguments I. Overview One of the most influential of the contemporary arguments for the existence of abstract entities is the so-called Quine-Putnam

### Modal Structuralism and Theism

September 5, 2017 Abstract Drawing an analogy between modal structuralism about mathematics and theism, I offer a structuralist account that implicitly defines theism in terms of three basic relations:

### 2.1 Review. 2.2 Inference and justifications

Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning

### Prior, Berkeley, and the Barcan Formula. James Levine Trinity College, Dublin

Prior, Berkeley, and the Barcan Formula James Levine Trinity College, Dublin In his 1955 paper Berkeley in Logical Form, A. N. Prior argues that in his so called master argument for idealism, Berkeley

### The Hyperuniverse Program: a critical appraisal

The Hyperuniverse Program: a critical appraisal Symposium on the Foundation of Mathematics, Vienna, 20-23 September, 2015 Tatiana Arrigoni, Fondazione Bruno Kessler, Trento A summary The position of the

### UNIVERSITY OF ALBERTA MATHEMATICS AS MAKE-BELIEVE: A CONSTRUCTIVE EMPIRICIST ACCOUNT SARAH HOFFMAN

UNIVERSITY OF ALBERTA MATHEMATICS AS MAKE-BELIEVE: A CONSTRUCTIVE EMPIRICIST ACCOUNT SARAH HOFFMAN A thesis submitted to the Faculty of graduate Studies and Research in partial fulfillment of the requirements

### Class #14: October 13 Gödel s Platonism

Philosophy 405: Knowledge, Truth and Mathematics Fall 2010 Hamilton College Russell Marcus Class #14: October 13 Gödel s Platonism I. The Continuum Hypothesis and Its Independence The continuum problem

### Quine, Putnam, and the Quine-Putnam indispensability argument

[This paper was published in Erkenntnis 68.1 (January 2008), pp. 113 27. The official version is available to subscribers at http://www.springerlink.com/content/v83j47683u252422/fulltext.pdf.] Quine, Putnam,

### Moral Objectivism. RUSSELL CORNETT University of Calgary

Moral Objectivism RUSSELL CORNETT University of Calgary The possibility, let alone the actuality, of an objective morality has intrigued philosophers for well over two millennia. Though much discussed,

### First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox *

First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox * András Máté EötvösUniversity Budapest Department of Logic andras.mate@elte.hu The Löwenheim-Skolem theorem has been the earliest of

### Oxford Handbooks Online

Oxford Handbooks Online Philosophy of Mathematics and Its Logic: Introduction Stewart Shapiro The Oxford Handbook of Philosophy of Mathematics and Logic Edited by Stewart Shapiro Print Publication Date:

### Lecture 3: Properties II Nominalism & Reductive Realism. Lecture 3: Properties II Nominalism & Reductive Realism

1. Recap of previous lecture 2. Anti-Realism 2.1. Motivations 2.2. Austere Nominalism: Overview, Pros and Cons 3. Reductive Realisms: the Appeal to Sets 3.1. Sets of Objects 3.2. Sets of Tropes 4. Overview

Comments on Ontological Anti-Realism Cian Dorr INPC 2007 In 1950, Quine inaugurated a strange new way of talking about philosophy. The hallmark of this approach is a propensity to take ordinary colloquial

### PYTHAGOREAN POWERS or A CHALLENGE TO PLATONISM

1 PYTHAGOREAN POWERS or A CHALLENGE TO PLATONISM Colin Cheyne and Charles R. Pigden I have tried to apprehend the Pythagorean power by which number holds sway above the flux. Bertrand Russell, Autobiography,

### Mathematical Platonism

Mathematical Platonism Mathematical platonism refers to a collection of metaphysical accounts of mathematics. A metaphysical account of mathematics is a variety of mathematical platonism if and only if

### Abstract Abstraction Abundant ontology Abundant theory of universals (or properties) Actualism A-features Agent causal libertarianism

Glossary Abstract: a classification of entities, examples include properties or mathematical objects. Abstraction: 1. a psychological process of considering an object while ignoring some of its features;

### Remarks on the philosophy of mathematics (1969) Paul Bernays

Bernays Project: Text No. 26 Remarks on the philosophy of mathematics (1969) Paul Bernays (Bemerkungen zur Philosophie der Mathematik) Translation by: Dirk Schlimm Comments: With corrections by Charles

### Philosophy 125 Day 4: Overview

Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 4: Overview Administrative Stuff Final rosters for sections have been determined. Please check the sections page asap. Important: you must get

### Reply to Kit Fine. Theodore Sider July 19, 2013

Reply to Kit Fine Theodore Sider July 19, 2013 Kit Fine s paper raises important and difficult issues about my approach to the metaphysics of fundamentality. In chapters 7 and 8 I examined certain subtle

### Putnam s indispensability argument revisited, reassessed, revived*

1 Putnam s indispensability argument revisited, reassessed, revived* Otávio Bueno Received: 10/11/2017 Final versión: 12/04/2018 BIBLID 0495-4548(2018)33:2p.201-218 DOI: 10.1387/theoria.18473 ABSTRACT:

### Faults and Mathematical Disagreement

45 Faults and Mathematical Disagreement María Ponte ILCLI. University of the Basque Country mariaponteazca@gmail.com Abstract: My aim in this paper is to analyse the notion of mathematical disagreements

Potentialism about set theory Øystein Linnebo University of Oslo SotFoM III, 21 23 September 2015 Øystein Linnebo (University of Oslo) Potentialism about set theory 21 23 September 2015 1 / 23 Open-endedness

### Class 33 - November 13 Philosophy Friday #6: Quine and Ontological Commitment Fisher 59-69; Quine, On What There Is

Philosophy 240: Symbolic Logic Fall 2009 Mondays, Wednesdays, Fridays: 9am - 9:50am Hamilton College Russell Marcus rmarcus1@hamilton.edu I. The riddle of non-being Two basic philosophical questions are:

### Van Fraassen: Arguments Concerning Scientific Realism

Aaron Leung Philosophy 290-5 Week 11 Handout Van Fraassen: Arguments Concerning Scientific Realism 1. Scientific Realism and Constructive Empiricism What is scientific realism? According to van Fraassen,

### Constructing the World

Constructing the World Lecture 5: Hard Cases: Mathematics, Normativity, Intentionality, Ontology David Chalmers Plan *1. Hard cases 2. Mathematical truths 3. Normative truths 4. Intentional truths 5. Philosophical

### A Liar Paradox. Richard G. Heck, Jr. Brown University

A Liar Paradox Richard G. Heck, Jr. Brown University It is widely supposed nowadays that, whatever the right theory of truth may be, it needs to satisfy a principle sometimes known as transparency : Any

### Timothy Williamson: Modal Logic as Metaphysics Oxford University Press 2013, 464 pages

268 B OOK R EVIEWS R ECENZIE Acknowledgement (Grant ID #15637) This publication was made possible through the support of a grant from the John Templeton Foundation. The opinions expressed in this publication

### Possibility and Necessity

Possibility and Necessity 1. Modality: Modality is the study of possibility and necessity. These concepts are intuitive enough. Possibility: Some things could have been different. For instance, I could

### Ayer s linguistic theory of the a priori

Ayer s linguistic theory of the a priori phil 43904 Jeff Speaks December 4, 2007 1 The problem of a priori knowledge....................... 1 2 Necessity and the a priori............................ 2

### Semantic Foundations for Deductive Methods

Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the

### Outscoping and Discourse Threat

Outscoping and Discourse Threat Theodore Sider Inquiry 57 (2014): 413 26 Agustín Rayo s exciting and bold new book can be viewed as continuing Carnap s debate with Quine over analyticity and mathematical

### Jeu-Jenq Yuann Professor of Philosophy Department of Philosophy, National Taiwan University,

The Negative Role of Empirical Stimulus in Theory Change: W. V. Quine and P. Feyerabend Jeu-Jenq Yuann Professor of Philosophy Department of Philosophy, National Taiwan University, 1 To all Participants

### Comments on Truth at A World for Modal Propositions

Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into

### A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic 1. Introduction The concern here is criticism of the Kripkean representation of modal, logical truth as truth at the actual-world

### 1. Introduction. Against GMR: The Incredulous Stare (Lewis 1986: 133 5).

Lecture 3 Modal Realism II James Openshaw 1. Introduction Against GMR: The Incredulous Stare (Lewis 1986: 133 5). Whatever else is true of them, today s views aim not to provoke the incredulous stare.

### Is the law of excluded middle a law of logic?

Is the law of excluded middle a law of logic? Introduction I will conclude that the intuitionist s attempt to rule out the law of excluded middle as a law of logic fails. They do so by appealing to harmony

### On the hard problem of consciousness: Why is physics not enough?

On the hard problem of consciousness: Why is physics not enough? Hrvoje Nikolić Theoretical Physics Division, Rudjer Bošković Institute, P.O.B. 180, HR-10002 Zagreb, Croatia e-mail: hnikolic@irb.hr Abstract

### 5 A Modal Version of the

5 A Modal Version of the Ontological Argument E. J. L O W E Moreland, J. P.; Sweis, Khaldoun A.; Meister, Chad V., Jul 01, 2013, Debating Christian Theism The original version of the ontological argument

### Class #19: November 1 Two Dogmas of Empiricism

Philosophy 405: Knowledge, Truth and Mathematics Fall 2010 Hamilton College Russell Marcus Class #19: November 1 Two Dogmas of Empiricism I. Two Dogmas, Mathematics, and Indispensability Our interest in

### On A New Cosmological Argument

On A New Cosmological Argument Richard Gale and Alexander Pruss A New Cosmological Argument, Religious Studies 35, 1999, pp.461 76 present a cosmological argument which they claim is an improvement over

### Facts and Free Logic. R. M. Sainsbury

R. M. Sainsbury 119 Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and the property of barking.

### Wittgenstein s Logical Atomism. Seminar 8 PHIL2120 Topics in Analytic Philosophy 16 November 2012

Wittgenstein s Logical Atomism Seminar 8 PHIL2120 Topics in Analytic Philosophy 16 November 2012 1 Admin Required reading for this seminar: Soames, Ch 9+10 New Schedule: 23 November: The Tractarian Test

### Facts and Free Logic R. M. Sainsbury

Facts and Free Logic R. M. Sainsbury Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and

### 1. Lukasiewicz s Logic

Bulletin of the Section of Logic Volume 29/3 (2000), pp. 115 124 Dale Jacquette AN INTERNAL DETERMINACY METATHEOREM FOR LUKASIEWICZ S AUSSAGENKALKÜLS Abstract An internal determinacy metatheorem is proved

### Resemblance Nominalism and counterparts

ANAL63-3 4/15/2003 2:40 PM Page 221 Resemblance Nominalism and counterparts Alexander Bird 1. Introduction In his (2002) Gonzalo Rodriguez-Pereyra provides a powerful articulation of the claim that Resemblance

### Logical Consequence for Nominalists

Logical Consequence for Nominalists Marcus ROSSBERG and Daniel COHNITZ BIBLID [0495-4548 (2009) 24: 65; pp. 147-168] ABSTRACT: It has repeatedly been argued that nominalistic programmes in the philosophy

### Realism and the success of science argument. Leplin:

Realism and the success of science argument Leplin: 1) Realism is the default position. 2) The arguments for anti-realism are indecisive. In particular, antirealism offers no serious rival to realism in

### 1 What is conceptual analysis and what is the problem?

1 What is conceptual analysis and what is the problem? 1.1 What is conceptual analysis? In this book, I am going to defend the viability of conceptual analysis as a philosophical method. It therefore seems

### Introduction to Cognitivism; Motivational Externalism; Naturalist Cognitivism

Introduction to Cognitivism; Motivational Externalism; Naturalist Cognitivism Felix Pinkert 103 Ethics: Metaethics, University of Oxford, Hilary Term 2015 Cognitivism, Non-cognitivism, and the Humean Argument

### On possibly nonexistent propositions

On possibly nonexistent propositions Jeff Speaks January 25, 2011 abstract. Alvin Plantinga gave a reductio of the conjunction of the following three theses: Existentialism (the view that, e.g., the proposition

### LOGIC AND ANALYTICITY. Tyler BURGE University of California at Los Angeles

Grazer Philosophische Studien 66 (2003), 199 249. LOGIC AND ANALYTICITY Tyler BURGE University of California at Los Angeles Summary The view that logic is true independently of a subject matter is criticized

### Reply to Critics. Agustín Rayo. April 9, This project has been a joy to work on. Cameron, Eklund, Hofweber, Linnebo, Russell

Reply to Critics Agustín Rayo April 9, 2014 This project has been a joy to work on. Cameron, Eklund, Hofweber, Linnebo, Russell and Sider wrote six splendid essays, filled with interesting ideas and thoughtful

### Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne

Intersubstitutivity Principles and the Generalization Function of Truth Anil Gupta University of Pittsburgh Shawn Standefer University of Melbourne Abstract We offer a defense of one aspect of Paul Horwich

### Spinoza and the Axiomatic Method. Ever since Euclid first laid out his geometry in the Elements, his axiomatic approach to

Haruyama 1 Justin Haruyama Bryan Smith HON 213 17 April 2008 Spinoza and the Axiomatic Method Ever since Euclid first laid out his geometry in the Elements, his axiomatic approach to geometry has been

### Primitive Thisness and Primitive Identity Robert Merrihew Adams

Robert Merrihew Adams Let us begin at the end, where Adams states simply the view that, he says, he has defended in his paper: Thisnesses and transworld identities are primitive but logically connected

### Putnam: Meaning and Reference

Putnam: Meaning and Reference The Traditional Conception of Meaning combines two assumptions: Meaning and psychology Knowing the meaning (of a word, sentence) is being in a psychological state. Even Frege,

### Philosophy of Mind. Introduction to the Mind-Body Problem

Philosophy of Mind Introduction to the Mind-Body Problem Two Motivations for Dualism External Theism Internal The nature of mind is such that it has no home in the natural world. Mind and its Place in

### ON NATURALIZING THE EPISTEMOLOGY OF MATHEMATICS

ON NATURALIZING THE EPISTEMOLOGY OF MATHEMATICS by JEFFREY W. ROLAND Abstract: In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets

### Generic truth and mixed conjunctions: some alternatives

Analysis Advance Access published June 15, 2009 Generic truth and mixed conjunctions: some alternatives AARON J. COTNOIR Christine Tappolet (2000) posed a problem for alethic pluralism: either deny the

### How Not to Defend Metaphysical Realism (Southwestern Philosophical Review, Vol , 19-27)

How Not to Defend Metaphysical Realism (Southwestern Philosophical Review, Vol 3 1986, 19-27) John Collier Department of Philosophy Rice University November 21, 1986 Putnam's writings on realism(1) have

### Merricks on the existence of human organisms

Merricks on the existence of human organisms Cian Dorr August 24, 2002 Merricks s Overdetermination Argument against the existence of baseballs depends essentially on the following premise: BB Whenever

### MATHEMATICS ITS FOUNDATIONS AND THEIR IMPLICAT

Syllabus MATHEMATICS ITS FOUNDATIONS AND THEIR IMPLICAT - 15738 Last update 03-02-2014 HU Credits: 2 Degree/Cycle: 1st degree (Bachelor) and 2nd degree (Master) Responsible Department: Academic year: 0