Cognition and Inquiry: The Pragmatics of Conditional Reasoning

This thesis reports the results of both normative and empirical investigations into human conditional reasoning, i. e. reasoning using if... then and related constructions. Previous empirical investigations have concentrated on experimental paradigms like Wason's Selection Task, where subjects must assess evidence relevant to the truth or falsity of a conditional rule. Popperian falsification provided the normative theory by which to assess errorful behaviour on these tasks. However, it is doubtful whether this is an appropriate normative theory from which to derive a competence model of human reasoning abilities. The relationship between normative theory and competence model need not be direct, no more than the relationship between competence model and performance needs to be. However, research in this area has imported a theory directly into individual psychology from the philosophy of science. On the apparently orthodox assumption of directness, continued adherence to this import may stand in need of re-assessment in the light of the quite radical descriptive inadequacy of falsification as a model of rational scientific inquiry. However, this model also possesses the virtue of relating the interpretation of the rule directly to the normative task strategy. Hence, this thesis has two aims: first, to retain the virtue of a direct relation between normative task strategy and interpretation while simultaneously offering a competence model which is consistent with more recent and descriptively adequate accounts of the process of scientific inquiry. In Part I, this will involve introducing a semantic theory (situation semantics) and showing that the process of inquiry implicit in this semantic theory is consistent with recent normative conceptions in the philosophy of science. The second aim is to show that the competence model derived in Part I can provide a sound rational basis for subjects' observed patterns of reasoning in conditional reasoning tasks. In Part II, chapter 5, the data obtained from the Wason Selection Task using only affirmative rules is discussed and the behaviour observed rationally reconstructed in terms of the competence model of Part I. A central concept of that model is partial interpretation (motivated by concerns of context sensitivity). 'Prima facie evidence for partial interpretation is provided by the observation of defective truth tables. However, in conditional reasoning experiments using negated constituents, this evidence has been interpreted differently. A subsidiary aim of Part II (which will constitute the largest section of this thesis) therefore concerns the empirical demonstration of the consistency of this data with the competence model.

[1]  F.J.M.M. Veltman,et al.  Logics for conditionals. , 1985 .

[2]  Geoffrey E. Hinton,et al.  Schemata and Sequential Thought Processes in PDP Models , 1986 .

[3]  David J. Israel The Role of Logic in Knowledge Representation , 1983, Computer.

[4]  P. Johnson-Laird,et al.  Psychology of Reasoning: Structure and Content , 1972 .

[5]  Robert Stalnaker A Theory of Conditionals , 2019, Knowledge and Conditionals.

[6]  T. Kuhn The Structure of Scientific Revolutions 2nd edition , 1970 .

[7]  F.J.M.M. Veltman Data semantics and the pragmatics of indicative conditionals , 1986 .

[8]  Robert Stalnaker,et al.  Possible worlds and situations , 1986, J. Philos. Log..

[9]  Jennifer Trusted The Logic of Scientific Inference: An Introduction , 1979 .

[10]  P. C. Wason,et al.  The Processing of Positive and Negative Information , 1959 .

[11]  K. Manktelow,et al.  Facilitation of reasoning by realism: Effect or non‐effect? , 1979 .

[12]  P. Johnson-Laird,et al.  A theoretical analysis of insight into a reasoning task , 1970 .

[13]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[14]  M. Dummett Truth and other enigmas , 1978 .

[15]  John D. Bransford,et al.  Considerations of some problems of comprehension. , 1973 .

[16]  P. Wason,et al.  Natural and contrived experience in a reasoning problem , 1971 .

[17]  Nuel D. Belnap,et al.  Conditional Assertion and Restricted Quantification , 1970 .

[18]  K. Gilhooly,et al.  Concrete and Abstract Terms and Relations in Testing a Rule , 1974 .

[19]  W. Marslen-Wilson,et al.  The temporal structure of spoken language understanding , 1980, Cognition.

[20]  D. Scott On Engendering an Illusion of Understanding , 1971 .

[21]  J. Klayman,et al.  Confirmation, Disconfirmation, and Informa-tion in Hypothesis Testing , 1987 .

[22]  Martin D. Ringle Brainstorms: Philosophical Essays on Mind and Psychology , 1982 .

[23]  P. Wason,et al.  Reasoning and Mental Representation , 1984 .

[24]  J. Bransford,et al.  Sentence memory: A constructive versus interpretive approach ☆ ☆☆ , 1972 .

[25]  Richard A. Griggs,et al.  The elusive thematic‐materials effect in Wason's selection task , 1982 .

[26]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[27]  P. Pollard,et al.  The effect of thematic content on the ‘Wason selection task’ , 1981 .

[28]  J. S. Evans,et al.  Toward a Statistical Theory of Reasoning , 1977 .

[29]  P. Wason The contexts of plausible denial , 1965 .

[30]  Mark Steedman,et al.  The use of context by the psychological parser , 1981 .

[31]  P. Wason,et al.  Response to affirmative and negative binary statements. , 1961, British journal of psychology.

[32]  C. Hempel,et al.  Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. , 1966 .

[33]  J. Fodor,et al.  Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.

[34]  J Baron,et al.  Confirmation and Matching Biases in Hypothesis Testing , 1988, The Quarterly journal of experimental psychology. A, Human experimental psychology.

[35]  Gerald Gazdar,et al.  Pragmatics: Implicature, Presupposition, and Logical Form , 1978 .

[36]  A. Luchins Mechanization in problem solving: The effect of Einstellung. , 1942 .

[37]  N. Chater,et al.  AUTONOMY, IMPLEMENTATION AND COGNITIVE ARCHITECTURE - A REPLY , 1990 .

[38]  R. Bracewell,et al.  The Solution of An Inferential Problem as a Function of Stimulus Materials , 1974 .

[39]  Stephen A. Yachanin,et al.  The effect of thematic content on cognitive strategies in the four-card selection task , 1982 .

[40]  Harold I. Brown,et al.  How the Laws of Physics Lie , 1988 .

[41]  John D. Bransford,et al.  A sketch of a cognitive approach to comprehension: Some thoughts about understanding what it means to comprehend. , 1974 .

[42]  Geoffrey E. Hinton,et al.  Distributed Representations , 1986, The Philosophy of Artificial Intelligence.

[43]  S. Reich,et al.  Wason's Selection Task: Verification, Falsification and Matching. , 1982 .

[44]  Human reasoning : logical and nonlogical explanations , 1979 .

[45]  Hector-Neri Castañeda,et al.  Thinking and Doing: The Philosophical Foundations of Institutions , 1975 .

[46]  J. S. Evans,et al.  Current Issues in the Psychology of Reasoning. , 1980 .

[47]  P. Johnson-Laird,et al.  The psychology of syllogisms , 1978, Cognitive Psychology.

[48]  Geoffrey E. Hinton,et al.  Learning distributed representations of concepts. , 1989 .

[49]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[50]  M. Braine On the Relation Between the Natural Logic of Reasoning and Standard Logic. , 1978 .

[51]  S. E. Newstead,et al.  Language and reasoning: a study of temporal factors , 1977, Cognition.

[52]  Mary Henle,et al.  On the Relation Between Logic and Thinking , 1983 .

[53]  Charles E. Gauss The Interpretation of Implication , 1943, Philosophy of Science.

[54]  Cora Diamond Wittgenstein on Rules and Private Language. , 1983 .

[55]  Jerry A. Fodor,et al.  Fodor's guide to mental representation: the intelligent auntie's Vade-Mecum , 1993 .

[56]  David E. Rumelhart,et al.  An Interactive Activation Model of the Effect of Context in Perception. Part 2 , 1980 .

[57]  David J. Israel,et al.  What is information , 1990 .

[58]  M. Wertheimer A Gestalt perspective on computer simulations of cognitive processes , 1985 .

[59]  John R. Anderson Arguments concerning representations for mental imagery. , 1978 .

[60]  David S. Brée,et al.  THE DIFFICULTY OF AN IMPLICATION TASK , 1976 .

[61]  P. Wason On the Failure to Eliminate Hypotheses in a Conceptual Task , 1960 .

[62]  P. Johnson-Laird,et al.  A CONFLICT BETWEEN SELECTING AND EVALUATING INFORMATION IN AN INFERENTIAL TASK , 1970 .

[63]  N. Chater,et al.  Autonomy, implementation and cognitive architecture: A reply to Fodor and Pylyshyn , 1990, Cognition.

[64]  K. Duncker,et al.  On problem-solving , 1945 .

[65]  N. Akatsuka On Conditionals: CONDITIONALS ARE DISCOURSE-BOUND , 1986 .

[66]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.

[67]  P. Johnson-Laird,et al.  REASONING AND A SENSE OF REALITY , 1972 .

[68]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[69]  I. Lakatos,et al.  Criticism and the Growth of Knowledge: Falsification and the Methodology of Scientific Research Programmes , 1970 .

[70]  Carl G. Hempel,et al.  Fundamentals of Concept Formation in Empirical Science , 1952 .

[71]  P. Pollard,et al.  Context and rule manipulations on the Wason selection task , 1982 .