Inductive Reasoning

Total Page:16

File Type:pdf, Size:1020Kb

Inductive Reasoning Applied Logic Lecture 4 part 1 – Inductive reasoning Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2018/2019 Marcin Szczuka (MIMUW) Applied Logic 2019 1 / 30 Lecture plan 1 Introduction 2 Incomplete inductive reasoning Types of inductive reasoning 3 Towards Inductive Logic Marcin Szczuka (MIMUW) Applied Logic 2019 2 / 30 Marcin Szczuka (MIMUW) Applied Logic 2019 3 / 30 Deduction vs. induction All of the reasoning systems (logics) we have seen so far were based on deduction. The worked with use of certain inference rules that allowed derivation of consequences from axioms. In particular, deductive systems are closed with respect to creation of new notions and inference of true consequences. Reasoning based on pure deduction is very rare in real life. In most cases they are limited to precise, mathematical models of reality (theoretical physics, mathematics, informatics, ..). A great example of work based on rigorous deductive reasoning is the monumental work by Euclid of Alexandria, the Elements. In real-life scenarios it is usually hard to preserve the strict rules of deduction and the inferred conclusions are not always absolutely true. Therefore, in complement to deductive reasoning in real-life situation we frequently use also induction and/or abduction. Marcin Szczuka (MIMUW) Applied Logic 2019 4 / 30 Inductive reasoning In simplest terms, inductive reasoning can be seen as inference from particular to general or from examples to rules. Inductive reasoning is by nature imprecise. Inductive reasoning is built on human capability of finding patterns and rules on the basis of observation of a finite (and possibly incomplete and imperfect) sample. For example, on the basis of obserwation any “reasonable” thinker will consider the following sentence to be empirically proven. All crows are black, but not all cats are black. Marcin Szczuka (MIMUW) Applied Logic 2019 5 / 30 Nuances of induction The inference on the basis of empirical observation is as old as scientific reasoning itself. However, due to the lack of formalised approach, up to the end of middle ages the Aristotelean deductive reasoning was considered the only “true” method for proving. While Aristotle considered briefly the inductive method, but limited only to the primitive complete enumerative induction. Nowadays the reasoning by induction is much more precise and regularised. First important questions regarding validity and practicality of simplified, enumerative approach to induction were posed by Francis Bacon (1561-1626). Bacon proposed more practical eliminative induction (induction by elimination). The principle of eliminative induction was formulated more precisely by American philosopher John Stuarta Mill in A System of Logic, Ratiocinative and Inductive (1843) in the form of five so called Mill’s methods (cannons). Marcin Szczuka (MIMUW) Applied Logic 2019 6 / 30 Nuances of induction After Bacon, eliminative induction principle was disputed by David Hume (1748). Immanuel Kant pitched in too. Hume, in his philosophical works about cognition and causality, proposed a novel view on induction and provided a constructive critical Hume’s propositions became a cornerstone of the modern understanding of inductive reasoning. Hume divides all reasoning into demonstrative, by which he means deductive, and probabilistic, by which he means the generalization of causal reasoning. Today the idea that our knowledge of the world is not complete and precise is commonplace. However, in Hume’s era it sounded like a shocking paradox, especially in light of recently formulated foundations of Newtonian physics. Contemporary understanding of inductive reasoning system diverted from the Hume’s and Kant’s ideas towards inductive logic. Nowadays, instead of answering the question “what justifies truthfulness of the statement?” the researchers concentrate on the question “why a given statement is possible/probable?”. A prominent representative of this kind of approach is (amongst others) Rudolf Carnap. Marcin Szczuka (MIMUW) Applied Logic 2019 7 / 30 Types of inductive reasoning Complete induction Complete induction (complete enumerative induction, exhaustive induction) is a reasoning method that establishes truthfulness of a rule (proposition) by checking all possible cases when the rule applies. Complete induction is in fact a certain, deductive method. It eliminates possible contradiction by exhaustive enumeration of all positive cases. In most non-trivial situations the complete induction method is highly inefficient. A special case on complete induction is the mathematical induction commonly used to prove mathematical theorems, especially in discrete domains. Somewhat against its name, mathematical induction is a deductive proof technique. Marcin Szczuka (MIMUW) Applied Logic 2019 8 / 30 Eliminative induction “...when you have eliminated all which is impossible, then whatever remains, however improbable, must be the truth.” Sherlock Holmes ŹAfter: Arthur Conan Doyle, The Blanched Soldier Marcin Szczuka (MIMUW) Applied Logic 2019 9 / 30 Types of inductive reasoning Eliminative induction The simplest eliminative induction scheme (Bacon) is based on building a list of mutually exclusive hypotheses and then eliminating all but one of them through empiric experiment. J.S. Mill extended the eliminative induction principle by setting five rules for elimination of hypotheses (Mills methods). Mill’s methods allow for (partial) formalisation of inference by establishing relationships of the type “ Cause A yields result a” on the basis of series of observations. For example, the direct method of agreement (first method) facilitates the following reasoning: Situation 1: We record appearance of causes A, B, C and results a, b, c. Situation 2: We record appearance of causes A, D, E and results a, d, e. Conclusion: We eliminate non-repeating (not directly agreeing) observations and we get “Cause A yields result a”. Marcin Szczuka (MIMUW) Applied Logic 2019 10 / 30 Types of inductive reasoning Incomplete induction Incomplete induction (incomplete enumerative induction) is the method that establishes a general rule (proposition) on the basis of a finite number of statements (observations) that confirm the rule. We reason from sample about general regularities. Incompleteness of this reasoning scheme is a manifestation of the nature of reality that we attempt to describe. In real life we almost never are able to observe sufficiently many (or all) possible situations. Incompleteness also means, that previously constructed theories may need to be modified (completed) as new observations emerge. For example, Einstein’s relativity theory extends Newtonian mechanics. Incomplete induction is one of the most basic tools for all experimental sciences. Many disciplines have developed frameworks for dealing with uncertainty introduced through use of incomplete induction, for example error calculus, sta Marcin Szczuka (MIMUW) Applied Logic 2019 11 / 30 Lecture plan 1 Introduction 2 Incomplete inductive reasoning Types of inductive reasoning 3 Towards Inductive Logic Marcin Szczuka (MIMUW) Applied Logic 2019 12 / 30 The issue of induction The issue of incomplete inductive reasoning has been considered by researchers for centuries. The discussion about validity and necessity of its use in describing the universe can be traced back to Sextus Empiricus (3-2 century B.C.). Throughout the ages some of the most illustrious minds, including Bacon, Cartesius, Kant, Newton, Mill, Hume and others, addressed the issue. In contemporary discourse on induction as a mean to discovery important additions were made by eminent philosophers of sciece, including Karl Popper, Wesley C. Salmon and David Miller. Construction of a logical system based on incomplete inductive reasoning poses a challenge. On the one hand, such logic should extend deductive systems by addition of a mechanism for deriving conclusion that may not be absolutely true. On the other hand we are not willing to part with the essential property of deductive systems: True premises guarantee true conclusions. Marcin Szczuka (MIMUW) Applied Logic 2019 13 / 30 Criterion of Adequacy In order for inductive logic to be considered useful we usually expect that it has a mechanism for establishing a level of support for conclusions expressed in it. This mechanism measures the degree of influence of premises’ truthfulness on validity of the conclusion. We expect that the measure used by this mechanism satisfies the Criterion of Adequacy (CoA). CoA - Criterion of Adequacy As evidence accumulates, the degree to which the collection of true evidence statements comes to support a hypothesis, as measured by the logic, should tend to indicate that false hypotheses are probably false and that true hypotheses are probably true. Marcin Szczuka (MIMUW) Applied Logic 2019 14 / 30 Peculiarities of induction To be able to use inductive reasoning principles (inductive logic) properly it is necessary to eliminate the possibility of creating paradoxical results or sophismata. Inductive proof of immortality Fact 1 – n Many times (n 1) I heard that somebody died. Fact n + 1 Every time I heard that somebody died – it was not me. conclusion There are no observations supporting the fact of me dying. Hence, I am immortal. Obviously, this reasoning is a fallacy. It does not take into account any negative information as well as considers only a part of positive information that by no “decent” measure can be considered complete. However, in practical
Recommended publications
  • Generalized Linear Models (Glms)
    San Jos´eState University Math 261A: Regression Theory & Methods Generalized Linear Models (GLMs) Dr. Guangliang Chen This lecture is based on the following textbook sections: • Chapter 13: 13.1 – 13.3 Outline of this presentation: • What is a GLM? • Logistic regression • Poisson regression Generalized Linear Models (GLMs) What is a GLM? In ordinary linear regression, we assume that the response is a linear function of the regressors plus Gaussian noise: 0 2 y = β0 + β1x1 + ··· + βkxk + ∼ N(x β, σ ) | {z } |{z} linear form x0β N(0,σ2) noise The model can be reformulate in terms of • distribution of the response: y | x ∼ N(µ, σ2), and • dependence of the mean on the predictors: µ = E(y | x) = x0β Dr. Guangliang Chen | Mathematics & Statistics, San Jos´e State University3/24 Generalized Linear Models (GLMs) beta=(1,2) 5 4 3 β0 + β1x b y 2 y 1 0 −1 0.0 0.2 0.4 0.6 0.8 1.0 x x Dr. Guangliang Chen | Mathematics & Statistics, San Jos´e State University4/24 Generalized Linear Models (GLMs) Generalized linear models (GLM) extend linear regression by allowing the response variable to have • a general distribution (with mean µ = E(y | x)) and • a mean that depends on the predictors through a link function g: That is, g(µ) = β0x or equivalently, µ = g−1(β0x) Dr. Guangliang Chen | Mathematics & Statistics, San Jos´e State University5/24 Generalized Linear Models (GLMs) In GLM, the response is typically assumed to have a distribution in the exponential family, which is a large class of probability distributions that have pdfs of the form f(x | θ) = a(x)b(θ) exp(c(θ) · T (x)), including • Normal - ordinary linear regression • Bernoulli - Logistic regression, modeling binary data • Binomial - Multinomial logistic regression, modeling general cate- gorical data • Poisson - Poisson regression, modeling count data • Exponential, Gamma - survival analysis Dr.
    [Show full text]
  • Statistical Inferences Hypothesis Tests
    STATISTICAL INFERENCES HYPOTHESIS TESTS Maªgorzata Murat BASIC IDEAS Suppose we have collected a representative sample that gives some information concerning a mean or other statistical quantity. There are two main questions for which statistical inference may provide answers. 1. Are the sample quantity and a corresponding population quantity close enough together so that it is reasonable to say that the sample might have come from the population? Or are they far enough apart so that they likely represent dierent populations? 2. For what interval of values can we have a specic level of condence that the interval contains the true value of the parameter of interest? STATISTICAL INFERENCES FOR THE MEAN We can divide statistical inferences for the mean into two main categories. In one category, we already know the variance or standard deviation of the population, usually from previous measurements, and the normal distribution can be used for calculations. In the other category, we nd an estimate of the variance or standard deviation of the population from the sample itself. The normal distribution is assumed to apply to the underlying population, but another distribution related to it will usually be required for calculations. TEST OF HYPOTHESIS We are testing the hypothesis that a sample is similar enough to a particular population so that it might have come from that population. Hence we make the null hypothesis that the sample came from a population having the stated value of the population characteristic (the mean or the variation). Then we do calculations to see how reasonable such a hypothesis is. We have to keep in mind the alternative if the null hypothesis is not true, as the alternative will aect the calculations.
    [Show full text]
  • 1.2. INDUCTIVE REASONING Much Mathematical Discovery Starts with Inductive Reasoning – the Process of Reaching General Conclus
    1.2. INDUCTIVE REASONING Much mathematical discovery starts with inductive reasoning – the process of reaching general conclusions, called conjectures, through the examination of particular cases and the recognition of patterns. These conjectures are then more formally proved using deductive methods, which will be discussed in the next section. Below we look at three examples that use inductive reasoning. Number Patterns Suppose you had to predict the sixth number in the following sequence: 1, -3, 6, -10, 15, ? How would you proceed with such a question? The trick, it seems, is to discern a specific pattern in the given sequence of numbers. This kind of approach is a classic example of inductive reasoning. By identifying a rule that generates all five numbers in this sequence, your hope is to establish a pattern and be in a position to predict the sixth number with confidence. So can you do it? Try to work out this number before continuing. One fact is immediately clear: the numbers alternate sign from positive to negative. We thus expect the answer to be a negative number since it follows 15, a positive number. On closer inspection, we also realize that the difference between the magnitude (or absolute value) of successive numbers increases by 1 each time: 3 – 1 = 2 6 – 3 = 3 10 – 6 = 4 15 – 10 = 5 … We have then found the rule we sought for generating the next number in this sequence. The sixth number should be -21 since the difference between 15 and 21 is 6 and we had already determined that the answer should be negative.
    [Show full text]
  • There Is No Pure Empirical Reasoning
    There Is No Pure Empirical Reasoning 1. Empiricism and the Question of Empirical Reasons Empiricism may be defined as the view there is no a priori justification for any synthetic claim. Critics object that empiricism cannot account for all the kinds of knowledge we seem to possess, such as moral knowledge, metaphysical knowledge, mathematical knowledge, and modal knowledge.1 In some cases, empiricists try to account for these types of knowledge; in other cases, they shrug off the objections, happily concluding, for example, that there is no moral knowledge, or that there is no metaphysical knowledge.2 But empiricism cannot shrug off just any type of knowledge; to be minimally plausible, empiricism must, for example, at least be able to account for paradigm instances of empirical knowledge, including especially scientific knowledge. Empirical knowledge can be divided into three categories: (a) knowledge by direct observation; (b) knowledge that is deductively inferred from observations; and (c) knowledge that is non-deductively inferred from observations, including knowledge arrived at by induction and inference to the best explanation. Category (c) includes all scientific knowledge. This category is of particular import to empiricists, many of whom take scientific knowledge as a sort of paradigm for knowledge in general; indeed, this forms a central source of motivation for empiricism.3 Thus, if there is any kind of knowledge that empiricists need to be able to account for, it is knowledge of type (c). I use the term “empirical reasoning” to refer to the reasoning involved in acquiring this type of knowledge – that is, to any instance of reasoning in which (i) the premises are justified directly by observation, (ii) the reasoning is non- deductive, and (iii) the reasoning provides adequate justification for the conclusion.
    [Show full text]
  • A Philosophical Treatise on the Connection of Scientific Reasoning
    mathematics Review A Philosophical Treatise on the Connection of Scientific Reasoning with Fuzzy Logic Evangelos Athanassopoulos 1 and Michael Gr. Voskoglou 2,* 1 Independent Researcher, Giannakopoulou 39, 27300 Gastouni, Greece; [email protected] 2 Department of Applied Mathematics, Graduate Technological Educational Institute of Western Greece, 22334 Patras, Greece * Correspondence: [email protected] Received: 4 May 2020; Accepted: 19 May 2020; Published:1 June 2020 Abstract: The present article studies the connection of scientific reasoning with fuzzy logic. Induction and deduction are the two main types of human reasoning. Although deduction is the basis of the scientific method, almost all the scientific progress (with pure mathematics being probably the unique exception) has its roots to inductive reasoning. Fuzzy logic gives to the disdainful by the classical/bivalent logic induction its proper place and importance as a fundamental component of the scientific reasoning. The error of induction is transferred to deductive reasoning through its premises. Consequently, although deduction is always a valid process, it is not an infallible method. Thus, there is a need of quantifying the degree of truth not only of the inductive, but also of the deductive arguments. In the former case, probability and statistics and of course fuzzy logic in cases of imprecision are the tools available for this purpose. In the latter case, the Bayesian probabilities play a dominant role. As many specialists argue nowadays, the whole science could be viewed as a Bayesian process. A timely example, concerning the validity of the viruses’ tests, is presented, illustrating the importance of the Bayesian processes for scientific reasoning.
    [Show full text]
  • How Prediction Statistics Can Help Us Cope When We Are Shaken, Scared and Irrational
    EGU21-15219 https://doi.org/10.5194/egusphere-egu21-15219 EGU General Assembly 2021 © Author(s) 2021. This work is distributed under the Creative Commons Attribution 4.0 License. How prediction statistics can help us cope when we are shaken, scared and irrational Yavor Kamer1, Shyam Nandan2, Stefan Hiemer1, Guy Ouillon3, and Didier Sornette4,5 1RichterX.com, Zürich, Switzerland 2Windeggstrasse 5, 8953 Dietikon, Zurich, Switzerland 3Lithophyse, Nice, France 4Department of Management,Technology and Economics, ETH Zürich, Zürich, Switzerland 5Institute of Risk Analysis, Prediction and Management (Risks-X), SUSTech, Shenzhen, China Nature is scary. You can be sitting at your home and next thing you know you are trapped under the ruble of your own house or sucked into a sinkhole. For millions of years we have been the figurines of this precarious scene and we have found our own ways of dealing with the anxiety. It is natural that we create and consume prophecies, conspiracies and false predictions. Information technologies amplify not only our rational but also irrational deeds. Social media algorithms, tuned to maximize attention, make sure that misinformation spreads much faster than its counterpart. What can we do to minimize the adverse effects of misinformation, especially in the case of earthquakes? One option could be to designate one authoritative institute, set up a big surveillance network and cancel or ban every source of misinformation before it spreads. This might have worked a few centuries ago but not in this day and age. Instead we propose a more inclusive option: embrace all voices and channel them into an actual, prospective earthquake prediction platform (Kamer et al.
    [Show full text]
  • The Focused Information Criterion in Logistic Regression to Predict Repair of Dental Restorations
    THE FOCUSED INFORMATION CRITERION IN LOGISTIC REGRESSION TO PREDICT REPAIR OF DENTAL RESTORATIONS Cecilia CANDOLO1 ABSTRACT: Statistical data analysis typically has several stages: exploration of the data set; deciding on a class or classes of models to be considered; selecting the best of them according to some criterion and making inferences based on the selected model. The cycle is usually iterative and will involve subject-matter considerations as well as statistical insights. The conclusion reached after such a process depends on the model(s) selected, but the consequent uncertainty is not usually incorporated into the inference. This may lead to underestimation of the uncertainty about quantities of interest and overoptimistic and biased inferences. This framework has been the aim of research under the terminology of model uncertainty and model averanging in both, frequentist and Bayesian approaches. The former usually uses the Akaike´s information criterion (AIC), the Bayesian information criterion (BIC) and the bootstrap method. The last weigths the models using the posterior model probabilities. This work consider model selection uncertainty in logistic regression under frequentist and Bayesian approaches, incorporating the use of the focused information criterion (FIC) (CLAESKENS and HJORT, 2003) to predict repair of dental restorations. The FIC takes the view that a best model should depend on the parameter under focus, such as the mean, or the variance, or the particular covariate values. In this study, the repair or not of dental restorations in a period of eighteen months depends on several covariates measured in teenagers. The data were kindly provided by Juliana Feltrin de Souza, a doctorate student at the Faculty of Dentistry of Araraquara - UNESP.
    [Show full text]
  • Argument, Structure, and Credibility in Public Health Writing Donald Halstead Instructor and Director of Writing Programs Harvard TH Chan School of Public Heath
    Argument, Structure, and Credibility in Public Health Writing Donald Halstead Instructor and Director of Writing Programs Harvard TH Chan School of Public Heath Some of the most important questions we face in public health include what policies we should follow, which programs and research should we fund, how and where we should intervene, and what our priorities should be in the face of overwhelming needs and scarce resources. These questions, like many others, are best decided on the basis of arguments, a word that has its roots in the Latin arguere, to make clear. Yet arguments themselves vary greatly in terms of their strength, accuracy, and validity. Furthermore, public health experts often disagree on matters of research, policy and practice, citing conflicting evidence and arriving at conflicting conclusions. As a result, critical readers, such as researchers, policymakers, journal editors and reviewers, approach arguments with considerable skepticism. After all, they are not going to change their programs, priorities, practices, research agendas or budgets without very solid evidence that it is necessary, feasible, and beneficial. This raises an important challenge for public health writers: How can you best make your case, in the face of so much conflicting evidence? To illustrate, let’s assume that you’ve been researching mother-to-child transmission (MTCT) of HIV in a sub-Saharan African country and have concluded that (claim) the country’s maternal programs for HIV counseling and infant nutrition should be integrated because (reasons) this would be more efficient in decreasing MTCT, improving child nutrition, and using scant resources efficiently. The evidence to back up your claim might consist of original research you have conducted that included program assessments and interviews with health workers in the field, your assessment of the other relevant research, the experiences of programs in other countries, and new WHO guidelines.
    [Show full text]
  • Reliability Engineering: Trends, Strategies and Best Practices
    Reliability Engineering: Trends, Strategies and Best Practices WHITE PAPER September 2007 Predictive HCL’s Predictive Engineering encompasses the complete product life-cycle process, from concept to design to prototyping/testing, all the way to manufacturing. This helps in making decisions early Engineering in the design process, perfecting the product – thereby cutting down cycle time and costs, and Think. Design. Perfect! meeting set reliability and quality standards. Reliability Engineering: Trends, Strategies and Best Practices | September 2007 TABLE OF CONTENTS Abstract 3 Importance of reliability engineering in product industry 3 Current trends in reliability engineering 4 Reliability planning – an important task 5 Strength of reliability analysis 6 Is your reliability test plan optimized? 6 Challenges to overcome 7 Outsourcing of a reliability task 7 About HCL 10 © 2007, HCL Technologies. Reproduction Prohibited. This document is protected under Copyright by the Author, all rights reserved. Reliability Engineering: Trends, Strategies and Best Practices | September 2007 Abstract In reliability engineering, product industries now follow a conscious and planned approach to effectively address multiple issues related to product certification, failure returns, customer satisfaction, market competition and product lifecycle cost. Today, reliability professionals face new challenges posed by advanced and complex technology. Expertise and experience are necessary to provide an optimized solution meeting time and cost constraints associated with analysis and testing. In the changed scenario, the reliability approach has also become more objective and result oriented. This is well supported by analysis software. This paper discusses all associated issues including outsourcing of reliability tasks to a professional service provider as an alternate cost-effective option. Importance of reliability engineering in product industry The degree of importance given to the reliability of products varies depending on their criticality.
    [Show full text]
  • Psychology 205, Revelle, Fall 2014 Research Methods in Psychology Mid-Term
    Psychology 205, Revelle, Fall 2014 Research Methods in Psychology Mid-Term Name: ________________________________ 1. (2 points) What is the primary advantage of using the median instead of the mean as a measure of central tendency? It is less affected by outliers. 2. (2 points) Why is counterbalancing important in a within-subjects experiment? Ensuring that conditions are independent of order and of each other. This allows us to determine effect of each variable independently of the other variables. If conditions are related to order or to each other, we are unable to determine which variable is having an effect. Short answer: order effects. 3. (6 points) Define reliability and compare it to validity. Give an example of when a measure could be valid but not reliable. 2 points: Reliability is the consistency or dependability of a measurement technique. [“Getting the same result” was not accepted; it was too vague in that it did not specify the conditions (e.g., the same phenomenon) in which the same result was achieved.] 2 points: Validity is the extent to which a measurement procedure actually measures what it is intended to measure. 2 points: Example (from class) is a weight scale that gives a different result every time the same person stands on it repeatedly. Another example: a scale that actually measures hunger but has poor test-retest reliability. [Other examples were accepted.] 4. (4 points) A consumer research company wants to compare the “coverage” of two competing cell phone networks throughout Illinois. To do so fairly, they have decided that they will only compare survey data taken from customers who are all using the same cell phone model - one that is functional on both networks and has been newly released in the last 3 months.
    [Show full text]
  • The Problem of Induction
    The Problem of Induction Gilbert Harman Department of Philosophy, Princeton University Sanjeev R. Kulkarni Department of Electrical Engineering, Princeton University July 19, 2005 The Problem The problem of induction is sometimes motivated via a comparison between rules of induction and rules of deduction. Valid deductive rules are necessarily truth preserving, while inductive rules are not. So, for example, one valid deductive rule might be this: (D) From premises of the form “All F are G” and “a is F ,” the corresponding conclusion of the form “a is G” follows. The rule (D) is illustrated in the following depressing argument: (DA) All people are mortal. I am a person. So, I am mortal. The rule here is “valid” in the sense that there is no possible way in which premises satisfying the rule can be true without the corresponding conclusion also being true. A possible inductive rule might be this: (I) From premises of the form “Many many F s are known to be G,” “There are no known cases of F s that are not G,” and “a is F ,” the corresponding conclusion can be inferred of the form “a is G.” The rule (I) might be illustrated in the following “inductive argument.” (IA) Many many people are known to have been moral. There are no known cases of people who are not mortal. I am a person. So, I am mortal. 1 The rule (I) is not valid in the way that the deductive rule (D) is valid. The “premises” of the inductive inference (IA) could be true even though its “con- clusion” is not true.
    [Show full text]
  • 1 a Bayesian Analysis of Some Forms of Inductive Reasoning Evan Heit
    1 A Bayesian Analysis of Some Forms of Inductive Reasoning Evan Heit University of Warwick In Rational Models of Cognition, M. Oaksford & N. Chater (Eds.), Oxford University Press, 248- 274, 1998. Please address correspondence to: Evan Heit Department of Psychology University of Warwick Coventry CV4 7AL, United Kingdom Phone: (024) 7652 3183 Email: [email protected] 2 One of our most important cognitive goals is prediction (Anderson, 1990, 1991; Billman & Heit, 1988; Heit, 1992; Ross & Murphy, 1996), and category-level information enables a rich set of predictions. For example, you might not be able to predict much about Peter until you are told that Peter is a goldfish, in which case you could predict that he will swim and he will eat fish food. Prediction is a basic element of a wide range of everyday tasks from problem solving to social interaction to motor control. This chapter, however, will focus on a narrower range of prediction phenomena, concerning how people evaluate inductive “syllogisms” or arguments such as the following example: Goldfish thrive in sunlight --------------------------- Tunas thrive in sunlight. (The information above the line is taken as a premise which is assumed to be true, then the task is to evaluate the likelihood of the conclusion, below the line.) Despite the apparent simplicity of this task, there are a variety of interesting phenomena that are associated with inductive arguments. Taken together, these phenomena reveal a great deal about what people know about categories and their properties, and about how people use their general knowledge of the world for reasoning.
    [Show full text]