# Logic for Computer Science - Week 1 Introduction to Informal Logic

Save this PDF as:
Size: px
Start display at page:

Download "Logic for Computer Science - Week 1 Introduction to Informal Logic"

## Transcription

1 Logic for Computer Science - Week 1 Introduction to Informal Logic Ștefan Ciobâcă November 30, Propositions A proposition is a statement that can be true or false. Propositions are sometimes called sentences. Here are examples of propositions: 1. I wear a blue shirt. 2. You own a laptop computer. 3. You own a laptop computer and a tablet computer, but no smartphone. 4. I own: a laptop, a tablet, a smartphone, a server.. 5. I will buy a laptop or a tablet. 6. I can install the software on my smartphone or on my tablet. 7. It is raining outside, but I have an umbrella. 8. If I get a passing grade in Logic, I will buy everyone beer. 9. I play games often and I study very well. 10. Snow is white. 11. It is raining. 12. It is not raining. 13. I will pass Logic only if I study hard. 14. Either white wins or black wins in a game of chess = 4. ( Two plus two is four. ) = 1. ( One plus one is one. ) ( One plus one is not one. ) 1

2 18. If = 1, then I m a banana. 19. All natural numbers are integers. 20. All rational numbers are integers. Here are examples of things that are not propositions: 1. Red and Black. (not a statement) 2. π. (not a statement) 3. Is it raining? (question, not a statement) 4. Go fish! (imperative) 5. x is greater than 7. (cannot tell unless I know who x is) 6. This sentence is false. Sometimes it is debatable whether something is truly a proposition. For example, we generally agree that Snow is white is true, but someone might argue that they have seen black snow, so the status of Snow is white is put in question. Arguing about whether something is a proposition or not is more a matter of philosophical logic than computer science logic and we will therefore not be too concerned about these sort of issues. 2 Arguments An argument is a sequence of propositions. The last proposition is called the conclusion of the argument, while the other propositions (all except the last) are its premisses. Typically the conclusion of an argument is preceded by a word such as therefore or so. Here is an example of an argument: A1: 1. At university I will study books or I will play games. 2. I will not study books at university. 3. Therefore, I will play games. Another example: A2: 1. All men are mortal. 2. Socrates is a man. 3. So, Socrates is mortal. 2

3 The arguments above seem pretty convincing, and we will see in a minute what makes an argument convincing. But note that according to our definition, this is also an argument: A3: 1. All students are smart. 2. John is a man. 3. So, The Earth is round. Albeit not a very convincing one. What makes an argument convincing? There are arguably two things that makes an argument compelling: 1. The conclusion follows without failure from the premisses. 2. The premisses are true. Any argument satisfying the first item is called deductively valid. An argument satisfying both items is call sound. An argument is deductively valid if, whenever all premisses are true, the conclusion is absolutely guaranteed to hold as well. Otherwise put, an argument is deductively valid if it is logically impossible for the premisses to be true but the conclusion to be false. A valid argument with true premisses is a sound argument. In a sound argument, the conclusion is necessarily true. A2 is an example of a sound argument. A1 is valid, but it is not sound, since the second premiss is false (I know it is false because I will study books at university). A3 is not valid, because we can image a fictional world where all students are smart, where John is a man, but where Earth is not round. In other words, in A3, the conclusion is not absolutely guaranteed to be true when the premisses are true. A4: 1. It rains. 2. Therefore, I will get wet. Argument A4 is pretty convincing, but it is not deductively valid, because getting wet is not absolutely guaranteed when it rains. For example, you could have an umbrella or be in a building, or it could rain around you and so on. Arguments where the conclusion is very probable given the premisses are called inductively valid. A4 is an example of an inductively valid argument. Here is another inductively valid argument: 1. No glass of wine that was bottled killed anyone. 2. You are drinking a glass of bottled wine. 3. So, The present glass of wine will not kill you. 3

4 The argument is pretty compelling, but the conclusion is not absolutey foolproof, even provided the premisses hold. For example, it could be that someone poured poison into the bottle of wine, poison that will kill you now just to make the conclusion false. In this course, we will be concerned only with deductively valid arguments. Just to make sure that you understand what a deductively valid argument is, I will give one more example: 1. I have fallen of the roof of a skyscraper. 2. Therefore, I am dead. The argument is not valid (deductively), because it is conceivable that I am not dead. For example, I could have had a parachute or maybe there was a net to catch me. A5: 1. All students are smart. 2. John is a student. 3. So, John is smart. This argument is valid. Note that the arguments A2 and A5 are instances of the following argument pattern: 1. All P are Q. 2. x is P. 3. Therefore, x is Q. If you replace P and Q by any property (such as the property of being a student, of being smart, of being mortal, of being a man, etc.) and x by any name (e.g., John, Socrates, etc.) you will obtain a valid argument. Consider the following argument A6: 1. I will learn chess or I will learn Go. 2. I will not learn chess. 3. So, I will learn Go. It shares the following argument pattern with argument A2: 1. P or Q. 2. It is not the case that P. 3. So, Q. 4

5 Any instance of this argument pattern will also make a valid argument. The individual propositions that occur in the argument patterns above are called logical forms or, in more modern terminology, logical formulae or simply formulae. Formulae such as P or Q and not P are studied in Propositional Logic, while formulae such as All P are Q are studied as part of First-Order Logic. There are several logics today, but we will concentrate first on one of the simplest, namely Propositional Logic. 3 Examples of Arguments 1. You are attending this course. Therefore, you are a student. (Not (deductively) valid) 2. At university I will either study books or I will play games. I will not study books. Therefore, I will play games. (Valid, but hopefully not sound) 3. (forall X) Oranges are either fruits or musical instruments. Oranges are not fruits. Therefore, oranges are musical instruments. (Valid, but not sound) 4. (forall X) London is in England. Beijing is in China. Therefore, Paris is in France. (Not valid, even if the premisses and the conclusion are all true) 5. No Englishman is a great poet. Eminescu is an Englishman. Therefore, Eminescu is not a great poet. (Valid despite the fact that the premisses and the conclusion are all false) 6. All computer scientists are weird. John is a computer scientist. So John is weird. (Valid, not sound) 7. Either John is in the library or in the bar. John is not in the library. Therefore, John is in the bar. (Valid) 8. (Peter Smith. An Introduction to Formal Logic) Cups of coffee that looked and tasted just fine haven t killed you before. The present cup of coffee looks and tastes fine. Therefore, the present cup of coffee will not kill you. (Inductively valid, but not (deductively) valid perhaps someone poured poison in your coffee) 9. All computer science students are very smart. John is very smart. Therefore, John is a computer science student. (Not valid) 10. Most students are smart people. Most smart people read newspapers. So, at least some students read newspapers. (Invalid) 11. (Peter Smith. An Introduction to Formal Logic) Some computer science students admire all logicians. No computer science student admires any bad teacher. So, no logician is a bad teacher. (Valid, but it takes a while to check this; one part ) 5

6 4 Informal Propositional Logic Propositional Logic is the logic of propositions linked together with logical connectives such as or, and and not. In this section, we will go over the basics of propositional logic. 4.1 Atomic Propositions Some propositions are atomic, in that they cannot be decomposed further into smaller propositions: 1. I wear a blue shirt. 2. You own a laptop computer = 4. ( Two plus two is four. ) 4.2 Conjunctions Others however seem to be composed of smaller parts. For example, the proposition I play games often and I study very well is composed of two smaller propositions I play games often and I study very well, joined together by and. When two propositions ϕ and ψ are joined by an and, the resulting proposition ϕ and ψ is called a conjunction or the conjunction of ϕ and ψ. The propositions ϕ and ψ are called the conjuncts of the proposition ϕ and ψ. Intuitively, a conjunction is true if both of its conjuncts are true. For example, the proposition I play games often and I study very well. is true if both I play games often. and I study very well. are true. In particular, as I do not play games often, this proposition is false (when I say it). Note that a conjunction need not use explicitly the word and. For example, the proposition It is raining outside, but I have an umbrella. is also a conjunction, and it conjuncts are It is raining outside and I have an umbrella.. This particular conjunction uses the adversative conjunction but. Exercise 4.1. Find the conjuncts of I play at home and I study at school.. Exercise 4.2. Give an example of a conjunction that is false. 4.3 Disjunctions Disjunctions are propositions linked together by or. For example, I can install the software on my smartphone or on my tablet. is a disjunction between I can install the software on my smartphone and I can install the software on my tablet.. The two parts of the disjunction are called the disjuncts. In the example above, note that the English grammar allows us to omit I can install the software..., as it is implicit in our understanding of the language. However, when we find the disjuncts, is helps to state them explicitly. 6

8 truth values of the antecedent and the conclusion, not on the antecedent and the conclusion itself. This meaning of implication sometimes does not correspond to the meaning of natural language implications, but it turns out that it is the only sensible interpretation of implications in mathematics (and computer science). In particular, we will take both the propositions If the Earth is flat, then = 5. and If the Earth is flat, then = 4. to be true, because the antecedent is false. Implications that are true because the antecedent is false are called vacuously true. Exercise 4.6. What are the truth values of If = 4, then the Earth is flat. and If = 5, then the Earth is flat.? The truth value of an implication if ϕ then ψ depending on the truth values of its antecedent ϕ and its conclusion ψ is summarized in the truth-table below: ϕ ψ if ϕ then ψ false false true false true true true false false true true true The following example aims at convincing you that the truth table above is the only good one. You must agree that every natural number is also an integer. Otherwise put, the proposition for any number x, if x is a natural, then x is an integer is true. In particular, you will agree that the proposition above holds for x = 10, x = 10 and x = 1.2. In particular, the propositions If 10 is a natural, then 10 is an integer., If 10 is a natural, then 10 is an integer. and If 1.2 is a natural, then 1.2 is an integer. must all be true. This accounts for the first, second and fourth lines of the truth table above (typically, the second line is controversial). As for the third line, false is the only reasonable truth value for an implication if ϕ then ψ where ϕ is true but ψ is false. Otherwise, we would accept propositions such as If 2+2 = 4, then 2+2 = 5. (antecedent = 4 true, conclusion = 5 false) as being true. Implications are sometimes subtle to spot and identify correctly. For example, in the proposition I will pass Logic only if I study hard., the antecedent is I will pass Logic and the conclusion is I study hard. In particular, the above proposition does not have the same meaning as If I study hard, then I will pass Logic.. Implications can sometimes not make use of if. For example, take the proposition I will pass Logic or I will drop school.. This proposition can be understood as If I do not pass Logic, then I will drop school. 4.5 Negations A proposition of the form it is not the case that ϕ is the negation of ϕ. For example, It is not raining. is the negation of It is raining.. The negation of 8

9 a proposition takes the opposite truth value. For example, as I am writing this text, the proposition It is raining. is false, and therefore the proposition It is not raining. is true. The words and, or, if-then, not are called logical connectives, as they can be used to connect smaller propositions in order to obtain larger propositions. Exercise 4.7. Give an example of a false proposition that uses both a negation and a conjunction. 4.6 Equivalence A proposition of the form ϕ if and only if ψ is called an equivalence. Such a proposition, as a whole, it true if ϕ and ψ have the same truth value (both false or both true). For example, when I am writing this text, It is raining if and only if it is snowing is true. Why? Because both of the propositions It is raining. and It is snowing. are false. Exercise 4.8. What is the truth value of the proposition The number 7 is odd if and only if 7 is a prime.? 5 Ambiguities in Natural Language We have described informally the language of propositional logic: atomic propositions connected with and, or, not, etc. So far, our approach has used English. However, English (or any other natural language) is not suitable for our purposes because it exhibits imprecisions in the form of ambiguitites. Consider the following argument: 1. John and Mary are married. 2. Mary is a student. 3. So, John s wife is a student. Is the argument valid? It depends on how you resolve the ambiguity of the first sentence. The first sentence could mean any of the following two things: 1. that John and Mary are married to each other; 2. or that John and Mary are married, but not necessarily to each other (they could be married to unnamed 3rd parties). In the first interpretation, the argument is valid, while in the second interpretation, it is not. In the study of the laws of logic, such ambiguities can get in the way, just like a wrong computation could impact the resistance of buildings or bridges in civil engineering. 9

10 The state of the art in Logic for over years, from Aristotle up to the development of Symbolic Logic in the 19th century, has been to use natural language. Symbolic logic (formal logic) has changed the game by introducing languages so precise that there is no risk of misunderstandings. The first such language that we study will be the language of propositional logic. 6 Bibliography Depending on the performance you want to achieve, you should study the following material: O(2 n ) The present lecture notes; O(n 2 ) Chapter 1, What is Logic? from P. D. Magnus. forall X An Introduction to Formal Logic (open source); O(n) Chapter 1, Basic Concepts of Logic from G. Hardegree. Symbolic Logic: A First Course (available online for free); O(log(n)) Chapters 1-6 from P. Smith. An Introduction to Formal Logic. Cambridge University Press 2003; (you can order it from Amazon for about \$32 plus shipping); 10

### A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned

### What are Truth-Tables and What Are They For?

PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are Truth-Tables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at

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

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

Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 1 Background Material for the Exercise on Validity Reasons, Arguments, and the Concept of Validity 1. The Concept of Validity Consider

### A Primer on Logic Part 1: Preliminaries and Vocabulary. Jason Zarri. 1. An Easy \$10.00? a 3 c 2. (i) (ii) (iii) (iv)

A Primer on Logic Part 1: Preliminaries and Vocabulary Jason Zarri 1. An Easy \$10.00? Suppose someone were to bet you \$10.00 that you would fail a seemingly simple test of your reasoning skills. Feeling

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

### HOW TO ANALYZE AN ARGUMENT

What does it mean to provide an argument for a statement? To provide an argument for a statement is an activity we carry out both in our everyday lives and within the sciences. We provide arguments for

### Overview of Today s Lecture

Branden Fitelson Philosophy 12A Notes 1 Overview of Today s Lecture Music: Robin Trower, Daydream (King Biscuit Flower Hour concert, 1977) Administrative Stuff (lots of it) Course Website/Syllabus [i.e.,

### Ling 98a: The Meaning of Negation (Week 1)

Yimei Xiang yxiang@fas.harvard.edu 17 September 2013 1 What is negation? Negation in two-valued propositional logic Based on your understanding, select out the metaphors that best describe the meaning

### Day 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs)

Day 3 Wednesday May 23, 2012 Objectives: Learn the basics of Propositional Logic Learn the basic building blocks of proofs (specifically, direct proofs) 1 Propositional Logic Today we introduce the concepts

### Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:

Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying

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

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

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

Lecture 9: Propositional Logic I Philosophy 130 1 & 3 November 2016 O Rourke & Gibson I. Administrative A. Problem set #3 it has been posted and is due Tuesday, 15 November B. I am working on the group

### INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments Volker Halbach Pure logic is the ruin of the spirit. Antoine de Saint-Exupéry The Logic Manual The Logic Manual The Logic Manual The Logic Manual

### To better understand VALIDITY, we now turn to the topic of logical form.

LOGIC GUIDE 2 To better understand VALIDITY, we now turn to the topic of logical form. LOGICAL FORM The logical form of a statement or argument is the skeleton, or structure. If you retain only the words

### Tutorial A03: Patterns of Valid Arguments By: Jonathan Chan

A03.1 Introduction Tutorial A03: Patterns of Valid Arguments By: With valid arguments, it is impossible to have a false conclusion if the premises are all true. Obviously valid arguments play a very important

### LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010 LIBERALLY EDUCATED PEOPLE......RESPECT RIGOR NOT SO MUCH FOR ITS OWN SAKE BUT AS A WAY OF SEEKING TRUTH. LOGIC PUZZLE COOPER IS MURDERED. 3 SUSPECTS: SMITH, JONES,

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

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

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

### A Solution to the Gettier Problem Keota Fields. the three traditional conditions for knowledge, have been discussed extensively in the

A Solution to the Gettier Problem Keota Fields Problem cases by Edmund Gettier 1 and others 2, intended to undermine the sufficiency of the three traditional conditions for knowledge, have been discussed

### Pastor-teacher Don Hargrove Faith Bible Church September 8, 2011

Pastor-teacher Don Hargrove Faith Bible Church http://www.fbcweb.org/doctrines.html September 8, 2011 Building Mental Muscle & Growing the Mind through Logic Exercises: Lesson 4a The Three Acts of the

### Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Section 1.1 Propositional Logic Page references correspond to locations of Extra Examples icons in the textbook. p.2, icon at

### PHI 1500: Major Issues in Philosophy

PHI 1500: Major Issues in Philosophy Session 3 September 9 th, 2015 All About Arguments (Part II) 1 A common theme linking many fallacies is that they make unwarranted assumptions. An assumption is a claim

### Lecture 2.1 INTRO TO LOGIC/ ARGUMENTS. Recognize an argument when you see one (in media, articles, people s claims).

TOPIC: You need to be able to: Lecture 2.1 INTRO TO LOGIC/ ARGUMENTS. Recognize an argument when you see one (in media, articles, people s claims). Organize arguments that we read into a proper argument

### Moore on External Relations

Moore on External Relations G. J. Mattey Fall, 2005 / Philosophy 156 The Dogma of Internal Relations Moore claims that there is a dogma held by philosophers such as Bradley and Joachim, that all relations

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

### Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism

Contents 1 Introduction 3 1.1 Deductive and Plausible Reasoning................... 3 1.1.1 Strong Syllogism......................... 3 1.1.2 Weak Syllogism.......................... 4 1.1.3 Transitivity

### 4.1 A problem with semantic demonstrations of validity

4. Proofs 4.1 A problem with semantic demonstrations of validity Given that we can test an argument for validity, it might seem that we have a fully developed system to study arguments. However, there

### Deduction by Daniel Bonevac. Chapter 1 Basic Concepts of Logic

Deduction by Daniel Bonevac Chapter 1 Basic Concepts of Logic Logic defined Logic is the study of correct reasoning. Informal logic is the attempt to represent correct reasoning using the natural language

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

### Relevance. Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true

Relevance Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true Premises are irrelevant when they do not 1 Non Sequitur Latin for it does

### Symbolic Logic. 8.1 Modern Logic and Its Symbolic Language

M08_COPI1396_13_SE_C08.QXD 10/16/07 9:19 PM Page 315 Symbolic Logic 8 8.1 Modern Logic and Its Symbolic Language 8.2 The Symbols for Conjunction, Negation, and Disjunction 8.3 Conditional Statements and

### Lecture 1: Validity & Soundness

Lecture 1: Validity & Soundness 1 Goals Today Introduce one of our central topics: validity and soundness, and its connection to one of our primary course goals, namely: learning how to evaluate arguments

### TWO VERSIONS OF HUME S LAW

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

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

Handout 1 ELEMENTS OF LOGIC 1.1 What is Logic? Arguments and Propositions In our day to day lives, we find ourselves arguing with other people. Sometimes we want someone to do or accept something as true

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

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

### MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness

MCQ IN TRADITIONAL LOGIC FOR PRIVATE REGISTRATION TO BA PHILOSOPHY PROGRAMME 1. Logic is the science of-----------. A) Thought B) Beauty C) Mind D) Goodness 2. Aesthetics is the science of ------------.

### PHIL2642 CRITICAL THINKING USYD NOTES PART 1: LECTURE NOTES

PHIL2642 CRITICAL THINKING USYD NOTES PART 1: LECTURE NOTES LECTURE CONTENTS LECTURE 1: CLAIMS, EXPLAINATIONS AND ARGUMENTS LECTURE 2: CONDITIONS AND DEDUCTION LECTURE 3: MORE DEDUCTION LECTURE 4: MEANING

### Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments 1 Agenda 1. What is an Argument? 2. Evaluating Arguments 3. Validity 4. Soundness 5. Persuasive Arguments 6.

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

### Academic argument does not mean conflict or competition; an argument is a set of reasons which support, or lead to, a conclusion.

ACADEMIC SKILLS THINKING CRITICALLY In the everyday sense of the word, critical has negative connotations. But at University, Critical Thinking is a positive process of understanding different points of

### Today s Lecture 1/28/10

Chapter 7.1! Symbolizing English Arguments! 5 Important Logical Operators!The Main Logical Operator Today s Lecture 1/28/10 Quiz State from memory (closed book and notes) the five famous valid forms and

### Mr Vibrating: Yes I did. Man: You didn t Mr Vibrating: I did! Man: You didn t! Mr Vibrating: I m telling you I did! Man: You did not!!

Arguments Man: Ah. I d like to have an argument, please. Receptionist: Certainly sir. Have you been here before? Man: No, I haven t, this is my first time. Receptionist: I see. Well, do you want to have

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

### Introduction Symbolic Logic

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

### PHIL 115: Philosophical Anthropology. I. Propositional Forms (in Stoic Logic) Lecture #4: Stoic Logic

HIL 115: hilosophical Anthropology Lecture #4: Stoic Logic Arguments from the Euthyphro: Meletus Argument (according to Socrates) [3a-b] Argument: Socrates is a maker of gods; so, Socrates corrupts the

### Constructive Logic, Truth and Warranted Assertibility

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

### CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS

Fall 2001 ENGLISH 20 Professor Tanaka CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS In this first handout, I would like to simply give you the basic outlines of our critical thinking model

### An alternative understanding of interpretations: Incompatibility Semantics

An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truth-theoretic) semantics, interpretations serve to specify when statements are true and when they are false.

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

Logic, reasoning and fallacies and some puzzling Before we start Introductory Examples Karst Koymans Informatics Institute University of Amsterdam (version 16.3, 2016/11/21 12:58:26) Wednesday, November

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

398 Notre Dame Journal of Formal Logic Volume 38, Number 3, Summer 1997 Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion S. V. BHAVE Abstract Disjunctive Syllogism,

### A Brief Introduction to Key Terms

1 A Brief Introduction to Key Terms 5 A Brief Introduction to Key Terms 1.1 Arguments Arguments crop up in conversations, political debates, lectures, editorials, comic strips, novels, television programs,

### INTERMEDIATE LOGIC Glossary of key terms

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

### The Appeal to Reason. Introductory Logic pt. 1

The Appeal to Reason Introductory Logic pt. 1 Argument vs. Argumentation The difference is important as demonstrated by these famous philosophers. The Origins of Logic: (highlights) Aristotle (385-322

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

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

### DEPARTMENT OF PHILOSOPHY FALL 2014 COURSE DESCRIPTIONS

DEPARTMENT OF PHILOSOPHY FALL 2014 COURSE DESCRIPTIONS PHIL 2300-001 Beginning Philosophy 11:00-11:50 MWF ENG/PHIL 264 PHIL 2300-002 Beginning Philosophy 9:00-9:50 MWF ENG/PHIL 264 This is a general introduction

### CHAPTER THREE Philosophical Argument

CHAPTER THREE Philosophical Argument General Overview: As our students often attest, we all live in a complex world filled with demanding issues and bewildering challenges. In order to determine those

### Selections from Aristotle s Prior Analytics 41a21 41b5

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

### Announcements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic

Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete

### Richard L. W. Clarke, Notes REASONING

1 REASONING Reasoning is, broadly speaking, the cognitive process of establishing reasons to justify beliefs, conclusions, actions or feelings. It also refers, more specifically, to the act or process

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

CHAPTER XVI DESCRIPTIONS We dealt in the preceding chapter with the words all and some; in this chapter we shall consider the word the in the singular, and in the next chapter we shall consider the word

### Semantic Foundations for Deductive Methods

Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the

### Workbook Unit 3: Symbolizations

Workbook Unit 3: Symbolizations 1. Overview 2 2. Symbolization as an Art and as a Skill 3 3. A Variety of Symbolization Tricks 15 3.1. n-place Conjunctions and Disjunctions 15 3.2. Neither nor, Not both

### Chapter 3: More Deductive Reasoning (Symbolic Logic)

Chapter 3: More Deductive Reasoning (Symbolic Logic) There's no easy way to say this, the material you're about to learn in this chapter can be pretty hard for some students. Other students, on the other

### 10. Presuppositions Introduction The Phenomenon Tests for presuppositions

10. Presuppositions 10.1 Introduction 10.1.1 The Phenomenon We have encountered the notion of presupposition when we talked about the semantics of the definite article. According to the famous treatment

### Russell: On Denoting

Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of

### Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied

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

### Logic and Reasoning QRII. Introduction

Logic and Reasoning QRII Introduction A Note About Textbooks Here is an example of a standard textbook for a course like this one. A Note About Textbooks It is a pretty good basic introduction to logic.

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

The Relationship between the Truth Value of Premises and the Truth Value of Conclusions in Deductive Arguments I. The Issue in Question This document addresses one single question: What are the relationships,

### Logical Omniscience in the Many Agent Case

Logical Omniscience in the Many Agent Case Rohit Parikh City University of New York July 25, 2007 Abstract: The problem of logical omniscience arises at two levels. One is the individual level, where an

### 15. Russell on definite descriptions

15. Russell on definite descriptions Martín Abreu Zavaleta July 30, 2015 Russell was another top logician and philosopher of his time. Like Frege, Russell got interested in denotational expressions as

### Philosophy of Mathematics Nominalism

Philosophy of Mathematics Nominalism Owen Griffiths oeg21@cam.ac.uk Churchill and Newnham, Cambridge 8/11/18 Last week Ante rem structuralism accepts mathematical structures as Platonic universals. We

### Subjective Logic: Logic as Rational Belief Dynamics. Richard Johns Department of Philosophy, UBC

Subjective Logic: Logic as Rational Belief Dynamics Richard Johns Department of Philosophy, UBC johns@interchange.ubc.ca May 8, 2004 What I m calling Subjective Logic is a new approach to logic. Fundamentally

### The way we convince people is generally to refer to sufficiently many things that they already know are correct.

Theorem A Theorem is a valid deduction. One of the key activities in higher mathematics is identifying whether or not a deduction is actually a theorem and then trying to convince other people that you

### 2.3. Failed proofs and counterexamples

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

### Academic Writing and Logical Thinking

NAGOYA UNIVERSITY LIBRARY WORKSHOPS 2017 Academic Writing and Logical Thinking May 17 ~ June 14, 2017 Instructor: Dr. Paul Lai NAGOYA UNIVERSITY LIBRARY WORKSHOPS 2016 Review Being Clear Having a Truth

### Introduction to Philosophy

Introduction to Philosophy Philosophy 110W Russell Marcus Hamilton College, Fall 2013 Class 1 - Introduction to Introduction to Philosophy My name is Russell. My office is 202 College Hill Road, Room 210.

### Instructor s Manual 1

Instructor s Manual 1 PREFACE This instructor s manual will help instructors prepare to teach logic using the 14th edition of Irving M. Copi, Carl Cohen, and Kenneth McMahon s Introduction to Logic. The

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

Overview Philosophy & logic 1.2 What is philosophy? 1.3 nature of philosophy Why philosophy Rules of engagement Punctuality and regularity is of the essence You should be active in class It is good to

### ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,

### Computational Metaphysics

Computational Metaphysics John Rushby Computer Science Laboratory SRI International Menlo Park CA USA John Rushby, SR I Computational Metaphysics 1 Metaphysics The word comes from Andronicus of Rhodes,

### Semantic Entailment and Natural Deduction

Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.

### Facts and Free Logic R. M. Sainsbury

Facts and Free Logic R. M. Sainsbury Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and

### Testing semantic sequents with truth tables

Testing semantic sequents with truth tables Marianne: Hi. I m Marianne Talbot and in this video we are going to look at testing semantic sequents with truth tables. (Slide 2) This video supplements Session

### LGCS 199DR: Independent Study in Pragmatics

LGCS 99DR: Independent Study in Pragmatics Jesse Harris & Meredith Landman September 0, 203 Last class, we discussed the difference between semantics and pragmatics: Semantics The study of the literal

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

ARGUMENTS IN ACTION Descriptions: creates a textual/verbal account of what something is, was, or could be (shape, size, colour, etc.) Used to give you or your audience a mental picture of the world around

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

1 HANDBOOK TABLE OF CONTENTS I. Argument Recognition 2 II. Argument Analysis 3 1. Identify Important Ideas 3 2. Identify Argumentative Role of These Ideas 4 3. Identify Inferences 5 4. Reconstruct the

### Argument Basics. When an argument shows that its conclusion is worth accepting we say that the argument is good.

Argument Basics When an argument shows that its conclusion is worth accepting we say that the argument is good. When an argument fails to do so we say that the argument is bad. But there are different

### Verificationism. PHIL September 27, 2011

Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics... 1 2. Observation statements... 2 3. In principle verifiability... 3 4. Strong verifiability... 3 4.1. Conclusive verifiability

### Durham Research Online

Durham Research Online Deposited in DRO: 20 October 2016 Version of attached le: Published Version Peer-review status of attached le: Not peer-reviewed Citation for published item: Uckelman, Sara L. (2016)

### Methods of Proof for Boolean Logic

Chapter 5 Methods of Proof for Boolean Logic limitations of truth table methods Truth tables give us powerful techniques for investigating the logic of the Boolean operators. But they are by no means the

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

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

### Unit. Categorical Syllogism. What is a syllogism? Types of Syllogism

Unit 8 Categorical yllogism What is a syllogism? Inference or reasoning is the process of passing from one or more propositions to another with some justification. This inference when expressed in language

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

Department of Philosophy Module descriptions 2017/18 Level C (i.e. normally 1 st Yr.) Modules Please be aware that all modules are subject to availability. If you have any questions about the modules,

### G. H. von Wright Deontic Logic

G. H. von Wright Deontic Logic Kian Mintz-Woo University of Amsterdam January 9, 2009 January 9, 2009 Logic of Norms 2010 1/17 INTRODUCTION In von Wright s 1951 formulation, deontic logic is intended to

### An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019

An Introduction to Formal Logic Second edition Peter Smith February 27, 2019 Peter Smith 2018. Not for re-posting or re-circulation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What

### Chapter 8 - Sentential Truth Tables and Argument Forms

Logic: A Brief Introduction Ronald L. Hall Stetson University Chapter 8 - Sentential ruth ables and Argument orms 8.1 Introduction he truth-value of a given truth-functional compound proposition depends

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

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