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


 Stephen Logan
 4 years ago
 Views:
Transcription
1 Contents 1 Introduction Deductive and Plausible Reasoning Strong Syllogism Weak Syllogism Transitivity With Strong vs. Weak Inference Building an Idealized Common Sense Machine
2 2 CONTENTS
3 Chapter 1 Introduction 1.1 Deductive and Plausible Reasoning Scenario A policeman on patrol hears a burglar alarm, and looks across the street to see a broken window in a jewelry store. A man in a ski mask crawls out with a bag. The policeman concludes that this man is a criminal. What s the reasoning process? Strong Syllogism We can identify several different forms of inference, which can be classified into two groups, depending on how fallible they are. The strong variety are logical, deductive inferences, which are bulletproof, provided their premises are true, because the premises are absolute: if p is true, then q is always true. The most direct form of inference is modus ponens. Syllogism Type 1 (Modus Ponens) (Premise) If A is true, then B is true (e.g., if it rained, my grass is wet) (Data) A is true (it rained) (Inference) B is true (my grass is wet) 3
4 4 CHAPTER 1. INTRODUCTION Figure 1.1: If A is only true in situations where B is true, then we can apply modus ponens (from A to B) or modus tollens (from the negation of B to the negation of A). Given the same premise, namely that B is true whenever A is true, we can make a negative inference in the opposite direction. If B is false, then A cannot be true (since if it were, B would be true). This type of inference is called modus tollens. Syllogism Type 2 (Modus Tollens) (Premise) If A is true, then B is true (e.g., if it rained, my grass is wet) (Data) B is false (my grass is not wet) (Inference) A is not true (it must not have rained) Weak Syllogism Given the premise A implies B, we can reason from A to B, or from NOT B to NOT A. A common mistake made by logic students (I ve heard this called modus morons ) is to reason from B to A, or to reason from NOT A to NOT B. It should be clear from the Venn diagram that these inferences are not logically valid: A can be false even though B is true.
5 1.1. DEDUCTIVE AND PLAUSIBLE REASONING 5 However, if we think of the diagram as containing possible configurations of the world, then learning that B holds rules out some of the ways that A can be false; similarly, learning that A fails rules out some of the ways that B can hold. So it seems reasonable to define the following weak syllogisms, which deal not with absolutes, but with degrees of plausibility. Syllogism Type 3 (Premise) If A is true, then B is true (e.g., if it rained, my grass is wet) (Data) B is true (my grass is wet) (Inference) A becomes more plausible (more likely that it rained) Syllogism Type 4 (Premise) If A is true, then B is true (Data) A is false (it didn t rain) (Inference) B is less plausible (less likely my grass is wet) But more or less plausible does not mean certain to be true or false. For example, what if there is a sprinkler system? But what if we don t even have the nice clean implication that A always implies B, but we have a situation more like that in Figure 1.2, where any combination is possible? Suppose we learn that B is true. This rules out both some of the ways that A could be true and some of the ways that A could be false. It s hard to say anything at all about A. But now imagine that most but not all of B overlaps with A. For example, A might indicate that there s rain and B might indicate that there s lightning. Sometimes there s lightning without rain, but usually there s rain, too. If we discover that there s lightning (B is true), then we rule out the possibility that there s lightning but no rain (A would be true), but that s relatively small as a proportion of all the ways A could happen; far more consequential is the fact that we ve ruled out the possibility of neither lightning nor rain (this makes up most of the possible worlds that do not involve rain). It seems that in this case we are licensed to say that, having observed lightning rain is now more likely (but not guaranteed).
6 6 CHAPTER 1. INTRODUCTION Figure 1.2: If neither event is contained inside the other, yet they overlap, then any combination is possible, and no strong syllogisms are available no matter the data. This form of reasoning is far removed from modus ponens and modus tollens: not only are we reasoning in the wrong direction, but our premise isn t even guaranteed. Still, it seems perfectly reasonable, so long as we keep our uncertainty in mind. Syllogism Type 5 (Premise) If A then B is more plausible (If there s rain, lightning becomes more likely.) (Data) B is true (There s lightning.) (Inference) A is more plausible (Rain is likely.) Questions: Which of the above characterizes the policeman s reasoning process? What s missing from the description? What if this happened all the time, and the suspects turned out to be innocent?
7 1.1. DEDUCTIVE AND PLAUSIBLE REASONING Transitivity With Strong vs. Weak Inference Weak and strong syllogism behave differently when we chain inferences together, using the conclusion of one inference as the data to the next. Strong syllogisms can be joined together without any loss of certainty: the conclusion of the first strong syllogism is every bit as valid as an observation would be. For example, suppose A, B and C are propositions about a particular polygon that may or may not be true. A says the shape is a square, B says the shape is a rectangle, and C says the shape has four sides. Then we have the following transitive relationship. Strong Transitivity (Premise) If A is true then B is true (all squares are rectangles). (Premise) If B is true then C is true (all rectangles have four sides) (Data) A is true (we are given a square) (Inference) C is true (our shape has four sides) That is, since we have a square, we have a rectangle, by the first premise. Since we have a rectangle, the condition for the second premise is satisfied, which allows us to conclude that the shape has four sides. If we want to, we are licensed to chain the premises together like straws to get a new premise that says that all squares have four sides. But what if we re using a weak syllogism, such as the following? Slipping Confidence (Premise) If it s cloudy, rain is more likely. (Premise) If it rains, cancelling the baseball game is more likely. (Data) It is cloudy (Inference) (?) It is more likely that cancelling the baseball game is more likely.
8 8 CHAPTER 1. INTRODUCTION As we chain these weaker premises together, our certainty slips. How about this case? Weak Syllogism is not Modular (Premise) If my grass is wet, it likely rained last night. (Premise) If the sprinkler was on last night, my grass is wet. (Data) The sprinkler was on last night. (Inference) (?) It likely rained last night. Finally, compare and contrast the following intuitive, yet formally puzzling, reasoning processes. Explaining Away (Premise) If my fuel tank is empty, the gauge will read E (Premise) If the gauge battery is dead, the gauge will read E (Datum 1) The gauge reads E (Inference 1) Plausibility of empty tank goes up (Inference 2) Plausibility of dead battery also goes up (Datum 2) Battery is dead (Inference 3) Plausibility of empty tank goes back down! Here, finding a dead battery has an impact our beliefs about the fuel tank, even though these are not actually connected in any way, as can be seen in the second example. Contrast With This (Premise) If my fuel tank is empty, the gauge will read E (Premise) If the gauge battery is dead, the gauge will read E (Datum 1) Battery is dead
9 1.1. DEDUCTIVE AND PLAUSIBLE REASONING 9 (Inference) The gauge will read E (Inference) No effect on plausibility of empty tank! Now, when we are ignorant about the gauge, the dead battery has no impact on our beliefs about the fuel tank. There seems to be some memory about how our beliefs were formed Building an Idealized Common Sense Machine Imagine building an artificial system to do every day reasoning. Some are skeptical that machines could every really think. The mathematician von Neumann (after whom the computing architecture underlying your personal computer, the von Neumann machine is named) responded to this skepticism by saying If you will tell me precisely what it is that a machine cannot do, then I can always make a machine which will do just that!. The point was that if the human brain does something, it is physically possible, so if we know how it is done, we can make a machine do it. The modern field of Artificial Intelligence (AI) dates back to the 1950s, when scientists and engineers tried to build systems based purely on deductive reasoning. Though they had great success for artificial and highly constrained problems like chess, it was not until they started to incorporate weak inference that substantial progress began to be made in more realistic domains. Even something as seemingly simple as vision requires massive amounts of weak inference! If we want to program a computer, or build a robot, to engage in everyday reasoning of the sort described in the examples above, then it s not enough to rely on our intuitions; nor do we want to settle for fuzzy statements like rain is likely. We need to know exactly when, for example, finding a dead battery should influence our beliefs about a gas tank; and we need to know how likely it is to rain. When we are outside the realm of formal mathematics and logic, every conclusion has the possibility of being wrong, which has a cost. Even gathering more information to improve our conclusion can be costly. We need our system to be able to make intelligent decisions. Conclusion: We need a formal theory of plausible reasoning! Limitation: We will confine machine to reasoning about objective propositions, not opinions.
G.E. Moore A Refutation of Skepticism
G.E. Moore A Refutation of Skepticism The Argument For Skepticism 1. If you do not know that you are not merely a brain in a vat, then you do not even know that you have hands. 2. You do not know that
More informationLogic 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,
More informationWhat is an argument? PHIL 110. Is this an argument? Is this an argument? What about this? And what about this?
What is an argument? PHIL 110 Lecture on Chapter 3 of How to think about weird things An argument is a collection of two or more claims, one of which is the conclusion and the rest of which are the premises.
More informationArtificial 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 informationLogic: A Brief Introduction. Ronald L. Hall, Stetson University
Logic: A Brief Introduction Ronald L. Hall, Stetson University 2012 CONTENTS Part I Critical Thinking Chapter 1 Basic Training 1.1 Introduction 1.2 Logic, Propositions and Arguments 1.3 Deduction and Induction
More informationHANDBOOK (New or substantially modified material appears in boxes.)
1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by
More informationSelections from Aristotle s Prior Analytics 41a21 41b5
Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations
More informationPhilosophy 1100: Ethics
Philosophy 1100: Ethics Topic 1  Course Introduction: 1. What is Philosophy? 2. What is Ethics? 3. Logic a. Truth b. Arguments c. Validity d. Soundness What is Philosophy? The Three Fundamental Questions
More informationHANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13
1 HANDBOOK TABLE OF CONTENTS I. Argument Recognition 2 II. Argument Analysis 3 1. Identify Important Ideas 3 2. Identify Argumentative Role of These Ideas 4 3. Identify Inferences 5 4. Reconstruct the
More informationConditionals II: no truth conditions?
Conditionals II: no truth conditions? UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Arguments for the material conditional analysis As Edgington [1] notes, there are some powerful reasons
More informationChapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;
Chapter 3: Basic Propositional Logic Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; cling@csd.uwo.ca The Ultimate Goals Accepting premises (as true), is the conclusion (always) true?
More informationThere are two common forms of deductively valid conditional argument: modus ponens and modus tollens.
INTRODUCTION TO LOGICAL THINKING Lecture 6: Two types of argument and their role in science: Deduction and induction 1. Deductive arguments Arguments that claim to provide logically conclusive grounds
More informationRevisiting the Socrates Example
Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified
More informationAppendix: The Logic Behind the Inferential Test
Appendix: The Logic Behind the Inferential Test In the Introduction, I stated that the basic underlying problem with forensic doctors is so easy to understand that even a twelveyearold could understand
More informationHOW 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
More informationUnit. 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
More informationCriticizing Arguments
Kareem Khalifa Criticizing Arguments 1 Criticizing Arguments Kareem Khalifa Department of Philosophy Middlebury College Written August, 2012 Table of Contents Introduction... 1 Step 1: Initial Evaluation
More informationHow Gödelian Ontological Arguments Fail
How Gödelian Ontological Arguments Fail Matthew W. Parker Abstract. Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer
More informationThinking and Reasoning
Syllogistic Reasoning Thinking and Reasoning Syllogistic Reasoning Erol ÖZÇELİK The other key type of deductive reasoning is syllogistic reasoning, which is based on the use of syllogisms. Syllogisms are
More informationAnnouncements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example.
Announcements CS311H: Discrete Mathematics First Order Logic, Rules of Inference Instructor: Işıl Dillig Homework 1 is due now! Homework 2 is handed out today Homework 2 is due next Wednesday Instructor:
More information1.2. What is said: propositions
1.2. What is said: propositions 1.2.0. Overview In 1.1.5, we saw the close relation between two properties of a deductive inference: (i) it is a transition from premises to conclusion that is free of any
More informationInformalizing 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 informationPart II: How to Evaluate Deductive Arguments
Part II: How to Evaluate Deductive Arguments Week 4: Propositional Logic and Truth Tables Lecture 4.1: Introduction to deductive logic Deductive arguments = presented as being valid, and successful only
More informationSemantic 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.
More informationOverview 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.,
More informationArtificial 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 10 Inference in First Order Logic I had introduced first order
More informationStudy Guides. Chapter 1  Basic Training
Study Guides Chapter 1  Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)
More informationWhat is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 PanHellenic Logic Symposium Athens, Greece
What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 PanHellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history
More informationLecture 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.
More informationAnnouncements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into FirstOrder 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
More informationWHAT IS HUME S FORK? Certainty does not exist in science.
WHAT IS HUME S FORK? www.prshockley.org Certainty does not exist in science. I. Introduction: A. Hume divides all objects of human reason into two different kinds: Relation of Ideas & Matters of Fact.
More informationProofs of Nonexistence
The Problem of Evil Proofs of Nonexistence Proofs of nonexistence are strange; strange enough in fact that some have claimed that they cannot be done. One problem is with even stating nonexistence claims:
More information2.1 Review. 2.2 Inference and justifications
Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning
More informationTutorial 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
More informationDeductive Forms: Elementary Logic By R.A. Neidorf READ ONLINE
Deductive Forms: Elementary Logic By R.A. Neidorf READ ONLINE If you are searching for a book Deductive Forms: Elementary Logic by R.A. Neidorf in pdf format, in that case you come on to the correct website.
More informationI think, therefore I am.  Rene Descartes
CRITICAL THINKING Sitting on top of your shoulders is one of the finest computers on the earth. But, like any other muscle in your body, it needs to be exercised to work its best. That exercise is called
More informationWhat could be some limitations to using fingerprints as evidence? Sep 2 12:58 PM
2 4 Deductive Reasoning Learning Targets: I understand deductive reasoning I can use the Law of Detachment I can use a Venn diagram to draw conclusions I can use the Law of Syllogism What other evidence
More informationGeneral Philosophy. Dr Peter Millican,, Hertford College. Lecture 4: Two Cartesian Topics
General Philosophy Dr Peter Millican,, Hertford College Lecture 4: Two Cartesian Topics Scepticism, and the Mind 2 Last Time we looked at scepticism about INDUCTION. This Lecture will move on to SCEPTICISM
More information4.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
More informationConditionals IV: Is Modus Ponens Valid?
Conditionals IV: Is Modus Ponens Valid? UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 The intuitive counterexamples McGee [2] offers these intuitive counterexamples to Modus Ponens: 1. (a)
More informationPart 2 Module 4: Categorical Syllogisms
Part 2 Module 4: Categorical Syllogisms Consider Argument 1 and Argument 2, and select the option that correctly identifies the valid argument(s), if any. Argument 1 All bears are omnivores. All omnivores
More informationLogic for Computer Science  Week 1 Introduction to Informal Logic
Logic for Computer Science  Week 1 Introduction to Informal Logic Ștefan Ciobâcă November 30, 2017 1 Propositions A proposition is a statement that can be true or false. Propositions are sometimes called
More information7. Some recent rulings of the Supreme Court were politically motivated decisions that flouted the entire history of U.S. legal practice.
M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 193 5.5 The Traditional Square of Opposition 193 EXERCISES Name the quality and quantity of each of the following propositions, and state whether their
More informationIntroduction Symbolic Logic
An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION
More informationPHI 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
More informationIn a previous lecture, we used Aristotle s syllogisms to emphasize the
The Flow of Argument Lecture 9 In a previous lecture, we used Aristotle s syllogisms to emphasize the central concept of validity. Visualizing syllogisms in terms of threecircle Venn diagrams gave us
More informationModule 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur
Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown
More information9 Methods of Deduction
M09_COPI1396_13_SE_C09.QXD 10/19/07 3:46 AM Page 372 9 Methods of Deduction 9.1 Formal Proof of Validity 9.2 The Elementary Valid Argument Forms 9.3 Formal Proofs of Validity Exhibited 9.4 Constructing
More informationPhilosophy 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
More informationVenn Diagrams and Categorical Syllogisms. Unit 5
Venn Diagrams and Categorical Syllogisms Unit 5 John Venn 1834 1923 English logician and philosopher noted for introducing the Venn diagram Used in set theory, probability, logic, statistics, and computer
More information5.3 The Four Kinds of Categorical Propositions
M05_COI1396_13_E_C05.QXD 11/13/07 8:39 AM age 182 182 CHATER 5 Categorical ropositions Categorical propositions are the fundamental elements, the building blocks of argument, in the classical account of
More informationCHAPTER 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
More informationHANDBOOK (New or substantially modified material appears in boxes.)
1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by
More informationAyer s linguistic theory of the a priori
Ayer s linguistic theory of the a priori phil 43904 Jeff Speaks December 4, 2007 1 The problem of a priori knowledge....................... 1 2 Necessity and the a priori............................ 2
More informationLOGIC ANTHONY KAPOLKA FYF 1019/3/2010
LOGIC ANTHONY KAPOLKA FYF 1019/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,
More informationThe Problem of Induction and Popper s Deductivism
The Problem of Induction and Popper s Deductivism Issues: I. Problem of Induction II. Popper s rejection of induction III. Salmon s critique of deductivism 2 I. The problem of induction 1. Inductive vs.
More informationDay 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
More information9 KnowledgeBased Systems
9 KnowledgeBased Systems Throughout this book, we have insisted that intelligent behavior in people is often conditioned by knowledge. A person will say a certain something about the movie 2001 because
More informationHUME'S THEORY. THE question which I am about to discuss is this. Under what circumstances
Chapter V HUME'S THEORY THE question which I am about to discuss is this. Under what circumstances (if any) does a man, when he believes a proposition, not merely believe it but also absolutely know that
More information6.080 / Great Ideas in Theoretical Computer Science Spring 2008
MIT OpenCourseWare http://ocw.mit.edu 6.080 / 6.089 Great Ideas in Theoretical Computer Science Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
More informationFunctions of the Mind and Soul
Sounds of Love Series Functions of the Mind and Soul Now, let us consider: What is a mental process? How does the human mind function? The human mind performs three functions. The lower part of the mind
More informationRecall. Validity: If the premises are true the conclusion must be true. Soundness. Valid; and. Premises are true
Recall Validity: If the premises are true the conclusion must be true Soundness Valid; and Premises are true Validity In order to determine if an argument is valid, we must evaluate all of the sets of
More informationA Judgmental Formulation of Modal Logic
A Judgmental Formulation of Modal Logic Sungwoo Park Pohang University of Science and Technology South Korea Estonian Theory Days Jan 30, 2009 Outline Study of logic Model theory vs Proof theory Classical
More informationThe antecendent always a expresses a sufficient condition for the consequent
Critical Thinking Lecture Four October 5, 2012 Chapter 3 Deductive Argument Patterns Diagramming Arguments Deductive Argument Patterns  There are some common patterns shared by many deductive arguments
More informationPhilosophical Arguments
Philosophical Arguments An introduction to logic and philosophical reasoning. Nathan D. Smith, PhD. Houston Community College Nathan D. Smith. Some rights reserved You are free to copy this book, to distribute
More informationLecture 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
More informationBasic Concepts and Skills!
Basic Concepts and Skills! Critical Thinking tests rationales,! i.e., reasons connected to conclusions by justifying or explaining principles! Why do CT?! Answer: Opinions without logical or evidential
More informationIntro 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
More informationTheory of Knowledge. 5. That which can be asserted without evidence can be dismissed without evidence. (Christopher Hitchens). Do you agree?
Theory of Knowledge 5. That which can be asserted without evidence can be dismissed without evidence. (Christopher Hitchens). Do you agree? Candidate Name: Syed Tousif Ahmed Candidate Number: 006644 009
More informationAlice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, 2018
Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February, 2018 Alice E. Fischer... 1/28 1 Examples and Varieties Order of Quantifiers and Negations 2 3 Universal Existential 4 Universal Modus
More informationDeduction 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
More informationGeometry TEST Review Chapter 2  Logic
Geometry TEST Review Chapter 2  Logic Name Period Date Symbolic notation: 1. Define the following symbols. a b ~ c d e g a b c d a b c d 2. Consider the following legend: Let p = You love bananas. Let
More informationSuppressed premises in real life. Philosophy and Logic Section 4.3 & Some Exercises
Suppressed premises in real life Philosophy and Logic Section 4.3 & Some Exercises Analyzing inferences: finale Suppressed premises: from mechanical solutions to elegant ones Practicing on some reallife
More informationFormal Logic. Mind your Ps and Qs!
Formal Logic Mind your Ps and Qs! Argument vs. Explanation Arguments and explanations often have a similar structure. They both have what we might (vaguely) call a basis and a result. They might both
More informationA solution to the problem of hijacked experience
A solution to the problem of hijacked experience Jill is not sure what Jack s current mood is, but she fears that he is angry with her. Then Jack steps into the room. Jill gets a good look at his face.
More informationIn view of the fact that IN CLASS LOGIC EXERCISES
IN CLASS LOGIC EXERCISES Instructions: Determine whether the following are propositions. If some are not propositions, see if they can be rewritten as propositions. (1) I have a very refined sense of smell.
More informationIntroduction to Logic
University of Notre Dame Spring, 2017 Arguments Philosophy has two main methods for trying to answer questions: analysis and arguments Logic is the the study of arguments An argument is a set of sentences,
More informationSHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.
Exam Name SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Draw a Venn diagram for the given sets. In words, explain why you drew one set as a subset of
More informationMCQ 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 .
More informationWhat would count as Ibn Sīnā (11th century Persia) having first order logic?
1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā
More informationINDUCTIVE AND DEDUCTIVE
INDUCTIVE AND DEDUCTIVE Péter Érdi Henry R. Luce Professor Center for Complex Systems Studies Kalamazoo College, Michigan and Dept. Biophysics KFKI Research Institute for Particle and Nuclear Physics of
More informationDeduction. Of all the modes of reasoning, deductive arguments have the strongest relationship between the premises
Deduction Deductive arguments, deduction, deductive logic all means the same thing. They are different ways of referring to the same style of reasoning Deduction is just one mode of reasoning, but it is
More informationSome questions about Adams conditionals
Some questions about Adams conditionals PATRICK SUPPES I have liked, since it was first published, Ernest Adams book on conditionals (Adams, 1975). There is much about his probabilistic approach that is
More informationAyer and Quine on the a priori
Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified
More informationRelevance. 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
More informationELEMENTS 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
More informationOther Logics: What Nonclassical Reasoning Is All About Dr. Michael A. Covington Associate Director Artificial Intelligence Center
Covington, Other Logics 1 Other Logics: What Nonclassical Reasoning Is All About Dr. Michael A. Covington Associate Director Artificial Intelligence Center Covington, Other Logics 2 Contents Classical
More informationLogical Mistakes, Logical Aliens, and the Laws of Kant's Pure General Logic Chicago February 21 st 2018 Tyke Nunez
Logical Mistakes, Logical Aliens, and the Laws of Kant's Pure General Logic Chicago February 21 st 2018 Tyke Nunez 1 Introduction (1) Normativists: logic's laws are unconditional norms for how we ought
More informationBoghossian & Harman on the analytic theory of the a priori
Boghossian & Harman on the analytic theory of the a priori PHIL 83104 November 2, 2011 Both Boghossian and Harman address themselves to the question of whether our a priori knowledge can be explained in
More informationA 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
More informationPortfolio Project. Phil 251A Logic Fall Due: Friday, December 7
Portfolio Project Phil 251A Logic Fall 2012 Due: Friday, December 7 1 Overview The portfolio is a semesterlong project that should display your logical prowess applied to realworld arguments. The arguments
More informationComments on Truth at A World for Modal Propositions
Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into
More informationProgramming Language Research
Analysis in Programming Language Research Done Well It Is All Right AnttiJuhani Kaijanaho Faculty of Information Technology University of Jyväskylä, Finland Analysis in Programming Language Research AnttiJuhani
More informationCircumscribing Inconsistency
Circumscribing Inconsistency Philippe Besnard IRISA Campus de Beaulieu F35042 Rennes Cedex Torsten H. Schaub* Institut fur Informatik Universitat Potsdam, Postfach 60 15 53 D14415 Potsdam Abstract We
More informationLOGIC LECTURE #3: DEDUCTION AND INDUCTION. Source: A Concise Introduction to Logic, 11 th Ed. (Patrick Hurley, 2012)
LOGIC LECTURE #3: DEDUCTION AND INDUCTION Source: A Concise Introduction to Logic, 11 th Ed. (Patrick Hurley, 2012) Deductive Vs. Inductive If the conclusion is claimed to follow with strict certainty
More informationSession 10 INDUCTIVE REASONONING IN THE SCIENCES & EVERYDAY LIFE( PART 1)
UGRC 150 CRITICAL THINKING & PRACTICAL REASONING Session 10 INDUCTIVE REASONONING IN THE SCIENCES & EVERYDAY LIFE( PART 1) Lecturer: Dr. Mohammed Majeed, Dept. of Philosophy & Classics, UG Contact Information:
More informationDoes 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 informationConditionals, Predicates and Probability
Conditionals, Predicates and Probability Abstract Ernest Adams has claimed that a probabilistic account of validity gives the best account of our intuitive judgements about the validity of arguments. In
More informationDave ElderVass Of Babies and Bathwater. A Review of Tuukka Kaidesoja Naturalizing Critical Realist Social Ontology
Journal of Social Ontology 2015; 1(2): 327 331 Book Symposium Open Access Dave ElderVass Of Babies and Bathwater. A Review of Tuukka Kaidesoja Naturalizing Critical Realist Social Ontology DOI 10.1515/jso20140029
More informationIntuitive evidence and formal evidence in proofformation
Intuitive evidence and formal evidence in proofformation Okada Mitsuhiro Section I. Introduction. I would like to discuss proof formation 1 as a general methodology of sciences and philosophy, with a
More information