# Pictures, Proofs, and Mathematical Practice : Reply to James Robert Brown

Size: px
Start display at page:

Transcription

1 Brit. J. Phil. Sci. 50 (1999), DISCUSSION Pictures, Proofs, and Mathematical Practice : Reply to James Robert Brown In a recent article, James Robert Brown ([1997]) has argued that pictures and diagrams are sometimes genuine mathematical proofs. Though Brown raises some interesting considerations about the utility and importance of pictures, he does not show that pictures are, or can be, proofs. I discuss here two specific weaknesses and one more general problem with Brown s paper. First, the specifics. One problem with Brown s argument is that although he wishes to supplant the traditional or common conception of proof, 1 he nowhere provides an alternative account. It is therefore difficult to see why a picture should be able to count as a proof at all. Among features in favor of picture-proofs he cites the ability of pictures to convince us of the truth of some mathematical claim or other. But the ability to convince is neither necessary nor sufficient for being a proof. 2 Claims made by authorities and inductive evidence can both be convincing, but they do not add up to proofs. And many proofs are not psychologically convincing, especially if they are too long or too difficult to follow. The same goes for the criterion of psychological certainty, which Brown claims pictures can also provide. Another problem is that Brown undermines his own view about pictures and diagrams by appearing to contradict it. On the one hand, he claims that pictures are proofs, at least when they provide evidence and justification. That is, pictures play more than just a heuristic role: In short, pictures can prove things (p. 161). On the other hand, when explaining why certain specific pictures are proofs, he compares them to windows and telescopes. Now telescopes are instruments which enable us to see certain things otherwise not visible. Similarly, Brown claims, diagrams can function, not as 1 Where proof means a symbolic or verbal derivation; i.e. a deductive argument, usually in some axiomatic system (cf. Brown [1997], p. 162). 2 As I have argued in Folina ([1998], section 3). Oxford University Press 1999

2 426 representations, but as instruments which enable us to see the general mathematical fact in question (which lies, according to Brown, in Plato s heaven ) (p. 174). In this way, although a diagram can only instantiate a specific case, it enables us to see in our mind s eye the general fact which corresponds to the theorem. The difficulty, of course, is that telescopes are not themselves justificatory: it is not the telescope which is cited as the primary justification for an astronomical claim. Similarly for windows. Consequently Brown has here drifted into the position that the physical picture, or even diagram type, is not what provides the primary evidence for a general claim. Rather it is merely a tool which enables us to see the evidence, or the abstract picture. The abstract picture, according to Brown, is the one seen by the mind s eye and it has no particular number of elements in it. That is the one we grasp, the one that provides the evidence for the theorem (p. 176). Hence, on Brown s own account, it seems that although he wants to call them proofs, visual pictures do not justify general mathematical claims; only mental, or abstract, pictures can provide such appropriate evidence. Plato s theory of forms notwithstanding, this is a non-starter. Brown seems unable give a positive argument for his extreme realist view against, for example, a Kantian interpretation of why pictures might be revealing, or convincing. 3 He only argues that platonist picture windows are a possibility. Possible or not, this is a different view from that which he sets out to defend, namely, that actual visual pictures and diagrams can provide the right kind of evidence to count as a proof. What I may see in my mind s eye is not what is in question here. Aside from these specific problems, I want now to argue that there is a more general problem with the structure of Brown s argument. It is instructive to understand this, as his argument goes wrong in an interesting way, and he has some important company on this path. Brown s argument begins with what he considers to be the common attitude about mathematical knowledge and mathematical proofs: The common attitude towards Bolzano reflects the generally accepted attitude towards proofs and pictures. On this view only proofs give us mathematical knowledge; moreover, proofs are derivations; they are verbal/symbolic entities. Pictures, on the other hand, are psychologically useful, often suggestive, and sometimes charming but they do not provide evidence (p. 162). 3 While in many ways the Kantian explanation has more immediate appeal. Via some Kantian-like intuition we may be able to see the possibility of indefinitely iterating the specific drawings to gain insight into the general case. This would connect the justificatory nature of the pictures with the inductive nature of the rigorous proofs in some of Brown s examples.

4 428 a mathematical claim (p. 161). A picture can show that something is obviously, or trivially, true (pp ). Pictures can give powerful reasons for believing a theorem; they can even provide certainty (p. 164). Pictures provide data against which a formal theory can be tested (p. 165). There is more to mathematical reasoning than proving theorems (p. 166). Mathematical practice is inductive; we rely on intuitions and data to come up with new ideas and new formalisms (pp ). Pictures are singular, like intuitions (pp. 169, 173); yet they can convince us of general claims (p. 169), and they sometimes do this more easily than a traditional proof (pp ). Pictures are legitimate tools for helping us to see and understand general mathematical facts (p. 174). My point is that this can all be true (and I think it mostly is true) without it being true that pictures can be mathematical proofs. What has Brown shown? That there are forms of evidence and reasoning in mathematics forms which are critical to mathematics other than traditional proofs. Pictures, intuitions, inductive evidence and informal argument all play important roles in mathematics. 5 Some of these even provide evidence and justification. What does this show? That our first conjunct is probably wrong. Especially if we are not formalists, the case of axioms is a particularly compelling argument that not ALL mathematical knowledge can be justified by a traditional proof (i.e. a proof in some axiomatic system). Brown notes cases such as the Banach Tarski paradox and the result that there are continuous functions with no derivatives. These are cases where the intuitive, or picture, evidence is overridden by a verbal/symbolic derivation. Brown considers these as mere exceptions to his view that pictures can function in the same sort of way as derivations. In contrast, I think they show something very significant and very different. They show that pictures, and other sorts of intuitive-based evidence, are disanalogous to proofs. When a picture conflicts with a derivation in an accepted system, it is the picture which is rejected as misleading, not the proof. 6 True, pictures or intuitive concepts may be needed to shape a theory, but once shaped it is proofs which trump all other kinds of evidence. Proofs thus yield a higher standard of evidence than pictures. These are different sorts of justification; pictures are not on a par with deductive proofs. Now, if we take for granted that only proofs give us mathematical 5 Jaffe and Quinn ([1993]) have a nice paper which shows the role of analogy to physics in mathematics. (They do not suggest that making a physical analogy can constitute a mathematical proof however!) 6 Unless there is an error in the proof-attempt, i.e. unless it is not a proof. These examples also generally undermine the trustworthiness of pictures. They show us that how things look, or seem, are not always how they are. For me this weakens the idea that, on their own, pictures can even show, or depict, the mathematical facts (no less justify them). Yet again, there is a gap between what convinces and what justifies.

5 Reply to James Brown 429 knowledge, then Brown s argument might persuade us that other convincing forms of mathematical argument are proofs. But why should we take that for granted? Is it even the common attitude? Not if the common attitude includes a traditional conception of mathematical proof, and is not presumed to be formalistic. Brown offers us reasons to think that there is more to mathematics than traditional proofs, that pictures are important tools, that it is often legitimate to be convinced by a picture, etc. But I think we already knew this. And these reasons only tell directly against the first conjunct, that only proofs offer appropriate mathematical evidence, not the second. 7 The attitude identified by Brown as common does seem to be wrong, but it is not wrong for the reason Brown claims. It is wrong because the first conjunct is false, not the second. Mathematical evidence can take a variety of forms, but not every kind of convincing evidence for a mathematical claim counts as a proof. In particular, Brown does not show that a picture, or anything picture-like, can be a proof. In my view, he does not really argue for this. Acknowledgements Thanks to Martin Gunderson for comments on a draft of this paper. Department of Philosophy Macalester College Saint Paul, MN USA 7 Again, they are only telling against the second that proofs are traditional derivations if we presume that the first is true. References Brown, J. [1997]: Pictures and Proofs, The British Journal for the Philosophy of Science, 48, pp Devlin, K. [1996]: Mathematical Proofs in the Computer Age, The Mathematical Gazette, 80, pp Folina, J. [1998]: Church s Thesis: Prelude to a Proof, Philosophia Mathematica, Series III, 6, pp Horgan, J. [1993]: The Death of Proof, Scientific American, October issue, pp Jaffe, A. and Quinn, F. [1993]: "Theoretical Mathematics": Toward a Cultural Synthesis of Mathematics and Theoretical Physics, Bull. AMS, 29, pp Mendelson, E. [1990]: Second Thoughts about Church s Thesis and Mathematical Proofs, Journal of Philosophy, 88, pp

### 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

### REASONING ABOUT REASONING* TYLER BURGE

REASONING ABOUT REASONING* Mutual expectations cast reasoning into an interesting mould. When you and I reflect on evidence we believe to be shared, we may come to reason about each other's expectations.

### The Problem of Induction and Popper s Deductivism

The Problem of Induction and Popper s Deductivism Issues: I. Problem of Induction II. Popper s rejection of induction III. Salmon s critique of deductivism 2 I. The problem of induction 1. Inductive vs.

### Lecture 9. A summary of scientific methods Realism and Anti-realism

Lecture 9 A summary of scientific methods Realism and Anti-realism A summary of scientific methods and attitudes What is a scientific approach? This question can be answered in a lot of different ways.

### 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

### Robert Audi, The Architecture of Reason: The Structure and. Substance of Rationality. Oxford: Oxford University Press, Pp. xvi, 286.

Robert Audi, The Architecture of Reason: The Structure and Substance of Rationality. Oxford: Oxford University Press, 2001. Pp. xvi, 286. Reviewed by Gilbert Harman Princeton University August 19, 2002

### 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

### Proof as a cluster concept in mathematical practice. Keith Weber Rutgers University

Proof as a cluster concept in mathematical practice Keith Weber Rutgers University Approaches for defining proof In the philosophy of mathematics, there are two approaches to defining proof: Logical or

### Predicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain

Predicate logic Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) 28040 Madrid Spain Synonyms. First-order logic. Question 1. Describe this discipline/sub-discipline, and some of its more

### Haberdashers Aske s Boys School

1 Haberdashers Aske s Boys School Occasional Papers Series in the Humanities Occasional Paper Number Sixteen Are All Humans Persons? Ashna Ahmad Haberdashers Aske s Girls School March 2018 2 Haberdashers

### Lecture 6. Realism and Anti-realism Kuhn s Philosophy of Science

Lecture 6 Realism and Anti-realism Kuhn s Philosophy of Science Realism and Anti-realism Science and Reality Science ought to describe reality. But what is Reality? Is what we think we see of reality really

### This is a repository copy of Does = 5? : In Defense of a Near Absurdity.

This is a repository copy of Does 2 + 3 = 5? : In Defense of a Near Absurdity. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/127022/ Version: Accepted Version Article: Leng,

### 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

### Rethinking Knowledge: The Heuristic View

http://www.springer.com/gp/book/9783319532363 Carlo Cellucci Rethinking Knowledge: The Heuristic View 1 Preface From its very beginning, philosophy has been viewed as aimed at knowledge and methods to

### It Ain t What You Prove, It s the Way That You Prove It. a play by Chris Binge

It Ain t What You Prove, It s the Way That You Prove It a play by Chris Binge (From Alchin, Nicholas. Theory of Knowledge. London: John Murray, 2003. Pp. 66-69.) Teacher: Good afternoon class. For homework

### 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

### ASPECTS OF PROOF IN MATHEMATICS RESEARCH

ASPECTS OF PROOF IN MATHEMATICS RESEARCH Juan Pablo Mejía-Ramos University of Warwick Without having a clear definition of what proof is, mathematicians distinguish proofs from other types of argument.

### Does Deduction really rest on a more secure epistemological footing than Induction?

Does Deduction really rest on a more secure epistemological footing than Induction? We argue that, if deduction is taken to at least include classical logic (CL, henceforth), justifying CL - and thus deduction

### Analytic Philosophy IUC Dubrovnik,

Analytic Philosophy IUC Dubrovnik, 10.5.-14.5.2010. Debating neo-logicism Majda Trobok University of Rijeka trobok@ffri.hr In this talk I will not address our official topic. Instead I will discuss some

### UC Berkeley, Philosophy 142, Spring 2016

Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion

### 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

### On the epistemological status of mathematical objects in Plato s philosophical system

On the epistemological status of mathematical objects in Plato s philosophical system Floris T. van Vugt University College Utrecht University, The Netherlands October 22, 2003 Abstract The main question

### Intuitive evidence and formal evidence in proof-formation

Intuitive evidence and formal evidence in proof-formation Okada Mitsuhiro Section I. Introduction. I would like to discuss proof formation 1 as a general methodology of sciences and philosophy, with a

### 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

### KANT S EXPLANATION OF THE NECESSITY OF GEOMETRICAL TRUTHS. John Watling

KANT S EXPLANATION OF THE NECESSITY OF GEOMETRICAL TRUTHS John Watling Kant was an idealist. His idealism was in some ways, it is true, less extreme than that of Berkeley. He distinguished his own by calling

### Validity of Inferences *

1 Validity of Inferences * When the systematic study of inferences began with Aristotle, there was in Greek culture already a flourishing argumentative practice with the purpose of supporting or grounding

### TWO VERSIONS OF HUME S LAW

DISCUSSION NOTE BY CAMPBELL BROWN JOURNAL OF ETHICS & SOCIAL PHILOSOPHY DISCUSSION NOTE MAY 2015 URL: WWW.JESP.ORG COPYRIGHT CAMPBELL BROWN 2015 Two Versions of Hume s Law MORAL CONCLUSIONS CANNOT VALIDLY

### Russell s Problems of Philosophy

Russell s Problems of Philosophy IT S (NOT) ALL IN YOUR HEAD J a n u a r y 1 9 Today : 1. Review Existence & Nature of Matter 2. Russell s case against Idealism 3. Next Lecture 2.0 Review Existence & Nature

### 2.3. Failed proofs and counterexamples

2.3. Failed proofs and counterexamples 2.3.0. Overview Derivations can also be used to tell when a claim of entailment does not follow from the principles for conjunction. 2.3.1. When enough is enough

### Qualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus

University of Groningen Qualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus Published in: EPRINTS-BOOK-TITLE IMPORTANT NOTE: You are advised to consult

### Explanatory Indispensability and Deliberative Indispensability: Against Enoch s Analogy Alex Worsnip University of North Carolina at Chapel Hill

Explanatory Indispensability and Deliberative Indispensability: Against Enoch s Analogy Alex Worsnip University of North Carolina at Chapel Hill Forthcoming in Thought please cite published version In

### Boghossian & Harman on the analytic theory of the a priori

Boghossian & Harman on the analytic theory of the a priori PHIL 83104 November 2, 2011 Both Boghossian and Harman address themselves to the question of whether our a priori knowledge can be explained in

### A theory of adjudication is a theory primarily about what judges do when they decide cases in courts of law.

SLIDE 1 Theories of Adjudication: Legal Formalism A theory of adjudication is a theory primarily about what judges do when they decide cases in courts of law. American legal realism was a legal movement,

### From Transcendental Logic to Transcendental Deduction

From Transcendental Logic to Transcendental Deduction Let me see if I can say a few things to re-cap our first discussion of the Transcendental Logic, and help you get a foothold for what follows. Kant

### Andrea Westlund, in Selflessness and Responsibility for Self, argues

Aporia vol. 28 no. 2 2018 Phenomenology of Autonomy in Westlund and Wheelis Andrea Westlund, in Selflessness and Responsibility for Self, argues that for one to be autonomous or responsible for self one

### The Problem of the External World

The Problem of the External World External World Skepticism Consider this painting by Rene Magritte: Is there a tree outside? External World Skepticism Many people have thought that humans are like this

### - We might, now, wonder whether the resulting concept of justification is sufficiently strong. According to BonJour, apparent rational insight is

BonJour I PHIL410 BonJour s Moderate Rationalism - BonJour develops and defends a moderate form of Rationalism. - Rationalism, generally (as used here), is the view according to which the primary tool

### [This is a draft of a companion piece to G.C. Field s (1932) The Place of Definition in Ethics,

Justin Clarke-Doane Columbia University [This is a draft of a companion piece to G.C. Field s (1932) The Place of Definition in Ethics, Proceedings of the Aristotelian Society, 32: 79-94, for a virtual

### Constructive Logic, Truth and Warranted Assertibility

Constructive Logic, Truth and Warranted Assertibility Greg Restall Department of Philosophy Macquarie University Version of May 20, 2000....................................................................

### DEFEASIBLE A PRIORI JUSTIFICATION: A REPLY TO THUROW

The Philosophical Quarterly Vol. 58, No. 231 April 2008 ISSN 0031 8094 doi: 10.1111/j.1467-9213.2007.512.x DEFEASIBLE A PRIORI JUSTIFICATION: A REPLY TO THUROW BY ALBERT CASULLO Joshua Thurow offers a

### Theory of Knowledge. 5. That which can be asserted without evidence can be dismissed without evidence. (Christopher Hitchens). Do you agree?

Theory of Knowledge 5. That which can be asserted without evidence can be dismissed without evidence. (Christopher Hitchens). Do you agree? Candidate Name: Syed Tousif Ahmed Candidate Number: 006644 009

### Varieties of Apriority

S E V E N T H E X C U R S U S Varieties of Apriority T he notions of a priori knowledge and justification play a central role in this work. There are many ways in which one can understand the a priori,

### 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

### Review of Philosophical Logic: An Introduction to Advanced Topics *

Teaching Philosophy 36 (4):420-423 (2013). Review of Philosophical Logic: An Introduction to Advanced Topics * CHAD CARMICHAEL Indiana University Purdue University Indianapolis This book serves as a concise

### 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

### Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE

CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or

### Kant and his Successors

Kant and his Successors G. J. Mattey Winter, 2011 / Philosophy 151 The Sorry State of Metaphysics Kant s Critique of Pure Reason (1781) was an attempt to put metaphysics on a scientific basis. Metaphysics

### 1/7. The Postulates of Empirical Thought

1/7 The Postulates of Empirical Thought This week we are focusing on the final section of the Analytic of Principles in which Kant schematizes the last set of categories. This set of categories are what

### 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

### 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

### The Problem with Complete States: Freedom, Chance and the Luck Argument

The Problem with Complete States: Freedom, Chance and the Luck Argument Richard Johns Department of Philosophy University of British Columbia August 2006 Revised March 2009 The Luck Argument seems to show

### The Construction of Empirical Concepts and the Establishment of the Real Possibility of Empirical Lawlikeness in Kant's Philosophy of Science

The Construction of Empirical Concepts and the Establishment of the Real Possibility of Empirical Lawlikeness in Kant's Philosophy of Science 1987 Jennifer McRobert Table of Contents Abstract 3 Introduction

### PHIL / PSYC 351. Thinking and Reasoning

PHIL / PSYC 351 Thinking and Reasoning The Instructors My name is Jonathan Livengood. I am an assistant professor of philosophy. My primary area of specialization is philosophy of science. Jonathan Livengood

### Today we turn to the work of one of the most important, and also most difficult, philosophers: Immanuel Kant.

Kant s antinomies Today we turn to the work of one of the most important, and also most difficult, philosophers: Immanuel Kant. Kant was born in 1724 in Prussia, and his philosophical work has exerted

### Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module - 21 Lecture - 21 Kant Forms of sensibility Categories

### Unit 2. WoK 1 - Perception. Tuesday, October 7, 14

Unit 2 WoK 1 - Perception Russell Reading - Appearance and Reality The Russell document provides a basic framework for looking at the limitations of our senses. In small groups, discuss and record what

### Realism and instrumentalism

Published in H. Pashler (Ed.) The Encyclopedia of the Mind (2013), Thousand Oaks, CA: SAGE Publications, pp. 633 636 doi:10.4135/9781452257044 mark.sprevak@ed.ac.uk Realism and instrumentalism Mark Sprevak

### Utilitarianism: For and Against (Cambridge: Cambridge University Press, 1973), pp Reprinted in Moral Luck (CUP, 1981).

Draft of 3-21- 13 PHIL 202: Core Ethics; Winter 2013 Core Sequence in the History of Ethics, 2011-2013 IV: 19 th and 20 th Century Moral Philosophy David O. Brink Handout #14: Williams, Internalism, and

Kripke s skeptical paradox phil 93914 Jeff Speaks March 13, 2008 1 The paradox.................................... 1 2 Proposed solutions to the paradox....................... 3 2.1 Meaning as determined

### Frege on Knowing the Foundation

Frege on Knowing the Foundation TYLER BURGE The paper scrutinizes Frege s Euclideanism his view of arithmetic and geometry as resting on a small number of self-evident axioms from which nonself-evident

### Kant s Critique of Pure Reason1 (Critique) was published in For. Learning to Count Again: On Arithmetical Knowledge in Kant s Prolegomena

Aporia vol. 24 no. 1 2014 Learning to Count Again: On Arithmetical Knowledge in Kant s Prolegomena Charles Dalrymple - Fraser One might indeed think at first that the proposition 7+5 =12 is a merely analytic

### Introducing Our New Faculty

Dr. Isidoro Talavera Franklin University, Philosophy Ph.D. in Philosophy - Vanderbilt University M.A. in Philosophy - Vanderbilt University M.A. in Philosophy - University of Missouri M.S.E. in Math Education

### Philosophy 427 Intuitions and Philosophy. Russell Marcus Hamilton College Fall 2011

Philosophy 427 Intuitions and Philosophy Russell Marcus Hamilton College Fall 2011 Class 4 The Myth of the Given Marcus, Intuitions and Philosophy, Fall 2011, Slide 1 Atomism and Analysis P Wittgenstein

### Mathematics in and behind Russell s logicism, and its

The Cambridge companion to Bertrand Russell, edited by Nicholas Griffin, Cambridge University Press, Cambridge, UK and New York, US, xvii + 550 pp. therein: Ivor Grattan-Guinness. reception. Pp. 51 83.

### The Question of Metaphysics

The Question of Metaphysics metaphysics seriously. Second, I want to argue that the currently popular hands-off conception of metaphysical theorising is unable to provide a satisfactory answer to the question

### 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

### Argumentation and Positioning: Empirical insights and arguments for argumentation analysis

Argumentation and Positioning: Empirical insights and arguments for argumentation analysis Luke Joseph Buhagiar & Gordon Sammut University of Malta luke.buhagiar@um.edu.mt Abstract Argumentation refers

### Can Gödel s Incompleteness Theorem be a Ground for Dialetheism? *

논리연구 20-2(2017) pp. 241-271 Can Gödel s Incompleteness Theorem be a Ground for Dialetheism? * 1) Seungrak Choi Abstract Dialetheism is the view that there exists a true contradiction. This paper ventures

### Understanding, Modality, Logical Operators. Christopher Peacocke. Columbia University

Understanding, Modality, Logical Operators Christopher Peacocke Columbia University Timothy Williamson s The Philosophy of Philosophy stimulates on every page. I would like to discuss every chapter. To

### DR. LEONARD PEIKOFF. Lecture 3 THE METAPHYSICS OF TWO WORLDS: ITS RESULTS IN THIS WORLD

Founders of Western Philosophy: Thales to Hume a 12-lecture course by DR. LEONARD PEIKOFF Edited by LINDA REARDAN, A.M. Lecture 3 THE METAPHYSICS OF TWO WORLDS: ITS RESULTS IN THIS WORLD A Publication

Some questions about Adams conditionals PATRICK SUPPES I have liked, since it was first published, Ernest Adams book on conditionals (Adams, 1975). There is much about his probabilistic approach that is

### All things are possible Case study in the meaninglessness of all views By Colin leslie dean

All things are possible Case study in the meaninglessness of all views By Colin leslie dean All things are possible Case study in the meaninglessness of all views By Colin leslie dean 2 List of free Erotic

### Theory of knowledge prescribed titles

Theory of knowledge prescribed titles November 2009 and May 2010 Your theory of knowledge essay for examination must be submitted to your teacher for authentication. It must be written on one of the ten

### 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

### Perception and Mind-Dependence: Lecture 2

1 Recap Perception and Mind-Dependence: Lecture 2 (Alex Moran, apm60@ cam.ac.uk) According to naïve realism: (1) the objects of perception are ordinary, mindindependent things, and (2) perceptual experience

### 1. Introduction Formal deductive logic Overview

1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special

### Can Negation be Defined in Terms of Incompatibility?

Can Negation be Defined in Terms of Incompatibility? Nils Kurbis 1 Abstract Every theory needs primitives. A primitive is a term that is not defined any further, but is used to define others. Thus primitives

### Précis of Empiricism and Experience. Anil Gupta University of Pittsburgh

Précis of Empiricism and Experience Anil Gupta University of Pittsburgh My principal aim in the book is to understand the logical relationship of experience to knowledge. Say that I look out of my window

### Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):

Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999): 47 54. Abstract: John Etchemendy (1990) has argued that Tarski's definition of logical

### INTERMEDIATE LOGIC Glossary of key terms

1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include

### Logic Appendix: More detailed instruction in deductive logic

Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,

### FREGE AND SEMANTICS. Richard G. HECK, Jr. Brown University

Grazer Philosophische Studien 75 (2007), 27 63. FREGE AND SEMANTICS Richard G. HECK, Jr. Brown University Summary In recent work on Frege, one of the most salient issues has been whether he was prepared

### FOUNDATIONALISM AND ARBITRARINESS

FOUNDATIONALISM AND ARBITRARINESS by DANIEL HOWARD-SNYDER Abstract: Nonskeptical foundationalists say that there are basic beliefs. But, one might object, either there is a reason why basic beliefs are

### New Chapter: Epistemology: The Theory and Nature of Knowledge

Intro to Philosophy Phil 110 Lecture 12: 2-15 Daniel Kelly I. Mechanics A. Upcoming Readings 1. Today we ll discuss a. Descartes, Meditations on First Philosophy (full.pdf) 2. Next week a. Locke, An Essay

### Luck, Rationality, and Explanation: A Reply to Elga s Lucky to Be Rational. Joshua Schechter. Brown University

Luck, Rationality, and Explanation: A Reply to Elga s Lucky to Be Rational Joshua Schechter Brown University I Introduction What is the epistemic significance of discovering that one of your beliefs depends

### Today we turn to the work of one of the most important, and also most difficult, philosophers: Immanuel Kant.

Kant s antinomies Today we turn to the work of one of the most important, and also most difficult, philosophers: Immanuel Kant. Kant was born in 1724 in Prussia, and his philosophical work has exerted

### Why Science Doesn t Weaken My Faith

Why Science Doesn t Weaken My Faith EASEA SYMPOSIUM 09.FEB.2018 Kenneth E. Caviness Physics & Engineering Dept. SOUTHERN ADVENTIST UNIVERSITY Proof Texts! Holy Scriptures?? ? Holy Scriptures? Proof! U

### 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

### Necessity and Truth Makers

JAN WOLEŃSKI Instytut Filozofii Uniwersytetu Jagiellońskiego ul. Gołębia 24 31-007 Kraków Poland Email: jan.wolenski@uj.edu.pl Web: http://www.filozofia.uj.edu.pl/jan-wolenski Keywords: Barry Smith, logic,

### Nested Testimony, Nested Probability, and a Defense of Testimonial Reductionism Benjamin Bayer September 2, 2011

Nested Testimony, Nested Probability, and a Defense of Testimonial Reductionism Benjamin Bayer September 2, 2011 In her book Learning from Words (2008), Jennifer Lackey argues for a dualist view of testimonial

### Modal Realism, Counterpart Theory, and Unactualized Possibilities

This is the author version of the following article: Baltimore, Joseph A. (2014). Modal Realism, Counterpart Theory, and Unactualized Possibilities. Metaphysica, 15 (1), 209 217. The final publication

### a0rxh/ On Van Inwagen s Argument Against the Doctrine of Arbitrary Undetached Parts WESLEY H. BRONSON Princeton University

a0rxh/ On Van Inwagen s Argument Against the Doctrine of Arbitrary Undetached Parts WESLEY H. BRONSON Princeton University Imagine you are looking at a pen. It has a blue ink cartridge inside, along with

### Must we have self-evident knowledge if we know anything?

1 Must we have self-evident knowledge if we know anything? Introduction In this essay, I will describe Aristotle's account of scientific knowledge as given in Posterior Analytics, before discussing some

### Can A Priori Justified Belief Be Extended Through Deduction? It is often assumed that if one deduces some proposition p from some premises

Can A Priori Justified Belief Be Extended Through Deduction? Introduction It is often assumed that if one deduces some proposition p from some premises which one knows a priori, in a series of individually

### Critical Thinking 5.7 Validity in inductive, conductive, and abductive arguments

5.7 Validity in inductive, conductive, and abductive arguments REMEMBER as explained in an earlier section formal language is used for expressing relations in abstract form, based on clear and unambiguous

### MARK KAPLAN AND LAWRENCE SKLAR. Received 2 February, 1976) Surely an aim of science is the discovery of the truth. Truth may not be the

MARK KAPLAN AND LAWRENCE SKLAR RATIONALITY AND TRUTH Received 2 February, 1976) Surely an aim of science is the discovery of the truth. Truth may not be the sole aim, as Popper and others have so clearly

### John Locke. British Empiricism

John Locke British Empiricism Locke Biographical Notes: Locke is credited as the founder of the British "Common Sense" movement, later known as empiricism - he was also the founder of the modern political

### 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