THE USELESSNESS OF VENN DIAGRAMS*
|
|
- Helena Tucker
- 6 years ago
- Views:
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 Floris T. van Vugt University College Utrecht University, The Netherlands October 22, 2003 Abstract The main question
More informationGeorgia 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 informationcorrelated 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 information6. 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 informationDescartes 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 informationCurriculum 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 informationConventionalism 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 informationGrade 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 informationHow 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 informationKernel 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 informationSHORT 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 informationModule 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 informationThe 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 informationMITOCW 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 information6.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 informationPROSPECTIVE 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 informationGrade 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 informationClass #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 informationMISSOURI 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 informationMcDougal 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 information2.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 informationCan 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 informationGrade 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 informationExplaining 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 informationAl-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 informationRational 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 informationMath 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 information1. 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 informationOur 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 informationWhat 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 informationAnger. 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 informationIs 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 informationMITOCW 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 informationSegment 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 informationArtificial 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 informationWhat 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 informationUML. 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 informationSelections 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 informationGö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 information1.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 informationKant 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 informationNow 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 informationAKC 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 informationThe 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 informationSpinoza, 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 informationConte. 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 informationClass 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 informationHoughton 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 informationPART 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 informationHANDBOOK. 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 informationThe 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 informationThere 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 informationContent 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 informationBeyond 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 informationIt 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 information2.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 informationOn 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 information16. 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 informationVICTORIA 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 informationHANDBOOK (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 informationThe 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 informationAquinas 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 informationDave 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 informationUnderstanding 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 informationLogic: 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 informationDavid 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 informationSpinoza 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 informationMEDITATIONS 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 informationHANDBOOK (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 informationBEGINNINGLESS 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 informationThe 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 informationZimmerman, 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 informationEtchemendy, 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 informationWhat 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 informationIntroduction 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 informationHarry 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 informationOn 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 informationWHEN 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 informationBut 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 informationAll 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 informationNecessary 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 informationEthics 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 informationTHE 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 informationCOUNTING 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 information3.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 informationExtract 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 informationDescartes 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 informationJohn 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 informationOutline. 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 informationPlato'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 informationScientific 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 informationPhilosophy 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 informationSoulCare 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 information6.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 informationpart 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 informationIllustrating 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 informationMath 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 informationEthics 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 information3 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 informationInference 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