Theories of reasoning and the computational explanation of everyday inference

References

• Anderson , J. R. 1990 . The adaptive character of thought , Hillsdale, NJ : Lawrence Erlbaum Associates Inc .
   Google Scholar
• Anderson , J. R. 1991a . Is human cognition adaptive? . Behavioral and Brain Sciences , 14 : 471 – 517 .
   Web of Science ®Google Scholar
• Anderson , J. R. 1991b . The adaptive nature of human categorization . Psychological Review , 98 : 409 – 429 .
   Web of Science ®Google Scholar
• Bimbaum , M. H. 1983 . Base rates in Bayesian inference: Signal detection analysis of the cab problem . American Journal of Psychology , 96 : 85 – 94 .
   Google Scholar
• Braine , M. D.S. 1978 . On the relationship between the natural logic of reasoning and standard logic . Psychological Review , 85 : 1 – 21 .
   Web of Science ®Google Scholar
• Braine , M. D. S. , Reiser , B. J. and Rumain , B. 1984 . “ Some empirical justification for a theory of natural propositional logic ” . In The psychology of learning and motivation , Vol. 18 , New York : Academic Press .
   Google Scholar
• Byrne , R. M.J. 1989 . Suppressing valid inferences with conditionals . Cognition , 31 : 1 – 21 .
   Google Scholar
• Byrne , R. M.J. 1991 . Can valid inferences be suppressed . Cognition , 39 : 71 – 78 .
   PubMed Web of Science ®Google Scholar
• Charniak , E. and McDermott , D. 1985 . An introduction to Artificial Intelligence , Reading, MA : Addison‐Wesley .
   Google Scholar
• Chater , N. and Oaksford , M. 1990 . Autonomy, implementation and cognitive architecture: a reply to Fodor and Pylyshyn . Cognition , 34 : 93 – 107 .
   PubMed Web of Science ®Google Scholar
• Chater , N. and Oaksford , M. 1993 . Logicism, mental models and everyday reasoning: Reply to Garnham . Mind & Language , 8 : 72 – 89 .
   Google Scholar
• Cheng , P. W. and Holyoak , K. J. 1985 . Pragmatic reasoning schemas . Cognitive Psychology , 17 : 391 – 416 .
   PubMed Web of Science ®Google Scholar
• Cheng , P. W. and Holyoak , K. J. 1989 . On the natural selection of reasoning theories . Cognition , 33 : 285 – 313 .
   PubMed Web of Science ®Google Scholar
• Cheng , P. W. and Novick , L. R. 1990 . A probabilistic contrast model of causal induction . Journal of Personality and Social Psychology , 58 : 545 – 567 .
   PubMed Web of Science ®Google Scholar
• Cheng , P. W. and Novick , L. R. 1991 . Causes versus enabling conditions . Cognition , 58 : 83 – 120 .
   Google Scholar
• Cheng , P. W. and Novick , L. R. 1992 . Covariation in natural causal induction . Psychological review , 99 : 365 – 382 .
   PubMed Web of Science ®Google Scholar
• Clark , H. H. , Bridging , P. N. , Johnson‐Laird and Wason , P. C. 1977 . Thinking , 411 – 420 . Cambridge : Cambridge University Press .
   Google Scholar
• Clark , K. L. 1978 . “ Negation as failure ” . In Logic and databases , Edited by: Gallaire , H. and Minker , J. 293 – 322 . New York : Plenum Press .
   Google Scholar
• Cook , S. . The complexity of theorem proving procedures . The third annual symposium on the theory of computing . New York, NY. pp. 151 – 158 .
   Google Scholar
• Cosmides , L. The logic of social exchange: Has natural selection shaped how humans reason? Studies with the Wason selection task . Cognition , 31 187 – 276 .
   PubMedGoogle Scholar
• Cummins , D. D. , Lubart , T. , Alksnis , O. and Rist , R. 1991 . Conditional reasoning and causation . Memory & Cognition , 19 : 274 – 282 .
   PubMed Web of Science ®Google Scholar
• Earman , J. 1992 . Bayes or bust? , Cambridge, MA : MIT Press .
   Google Scholar
• Enderton , H. B. 1972 . A mathematical introduction to logic , New York : Academic Press .
   Google Scholar
• Evans , J. St.B.T. 1983 . “ Selective processes in reasoning ” . In Thinking and reasoning: Psychological approaches , Edited by: Evans , J. St.B.T. London : Routledge & Kegan Paul .
   Google Scholar
• Evans , J. St.B.T. 1984 . Heuristic and analytic processes in reasoning . British Journal of Psychology , 75 : 451 – 468 .
   Web of Science ®Google Scholar
• Evans , J. St.B.T. 1989 . Bias in human reasoning: Causes and consequences , London : Lawrence Erlbaum Associates Ltd .
   Google Scholar
• Evans , J. St.B.T. 1991 . Theories of human reasoning: The fragmented state of the art . Theory & Psychology , 1 : 83 – 105 .
   Web of Science ®Google Scholar
• Evans , J. St.B.T. 1993 . “ Bias and rationality ” . In Rationality , Edited by: Manktelow , K. I. and Over , D. E. 6 – 30 . London : Routledge .
   Google Scholar
• Evans , J. St.B.T. “ Relevance and reasoning ” . In Current direcrions in thinking and reasoning , Edited by: Newstead , S. E. and Evans , J. St.B.T. Hove, , UK : Lawrence Erlbaum Associates Ltd . in press
   Google Scholar
• Evans , J. St.B.T. and Lynch , J. S. 1973 . Matching bias in the selection task . British Journal of Psychology , 64 : 391 – 397 .
   Web of Science ®Google Scholar
• Evans , J. St.B.T. , Over , D. E. and Manktelow , K. I. 1993 . Reasoning, decision making and rationality . Cognition , 49 : 165 – 187 .
   PubMed Web of Science ®Google Scholar
• Fischhoff , B. and Beyth‐Marom , R. 1983 . Hypothesis evaluation from a Bayesian perspective . Psychological Review , 90 : 239 – 260 .
   Web of Science ®Google Scholar
• Fodor , J. A. 1983 . Modularity of mind , Cambridge, MA : MIT Press .
   Google Scholar
• Frege , G. 1950 . The foundations of arithmetic , Edited by: Austin , J. L. Oxford : Basil Blackwell . Originally published 1884
   Google Scholar
• Garey , M. R. and Johnson , D. S. 1979 . Computers and intractability: A guide to the theory of NP‐completeness , San Francisco : W.H. Freeman .
   Google Scholar
• Garnham , A. 1993 . Is logicist cognitive science possible? . Mind & Language , 8 : 49 – 71 .
   Google Scholar
• Garrod , S. and Sanford , A. J. 1977 . Interpreting anaphoric relations: The integration of semantic information while reading . Journal of Verbal Learning and Verbal Behavior , 16 : 77 – 90 .
   Google Scholar
• Gentzen , G. 1934 . Untersuchungen über das logische Schliessen . Mathematische Zeitschrifft , 39 : 176 – 210 .
   Web of Science ®Google Scholar
• Gigerenzer , G. , Hell , W. and Blank , H. 1988 . Presentation and content: The use of base rates as a continuous variable . Journal of Experimental Psychology: Human Perception and Performance , 14 : 513 – 525 .
   Web of Science ®Google Scholar
• Gigerenzer , G. and Hoffrage , U. How to improve Bayesian reasoning without instruction: Frequency domains in press
   Google Scholar
• Gigerenzer , G. , Hoffrage , U. and Kleinbölting , H. 1991 . Probabilistic mental models: A Brunswickian theory of confidence . Psychological Review , 98 : 506 – 528 .
   PubMed Web of Science ®Google Scholar
• Gigerenzer , G. and Murray , D. J. 1987 . Cognition as intuitive statistics , Hillsdale, NJ : Lawrence Erlbaum Associates Inc .
   Google Scholar
• Ginsberg , M. L. , ed. 1987 . Readings in nonmonotonic reasoning , Los Altos, CA : Morgan Kaufman .
   Google Scholar
• Glymour , C. 1987 . “ Android epistemology and the frame problem: Comments on Dennett's “Cognitive Wheels” . In The robot's dilemma: The frame problem in Artificial Intelligence , Edited by: Pylyshyn , Z. W. 65 – 76 . Norwood, NJ : Ablex .
   Google Scholar
• Haack , S. 1978 . Philosophy of logics , Cambridge : Cambridge University Press .
   Google Scholar
• Harman , G. 1986 . Change in view , Cambridge, MA : MIT Press .
   Google Scholar
• Hayes , P. 1978 . “ The naive physics manifesto ” . In Expert systems in the Microelectronic age , Edited by: Michie , D. Edinburgh, , UK : Edinburgh University Press .
   Google Scholar
• Hayes , P. 1979 . “ The logic of frames ” . In Frame conceptions and text understanding , Edited by: Metzing , D. 40 – 61 . Berlin : Walter de Gruyter & Co. .
   Google Scholar
• Hayes , P. 1984a . “ The second naive physics manifesto ” . In Formal theories of the commonsense world , Edited by: Hobbs , J. Hillsdale, NJ : Ablex .
   Google Scholar
• Hayes , P. 1984b . “ Liquids ” . In Formal theories of the commonsense world , Edited by: Hobbs , J. Hillsdale, NJ : Ablex .
   Google Scholar
• Henle , M. 1962 . On the relation between logic and thinking . Psychological Review , 69 : 366 – 378 .
   PubMed Web of Science ®Google Scholar
• Hogger , C. J. 1984 . An introduction to logic programming , New York : Academic Press .
   Google Scholar
• Holland , J. H. , Holyoak , K. J. , Nisbett , R. E. and Thagard , P. R. 1986 . Induction: Processes of inference, learning and discovery , Cambridge, MA : MIT Press .
   Google Scholar
• Holyoak , K. J. and Cheng , P. W. in press . Pragmatic reasoning with a point of view . Thinking & Reasoning ,
   Google Scholar
• Holyoak , K. J. and Spellman , B. A. 1993 . Thinking . Annuul Review of Psychology , 44 : 265 – 315 .
   Web of Science ®Google Scholar
• Horowitz , E. and Sahni , S. 1978 . Fundamentals of computer algorithms , Rockville, Maryland : Computer Science Press, Inc .
   Google Scholar
• Horwich , P. 1982 . Probability and evidence , Cambridge University Press .
   Google Scholar
• Howsen , C. and Urbach , P. 1989 . Scientific reasoning: The Bayesian approach , La Salle, Illinois : Open Court .
   Google Scholar
• Hughes , G. E. and Cresswell , M. J. 1968 . An introduction to modal logic , London : Methuen & Co. Ltd .
   Google Scholar
• Inhelder , B. and Piaget , J. 1958 . The growth of logical reasoning , New York : Basic Books .
   Google Scholar
• Israel , D. J. . What's wrong with nonmonotonic logic? . Proceedings of AAAI‐80 . pp. 99 – 101 .
   Google Scholar
• Johnson‐Laird , P. N. 1975 . “ Models of deduction ” . In Reasoning: Representation and process , Edited by: Falmagne , R. J. Hillsdale, NJ : Lawrence Erlbaum Associates Inc. .
   Google Scholar
• Johnson‐Laird , P. N. 1983 . Mental models , Cambridge : Cambridge University Press .
   Google Scholar
• Johnson‐Laird , P. N. and Byrne , R. M.J. 1991 . Deduction , Hillsdale, NJ : Lawrence Erlbaum Associates Inc .
   Google Scholar
• Johnson‐Laird , P. N. and Wason , P. C. 1970 . A theoretical analysis of insight into a reasoning task . Cognitive Psychology , 1 : 134 – 148 .
   Web of Science ®Google Scholar
• Kintsch , W. and Van Dijk , T. A. 1978 . Toward a model of text comprehension and production . Psychological Review , 85 : 363 – 394 .
   Web of Science ®Google Scholar
• Kirby , K. N. 1994 . Probabilities and utilities of fictional outcomes in Wason's four‐card selection task . Cognition , 51 : 1 – 28 .
   PubMed Web of Science ®Google Scholar
• Klayman , J. and Ha , Y. 1987 . Confirmation, disconfirmation and information in hypothesis testing . Psychological Review , 94 : 211 – 228 .
   Web of Science ®Google Scholar
• Manktelow , K. I. and Over , D. E. 1991 . Social roles and utilities in reasoning with deontic conditionals . Cognition , 39 : 85 – 105 .
   PubMed Web of Science ®Google Scholar
• Markovits , H. 1984 . Awareness of the “possible” as a mediator of formal thinking in conditional reasoning problems . British Journal of Psychology , 75 : 367 – 376 .
   Web of Science ®Google Scholar
• Markovits , H. 1985 . Incorrect conditional reasoning among adults: Competence or performance . British Journal of Psychology , 76 : 241 – 247 .
   Web of Science ®Google Scholar
• Marr , D. 1982 . Vision , San Francisco, CA : W.H. Freeman & Co. .
   Google Scholar
• McArthur , D. J. 1982 . Computer vision and perceptual psychology . Psychological Bulletin , 92 : 283 – 309 .
   PubMedGoogle Scholar
• McCarthy , J. M. 1980 . Circumscription‐a form of non‐monotonic reasoning . Artificial Intelligence , 13 : 27 – 39 .
   Web of Science ®Google Scholar
• McCarthy , J. M. and Hayes , P. 1969 . “ Some philosophical problems from the standpoint of Artificial Intelligence ” . In Machine intelligence , Edited by: Meltzer , B. and Michie , D. Vol. 4 , New York : Elsevier .
   Google Scholar
• McDermott , D. 1987 . A critique of pure reason . Computational Intelligence , 3 : 151 – 160 .
   Google Scholar
• McDermott , D. and Doyle , J. 1980 . Non‐monotonic logic I . Artifical Intelligence , 13 : 41 – 72 .
   Web of Science ®Google Scholar
• Minsky , M. 1975 . “ Frame‐system theory ” . In Theoretical issues in natural language processing Edited by: Schank , R. and Nash‐Webber , B. L. Cambridge, MA June 10–13, 1975
   Google Scholar
• Newell , A. and Simon , H. A. 1972 . Human problem solving , Englewood Cliff, NJ : Prentice‐Hall .
   Google Scholar
• Oaksford , M. and Chater , N. 1991 . Against logicist cognitive science . Mind & Language , 6 : 1 – 38 .
   Google Scholar
• Oaksford , M. and Chater , N. 1992 . Bounded rationality in taking risks and drawing inferences . Theory & Psychology , 2 : 225 – 230 .
   Web of Science ®Google Scholar
• Oaksford , M. and Chater , N. 1993 . “ Reasoning theories and bounded rationality ” . In Rationality , Edited by: Manktelow , K. I. and Over , D. E. 31 – 60 . London : Routledge .
   Google Scholar
• Oaksford , M. and Chater , N. 1994 . A rational analysis of the selection task as optimal data selection . Psychological Review , 101 : 608 – 631 .
   Web of Science ®Google Scholar
• Oaksford , M. , Chater , N. and Stenning , K. 1990 . Connectionism, classical cognitive science and experimental psychology . Al & Society , 4 : 73 – 90 . Also in A. Clark, & R. Lutz (Eds.). (1992). Connectionism in context (pp. 57–74). Berlin: Springer‐Verlag
   Google Scholar
• O'Brien , D. P. 1993 . “ Mental logic and human irrationality ” . In Rationality , Edited by: Manktelow , K. I. and Over , D. E. 110 – 135 . London : Routledge .
   Google Scholar
• O'Brien , E. J. , Shank , D. M. , Myers , J. L. and Rayner , K. 1988 . Elaborative inferences during reading: Do they occur on line? . Journal of Experimental Psychology: Learning, Memory & Cognition , 14 : 410 – 420 .
   PubMed Web of Science ®Google Scholar
• Osherson , D. 1975 . “ Logic and models of logical thinking ” . In Reasoning: Representation and process , Edited by: Falmagne , R. J. Hillsdale, NJ : Lawrence Erlbaum Associates Inc. .
   Google Scholar
• Politzer , G. and Braine , M. D.S. 1991 . Responses to inconsistent premises cannot count as suppression of valid inferences . Cognition , 38 : 103 – 108 .
   PubMed Web of Science ®Google Scholar
• Pollard , P. 1985 . Nonindependence of selections on the Wason selection task . Bulletin of the Psychonomic Society , 23 : 317 – 320 .
   Google Scholar
• Popper , K. R. 1959 . The logic of scientific discovery , London : Hutchinson .
   Google Scholar
• Posner , M. I. 1978 . Chronometric investigations of the mind , New York : Lawrence Erlbaum Associates Inc .
   Google Scholar
• Pylshyn , Z. W. , ed. 1987 . The robot's dilemma: The frame problem in Artificial Intelligence , Norwood, NJ : Ablex .
   Google Scholar
• Reiter , R. 1985 . A logic for default reasoning . Artificial Intelligence , 13 : 81 – 132 .
   Google Scholar
• Reiter , R. 1985 . “ On reasoning by default ” . In Readings in knowledge representation , Edited by: Brachman , R. and Levesque , H. Los Altos, CA : Morgan Kaufman . originally published 1978
   Google Scholar
• Rips , L. J. 1983 . Cognitive processes in propositional reasoning . Psychological Review , 90 : 38 – 71 .
   Web of Science ®Google Scholar
• Rips , L. J. 1990 . Reasoning . Annual Review of Psychology , 41 : 321 – 353 .
   PubMed Web of Science ®Google Scholar
• Rips , L. J. 1994 . The psychology of proof , Cambridge, MA : MIT Press .
   Google Scholar
• Rumain , B. , Connell , J. and Braine , M. D.S. 1983 . Conversational comprehension processes are responsible for reasoning fallacies in children as well as adults: IF is not the Biconditional . Development Psychology , 19 : 471 – 481 .
   Web of Science ®Google Scholar
• Rumelhart , D. E. 1980 . “ Schemata: The building blocks of cognition ” . In Theoretical issues in reading comprehension , Edited by: Spiro , R. J. , Bruce , B. C. and Brewer , W. F. Hillsdale, NJ : Lawrence Erlbaum Associates Inc. .
   Google Scholar
• Schank , R. C. 1982 . Dynamic memory , Cambridge : Cambridge University Press .
   Google Scholar
• Sperber , D. , Cara , F. and Girotto , V. in press . Relevance explains the selection task . Cognition ,
   Google Scholar
• Stich , S. 1985 . Could man be an irrational animal? . Synthese , 64 : 115 – 135 .
   Web of Science ®Google Scholar
• Stich , S. 1990 . The fragmentation of reason , Cambridge, MA : MIT Press .
   Google Scholar
• Tsotsos , J. K. 1990 . Analyzing vision at the complexity level . Behavioral & Brain Sciences , 13 : 423 – 469 .
   Web of Science ®Google Scholar
• Wason , P. C. 1960 . On the failure to eliminate hypotheses in a conceptual task . Quarterly Journal of Experimental Psychology , 12 : 129 – 140 .
   Web of Science ®Google Scholar
• Wason , P. C. 1966 . “ Reasoning ” . In New horizons in psychology , Edited by: Foss , B. Harmondsworth, , UK : Penguin .
   Google Scholar
• Wason , P. C. 1968 . Reasoning about a rule . Quarterly Journal of Experimental Psychology , 20 : 273 – 281 .
   PubMed Web of Science ®Google Scholar
• Wason , P. C. 1969 . Regression in reasoning . British Journal of Psychology , 60 : 471 – 480 .
   PubMed Web of Science ®Google Scholar