Reasoning Top-down biases symbolic distance effects semantic congruity effects Formal logic syllogisms conditional reasoning.

Slides:



Advertisements
Similar presentations
Philosophy 148 Chapter 3 (part 2).
Advertisements

Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Test the validity of this argument: Some lawyers are judges. Some judges are politicians. Therefore, some lawyers are politicians. A. Valid B. Invalid.
Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:
Deductive Reasoning. Are the following syllogism valid? A syllogism is valid if the conclusion follows from the premises All soldiers are sadistic Some.
Higher / Int.2 Philosophy 5. ” All are lunatics, but he who can analyze his delusion is called a philosopher.” Ambrose Bierce “ Those who lack the courage.
Semantics of SL and Review Part 1: What you need to know for test 2 Part 2: The structure of definitions of truth functional notions Part 3: Rules when.
1 Introduction to Abstract Mathematics Valid AND Invalid Arguments 2.3 Instructor: Hayk Melikya
Euler’s circles Some A are not B. All B are C. Some A are not C. Algorithm = a method of solution guaranteed to give the right answer.
Valid Arguments An argument is a sequence of propositions. All but the final proposition are called premises. The last statement is the conclusion. The.
Chapter 1 The Logic of Compound Statements. Section 1.3 Valid & Invalid Arguments.
Logical Reasoning: Deduction. Logic A domain-general system of reasoning Deductive reasoning System for constructing proofs –What must be true given certain.
Intro to Logic: the tools of the trade You need to be able to: Recognize an argument when you see one (in media, articles, people’s claims). Organize arguments.
CS128 – Discrete Mathematics for Computer Science
This is Introductory Logic PHI 120 Get a syllabus online, if you don't already have one Presentation: "Good Arguments"
Logic 3 Tautological Implications and Tautological Equivalences
Essential Deduction Techniques of Constructing Formal Expressions and Evaluating Attempts to Create Valid Arguments.
Essential Deduction Techniques of Constructing Formal Expressions Evaluating Attempts to Create Valid Arguments.
Cognitive - reasoning.ppt © 2001 Laura Snodgrass, Ph.D.1 Reasoning and Decision Making Five general strategies Reasoning and Logic Two hypotheses –inherently.
Proof by Deduction. Deductions and Formal Proofs A deduction is a sequence of logic statements, each of which is known or assumed to be true A formal.
Through the Looking Glass, 1865
Statements and Quantifiers
Reasoning
Critical Thinking: A User’s Manual
Validity: Long and short truth tables Sign In! Week 10! Homework Due Review: MP,MT,CA Validity: Long truth tables Short truth table method Evaluations!
1.5 Rules of Inference.
Deductive vs. Inductive Reasoning. Objectives Use a Venn diagram to determine the validity of an argument. Complete a pattern with the most likely possible.
3.6 Analyzing Arguments with Truth Tables
Chapter 11 »Formal logic and reasoning ◊Syllogisms ◊Conditional reasoning ◊Hypothesis testing »Decisions ◊Psychophsysics and Symbolic distance ◊Cognitive.
GLE Explore the concept of premises, including false premises. Intro to Logic.
0 Validity & Invalidity (Exercises) December 23, 2005.
Chapter 2 The Logic of Quantified Statements. Section 2.4 Arguments with Quantified Statements.
Formal Operations and Rationality. Formal Operations Using the real vs. the possible Inductive vs. deductive reasoning –Inductive: Specific to general,
The Science of Good Reasons
Arguments with Quantified Statements M Universal Instantiation If some property is true for everything in a domain, then it is true of any particular.
Deductive Arguments.
Unit 1D Analyzing Arguments. TWO TYPES OF ARGUMENTS Inductive Deductive Arguments come in two basic types:
Question of the Day!  We shared a lot of examples of illogical arguments!  But how do you make a LOGICAL argument? What does your argument need? What.
Reasoning.
REASONING AS PROBLEM SOLVING DEDUCTIVE REASONING: –what, if any, conclusions necessarily follow? INDUCTIVE REASONING: –what is the probability that those.
Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.
HOW TO CRITIQUE AN ARGUMENT
0 Validity & Invalidity (Exercises) All dogs have two heads. 2. All tigers are dogs. ___________________________________ 3. All tigers have two.
Philosophical Method  Logic: A Calculus For Good Reason  Clarification, Not Obfuscation  Distinctions and Disambiguation  Examples and Counterexamples.
The construction of a formal argument
Deduction biases and content effects bias = whenever there is a systematic deviation in performance from the normative approach.
Syllogisms and Three Types of Hypothetical Syllogisms
Essential Deduction Techniques of Constructing Formal Expressions Evaluating Attempts to Create Valid Arguments.
Symbolic Logic ⊃ ≡ · v ~ ∴. What is a logical argument? Logic is the science of reasoning, proof, thinking, or inference. Logic allows us to analyze a.
Cognitive Processes PSY 334 Chapter 10 – Reasoning.
Thinking: Reasoning Reasoning: manipulating internal representations to arrive at new knowledge or to draw new conclusions. Syllogistic reasoning: based.
Logic: The Language of Philosophy. What is Logic? Logic is the study of argumentation o In Philosophy, there are no right or wrong opinions, but there.
Reasoning -deductive versus inductive reasoning -two basic types of deductive reasoning task: conditional (propositional) and syllogistic.
Symbolic Logic and Rules of Inference. whatislogic.php If Tom is a philosopher, then Tom is poor. Tom is a philosopher.
L = # of lines n = # of different simple propositions L = 2 n EXAMPLE: consider the statement, (A ⋅ B) ⊃ C A, B, C are three simple statements 2 3 L =
Deductive Reasoning Valid Arguments
Logic and Reasoning.
Chapter 3 Basic Logical Concepts (Please read book.)
2. The Logic of Compound Statements Summary
Formal Logic CSC 333.
MAT 142 Lecture Video Series
Logical Inferences: A set of premises accompanied by a suggested conclusion regardless of whether or not the conclusion is a logical consequence of the.
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Hurley … Chapter 6.5 Indirect Truth Tables
Logical Forms.
Deductive vs. Inductive Reasoning
Modus ponens.
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
Presentation transcript:

Reasoning Top-down biases symbolic distance effects semantic congruity effects Formal logic syllogisms conditional reasoning

Reasoning Top-down biases effects of knowledge on judgements/decisions symbolic distance effects semantic congruity effects

Reasoning Symbolic distance (e.g., Banks, Clark, & Lucy, 1975) Task: Two numbers are presented on each trial. Identify the smaller number

Reasoning Symbolic distance (e.g., Banks, Clark, & Lucy, 1975) Task: Two numbers are presented on each trial. Identify the smaller number Result: Faster RT for pairings with the biggest difference; in the example, RT would be lowest for the 3 7 pair (7 – 3 = 4 vs. 8 – 6 = 2 vs. 5 – 4 = 1)

Reasoning Semantic congruity effect (e.g., Banks, Clark, & Lucy, 1975) Task: Two numbers are presented on each trial. Identify the smaller number. Or Identify the bigger number

Semantic congruity effect (e.g., Banks, Clark, & Lucy, 1975) Task: Two numbers are presented on each trial. Identify the smaller number. Or Identify the bigger number Results: For smaller number identification, faster RT for pairs of smaller numbers (34 35) relative to larger numbers (98 99) For larger number identification, faster RT for pairs of larger numbers (98 99) relative to smaller (34 35) numbers.

Reasoning Additional distance effects and semantic congruity effects Judgements of object size (e.g., animals) form an image of object Judgements on semantic orderings time (e.g., seconds, days) performance (e.g., poor, excellent) temperature (e.g., cold, hot) Judgements on geographical distance

Reasoning Formal logic syllogisms conditional reasoning

Reasoning Syllogisms three statements statements 1 and 2: premises statement 3: conclusion The premises and conclusion may or may not be true in the real world.

Reasoning Syllogisms three statements statements 1 and 2: premises statement 3: conclusion Example in Abstract Form All X are Y (1 st premis) All Y are Z (2 nd premis) Therefore, all X are Z Note:  means “therefore”;  means “not”

Example in Abstract Form All X are Y (1 st premis) All Y are Z (2 nd premis) Therefore, all X are Z Substitute real words for letters All orchids are flowers. All flowers are plants.  All orchids are plants. Check with Venn diagrams (circles representing concepts)

Substitute real words for letters All Orchids are Flowers. All Flowers are Plants.  All Orchids are Plants. Check with Venn diagrams.

Substitute real words for letters All Orchids are Flowers. All Flowers are Plants.  All Orchids are Plants. Check with Venn diagrams. O

Substitute real words for letters All Orchids are Flowers. All Flowers are Plants.  All Orchids are Plants. Check with Venn diagrams. O F

Substitute real words for letters All Orchids are Flowers. All Flowers are Plants.  All Orchids are Plants. Check with Venn diagrams. O F P

All Orchids are Flowers. All Flowers are Plants.  All Orchids are Plants. Logically valid conclusion (also happens to be true in the real world) O F P

All Orchids are Cats. All Cats are Plants.  All Orchids are Plants.

All Orchids are Cats. All Cats are Plants.  All Orchids are Plants. O C P

All Orchids are Cats. All Cats are Plants.  All Orchids are Plants. Logically valid conclusion (premises not true in the real world; conclusion true in the real world) O C P

All Orchids are Flowers. All Flowers are Domesticated (things).  All Orchids are Domesticated (things). O F D

All Orchids are Flowers. All Flowers are Domesticated (things).  All Orchids are Domesticated (things). Logically valid conclusion (2 nd premis and conclusion not true in the real world) O F D

A logically valid conclusion may not represent an empirical truth (i.e., be true in the real world) So, a conclusion may be logically valid, but the syllogism as a whole may be false. If one part of the syllogism is false (e.g., All orchids are cats), then the whole syllogism is false.

Trouble spot: Confirmation bias All X are Y. Some Y are Z.  Some X are Z.

Trouble spot: Confirmation bias All X are Y. Some Y are Z.  Some X are Z. People make errors on whether the conclusion is valid.

Trouble spot: Confirmation bias All Dalmations are Dogs. Some Dogs are Smart.  Some Dalmations are Smart. People make errors on whether the conclusion is valid.

Trouble spot: Confirmation bias All Dalmations are Dogs. Some Dogs are Smart.  Some Dalmations are Smart. People make errors on whether the conclusion is valid. Conclusion is Invalid (but the syllogism is true)

All Dalmations are Dogs. Some Dogs are Smart.  Some Dalmations are Smart. check using Venn diagram DALM DOG

All Dalmations are Dogs. Some Dogs are Smart.  Some Dalmations are Smart. check using Venn diagram DALM DOG SMART THINGS

All Dalmations are Dogs. Some Dogs are Smart.  Some Dalmations are Smart. check using Venn diagram DALM DOG SMART THINGS Logically, dalmations may not be smart

All Dalmations are Dogs. Some Dogs are Smart.  Some Dalmations are Smart. check using Venn diagrams The problem is that some Dalamations in the real world may, in fact, be smart. People misapply this empirical truth to the validity of the conclusion—they end up judging that the conlusion is valid. The conclusion is invalid. This error reflects a confirmation bias. Logically, dalmations may not be smart

All Dalmations are Dogs. Some Dogs are Smart.  Some Dalmations are Smart. To help avoid an error, make substitutions (e.g., Marsupials for Smart) All Dalmations are Dogs. Some Dogs are Marsupials.  Some Dalmations are Marsupials.

All Dalmations are Dogs. Some Dogs are Smart.  Some Dalmations are Smart. To help avoid an error, make substitutions (e.g., Marsupials for Smart) All Dalmations are Animals. Some Dogs are Marsupials.  Some Dalmations are Marsupials. Logically, dalmations may not be smart Logically, dalmations may not be marsupials

Reasoning Top-down biases symbolic distance effects semantic congruity effects Formal logic syllogisms conditional reasoning

Conditional reasoning three parts 1) conditional statement (if thing 1 occurs, then thing 2 will occur) thing 1: antecedent; thing 2: consequent 2) evidence 3) inference In the abstract 1) Statement: If p, then q 2) Evidence: p 3) Inference:  q

Conditional reasoning In the abstract 1) Statement: If p, then q 2) Evidence: p 3) Inference:  q 1)If you have As on all of your PSYC231 assignments (p), then you will get an A as your final mark (q). 2) Evidence: Have As on all assignments (p) 3) Inference: Get an A as final mark (q)

Conditional reasoning 1) Statement: If p, then q 2) Evidence: p 3) Inference:  q 1)If you have As on all of your PSYC231 assignments (p), then you will get an A as your final mark. 2) Evidence: Have As on all assignments 3) Inference: Get an A as final mark Given the conditional statement and evidence, this inference (3) must be true; the argument as a whole is valid. This type of argument is referred to as affirming the antecedent (Latin name: modus ponens)

Other possibilities (other arguments) 1) Statement: If p, then q 2) Evidence:  p (not p) 3) Inference:   q (not q) 1)If you have As on all of your PSYC231assignments (p), then you will get an A as your final mark (q). 2) Evidence: Do not have As on all assignments (~ p) 3) Inference: Do not get an A as final mark (~ q) This conclusion (inference) is not logically true; the argument (called denying the antecedent) is invalid.

Other possibilities 1) Statement: If p, then q 2) Evidence: q 3) Inference:  p 1)If you have As on all of your PSYC231 assignments (p), then you will get an A as your final mark (q). 2) Evidence: Get an A as final mark. (q) 3) Inference: Have As on all assignments (p) This conclusion (inference) is not logically true; the argument (called affirming the consequent) is invalid.

Other possibilities 1) Statement: If p, then q 2) Evidence: ~ q 3) Inference:  ~ p 1)If you have As on all of your PSYC231 assignments (p), then you will get an A as your final mark (q). 2) Evidence: Do not get an A as final mark. (~ q) 3) Inference: Do not have As on all assignments (~ p) This conclusion (inference) must be true; the argument (called denying the consequent: Latin name: modus tollens) is valid.

Importance of modus tollens 1) Statement: If p, then q 2) Evidence: ~ q 3) Inference:  ~ p Hypothesis testing: Test the Null Hypothesis 1)If conditions of some variable are similar (unimportant), then the variable should have no effect on performance. 2) Evidence: There is a an effect (a difference between conditions). (~ q) 3) Inference: The conditions are not similar. (~ p) (Rejection of the Null Hypothesis )

BU 3 6

BU 3 6 Rule: A card with a vowel will have an even number on the other side. Which card or cards should be turned over to test the rule?

BU 3 6 Rule: A card with a vowel with have an even number on the other side. Which card or cards should be turned over to test the rule? People do pretty well applying modus ponens but have trouble applying modus tollens. (The problem is easier when real world examples are used.)

Reasoning Top-down biases symbolic distance effects semantic congruity effects Formal logic syllogisms conditional reasoning

End Have a good day!