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

Size: px
Start display at page:

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

Transcription

1 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 Software 3 Mar 2004 from The Rational Edge: The one true test of your understanding of any concept comes when you must explain it to someone unskilled in the art. For those of us who deal daily in technology, the most maddening variant of this challenge is to transmit your understanding to "civilians," that is, other intelligent people who have little or no background in technology. The reason this is so difficult is that you cannot fall back on technical jargon that shorthand that permits highbandwidth communication with peers, while at the same time presenting a barrier to those unfamiliar with the lingo. In fact, I have found that software people have difficulty explaining the nuances of their craft to other engineering professionals. On a recent trip to China, I needed to explain the UML (Unified Modeling Language) and its significance to technical managers who were not software professionals themselves. I had not anticipated that this would be a problem, but when I first mentioned "UML," I got nothing but blank stares. Before I could advance, I needed to get them grounded in UML. But how? Contents: What Is the UML, and Why Is It Important? A Second, Less Trivial, Example The Third Example And Now for the Relevance to Software... Final Thoughts About the author Rate this article Subscriptions: dw newsletters dw Subscription (CDs and downloads) What follows is the ten-minute presentation I improvised and subsequently polished. When we're done, there's a neat irony that wraps up the tale.

2 What Is the UML, and Why Is It Important? Let us begin with a simple example. If I write on the whiteboard: = anywhere in the world, people understand what I am trying to say. In fact, at this point, someone in the audience always volunteers "2"! When that happens, I complete the equation: = 2 and explain that, not only are we understood around the world, but also we usually get the right answer, too. This is a good example of a universal notation, that is, the number system. People all over the world use it to communicate with each other. An English speaker can write it down, and a person speaking Mandarin in China can understand it. Although this example seems trivial at first sight, it really does reveal an amazing fact: Numbers are universal, and certain symbols such as + and = have the same meaning all over the world. The other really nice thing about this example is that anyone who has a first-grade education can understand and appreciate it. It has the unfortunate disadvantage of appearing to be more trivial than it really is. A Second, Less Trivial, Example At this point I acknowledge that perhaps this first example is a little too simple. So I then draw a triangle on the whiteboard that looks like this: I then point out that the triangle takes on additional meaning when I complete the diagram with the following addition:

3 Now this triangle is unambiguously a right triangle, because the little square doohickey is a worldwide convention meaning "right angle." Furthermore, I can now label the sides of the triangle A, B, and C: And, immediately, we can write down that A 2 + B 2 = C 2 Now this has a few very endearing properties. First, it is once again an example of a universal notation. Right angles, right triangles, and the symbols representing them are the same all over the world; someone from ancient Egypt could in principle reason about right triangles with a modern Peruvian by drawing such diagrams. What's more, once the diagram for the right triangle has been written down, the relationship of A, B, and C is defined. A, B, and C can no longer have completely arbitrary values; once any two of them are specified, the third is determined as well. The diagram implies the Pythagorean Theorem. One could even go so far as to say that the diagram has some "semantics," that there is a well-understood relationship between the picture and the values implied by the letters. What is truly amazing about this example is that anyone with a high school education can understand it. If the person has seen any geometry at all, they have seen triangles and right triangles, and if they remember anything at all from their geometry, it is good old Pythagoras. So now we have a diagram with semantics, and we have moved up a level of abstraction at the "accessibility cost" of moving from the first grade to the

4 high school freshman level of mathematics. Also, at this point, people are definitely intrigued as to where I am going with all this. So I try to bait the hook with a very tasty worm. The Third Example So far, these examples demonstrate the utility of a universal notation. The problem is, they are both from the world of mathematics; although math has concrete manifestations, it is intrinsically abstract. Are there any examples not from mathematics? We then draw the following diagram on the whiteboard: What is stunning about this picture is that as soon as I complete the drawing and say the words, "Here I have a simple circuit with a battery and a resistor," heads begin to bob. Of course, this is probably the simplest electrical circuit you could draw, but no matter. Just as the audience will applaud for itself when it recognizes the opening notes of Beethoven's Fifth Symphony, it will feel good about recognizing something technical. Without giving them too much time to think about it, I quickly add the symbols for a voltmeter and an ammeter.

5 And, in a final bold stroke, I note that if the battery is 6 volts and the resistor 6 ohms, then one ampere of current flows in the circuit: Please excuse my rendering of the ohm symbol; it is important for the effect to use the symbol, not the word "ohm." Now, people know what a 6 volt battery is; they can buy one in the store. And most people will have a recollection, however vague, that resistors are measured, or come, in units of ohms. So when you finally draw the "1 A" on the diagram, indicating that one ampere of current flows in the circuit (note that we even indicate the direction of flow!), people are totally convinced they know what you are talking about, even if they never could remember Ohm's Law.

6 This is a very good time to mention that a Swedish student and an Australian hobbyist can communicate about this circuit without knowing each other's language. Once again, an international standard notation has come to the rescue. Only this time it is not purely mathematical; the objects in the diagram have real physical instantiations. Moreover, semantics is in play: not only is Ohm's Law implied, but also implied is the direction of current flow that comes from our notions of the positive and negative terminals of the battery, represented by the long and short horizontal lines. I typically spend a few moments on the richness of the information communicated in this simple diagram, and remark how hard it would be to do any electrical engineering at all if we didn't have this notation that is the same all over the world. Incidentally, we have moved the accessibility threshold up to anyone having had one year of introductory physics. And Now for the Relevance to Software... Now is the time to summarize that we have seen how progress is made in all fields by having a common notation that can be used to express concepts, and how diagrams begin to take on precision and meaning once we attach semantics to the pictures. The most useful of these notations are understood the world over. But before 1996 there was no common notation for software. Before the UML became an international standard, two software engineers, even if they spoke the same language, had no way to talk about their software. There were no conventions that were universally accepted around the world for describing software. No wonder progress was slow! With the advent of the UML, however, software engineers have a common graphic vocabulary for talking about software. They can draw progressively complex diagrams to represent their software, just the way electrical engineers can draw progressively complex diagrams to represent their circuits. Things like nested diagrams become possible, so different levels of abstraction can now be expressed. Rational's contribution in this area is huge. By formulating the UML and bringing the world's most influential companies IBM, Microsoft, HP, Oracle, etc. to agree on it was a major step. Getting an international standards body the Object Management Group to ratify it as a standard was the formal process that irreversibly cast the die. Everyone agreed to end the Tower of Babel approach and also agreed about how to talk about software. The significance of the UML is now established, and we can move on. Final Thoughts Of course, the UML itself is an example of "technical jargon." It is now the way software professionals talk to each other about software. As each example of a notation becomes deeper and denser, it can become an esoteric and subtle way of expressing ideas and designs that are very rich and complex. Yet, at the outset, this (and any) notation, at its highest level of abstraction, is useful for communicating between professionals and "civilians." That is because its fundamental elements can still be used to transmit fundamental ideas. A truly great notation "nests" and has many levels of abstraction; the highest levels facilitate communication between people who are "farthest apart" in terms of background and context, whereas the lowest levels (with the most technical detail) aid communication between people who are "closest together" in terms of their understanding of the domain the technical specialists.

7 What has been interesting about our journey this month is that we have used analogy to explain a technical notation. We have avoided the "self reference" trap i.e., we have explained the UML without describing the UML itself. We have explained the jargon without using the jargon. Although this seems like a subterfuge at first ("Hey, wait a minute; I never even got to see a UML diagram!") it is, in fact, a requirement that you be able to explain it without using it. Otherwise, those "civilians" are going to block the first time you draw one. With this introductory context, however, I believe that the first UML diagram you do draw will be much better received. They will hark back to "1+1," Pythagoras, and Ohm's Law, and know that you are doing the same thing for software constructs. About the author Joe Marasco, a retired senior vice president and business unit manager for Rational, held numerous positions of responsibility in marketing, development, and the field sales organization, overseeing initiatives for Apex and Visual Modeler for Microsoft Visual Studio. In 1998 he served as Senior VP of operations. He retired from Rational in He holds a Ph.D. in physics from the University of Geneva, Switzerland, and an M.B.A. from University of California, Irvine. What do you think of this document? Killer! (5) (4) Good stuff (3) So-so; not bad (2) Needs work Lame! (1) Comments?

8 Submit feedback developerworks > Rational About IBM Privacy Terms of use Contact

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

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

Saint Bartholomew School Third Grade Curriculum Guide. Language Arts. Writing

Saint Bartholomew School Third Grade Curriculum Guide. Language Arts. Writing Language Arts Reading (Literature) Locate and respond to key details Determine the message or moral in a folktale, fable, or myth Describe the qualities and actions of a character Differentiate between

More information

Informalizing Formal Logic

Informalizing Formal Logic Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed

More information

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

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

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

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

1 Introduction. Cambridge University Press Epistemic Game Theory: Reasoning and Choice Andrés Perea Excerpt More information

1 Introduction. Cambridge University Press Epistemic Game Theory: Reasoning and Choice Andrés Perea Excerpt More information 1 Introduction One thing I learned from Pop was to try to think as people around you think. And on that basis, anything s possible. Al Pacino alias Michael Corleone in The Godfather Part II What is this

More information

The Big Schema of Things:

The Big Schema of Things: The Big Schema of Things: Two Philosophical Visions of The Relationship Between Language and Reality and Their Implications for The Semantic Web Allen Ginsberg Lead Artificial Intelligence Engineer The

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

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

Identifying Rational And Irrational Numbers

Identifying Rational And Irrational Numbers Identifying Free PDF ebook Download: Identifying Download or Read Online ebook identifying rational and irrational numbers in PDF Format From The Best User Guide Database NUMBERS SONG: Natural, Whole,

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

Possibility and Necessity

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

More information

Prentice Hall U.S. History Modern America 2013

Prentice Hall U.S. History Modern America 2013 A Correlation of Prentice Hall U.S. History 2013 A Correlation of, 2013 Table of Contents Grades 9-10 Reading Standards for... 3 Writing Standards for... 9 Grades 11-12 Reading Standards for... 15 Writing

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

THE USELESSNESS OF VENN DIAGRAMS*

THE USELESSNESS OF VENN DIAGRAMS* 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

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

defines problem 2. Search for Exhaustive Limited, sequential Demand generation

defines problem 2. Search for Exhaustive Limited, sequential Demand generation Management And Operations 593: Unit 4 Managerial Leadership and Productivity: Lecture 4 [Ken Butterfield] Slide #: 1 1. Problem Precise Simplified Dominant coalition 3. Evaluate Utility analysis Evaluate

More information

Here s a very dumbed down way to understand why Gödel is no threat at all to A.I..

Here s a very dumbed down way to understand why Gödel is no threat at all to A.I.. Comments on Godel by Faustus from the Philosophy Forum Here s a very dumbed down way to understand why Gödel is no threat at all to A.I.. All Gödel shows is that try as you might, you can t create any

More information

ELA CCSS Grade Five. Fifth Grade Reading Standards for Literature (RL)

ELA CCSS Grade Five. Fifth Grade Reading Standards for Literature (RL) Common Core State s English Language Arts ELA CCSS Grade Five Title of Textbook : Shurley English Level 5 Student Textbook Publisher Name: Shurley Instructional Materials, Inc. Date of Copyright: 2013

More information

Prentice Hall United States History Survey Edition 2013

Prentice Hall United States History Survey Edition 2013 A Correlation of Prentice Hall Survey Edition 2013 Table of Contents Grades 9-10 Reading Standards... 3 Writing Standards... 10 Grades 11-12 Reading Standards... 18 Writing Standards... 25 2 Reading Standards

More information

Writing Module Three: Five Essential Parts of Argument Cain Project (2008)

Writing Module Three: Five Essential Parts of Argument Cain Project (2008) Writing Module Three: Five Essential Parts of Argument Cain Project (2008) Module by: The Cain Project in Engineering and Professional Communication. E-mail the author Summary: This module presents techniques

More information

The Analytics Edge. Dimitris Bertsimas, Allison O'Hair, William Pulleyblank. Click here if your download doesn"t start automatically

The Analytics Edge. Dimitris Bertsimas, Allison O'Hair, William Pulleyblank. Click here if your download doesnt start automatically The Analytics Edge Dimitris Bertsimas, Allison O'Hair, William Pulleyblank Click here if your download doesn"t start automatically The Analytics Edge Dimitris Bertsimas, Allison O'Hair, William Pulleyblank

More information

Probability Foundations for Electrical Engineers Prof. Krishna Jagannathan Department of Electrical Engineering Indian Institute of Technology, Madras

Probability Foundations for Electrical Engineers Prof. Krishna Jagannathan Department of Electrical Engineering Indian Institute of Technology, Madras Probability Foundations for Electrical Engineers Prof. Krishna Jagannathan Department of Electrical Engineering Indian Institute of Technology, Madras Lecture - 1 Introduction Welcome, this is Probability

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

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

***** [KST : Knowledge Sharing Technology]

***** [KST : Knowledge Sharing Technology] Ontology A collation by paulquek Adapted from Barry Smith's draft @ http://ontology.buffalo.edu/smith/articles/ontology_pic.pdf Download PDF file http://ontology.buffalo.edu/smith/articles/ontology_pic.pdf

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

When we think that if the square root of two is rational then one equals zero, we think, The

When we think that if the square root of two is rational then one equals zero, we think, The Meaning, Expression, and Thought. WAYNE A. DAVIS. Cambridge: Cambridge University Press, 2003. Pp. xvii, 654. When we think that if the square root of two is rational then one equals zero, we think, The

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

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

(Refer Slide Time 03:00)

(Refer Slide Time 03:00) Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about

More information

Houghton Mifflin Harcourt Collections 2015 Grade 8. Indiana Academic Standards English/Language Arts Grade 8

Houghton Mifflin Harcourt Collections 2015 Grade 8. Indiana Academic Standards English/Language Arts Grade 8 Houghton Mifflin Harcourt Collections 2015 Grade 8 correlated to the Indiana Academic English/Language Arts Grade 8 READING READING: Fiction RL.1 8.RL.1 LEARNING OUTCOME FOR READING LITERATURE Read and

More information

Holding Our Sisters Accountable

Holding Our Sisters Accountable Holding Our Sisters Accountable Developed by Heather Matthews Kirk, Zeta Tau Alpha Director of Education & Leadership Initiatives Learning Objectives: 1. To articulate how accountability positively relates

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

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

Number, Part I. Lesson 1. Rules and Definitions. Rules

Number, Part I. Lesson 1. Rules and Definitions. Rules Lesson 1 Number, Part I Rules and Definitions Rules 3 Grizzly bear cubs relax on a gravel bar in American Creek, Katmai National Park, Alaska. The number 3 is an abstract idea that can describe 3 bears,

More information

MORALITY DEFICIENCY. By: Yudhistira Pradnyan Kloping. 1

MORALITY DEFICIENCY. By: Yudhistira Pradnyan Kloping.  1 MORALITY DEFICIENCY By: Yudhistira Pradnyan Kloping 011211133103 http://madib.blog.unair.ac.id/philosophy/ 1 Abstract For ages, humans have lived together. Humans were created as social beings not an individual.

More information

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

More information

The City School Syllabus Outline for Parents Class 6

The City School Syllabus Outline for Parents Class 6 English Oxford Progressive English Unit 1, 5 and 7 Dialogue writing, Making a comic strip, Letter writing (informal), News report Matilda: Recap of the previous chapters from term I, 11-13 Oxford Progressive

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:14) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 35 Goal Stack Planning Sussman's Anomaly

More information

From the fact that I cannot think of God except as existing, it follows that existence is inseparable from God, and hence that he really exists.

From the fact that I cannot think of God except as existing, it follows that existence is inseparable from God, and hence that he really exists. FIFTH MEDITATION The essence of material things, and the existence of God considered a second time We have seen that Descartes carefully distinguishes questions about a thing s existence from questions

More information

Grade 7. correlated to the. Kentucky Middle School Core Content for Assessment, Reading and Writing Seventh Grade

Grade 7. correlated to the. Kentucky Middle School Core Content for Assessment, Reading and Writing Seventh Grade Grade 7 correlated to the Kentucky Middle School Core Content for Assessment, Reading and Writing Seventh Grade McDougal Littell, Grade 7 2006 correlated to the Kentucky Middle School Core Reading and

More information

HAVE WE REASON TO DO AS RATIONALITY REQUIRES? A COMMENT ON RAZ

HAVE WE REASON TO DO AS RATIONALITY REQUIRES? A COMMENT ON RAZ HAVE WE REASON TO DO AS RATIONALITY REQUIRES? A COMMENT ON RAZ BY JOHN BROOME JOURNAL OF ETHICS & SOCIAL PHILOSOPHY SYMPOSIUM I DECEMBER 2005 URL: WWW.JESP.ORG COPYRIGHT JOHN BROOME 2005 HAVE WE REASON

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

The Inscrutability of Reference and the Scrutability of Truth

The Inscrutability of Reference and the Scrutability of Truth SECOND EXCURSUS The Inscrutability of Reference and the Scrutability of Truth I n his 1960 book Word and Object, W. V. Quine put forward the thesis of the Inscrutability of Reference. This thesis says

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

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. The Physical World Author(s): Barry Stroud Source: Proceedings of the Aristotelian Society, New Series, Vol. 87 (1986-1987), pp. 263-277 Published by: Blackwell Publishing on behalf of The Aristotelian

More information

Some proposals for understanding narrow content

Some proposals for understanding narrow content Some proposals for understanding narrow content February 3, 2004 1 What should we require of explanations of narrow content?......... 1 2 Narrow psychology as whatever is shared by intrinsic duplicates......

More information

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last

More information

Tower of Babel. CONCEPT God s plans are always for our good.

Tower of Babel. CONCEPT God s plans are always for our good. Young Preschool Lesson #OT6 Tower of Babel CONCEPT God s plans are always for our good. GOAL Children will learn that even though man is in rebellion against Him, God is in control. They will be challenged

More information

1 ReplytoMcGinnLong 21 December 2010 Language and Society: Reply to McGinn. In his review of my book, Making the Social World: The Structure of Human

1 ReplytoMcGinnLong 21 December 2010 Language and Society: Reply to McGinn. In his review of my book, Making the Social World: The Structure of Human 1 Language and Society: Reply to McGinn By John R. Searle In his review of my book, Making the Social World: The Structure of Human Civilization, (Oxford University Press, 2010) in NYRB Nov 11, 2010. Colin

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

The EMC Masterpiece Series, Literature and the Language Arts

The EMC Masterpiece Series, Literature and the Language Arts Correlation of The EMC Masterpiece Series, Literature and the Language Arts Grades 6-12, World Literature (2001 copyright) to the Massachusetts Learning Standards EMCParadigm Publishing 875 Montreal Way

More information

Under the command of algorithms

Under the command of algorithms Under the command of algorithms One of the greatest thinkers of modern mathematics believes that bad math education keeps knowledge away from people and makes them vulnerable to dangerous innovations.

More information

Gerald s Column. by Gerald Fitton. This month I want to discuss Paul s aim for the future of Archive.

Gerald s Column. by Gerald Fitton. This month I want to discuss Paul s aim for the future of Archive. Gerald s Column by Gerald Fitton This month I want to discuss Paul s aim for the future of Archive. One of the better tips I received about good teaching practice was this Always start with a digression

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

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

Pictures, Proofs, and Mathematical Practice : Reply to James Robert Brown Brit. J. Phil. Sci. 50 (1999), 425 429 DISCUSSION Pictures, Proofs, and Mathematical Practice : Reply to James Robert Brown In a recent article, James Robert Brown ([1997]) has argued that pictures and

More information

Structure and essence: The keys to integrating spirituality and science

Structure and essence: The keys to integrating spirituality and science Structure and essence: The keys to integrating spirituality and science Copyright c 2001 Paul P. Budnik Jr., All rights reserved Our technical capabilities are increasing at an enormous and unprecedented

More information

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

Timothy Williamson: Modal Logic as Metaphysics Oxford University Press 2013, 464 pages 268 B OOK R EVIEWS R ECENZIE Acknowledgement (Grant ID #15637) This publication was made possible through the support of a grant from the John Templeton Foundation. The opinions expressed in this publication

More information

Pearson myworld Geography Western Hemisphere 2011

Pearson myworld Geography Western Hemisphere 2011 A Correlation of Pearson Western Hemisphere 2011 Table of Contents Reading Standards for... 3 Writing Standards for... 9 A Correlation of, Reading Standards for Key Ideas and Details RH.6-8.1. Cite specific

More information

Broad on Theological Arguments. I. The Ontological Argument

Broad on Theological Arguments. I. The Ontological Argument Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that

More information

AAC: Past, Present, & Future

AAC: Past, Present, & Future The Eighth Annual Edwin and Esther Prentke AAC Distinguished Lecture Presented by Rick Creech Sponsored by Prentke Romich Company and Semantic Compaction Systems American Speech-Language-Hearing Association

More information

CINDERELLA: AN ISLAMIC TALE BY FAWZIA GILANI DOWNLOAD EBOOK : CINDERELLA: AN ISLAMIC TALE BY FAWZIA GILANI PDF

CINDERELLA: AN ISLAMIC TALE BY FAWZIA GILANI DOWNLOAD EBOOK : CINDERELLA: AN ISLAMIC TALE BY FAWZIA GILANI PDF CINDERELLA: AN ISLAMIC TALE BY FAWZIA GILANI DOWNLOAD EBOOK : CINDERELLA: AN ISLAMIC TALE BY FAWZIA GILANI PDF Click link bellow and free register to download ebook: CINDERELLA: AN ISLAMIC TALE BY FAWZIA

More information

TRANSCENDENTAL MATHEMATICS (THE GOD SERIES BOOK 25) BY MIKE HOCKNEY

TRANSCENDENTAL MATHEMATICS (THE GOD SERIES BOOK 25) BY MIKE HOCKNEY TRANSCENDENTAL MATHEMATICS (THE GOD SERIES BOOK 25) BY MIKE HOCKNEY DOWNLOAD EBOOK : TRANSCENDENTAL MATHEMATICS (THE GOD SERIES BOOK 25) BY MIKE HOCKNEY PDF Click link bellow and free register to download

More information

StoryTown Reading/Language Arts Grade 3

StoryTown Reading/Language Arts Grade 3 Phonemic Awareness, Word Recognition and Fluency 1. Identify rhyming words with the same or different spelling patterns. 2. Use letter-sound knowledge and structural analysis to decode words. 3. Use knowledge

More information

Estimating Irrational Roots

Estimating Irrational Roots Estimating Irrational Roots Free PDF ebook Download: Estimating Irrational Roots Download or Read Online ebook estimating irrational roots in PDF Format From The Best User Guide Database Oct 4, 2013 -

More information

CORRELATION FLORIDA DEPARTMENT OF EDUCATION INSTRUCTIONAL MATERIALS CORRELATION COURSE STANDARDS/BENCHMARKS

CORRELATION FLORIDA DEPARTMENT OF EDUCATION INSTRUCTIONAL MATERIALS CORRELATION COURSE STANDARDS/BENCHMARKS SUBJECT: Spanish GRADE LEVEL: 9-12 COURSE TITLE: Spanish 1, Novice Low, Novice High COURSE CODE: 708340 SUBMISSION TITLE: Avancemos 2013, Level 1 BID ID: 2774 PUBLISHER: Houghton Mifflin Harcourt PUBLISHER

More information

8 th Grade. Assessment 2. Assessment Guide... Pages 2-3. Assessment Rubric... Pages 4-9. Checkers. Pages 10-12

8 th Grade. Assessment 2. Assessment Guide... Pages 2-3. Assessment Rubric... Pages 4-9. Checkers. Pages 10-12 8 th Grade Assessment 2 Table of Contents Assessment Guide... Pages 2-3 Assessment Rubric... Pages 4-9 Checkers. Pages 10-12 Eighth Grade Performance Assessment On September 23rd, 1952, Richard Nixon,

More information

A Logical Approach to Metametaphysics

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

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

Kripke s skeptical paradox

Kripke s skeptical paradox 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

More information

1. Read, view, listen to, and evaluate written, visual, and oral communications. (CA 2-3, 5)

1. Read, view, listen to, and evaluate written, visual, and oral communications. (CA 2-3, 5) (Grade 6) I. Gather, Analyze and Apply Information and Ideas What All Students Should Know: By the end of grade 8, all students should know how to 1. Read, view, listen to, and evaluate written, visual,

More information

ORDINAL GENESIS 1:1/JOHN 1:1 TRIANGLE (Part 1)

ORDINAL GENESIS 1:1/JOHN 1:1 TRIANGLE (Part 1) ORDINAL GENESIS 1:1/JOHN 1:1 TRIANGLE (Part 1) ORDINAL GENESIS 1:1/JOHN 1:1 TRIANGLE (Part 1) By Leo Tavares Several researchers have pointed out how the STANDARD numerical values of Genesis 1:1/John 1:1

More information

Computer Ethics. Normative Ethics Ethical Theories. Viola Schiaffonati October 4 th 2018

Computer Ethics. Normative Ethics Ethical Theories. Viola Schiaffonati October 4 th 2018 Normative Ethics Ethical Theories Viola Schiaffonati October 4 th 2018 Overview (van de Poel and Royakkers 2011) 2 Ethical theories Relativism and absolutism Consequentialist approaches: utilitarianism

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

Macmillan/McGraw-Hill SCIENCE: A CLOSER LOOK 2011, Grade 4 Correlated with Common Core State Standards, Grade 4

Macmillan/McGraw-Hill SCIENCE: A CLOSER LOOK 2011, Grade 4 Correlated with Common Core State Standards, Grade 4 Macmillan/McGraw-Hill SCIENCE: A CLOSER LOOK 2011, Grade 4 Common Core State Standards for Literacy in History/Social Studies, Science, and Technical Subjects, Grades K-5 English Language Arts Standards»

More information

Reply to Florio and Shapiro

Reply to Florio and Shapiro Reply to Florio and Shapiro Abstract Florio and Shapiro take issue with an argument in Hierarchies for the conclusion that the set theoretic hierarchy is open-ended. Here we clarify and reinforce the argument

More information

THE LARGER LOGICAL PICTURE

THE LARGER LOGICAL PICTURE THE LARGER LOGICAL PICTURE 1. ILLOCUTIONARY ACTS In this paper, I am concerned to articulate a conceptual framework which accommodates speech acts, or language acts, as well as logical theories. I will

More information

John Benjamins Publishing Company

John Benjamins Publishing Company John Benjamins Publishing Company This is a contribution from Pragmatics & Cognition 18:1 This electronic file may not be altered in any way. The author(s) of this article is/are permitted to use this

More information

Lecture Notes on Classical Logic

Lecture Notes on Classical Logic Lecture Notes on Classical Logic 15-317: Constructive Logic William Lovas Lecture 7 September 15, 2009 1 Introduction In this lecture, we design a judgmental formulation of classical logic To gain an intuition,

More information

BOOK REVIEW. Thomas R. Schreiner, Interpreting the Pauline Epistles (Grand Rapids: Baker Academic, 2nd edn, 2011). xv pp. Pbk. US$13.78.

BOOK REVIEW. Thomas R. Schreiner, Interpreting the Pauline Epistles (Grand Rapids: Baker Academic, 2nd edn, 2011). xv pp. Pbk. US$13.78. [JGRChJ 9 (2011 12) R12-R17] BOOK REVIEW Thomas R. Schreiner, Interpreting the Pauline Epistles (Grand Rapids: Baker Academic, 2nd edn, 2011). xv + 166 pp. Pbk. US$13.78. Thomas Schreiner is Professor

More information

WRITING AN ESSAY. Introduction. Argument 1. Argument 2. Argument 3. Argument 4. Conclusion

WRITING AN ESSAY. Introduction. Argument 1. Argument 2. Argument 3. Argument 4. Conclusion WRITING AN ESSAY I. Structure Typical structure of an essay: Introduction Argument 1 Argument 2 Argument 3 Argument 4 Conclusion II. Writing an introduction The first few sentences should explain and introduce

More information

Five Paragraph Essay. Structure, Elements, Advice

Five Paragraph Essay. Structure, Elements, Advice Five Paragraph Essay Structure, Elements, Advice Structure - 5 paragraphs 1) Introductory Paragraph (Intro) a) Hook, Connection, Thesis 2) Body Paragraph One a) 1st subtopic - follow format 3) Body Paragraph

More information

On Dispositional HOT Theories of Consciousness

On Dispositional HOT Theories of Consciousness On Dispositional HOT Theories of Consciousness Higher Order Thought (HOT) theories of consciousness contend that consciousness can be explicated in terms of a relation between mental states of different

More information

Anthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres

Anthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres [ Loyola Book Comp., run.tex: 0 AQR Vol. W rev. 0, 17 Jun 2009 ] [The Aquinas Review Vol. W rev. 0: 1 The Place of Conversion in Aristotelian Logic From at least the time of John of St. Thomas, scholastic

More information

Debate on the mind and scientific method (continued again) on

Debate on the mind and scientific method (continued again) on Debate on the mind and scientific method (continued again) on http://forums.philosophyforums.com. Quotations are in red and the responses by Death Monkey (Kevin Dolan) are in black. Note that sometimes

More information

Since Michael so neatly summarized his objections in the form of three questions, all I need to do now is to answer these questions.

Since Michael so neatly summarized his objections in the form of three questions, all I need to do now is to answer these questions. Replies to Michael Kremer Since Michael so neatly summarized his objections in the form of three questions, all I need to do now is to answer these questions. First, is existence really not essential by

More information

The Obligation Of An Entered Apprentice Mason. By W. Bro. Robert V Lund

The Obligation Of An Entered Apprentice Mason. By W. Bro. Robert V Lund The Obligation Of An Entered Apprentice Mason By W. Bro. Robert V Lund November 2013 Introduction This short presentation on the Obligation of an Entered Apprentice Mason will deal, in some measure, with

More information

Persuasive Essay. Writing Workshop. writer s road map

Persuasive Essay. Writing Workshop. writer s road map Writing Workshop We must clean up toxic waste now! Vote for me! My client is innocent! When an issue affects you deeply, you want to convince others to agree with you. Expressing your thoughts on a topic

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

Field report: An Academic Workshop

Field report: An Academic Workshop Field report: An Academic Workshop Louise Lyngfeldt Gorm Hansen Editor s Note: This field report expresses perfectly the kind of confusion almost all of us experience when entering the field. How do we

More information

The Character of Space in Kant s First Critique By Justin Murphy October 16, 2006

The Character of Space in Kant s First Critique By Justin Murphy October 16, 2006 The Character of Space in Kant s First Critique By Justin Murphy October 16, 2006 The familiar problems of skepticism necessarily entangled in empiricist epistemology can only be avoided with recourse

More information

A Correlation of. To the. Language Arts Florida Standards (LAFS) Grade 5

A Correlation of. To the. Language Arts Florida Standards (LAFS) Grade 5 A Correlation of 2016 To the Introduction This document demonstrates how, 2016 meets the. Correlation page references are to the Unit Module Teacher s Guides and are cited by grade, unit and page references.

More information

English Language Arts: Grade 5

English Language Arts: Grade 5 LANGUAGE STANDARDS L.5.1 Demonstrate command of the conventions of standard English grammar and usage when writing or speaking. L.5.1a Explain the function of conjunctions, prepositions, and interjections

More information

World View, Metaphysics, and Epistemology

World View, Metaphysics, and Epistemology Western Michigan University ScholarWorks at WMU Scientific Literacy and Cultural Studies Project Mallinson Institute for Science Education 1993 World View, Metaphysics, and Epistemology William W. Cobern

More information

COPYRIGHTED MATERIAL. Many centuries ago, in ancient Alexandria, an old man had to bury his son. Diophantus

COPYRIGHTED MATERIAL. Many centuries ago, in ancient Alexandria, an old man had to bury his son. Diophantus 1 This Tomb Holds Diophantus Many centuries ago, in ancient Alexandria, an old man had to bury his son. Heartbroken, the man distracted himself by assembling a large collection of algebra problems and

More information