Chapter 2 Goals. 2.1 What is a Goal?

Similar documents
Rules for NZ Young Farmers Debates

Logic for Computer Science - Week 1 Introduction to Informal Logic

INTERMEDIATE LOGIC Glossary of key terms

A. Problem set #3 it has been posted and is due Tuesday, 15 November

Instructor s Manual 1

1. Introduction Formal deductive logic Overview

A R G U M E N T S I N A C T I O N

COACHING THE BASICS: WHAT IS AN ARGUMENT?

Unit 7.3. Contraries E. Contradictories. Sub-contraries

On a philosophical motivation for mutilating truth tables

Logic Appendix: More detailed instruction in deductive logic

The Relationship between the Truth Value of Premises and the Truth Value of Conclusions in Deductive Arguments

Introduction Symbolic Logic

Empty Names and Two-Valued Positive Free Logic

5.6.1 Formal validity in categorical deductive arguments

Arguments from authority and expert opinion in computational argumentation systems

2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Kanagawa Japan, November 2015

Powerful Arguments: Logical Argument Mapping


QCAA Study of Religion 2019 v1.1 General Senior Syllabus

2.1 Review. 2.2 Inference and justifications

CHAPTER III. Of Opposition.

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity

PASTOR-MINISTRY LEADER RELATIONSHIP

TARGET To explore that following God means we need to choose the right path. KEY PASSAGE Matthew 4:17 22

Table of Contents. What This Book Teaches... iii Four Myths About Critical Thinking... iv Pretest...v

4.1 A problem with semantic demonstrations of validity

Richard L. W. Clarke, Notes REASONING

1.2. What is said: propositions

Department of Philosophy. Module descriptions 20118/19. Level C (i.e. normally 1 st Yr.) Modules

1.5 Deductive and Inductive Arguments

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

Moore on External Relations

9 Knowledge-Based Systems

Masters in Logic and Metaphysics

Revista Economică 66:3 (2014) THE USE OF INDUCTIVE, DEDUCTIVE OR ABDUCTIVE RESONING IN ECONOMICS

Tenacious Tortoises: A Formalism for Argument over Rules of Inference

SPIRITUAL LEADERSHIP

Helpful Hints for doing Philosophy Papers (Spring 2000)

Foundations of Non-Monotonic Reasoning

Direct Realism and the Brain-in-a-Vat Argument by Michael Huemer (2000)

15. Russell on definite descriptions

The Deconstruction of Safety Arguments Through Adversarial Counter-argument

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

Chapter Three. Knowing through Direct Means - Direct Perception

MPS 17 The Structure of Persuasion Logos: reasoning, reasons, good reasons not necessarily about formal logic

Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Morality and the Senses. One Does Not Equal the Other

Continuum for Opinion/Argument Writing Sixth Grade Updated 10/4/12 Grade 5 (2 points)

Some remarks on verificationism, constructivism and the Principle of Excluded Middle in the context of Colour Exclusion Problem

What are Truth-Tables and What Are They For?

SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS

TILLICH ON IDOLATRY. beyond the God of theism... the ground of being and meaning" (RS, p. 114). AUL TILLICH'S concept of idolatry, WILLIAM P.

Lecture 1: The Nature of Arguments

The Ontological Argument. An A Priori Route to God s Existence?

OPEN Moral Luck Abstract:

A s a contracts professional, from

DISPENSATIONALISM A SELF-EVIDENT SYSTEM OF THEOLOGY

Transition to Quantified Predicate Logic

Wittgenstein and Moore s Paradox

LIVING LIFE ON PURPOSE

Religious Studies A: (World Religion(s))

Persuasive Essay. Writing Workshop. writer s road map

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

Course Coordinator Dr Melvin Chen Course Code. CY0002 Course Title. Ethics Pre-requisites. NIL No of AUs 3 Contact Hours

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

2016 Philosophy. Higher. Finalised Marking Instructions

The belief in the existence of an omniscient, omnipotent and benevolent God is inconsistent with the existence of human suffering. Discuss.

14.6 Speaking Ethically and Avoiding Fallacies L E A R N I N G O B JE C T I V E S

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

Lecture 4. Before beginning the present lecture, I should give the solution to the homework problem

Xenos Christian Fellowship. Christian Leadership 1- Ecclesiology. Week 2 The Church and Christ s Mission

A FEW IMPORTANT GUIDELINES FOR BIBLE STUDY

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

As far as physical extra-mental object, one might respond, but they see the cat. According to de Saussure, that is irrelevant. It makes little to no

Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion

Complications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University

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

Argument Writing. Whooohoo!! Argument instruction is necessary * Argument comprehension is required in school assignments, standardized testing, job

Deccan Education Society s FERGUSSON COLLEGE, PUNE (AUTONOMOUS) SYLLABUS UNDER AUTONOMY FIRST YEAR B.A. LOGIC SEMESTER I

Affirmation-Negation: New Perspective

World Religions. These subject guidelines should be read in conjunction with the Introduction, Outline and Details all essays sections of this guide.

Lecture 4: Deductive Validity

Department of Philosophy. Module descriptions 2017/18. Level C (i.e. normally 1 st Yr.) Modules

3. Negations Not: contradicting content Contradictory propositions Overview Connectives

Getting Started Guide

Chapter 1 Why Study Logic? Answers and Comments

On the formalization Socratic dialogue

NECESSARY BEING The Ontological Argument

Intro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe.

ELEMENTS OF LOGIC. 1.1 What is Logic? Arguments and Propositions

Haberdashers Aske s Boys School

Investigating Worldviews with Protégé Bro Wormslev Jakobsen, Thomas; Jakobsen, David; Øhrstrøm, Peter

Assessing Confidence in an Assurance Case

How to Generate a Thesis Statement if the Topic is Not Assigned.

Logic, reasoning and fallacies. Example 0: valid reasoning. Decide how to make a random choice. Valid reasoning. Random choice of X, Y, Z, n

Outcomes of Strategic Planning Process Mission, Vision, and Priorities

Debate Vocabulary 203 terms by mdhamilton25

Portfolio Project. Phil 251A Logic Fall Due: Friday, December 7

Chapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;

Transcription:

Chapter 2 Goals Abstract The Goal Structuring Notation is a notation for structuring Goals but, what is a Goal and why would we want to structure them? When using the notation to represent arguments, the Goals represent claims. We can use Goal Structures to persuade others of the truth of our claims. This chapter introduces the symbol and text convention to be used to represent Goals in these structures. 2.1 What is a Goal? Look up goal in a dictionary and you are likely to find something along the lines of: A rectangular opening through which, in order to score, a soccer player must pass the ball, see Fig. 2.1. Fig. 2.1 A Goal? This definition is irrelevant to our needs, although the GSN symbol for a Goal is indeed a rectangle. Another definition of goal is: An outcome that one strives to attain. This is closer to the mark, and was the original meaning when the notation was proposed for representation of engineering requirements. When using GSN to represent an argument, we strive to attain the goal of persuading the reader of something, but the GSN Goal in an argument is not that type of goal either. This J. Spriggs, GSN The Goal Structuring Notation, DOI: 10.1007/978-1-4471-2312-5_2, Ó Springer-Verlag London Limited 2012 7

8 2 Goals would be a more appropriate definition: A Goal is a proposition to be established, i.e. shown to be true. In formal logic, a proposition is a statement that can be either proved True or False (and, in some schemes, it could also be proved Undecidable ). The guidance I provide in this book is not directed at proving anything formally with GSN, rather we will use it to persuade. You can think of the proposition as a claim that is being made and the truth of which will be demonstrated to the reader. A GSN Goal represents a claim, the truth of which is to be demonstrated by argument. The GSN symbol for a Goal is a rectangle, which encloses the text of the Goal statement (Fig. 2.2). That text should be a succinct statement that can be either true or false; the argument will be that it is true. Fig. 2.2 The Goal symbol The GSN Symbol for a Goal is a rectangle Grammatically, the Goal text should be of the form subject-verb-object. Often the claim will be referring to a real thing, the subject, and ascribing to it an objective property. The claim must be clear. Do not use informal abbreviations, or miss out articles ( a or the ), and only use acronyms or initialisms if you have already established what they mean. For example, do not write, Comm System is FFP when you mean The Communication System is fit for purpose. 2.2 The Top Goal: Declaring the Proposition The overall subject of our argument, the primary claim, is called the Top Goal. There is no hidden meaning here, it is called that merely because it appears at the top of the diagram. We will construct the argument to persuade others of the truth of our claim. The purpose of a Goal Structure is to present an argument that gives the reader a high confidence that the proposition is true. It is sufficient for our arguments to be compelling, rather than incontrovertible. I must emphasise again that you must state a Goal such that it can either be True or False; it cannot be Blue or Pulse, neither can it turn out to be 42. If it can, there is something wrong; what you have is not a Goal, not a proposition that can be argued. It may be that you believe a claim to be true, but it is in fact false. An advantage of using GSN to prepare your argument in advance is that you are likely to find out that you are mistaken before having told the world of your conclusion

2.2 The Top Goal: Declaring the Proposition 9 We are not trying to prove things in GSN, merely persuade. A claim can be purely subjective, for example I could make a claim about wine grape varieties, Syrah is better than Merlot. I may believe it to be true and make an argument on that basis, but you may believe the opposite and refute my argument. At this point bottles of wine could be opened, and we may lose track of the arguments 2.3 Subverting a Proposition In some circumstances you will be arguing against something; arguing that a proposition is false. If this is the case, do not subvert the proposition ; instead, change your Goal text. Make it an opposing statement. For example, a developer wants to buy a local coppice for building houses; you want to argue against this on principle. Do not argue against the developer s statement, This land is ideal for new housing ; rather argue for your principle: This Ancient Woodland must not be destroyed. You can then argue that this is true, making the point along the way that to give it up for housing is, in effect, to destroy it. Of course, you would also need to demonstrate that the coppice in question is indeed ancient woodland. 2.4 How do Goals Make Arguments? We argue for the Top Goal by decomposing it into Sub-Goals. A very simplistic example would be a Top Goal, 2012 marks the centenary of the cryptanalyst Alan Turing. This Goal can be decomposed into two Sub-Goals: 1. A person s centenary is the hundredth anniversary of his or her birth 2. Alan Turing, the cryptanalyst, was born in 1912 Once we have split the Top Goal into Sub-Goals, we then do the same to each in turn until we have a Goal Structure representing the whole argument, which would not be very large for this Turing example. Before looking in more detail at how to do that, there is something else to address in the next Chapter. It is the key ingredient that gives GSN its expressive power 2.5 Question Formal logicians consider some of the compelling arguments that we will present in GSN to be defeasible. That is, the arguments are capable of being invalidated. For example, you may attempt to persuade someone by claiming, Well-known experts on this subject state that. You and your readers may

10 2 Goals have confidence in those experts, whereas the logician would point out that they do not constitute the whole set of such experts, so there may be other, competing, views. Do you think that this matters when we are presenting our arguments to persuade, rather than to prove? 2.6 Problems Which, if any, of the following are claims that could be used as a Top Goal, the basis of an argument? Can any of the others be reworded such that they can be claimed? 1. Our Quality Management System is ISO9001:2008 compliant (ISO 2008) 2. My Business Plan is complete and ready for review by the Board 3. This burial site is probably that of Rædwald, King of the East Angles 4. This painting should be attributed to Albrecht Dürer 5. This equipment fulfils the essential requirements of the RTTE Directive 6. Beryllia is a carcinogen 7. Hazard Identification and Risk Assessment 8. Assurance is provided that safety requirements raised on the software are valid 9. The GSN Symbol for a Goal is a rectangle 10. The colour of the sky Answers to these problems can be found near the back of the book. Reference International Standards Organization (2008) Quality management systems. Requirements, ISO 9001

http://www.springer.com/978-1-4471-2311-8