Reasoning from Suppositions

References

• Anno , M. and Nozaki , A. 1984 . Anno's hat tricks London : Bodley Head .
   Google Scholar
• Austin , J. L. 1970 . “ Truth ” . In Philosophical papers of J.L. Austin, 2nd Edition Edited by: Urmson , J. O. and Warnock , J. G. Oxford : Oxford University Press .
   Google Scholar
• Barwise , J. and Etchemendy , J. 1987 . The liar: an essay in truth and circularity New York : Oxford University Press .
   Google Scholar
• Braine , M. D. S. and O'Brien , D. P. 1991 . A theory of if: a lexical entry, reasoning program, and pragmatic principles . Psychological Review , 98 : 182 – 203 .
   Web of Science ®Google Scholar
• Byrne , R. M. J. 1989a . Suppressing valid inferences with conditionals . Cognition , 31 : 61 – 83 .
   PubMed Web of Science ®Google Scholar
• Byrne , R. M. J. 1989b . Everyday reasoning with conditional sequences . Quarterly Journal of Experimental Psychology , 41A : 141 – 166 .
   Web of Science ®Google Scholar
• Byrne , R. M. J. and Handley , S. J. 1992 . Reasoning strategies . Irish Journal of Psychology , 13 : 111 – 124 .
   Web of Science ®Google Scholar
• Byrne , R. M. J. and Handley , S. 1993 . “ The nature and development of meta-deductive reasoning strategies ” . In AI and Cognitive Science '92 Edited by: Ryan , K. and Sutcliffe , R. F. E. 59 – 70 . London : Springer-Verlag .
   Google Scholar
• Byrne , R. M. J. and Handley , S. Reasoning strategies in suppositional deductions. (submitted).
   Google Scholar
• Byrne , R. M. J. , Handley , S. and Johnson-Laird , P. N. 1992 . “ Advances in the psychology of reasoning: Meta-deduction ” . In Advances in the Psychology of Thinking Edited by: Keane , M. T. and Gilhooly , K. Vol. 1 , 127 – 145 . London : Harvester Wheatsheaf .
   Google Scholar
• Byrne , R. M. J. and Johnson-Laird , P. N. 1989 . Spatial reasoning . Journal of Memory and Language , 28 : 564 – 575 .
   Web of Science ®Google Scholar
• Byrne , R. M. J. and Johnson-Laird , P. N. 1992 . The spontaneous use of propositional connectives . Quarterly Journal of Experimental Psychology , 44A : 89 – 110 .
   Google Scholar
• Byrne , R. M. J. , Johnson-Laird , P. N. and Handley , S. 1993 . “ Who's telling the truth … Cognitive processes in meta-deductions ” . In AI and Cognitive Science '91 Edited by: Sorenson , H. 221 – 233 . London : Springer-Verlag .
   Google Scholar
• Dewdney , A. K. 1989 . People puzzles: Theme and variations . Scientific American , 260 : 1 – 91 . (January),88
   Web of Science ®Google Scholar
• Evans , J. St. B. T. 1972 . Deductive reasoning and linguistic usage (with special reference to negation) University of London . Unpublished PhD thesis
   Google Scholar
• Evans , J. St. B. T. 1990 . Reasoning with knights and knaves: A discussion of Rips . Cognition , 36 : 85 – 90 .
   Web of Science ®Google Scholar
• Evans , J. St. B. T. , Newstead , S. N. and Byrne , R. M. J. 1993 . Human reasonings: The psychology of deduction Hove, UK : Lawrence Erlbaum Associates, Ltd. .
   Google Scholar
• Eysenck , M. W. and Keane , M. T. 1990 . Cognitive psychology: A student's handbook Hove, UK : Lawrence Erlbaum Associates, Ltd. .
   Google Scholar
• Fujimura , K. 1884 . The Tokyo puzzles New York : Scribner . 1978
   Google Scholar
• Gentzen , G. 1935 . “ Investigations into logical deduction ” . In The collected papers of Gerhard Gentzen Edited by: Szabo , M. E. Amsterdam : North-Holland . 1969
   Google Scholar
• Goffman , E. 1959 . The presentation of self in everyday life New York : Doubleday .
   Google Scholar
• Grice , H. P. 1975 . “ Logic and conversation ” . In Syntax and semantics. Vol. 3: speech acts Edited by: Cole , P. and Morgan , J. L. New York : Seminar Press .
   Google Scholar
• Handley , S. J. and Byrne , R. M. J. The negation of conjunctions and disjunctions England : University of Plymouth . (in preparation).
   Google Scholar
• Jeffrey , R. 1981 . Formal logic: Its scope and limitations, second edition New York : McGraw-Hill .
   Google Scholar
• Johnson-Laird , P. N. and Barres , P. E. 1994 . “ When or means and: A study in mental models ” . In Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society Edited by: Ram , A. and Eiselt , K. 475 – 478 . Hillsdale, NJ : Lawrence Erlbaum Associates, Inc. .
   Google Scholar
• Johnson-Laird , P. N. and Byrne , R. M. J. 1989 . Only reasoning . Journal of Memory and Language , 28 : 313 – 330 .
   Web of Science ®Google Scholar
• Johnson-Laird , P. N. and Byrne , R. M. J. 1990 . Meta-logical puzzles: Knights, knaves and Rips . Cognition , 36 : 69 – 84 .
   PubMed Web of Science ®Google Scholar
• Johnson-Laird , P. N. and Byrne , R. M. J. 1991 . Deduction Hove, UK : Lawrence Erlbaum Associates, Ltd. .
   Google Scholar
• Johnson-Laird , P. N. , Byrne , R. M. J. and Schaeken , W. 1992 . Propositional reasoning by model . Psychological Review , 99 : 418 – 439 .
   PubMed Web of Science ®Google Scholar
• Johnson-Laird , P. N. , Byrne , R. M. J. and Tabossi , P. 1989 . Reasoning by model: The case of multiple quantification . Psychological Review , 96 : 658 – 673 .
   Web of Science ®Google Scholar
• Kahneman , D. , Slovic , P. and Tversky , A. 1982 . Judgement under uncertainty Cambridge : Cambridge University Press .
   Google Scholar
• Keane , M. T. , Ledgeway , T. and Duff , S. 1994 . Constraints on analogical mapping: A comparison of three models . Cognitive Science , 18 : 287 – 334 .
   Web of Science ®Google Scholar
• Kotovsky , K. and Simon , H. A. 1989 . What makes some problems really hard: Explorations in the problem space of difficulty . Cognitive Psychology , 22 : 143 – 183 .
   Web of Science ®Google Scholar
• Kripke , S. 1975 . Outline of a theory of truth . Journal of Philosophy , 72 : 690 – 716 .
   Web of Science ®Google Scholar
• Newell , A. 1990 . Unified theories of cognition Cambridge, MA : Harvard University Press .
   Google Scholar
• Newell , A. and Simon , H. A. 1972 . Human problem solving Englewood Cliffs, NJ : Prentice-Hall .
   Google Scholar
• Prawitz , D. 1965 . Natural deduction: A proof-theoretical study Stockholm : Almqvist and Wiksell .
   Google Scholar
• Quine , W. V. O. 1974 . Methods of logic. (3rd edition) London : Routledge & Kegan Paul .
   Google Scholar
• Rips , L. J. 1983 . Cognitive processes in propositional reasoning . Psychological Review , 90 : 38 – 71 .
   Web of Science ®Google Scholar
• Rips , L. J. 1989 . The psychology of knights and knaves . Cognition , 31 : 85 – 116 .
   PubMed Web of Science ®Google Scholar
• Rips , L. J. 1990 . Paralogical reasoning: Evans, Johnson-Laird, and Byrne on liar and truth-teller puzzles . Cognition , 36 : 291 – 314 .
   PubMed Web of Science ®Google Scholar
• Rips , L. J. 1994 . The psychology of proof Cambridge : MA: MIT .
   Google Scholar
• Smullyan , R. M. 1978 . What is the name of this book? The riddle of Dracula and other logical puzzles Englewood Cliffs, NJ : Prentice-Hall .
   Google Scholar
• Tarski , A. 1944 . The semantic conception of truth . Philosophy and phenomenological research , 4 : 341 – 375 .
   Google Scholar
• Wason , P. C. and Johnson-Laird , P. N. 1972 . Psychology of reasoning: Structure and content London : Batsford .
   Google Scholar
• Winer , B. J. 1971 . Statistical principles in experimental design, Third edition New York : McGraw-Hill .
   Google Scholar