References
- Angluin , D. 1978 . Inductive inference of formal languages from positive data . Information and Control , 45 : 117 – 135 .
- Baddeley , A. 1986 . Working Memory , Oxford : Oxford University Press .
- Baddeley , A. and Hitch , G.J. 1974 . “ Working Memory ” . In Recent Advances in Learning and Motivation , Edited by: Bower , G. Vol. VII , New York : Academic Press .
- Bar‐Hillel , Y. and Carnap , R. 1964 . “ An outline of a theory of information ” . In Language and Information , Edited by: Bar‐Hillel , Y. Reading, MA : Addison‐Wesley .
- Berwick , R.C. 1986 . “ Learning from positive‐examples only: the subset principle and three case studies ” . In Machine Learning: An Artificial Intelligence Approach , Edited by: Michalski , R.S. , Carbonell , J.G. and Mitchell , T.M. Vol. II , Los Altos, CA : Morgan Kaufmann .
- Cheng , P.C.‐H. Diagrammatic reasoning in scientific discovery: modelling Galileo's Kinematic Diagrams . The Working Notes of The AAAI Spring Symposium Series: Reasoning with diagrammatic representations . March 1992 , Stanford.
- Cheng , P.C.‐H. Modelling inductive and deductive discovery strategies in Galilean kinematics . Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society . July 29 . Indiana University . 1 August
- Cheng , Peter C.‐H. and Simon , H.A. 1992 . “ The right representation for discovery: finding the conservation of momentum ” . In Machine learning: Proceedings of the Ninth International Conference , Edited by: Sleeman , D. and Edwards , P. San Mateo, CA : Morgan Kaufmann .
- Evans , J. St. B.T. 1989 . Bias in Human Reasoning: Causes and Consequences , Brighton : Lawrence Erlbaum Associates .
- Feibleman , J.K. 1960 . An Introduction to Peirce's Philosophy , London : George Allen & Unwin Ltd .
- Falkenhainer , B. , Forbus , K.D. and Gentner , D. 1983 . The structure‐mapping engine: algorithm and examples . Artificial Intelligence , 41 : 1 – 63 .
- Garnham , A. 1992 . Is logicist cognitive science possible? . Mind and Language ,
- Gilbert , D.T. 1991 . How mental systems believe . American Psychologist , 46 : 107 – 119 .
- Gilhooly , K.J. , Logie , R.H , Wetherick , N.E. and Wynn , V. 1992 . Working memory and strategies in syllogistic reasoning tasks , Psychology Department, Aberdeen University . Manuscript
- Gorman , M.E. 1992 . Simulating Science , Bloomington : University Press .
- Gorman , M.E. , Stafford , A. and Gorman , M.E. 1987 . Disconfirmation and dual hypotheses on a more difficult version of Wason's 2–4–6 task . Quarterly Journal of Experimental Psychology , 39A : 1 – 28 .
- Green , D.W. 1990 . “ Confirmation bias, problem‐solving and cognitive models ” . In Cognitive Biases , Edited by: Caverni , J.‐P. , Fabre , J.‐M. and Gonzalez , M. Amsterdam : Elsevier .
- Holyoak , K.J. and Koh , K. 1987 . Surface and structural similarity in analogical transfer . Memory and Cognition , 15 : 332 – 340 .
- Kahneman , D. and Tversky , A. 1979 . Prospect theory: an analysis of decision under risk . Econometrica , 47 : 263 – 291 .
- Klahr , D. and Dunbar , K. 1988 . Dual space search during scientific reasoning . Cognitive Science , 12 : 1 – 18 .
- Klayman , J. and Ha , Y.‐W. 1987 . Confirmation, disconfirmation and information in hypothesis‐testing . Psychological Review , 94 : 211 – 228 .
- Larkin , J.H. and Simon , H.A. 1987 . Why a diagram is (sometimes) worth ten thousand words . Cognitive Science , 11 : 65 – 99 .
- Margolis , H. 1987 . Patterns, Thinking and Cognition , Chicago : University of Chicago Press .
- Morris , H.C. 1992 . Logical creativity . Theory and Psychology , 2 : 89 – 107 .
- Norman , D.A. and Shaluce , T. 1980 . Attention to action: willed and automatic control of behaviour , CHIP Report 99 San Diego : University of California .
- Oakhill , J.V. and Johnson‐Laird , P. N. 1984 . Representation of spatial descriptions in working memory . Current Psychological Research and Reviews , Spring : 52 – 62 .
- Osherson , D.N. , Smith , E.E , Wilkie , O. , Lopez , A. and Shafir , E. 1990 . Category‐based induction . Psychological Review , 97 : 185 – 200 .
- Ryle , G. 1950 . “ ‘if, ‘so’ and ‘because’ ” . In Philosophical Analysis: a Collection of Essays , Edited by: Black , M. Ithaca, NY : Cornell University Press .
- Sahlin , N.‐E. 1991 . Baconian inductivism in research on human decision‐making . Theory and Psychology , 1 : 431 – 450 .
- Schlesinger , I.M. 1992 . A Framework for the Analysis of Arguments , Jerusalem : Department of Psychology, The Hebrew University . Manuscript
- Strawson , P.F. 1952 . Introduction to Logical Theory , London : Methuen .
- Toulmin , S. 1956 . The Uses of Argument , Cambridge : Cambridge University Press .
- Tweney , R.D. 1989 . “ A framework for the cognitive psychology of science ” . In Psychology of Science , Edited by: Gholson , B. , Shadish , W.R. Jr. , Neimeyer , R.A. and Hours , A.C. Cambridge : Cambridge University Press .
- Tweney , R.D. , Doherty , M.E , Worner , W.J. , Pliske , D.B. , Mynatt , C.R. , Gross , K.A. and Arkelin , D.L. 1980 . Strategies of rule discovery on an inference task . Quarterly Journal of Experimental Psychology , 32 : 109 – 123 .
- Wason , P.C. 1960 . On the failure to eliminate hypotheses in a conceptual task . Quarterly Journal of Experimental Psychology , 12 : 129 – 140 .