THE USELESSNESS OF VENN DIAGRAMS*

Size: px
Start display at page:

Download "THE USELESSNESS OF VENN DIAGRAMS*"

Transcription

1 J. VAN DORMOLEN THE USELESSNESS OF VENN DIAGRAMS* Attempts at introducing notions like intersection, subset, element of a set to highschool students by means of Venn diagrams turned out to be less successful than I expected. This is partly due to my lack of experience, but also implied by the subject itself. First I tried it as follows. I drew an oval on the blackboard and said Fig. 1. something like 'This represents a set and every element of the set is put into the oval'. If for instance I would suggest the set of positive integers less than or equal to 20 and divisible by 3, I marked some points within and some outside the oval, wrote numbers beside them, and finally said: This point represents the number 6, which belongs to the set; that point represents the number 7, Fig. 2. which does not belong to the set. Then I asked the students which numbers had to be written inside and,,which not. There are a few disadvantages of this method: (a) The attention is drawn to the oval rather than to the characteristic which causes the elements of the set to belong to each other. (b) Not all points of the drawing plane are used to represent a number. 402 Educational Studies in Mathematics 1 ( ) ; 9 D. Reidel, Dordrecht-Holland

2 THE USELESSNESS OF VENN DIAGRAMS This drawback is much more serious than I initially supposed. The pupil needs time to understand that it is a drawback. He feels there is something wrong but he does not realize what is the matter. It is a handicap if he finally succeeds in taking the fence, and he has to make efforts to catch up. Of course I will adjust my teaching to this experience and give students the time to overcome this difficulty though it would be better to avoid it entirely by another teaching method. (c) Theelementsofmysethavenotbeenneatlyarranged. Even the sloppiest student appreciates some order. Actually there is a certain order. I need not tell my students that the number sets they know are ordered. They know it, and the only thing I have to teach them is the word, and the fact that this order may be useful. The numbers on the blackboard are not ordered. This is not a serious drawback, but in any case one the students have to overcome and I have to account for. (d) It may happen that my oval remains void. Then I have drawn something that is useless and, actually, does not exist. (e) If somewhat later I have to draw the set of points of the drawing plane which lie at a given distance from a given point, 1 get again such a figure. But now the boundary itself forms the set rather than the things inside. Fig. 3. It is even worse if I turn to the set of points at a distance from a given point, larger than a given distance. There are two advantages of this method: (a) The conclusive force I can find in such diagrams if I have to prove theorems like AnB=BnA (AnB) uc=(auc)n(buc) A~B--,AnB=A. If I would deal with such theorems, it would certainly pay to use diagrams, to have the students to meet the difficulties mentioned above, and to teach the students to overcome them. If I succeed, I would have helped them to understand that pictures are no concepts, but rather representations of con- 403

3 J. VAN DORMOLEN cepts, which can serve to guide our reasonings. Then, of course, to prove theorems I should adopt conventions on how the ovals have to be drawn. In the case of two sets, for instance, I have to account for the fact that parts can be void. From Vredenduin's paper 1 it appears that then I have still to draw the general figure, and only to indicate which parts are void. But leaving parts void leads to didactical absurdities, which have probably never been intended by old Venn. My students would consider it a new proof for the saying that mathematics is to make easy things difficult. I have to add that I do not need at all this kind of theorems. Sets and related concepts serve to simplify the language whenever it is useful, and to make things clearer and more perspicuous. Theorems like the ones mentioned are Fig. 4. appropriate in an introduction into set theory, but set theory is not a school matter. Moreover, the first and third theorem are so evident for high school students that dealing with them explicitly can only create confusion. (b) Reviewing some teaching matter I can explain the students the connection of concepts by means of diagrams, for instance to show them that the properties of parallelograms are shared by rhombs, and the properties of rectangles by squares (Figure 4), and how the most usual number sets are related to each other (Figure 5). The earlier mentioned drawbacks are still palpable in this application (a point in the oval 'rhombs' means a rhomb rather than a point). Even then I would use such a method at most in a recapitulation, not when I start speaking about quadrangles or numbers. My results in the classroom improved when I organised my questions a bit differently. I took a finite universe, for instance the positive integers below 13. I put the elements upon the blackboard. Not as points with labels, but the labels themselves. I chose the places such that my questions could be easily answered (Figure 6). Then I asked: Draw a closed curve around the even numbers, around the multiples of 3. What is the intersection of both sets? Disadvantages: 404

4 THE USELESSNESS OF VENN DIAGRAMS (a) Again only part of the points of the plane is used, but this is not serious since the curves are drawn after the children have learned what is the universe. (b) Again the numbers are not ordered. Fig. 5. (c) I cannot draw a void set. Once I saw an attempt to explain the void set by first drawing a curve around a pile of popcorn and then eating the popcorn. An original idea though I do not know how to eat numbers. (d) Geometric sets cannot be drawn in this fashion. (e) The set must be finite (and not too large because otherwise I have to write too much before I can start working). Advantages: (a) The attention is not diverted from the essentials, that is the characteristics by which the elements belong together. The dosed curves now function as a fence around the elements. There is no danger any more that the set is identified with the oval. I once heard somebody compare the curve with a rope that binds the elements together. My first reaction was: the rope is not tight, the elements will drop out. Of course this is a childish reaction which, however, will occur in our students. It is not so serious; they can think about it, but meanwhile the attention is diverted from the gist of the exposition. This I like to avoid. (See the earlier remarks on overcoming handicaps.) (b) The students feel that whenever they need it, they can draw a fence in another set. (c) I cannot draw a void set. I thought this was an disadvantage, but in fact it is not. If there is nothing, I would draw nothing. Every representation of the void set is wrong. An empty matchbox is a wrong representation. It suggests that a set be a box where you may or may not stuff in things. A class of students is not the classroom where they sit. Nobody can point to a class of students, but one can point to its elements. The classroom is at most the fence around. We use the void set because it simplifies the language; 405

5 J. VAN DORMOLEN often it allows us to drop casual distinctions. The same happens if we introduce points at infinity: it makes things easier if we can always speak of the intersection of two lines, rather than distinguishing special cases of parallels. Summarizing I would like to remark that Venn diagrams can be successfully used in the just described situations with finite sets. But these are so exceptional that if it happens I would draw a fence without explaining it explicitly. /"7 ".... -zl ; 11 Fig. 6. In general I would draw a picture of a set such as it fits most appropriately in a given situation, and then it is almost never a Venn diagram. I do not use Venn diagrams: if drawing the set of points at the same distance from two given points; if answering the question on the intersection of the sets {xl x > 2} and {xl x<4}; if counting the numbers of lattice points inside or on the boundary of the quadrangle with the corners r0, 07, r3, 07, r0, 5 -~, r2, 4-1; if determining the common solutions of the equations x2+y2=25 and x+y=l; if determining the set of lines that form equal angles with two given interseeting lines and pass through their intersection point. I can continue this list indefinitely. There is an argument which may be used by champions for Venn diagrams at school: the students learn abstract thinking. I seriously doubt it, and even if it should be true, I could point to a few subjects which were more suited to this purpose and which, nevertheless, nobody would advocate in the high school (at least in the first cycle). There are enough opportunities in the existing curriculum to teach abstract thinking - whatever this may be - without Venn diagrams. 406

6 THE USELESSNESS OF VENN DIAGRAMS REFERENCES * Translated from Euclides 43 ( ), This issue, p Note that Vredenduin's paper is not a plea for Venn diagrams, but a successful attempt to show teachers how conclusive force can be derived from Venn diagrams. 407

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

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

More information

Georgia Quality Core Curriculum

Georgia Quality Core Curriculum correlated to the Grade 8 Georgia Quality Core Curriculum McDougal Littell 3/2000 Objective (Cite Numbers) M.8.1 Component Strand/Course Content Standard All Strands: Problem Solving; Algebra; Computation

More information

correlated to the Massachussetts Learning Standards for Geometry C14

correlated to the Massachussetts Learning Standards for Geometry C14 correlated to the Massachussetts Learning Standards for Geometry C14 12/2003 2004 McDougal Littell Geometry 2004 correlated to the Massachussetts Learning Standards for Geometry Note: The parentheses at

More information

6. Truth and Possible Worlds

6. Truth and Possible Worlds 6. Truth and Possible Worlds We have defined logical entailment, consistency, and the connectives,,, all in terms of belief. In view of the close connection between belief and truth, described in the first

More information

Descartes and Foundationalism

Descartes and Foundationalism Cogito, ergo sum Who was René Descartes? 1596-1650 Life and Times Notable accomplishments modern philosophy mind body problem epistemology physics inertia optics mathematics functions analytic geometry

More information

Curriculum Guide for Pre-Algebra

Curriculum Guide for Pre-Algebra Unit 1: Variable, Expressions, & Integers 2 Weeks PA: 1, 2, 3, 9 Where did Math originate? Why is Math possible? What should we expect as we use Math? How should we use Math? What is the purpose of using

More information

Conventionalism and the linguistic doctrine of logical truth

Conventionalism and the linguistic doctrine of logical truth 1 Conventionalism and the linguistic doctrine of logical truth 1.1 Introduction Quine s work on analyticity, translation, and reference has sweeping philosophical implications. In his first important philosophical

More information

Grade 6 correlated to Illinois Learning Standards for Mathematics

Grade 6 correlated to Illinois Learning Standards for Mathematics STATE Goal 6: Demonstrate and apply a knowledge and sense of numbers, including numeration and operations (addition, subtraction, multiplication, division), patterns, ratios and proportions. A. Demonstrate

More information

How did the Incas manage their large and remote empire?

How did the Incas manage their large and remote empire? The Incas How did the Incas manage their large and remote empire? P R E V I E W Carefully analyze the image your teacher is projecting, and answer these questions: What details do you see in this image?

More information

Kernel Essay Text Structures

Kernel Essay Text Structures Alerting Reader to a Problem Visual image of problem What will happen in the future One plan Attitude change required Imagine if... Problem Awareness Problem Causes Effects Possible solutions All About

More information

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Exam Name SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Draw a Venn diagram for the given sets. In words, explain why you drew one set as a subset of

More information

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown

More information

The Critical Mind is A Questioning Mind

The Critical Mind is A Questioning Mind criticalthinking.org http://www.criticalthinking.org/pages/the-critical-mind-is-a-questioning-mind/481 The Critical Mind is A Questioning Mind Learning How to Ask Powerful, Probing Questions Introduction

More information

MITOCW MITRES18_006F10_26_0703_300k-mp4

MITOCW MITRES18_006F10_26_0703_300k-mp4 MITOCW MITRES18_006F10_26_0703_300k-mp4 ANNOUNCER: The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational

More information

6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3

6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3 6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare

More information

PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF?

PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF? PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF? Andreas J. Stylianides*, Gabriel J. Stylianides*, & George N. Philippou**

More information

Grade 6 Math Connects Suggested Course Outline for Schooling at Home

Grade 6 Math Connects Suggested Course Outline for Schooling at Home Grade 6 Math Connects Suggested Course Outline for Schooling at Home I. Introduction: (1 day) Look at p. 1 in the textbook with your child and learn how to use the math book effectively. DO: Scavenger

More information

Class #14: October 13 Gödel s Platonism

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

More information

MISSOURI S FRAMEWORK FOR CURRICULAR DEVELOPMENT IN MATH TOPIC I: PROBLEM SOLVING

MISSOURI S FRAMEWORK FOR CURRICULAR DEVELOPMENT IN MATH TOPIC I: PROBLEM SOLVING Prentice Hall Mathematics:,, 2004 Missouri s Framework for Curricular Development in Mathematics (Grades 9-12) TOPIC I: PROBLEM SOLVING 1. Problem-solving strategies such as organizing data, drawing a

More information

McDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards

McDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards Math Program correlated to Grade-Level ( in regular (non-capitalized) font are eligible for inclusion on Oregon Statewide Assessment) CCG: NUMBERS - Understand numbers, ways of representing numbers, relationships

More information

2.1 Review. 2.2 Inference and justifications

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

More information

Can the Angel fly into infinity, or does the Devil eat its squares?

Can the Angel fly into infinity, or does the Devil eat its squares? Can the Angel fly into infinity, or does the Devil eat its squares? Stijn Vermeeren University of Leeds February 4, 2010 Stijn Vermeeren (University of Leeds) The Angel Problem February 4, 2010 1 / 39

More information

Grade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons

Grade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons Grade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons I. Introduction: (1 day) Look at p. 1 in the textbook with your child and learn how to use the math book effectively. DO:

More information

Explaining the UML. Joe Marasco Former senior vice president, Rational Software 3 Mar 2004

Explaining the UML. Joe Marasco Former senior vice president, Rational Software 3 Mar 2004 Country/region [select] Terms of use All of dw Home Products Services & solutions Support & downloads My account developerworks > Rational Explaining the UML Joe Marasco Former senior vice president, Rational

More information

Al-Sijistani s and Maimonides s Double Negation Theology Explained by Constructive Logic

Al-Sijistani s and Maimonides s Double Negation Theology Explained by Constructive Logic International Mathematical Forum, Vol. 10, 2015, no. 12, 587-593 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2015.5652 Al-Sijistani s and Maimonides s Double Negation Theology Explained

More information

Rational and Irrational Numbers 2

Rational and Irrational Numbers 2 CONCEPT DEVELOPMENT Mathematics Assessment Project CLASSROOM CHALLENGES A Formative Assessment Lesson Rational and Irrational Numbers 2 Mathematics Assessment Resource Service University of Nottingham

More information

Math Matters: Why Do I Need To Know This? 1 Logic Understanding the English language

Math Matters: Why Do I Need To Know This? 1 Logic Understanding the English language Math Matters: Why Do I Need To Know This? Bruce Kessler, Department of Mathematics Western Kentucky University Episode Two 1 Logic Understanding the English language Objective: To introduce the concept

More information

1. Introduction Formal deductive logic Overview

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

More information

Our Story with MCM. Shanghai Jiao Tong University. March, 2014

Our Story with MCM. Shanghai Jiao Tong University. March, 2014 Our Story with MCM Libin Wen, Jingyuan Wu and Cong Wang Shanghai Jiao Tong University March, 2014 1 Introduction to Our Group Be It Known That The Team Of With Faculty Advisor Of Was Designated As Administered

More information

What could be some limitations to using fingerprints as evidence? Sep 2 12:58 PM

What could be some limitations to using fingerprints as evidence? Sep 2 12:58 PM 2 4 Deductive Reasoning Learning Targets: I understand deductive reasoning I can use the Law of Detachment I can use a Venn diagram to draw conclusions I can use the Law of Syllogism What other evidence

More information

Anger. Thanissaro Bhikkhu August 28, 2003

Anger. Thanissaro Bhikkhu August 28, 2003 Anger Thanissaro Bhikkhu August 28, 2003 The Buddha s basic teaching on insight is the four noble truths. We tend to lose sight of that fact, thinking that insight means seeing the inconstancy, stress,

More information

Is the Existence of the Best Possible World Logically Impossible?

Is the Existence of the Best Possible World Logically Impossible? Is the Existence of the Best Possible World Logically Impossible? Anders Kraal ABSTRACT: Since the 1960s an increasing number of philosophers have endorsed the thesis that there can be no such thing as

More information

MITOCW Lec 2 MIT 6.042J Mathematics for Computer Science, Fall 2010

MITOCW Lec 2 MIT 6.042J Mathematics for Computer Science, Fall 2010 MITOCW Lec 2 MIT 6.042J Mathematics for Computer Science, Fall 2010 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high

More information

Segment 2 Exam Review #1

Segment 2 Exam Review #1 Segment 2 Exam Review #1 High School Mathematics for College Readiness (Segment 2) / Math for College Readiness V15 (Mr. Snyder) Student Name/ID: 1. Factor. 2. Factor. 3. Solve. (If there is more than

More information

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras (Refer Slide Time: 00:26) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 06 State Space Search Intro So, today

More information

What is real? Heaps, bald things, and tall things

What is real? Heaps, bald things, and tall things What is real? Heaps, bald things, and tall things Our topic today is another paradox which has been known since ancient times: the paradox of the heap, also called the sorites paradox ( sorites is Greek

More information

UML. Saman A. Barakat.

UML. Saman A. Barakat. UML Saman A. Barakat saman.barakat@gmail.com Saman A. Barakat saman.barakat@gmail.com Date: 21 October 2015 Outline What is Use Case Diagram Use Case Elements Learn how to create a Use Case Diagrams Saman

More information

Selections from Aristotle s Prior Analytics 41a21 41b5

Selections from Aristotle s Prior Analytics 41a21 41b5 Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations

More information

Gödel's incompleteness theorems

Gödel's incompleteness theorems Savaş Ali Tokmen Gödel's incompleteness theorems Page 1 / 5 In the twentieth century, mostly because of the different classes of infinity problem introduced by George Cantor (1845-1918), a crisis about

More information

1.2. What is said: propositions

1.2. What is said: propositions 1.2. What is said: propositions 1.2.0. Overview In 1.1.5, we saw the close relation between two properties of a deductive inference: (i) it is a transition from premises to conclusion that is free of any

More information

Kant and his Successors

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

More information

Now consider a verb - like is pretty. Does this also stand for something?

Now consider a verb - like is pretty. Does this also stand for something? Kripkenstein The rule-following paradox is a paradox about how it is possible for us to mean anything by the words of our language. More precisely, it is an argument which seems to show that it is impossible

More information

AKC Lecture 1 Plato, Penrose, Popper

AKC Lecture 1 Plato, Penrose, Popper AKC Lecture 1 Plato, Penrose, Popper E. Brian Davies King s College London November 2011 E.B. Davies (KCL) AKC 1 November 2011 1 / 26 Introduction The problem with philosophical and religious questions

More information

The Spiritual Is Abstract

The Spiritual Is Abstract The Spiritual Is Abstract A lightly edited transcript of an impromptu talk by Mark F. Sharlow The spiritual is a subset of the abstract. The objects and items that we usually think of as spiritual are,

More information

Spinoza, Ethics 1 of 85 THE ETHICS. by Benedict de Spinoza (Ethica Ordine Geometrico Demonstrata) Translated from the Latin by R. H. M.

Spinoza, Ethics 1 of 85 THE ETHICS. by Benedict de Spinoza (Ethica Ordine Geometrico Demonstrata) Translated from the Latin by R. H. M. Spinoza, Ethics 1 of 85 THE ETHICS by Benedict de Spinoza (Ethica Ordine Geometrico Demonstrata) Translated from the Latin by R. H. M. Elwes PART I: CONCERNING GOD DEFINITIONS (1) By that which is self-caused

More information

Conte. Secretary AIPH Committee for Novelty Protection. October 22, George Franke Essentially derived varieties and the perspective of growers Y

Conte. Secretary AIPH Committee for Novelty Protection. October 22, George Franke Essentially derived varieties and the perspective of growers Y International Association of Horticultural Producers Conte 1 George Franke Essentially derived varieties and the perspective of growers Y CMia Buma Secretary AIPH Committee for Novelty Protection Environment

More information

Class 11 - February 23 Leibniz, Monadology and Discourse on Metaphysics

Class 11 - February 23 Leibniz, Monadology and Discourse on Metaphysics Philosophy 203: History of Modern Western Philosophy Spring 2010 Tuesdays, Thursdays: 9am - 10:15am Hamilton College Russell Marcus rmarcus1@hamilton.edu I. Minds, bodies, and pre-established harmony Class

More information

Houghton Mifflin MATHEMATICS

Houghton Mifflin MATHEMATICS 2002 for Mathematics Assessment NUMBER/COMPUTATION Concepts Students will describe properties of, give examples of, and apply to real-world or mathematical situations: MA-E-1.1.1 Whole numbers (0 to 100,000,000),

More information

PART THREE: The Field of the Collective Unconscious and Its inner Dynamism

PART THREE: The Field of the Collective Unconscious and Its inner Dynamism 26 PART THREE: The Field of the Collective Unconscious and Its inner Dynamism CHAPTER EIGHT: Archetypes and Numbers as "Fields" of Unfolding Rhythmical Sequences Summary Parts One and Two: So far there

More information

HANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13

HANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13 1 HANDBOOK TABLE OF CONTENTS I. Argument Recognition 2 II. Argument Analysis 3 1. Identify Important Ideas 3 2. Identify Argumentative Role of These Ideas 4 3. Identify Inferences 5 4. Reconstruct the

More information

The Development of Laws of Formal Logic of Aristotle

The Development of Laws of Formal Logic of Aristotle This paper is dedicated to my unforgettable friend Boris Isaevich Lamdon. The Development of Laws of Formal Logic of Aristotle The essence of formal logic The aim of every science is to discover the laws

More information

There might be nothing: the subtraction argument improved

There might be nothing: the subtraction argument improved ANALYSIS 57.3 JULY 1997 There might be nothing: the subtraction argument improved Gonzalo Rodriguez-Pereyra 1. The nihilist thesis that it is metaphysically possible that there is nothing, in the sense

More information

Content Area Variations of Academic Language

Content Area Variations of Academic Language Academic Expressions for Interpreting in Language Arts 1. It really means because 2. The is a metaphor for 3. It wasn t literal; that s the author s way of describing how 4. The author was trying to teach

More information

Beyond Symbolic Logic

Beyond Symbolic Logic Beyond Symbolic Logic 1. The Problem of Incompleteness: Many believe that mathematics can explain *everything*. Gottlob Frege proposed that ALL truths can be captured in terms of mathematical entities;

More information

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

More information

2.3. Failed proofs and counterexamples

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

More information

On Infinite Size. Bruno Whittle

On Infinite Size. Bruno Whittle To appear in Oxford Studies in Metaphysics On Infinite Size Bruno Whittle Late in the 19th century, Cantor introduced the notion of the power, or the cardinality, of an infinite set. 1 According to Cantor

More information

16. Universal derivation

16. Universal derivation 16. Universal derivation 16.1 An example: the Meno In one of Plato s dialogues, the Meno, Socrates uses questions and prompts to direct a young slave boy to see that if we want to make a square that has

More information

VICTORIA LODGE OF EDUCATION AND RESEARCH 650 Fisgard Street, Victoria, B.C. V8W 1R

VICTORIA LODGE OF EDUCATION AND RESEARCH 650 Fisgard Street, Victoria, B.C. V8W 1R VICTORIA LODGE OF EDUCATION AND RESEARCH 650 Fisgard Street, Victoria, B.C. V8W 1R6 1994-6 The appreciation of the Victoria Lodge of Education and Research is extended to the Author and to the Holden Research

More information

HANDBOOK (New or substantially modified material appears in boxes.)

HANDBOOK (New or substantially modified material appears in boxes.) 1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by

More information

The Pigeonhole Principle

The Pigeonhole Principle The Pigeonhole Principle Lecture 45 Section 9.4 Robb T. Koether Hampden-Sydney College Mon, Apr 16, 2014 Robb T. Koether (Hampden-Sydney College) The Pigeonhole Principle Mon, Apr 16, 2014 1 / 23 1 The

More information

Aquinas Cosmological argument in everyday language

Aquinas Cosmological argument in everyday language Aquinas Cosmological argument in everyday language P1. If there is no first cause, there cannot be any effects. P2. But we have observed that there are effects, like observing change in the world. C: So

More information

Dave Elder-Vass Of Babies and Bathwater. A Review of Tuukka Kaidesoja Naturalizing Critical Realist Social Ontology

Dave Elder-Vass Of Babies and Bathwater. A Review of Tuukka Kaidesoja Naturalizing Critical Realist Social Ontology Journal of Social Ontology 2015; 1(2): 327 331 Book Symposium Open Access Dave Elder-Vass Of Babies and Bathwater. A Review of Tuukka Kaidesoja Naturalizing Critical Realist Social Ontology DOI 10.1515/jso-2014-0029

More information

Understanding irrational numbers by means of their representation as non-repeating decimals

Understanding irrational numbers by means of their representation as non-repeating decimals Understanding irrational numbers by means of their representation as non-repeating decimals Ivy Kidron To cite this version: Ivy Kidron. Understanding irrational numbers by means of their representation

More information

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER VIII

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER VIII CHAPTER VIII ORDER OF TERMS, EULER'S DIAGRAMS, LOGICAL EQUATIONS, EXISTENTIAL IMPORT OF PROPOSITIONS Section 1. Of the terms of a proposition which is the Subject and which the Predicate? In most of the

More information

David Hume, A Treatise of Human Nature ( ), Book I, Part III.

David Hume, A Treatise of Human Nature ( ), Book I, Part III. David Hume, A Treatise of Human Nature (1739 1740), Book I, Part III. N.B. This text is my selection from Jonathan Bennett s paraphrase of Hume s text. The full Bennett text is available at http://www.earlymoderntexts.com/.

More information

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

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

More information

MEDITATIONS ON THE FIRST PHILOSOPHY: THE ONTOLOGICAL ARGUMENT

MEDITATIONS ON THE FIRST PHILOSOPHY: THE ONTOLOGICAL ARGUMENT MEDITATIONS ON THE FIRST PHILOSOPHY: THE ONTOLOGICAL ARGUMENT René Descartes Introduction, Donald M. Borchert DESCARTES WAS BORN IN FRANCE in 1596 and died in Sweden in 1650. His formal education from

More information

HANDBOOK (New or substantially modified material appears in boxes.)

HANDBOOK (New or substantially modified material appears in boxes.) 1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by

More information

BEGINNINGLESS PAST AND ENDLESS FUTURE: REPLY TO CRAIG. Wes Morriston. In a recent paper, I claimed that if a familiar line of argument against

BEGINNINGLESS PAST AND ENDLESS FUTURE: REPLY TO CRAIG. Wes Morriston. In a recent paper, I claimed that if a familiar line of argument against Forthcoming in Faith and Philosophy BEGINNINGLESS PAST AND ENDLESS FUTURE: REPLY TO CRAIG Wes Morriston In a recent paper, I claimed that if a familiar line of argument against the possibility of a beginningless

More information

The Development of Knowledge and Claims of Truth in the Autobiography In Code. When preparing her project to enter the Esat Young Scientist

The Development of Knowledge and Claims of Truth in the Autobiography In Code. When preparing her project to enter the Esat Young Scientist Katie Morrison 3/18/11 TEAC 949 The Development of Knowledge and Claims of Truth in the Autobiography In Code Sarah Flannery had the rare experience in this era of producing new mathematical research at

More information

Zimmerman, Michael J. Subsidiary Obligation, Philosophical Studies, 50 (1986):

Zimmerman, Michael J. Subsidiary Obligation, Philosophical Studies, 50 (1986): SUBSIDIARY OBLIGATION By: MICHAEL J. ZIMMERMAN Zimmerman, Michael J. Subsidiary Obligation, Philosophical Studies, 50 (1986): 65-75. Made available courtesy of Springer Verlag. The original publication

More information

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): 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

More information

What would count as Ibn Sīnā (11th century Persia) having first order logic?

What would count as Ibn Sīnā (11th century Persia) having first order logic? 1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā

More information

Introduction Symbolic Logic

Introduction Symbolic Logic An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION

More information

Harry A. Wolfson, The Jewish Kalam, (The Jewish Quarterly Review, 1967),

Harry A. Wolfson, The Jewish Kalam, (The Jewish Quarterly Review, 1967), Aristotle in Maimonides Guide For The Perplexed: An Analysis of Maimonidean Refutation Against The Jewish Kalam Influenced by Islamic thought, Mutakallimun or Jewish Kalamists began to pervade Judaic philosophy

More information

On Force in Cartesian Physics

On Force in Cartesian Physics On Force in Cartesian Physics John Byron Manchak June 28, 2007 Abstract There does not seem to be a consistent way to ground the concept of force in Cartesian first principles. In this paper, I examine

More information

WHEN is a moral theory self-defeating? I suggest the following.

WHEN is a moral theory self-defeating? I suggest the following. COLLECTIVE IRRATIONALITY 533 Marxist "instrumentalism": that is, the dominant economic class creates and imposes the non-economic conditions for and instruments of its continued economic dominance. The

More information

But we may go further: not only Jones, but no actual man, enters into my statement. This becomes obvious when the statement is false, since then

But we may go further: not only Jones, but no actual man, enters into my statement. This becomes obvious when the statement is false, since then CHAPTER XVI DESCRIPTIONS We dealt in the preceding chapter with the words all and some; in this chapter we shall consider the word the in the singular, and in the next chapter we shall consider the word

More information

All They Know: A Study in Multi-Agent Autoepistemic Reasoning

All They Know: A Study in Multi-Agent Autoepistemic Reasoning All They Know: A Study in Multi-Agent Autoepistemic Reasoning PRELIMINARY REPORT Gerhard Lakemeyer Institute of Computer Science III University of Bonn Romerstr. 164 5300 Bonn 1, Germany gerhard@cs.uni-bonn.de

More information

Necessary and Contingent Truths [c. 1686)

Necessary and Contingent Truths [c. 1686) Necessary and Contingent Truths [c. 1686) An affirmative truth is one whose predicate is in the subject; and so in every true affirmative proposition, necessary or contingent, universal or particular,

More information

Ethics Demonstrated in Geometrical Order

Ethics Demonstrated in Geometrical Order Ethics Demonstrated in Geometrical Order Benedict Spinoza Copyright Jonathan Bennett 2017. All rights reserved [Brackets] enclose editorial explanations. Small dots enclose material that has been added,

More information

THE GOD/MAN TRIANGLE OF JESUS CHRIST. THE IMAGE OF GOD (Part 1) > THE IMAGE OF GOD (Part 2) By Leo Tavares

THE GOD/MAN TRIANGLE OF JESUS CHRIST. THE IMAGE OF GOD (Part 1) > THE IMAGE OF GOD (Part 2) By Leo Tavares THE IMAGE OF GOD (Part 1) > THE IMAGE OF GOD (Part 2) THE IMAGE OF GOD (Part 2) By Leo Tavares The Bible teaches that man was created in the image of God. In Part 1, I showed how the Standard/Ordinal values

More information

COUNTING INDECOMPOSABLE QUIVER REPRESENTATIONS AFTER CRAWLEY-BOEVEY AND VAN DEN BERGH

COUNTING INDECOMPOSABLE QUIVER REPRESENTATIONS AFTER CRAWLEY-BOEVEY AND VAN DEN BERGH COUNTING INDECOMPOSABLE QUIVER REPRESENTATIONS AFTER CRAWLEY-BOEVEY AND VAN DEN BERGH FORSCHUNGSSEMINAR AG HOSKINS/AG SCHMITT WINTERSEMESTER 2015/2016 Abstract. In this seminar, we would like to understand

More information

3.3. Negations as premises Overview

3.3. Negations as premises Overview 3.3. Negations as premises 3.3.0. Overview A second group of rules for negation interchanges the roles of an affirmative sentence and its negation. 3.3.1. Indirect proof The basic principles for negation

More information

Extract How to have a Happy Life Ed Calyan 2016 (from Gyerek, 2010)

Extract How to have a Happy Life Ed Calyan 2016 (from Gyerek, 2010) Extract How to have a Happy Life Ed Calyan 2016 (from Gyerek, 2010) 2.ii Universe Precept 14: How Life forms into existence explains the Big Bang The reality is that religion for generations may have been

More information

Descartes Meditations

Descartes Meditations Descartes Meditations Descartes Meditations Suppose Descartes has proven his own existence as a thinking thing: Can he prove anything else with absolute certainty? Mathematics? His body? Other physical

More information

John s Gospel: Preaching the Sign Narratives By Bob Young

John s Gospel: Preaching the Sign Narratives By Bob Young John s Gospel: Preaching the Sign Narratives By Bob Young Introduction Students of John s gospel are familiar with John s sign narratives. Even casual readers of the Gospel will likely notice the frequent

More information

Outline. Searle 1 and Searle 2

Outline. Searle 1 and Searle 2 Outline 1 Department of Philosophy Hokkaido University Padova Philosophy Summer School 23 September 2016 2 3 4 Searle 1 and Searle 2 1 2 3 4 We will look at Searle s views of speech acts presented during

More information

Plato's Epistemology PHIL October Introduction

Plato's Epistemology PHIL October Introduction 1 Plato's Epistemology PHIL 305 28 October 2014 1. Introduction This paper argues that Plato's theory of forms, specifically as it is presented in the middle dialogues, ought to be considered a viable

More information

Scientific Realism and Empiricism

Scientific Realism and Empiricism Philosophy 164/264 December 3, 2001 1 Scientific Realism and Empiricism Administrative: All papers due December 18th (at the latest). I will be available all this week and all next week... Scientific Realism

More information

Philosophy 57 Day 10

Philosophy 57 Day 10 Branden Fitelson Philosophy 57 Lecture 1 Philosophy 57 Day 10 Quiz #2 Curve (approximate) 100 (A); 70 80 (B); 50 60 (C); 40 (D); < 40 (F) Quiz #3 is next Tuesday 03/04/03 (on chapter 4 not tnanslation)

More information

SoulCare Foundations IV : Community-Where SoulCare Happens

SoulCare Foundations IV : Community-Where SoulCare Happens SoulCare Foundations IV : Community-Where SoulCare Happens CC204 LESSON 06 of 10 Pouring the Passion of Christ From Your Heart into Another's Larry J. Crabb, Ph.D. Founder and Director of NewWay Ministries

More information

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

6.080 / Great Ideas in Theoretical Computer Science Spring 2008 MIT OpenCourseWare http://ocw.mit.edu 6.080 / 6.089 Great Ideas in Theoretical Computer Science Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

More information

part one MACROSTRUCTURE Cambridge University Press X - A Theory of Argument Mark Vorobej Excerpt More information

part one MACROSTRUCTURE Cambridge University Press X - A Theory of Argument Mark Vorobej Excerpt More information part one MACROSTRUCTURE 1 Arguments 1.1 Authors and Audiences An argument is a social activity, the goal of which is interpersonal rational persuasion. More precisely, we ll say that an argument occurs

More information

Illustrating Deduction. A Didactic Sequence for Secondary School

Illustrating Deduction. A Didactic Sequence for Secondary School Illustrating Deduction. A Didactic Sequence for Secondary School Francisco Saurí Universitat de València. Dpt. de Lògica i Filosofia de la Ciència Cuerpo de Profesores de Secundaria. IES Vilamarxant (España)

More information

Math 10 Lesson 1 4 Answers

Math 10 Lesson 1 4 Answers Math 10 Lesson 1 Answers Lesson Questions Question 1 When we calculate the radical, radicals that are rational numbers result in a rational number while radicals that are irrational result in an irrational

More information

Ethics Demonstrated in Geometrical Order

Ethics Demonstrated in Geometrical Order 1 Copyright Jonathan Bennett [Brackets] enclose editorial explanations. Small dots enclose material that has been added, but can be read as though it were part of the original text. Occasional bullets,

More information

3 Articles with Proof and Disproof of Birch and Swinnerton

3 Articles with Proof and Disproof of Birch and Swinnerton From the SelectedWorks of James T Struck Summer August 18, 2018 3 Articles with Proof and Disproof of Birch and Swinnerton James T Struck Available at: https://works.bepress.com/james_struck/83/ 3 Articles

More information

Inference in Cyc. This is the final lesson in the Inference Tutorial. It will focus on microtheories and forward/backward inference.

Inference in Cyc. This is the final lesson in the Inference Tutorial. It will focus on microtheories and forward/backward inference. Inference in Cyc Logical Aspects of Inference Incompleteness in Searching Incompleteness from Resource Bounds and Continuable Searches Efficiency through Heuristics Inference Features in Cyc This is the

More information