An End to the Controversy? A Reply to Rips

  title={An End to the Controversy? A Reply to Rips},
  author={Philip N. Johnson-Laird},
  journal={Minds and Machines},
Lance J. Rips’s The Psychology of Proof (Rips 1994) defended formal proofs, which his PSYCOP theory derives from rules of inference like those of a logical calculus. In my review (Johnson-Laird 1997), I congratulated him on having formulated the best available formal theory, but I defended mental models. They are the end product of perception and of understanding discourse, and they can be used for reasoning by testing whether any models of the premises are counterexamples to conclusions. Rips… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 14 references

The Cognitive Processes in Informal Reasoning

  • Shaw, F Victoria
  • Thinking and Reasoning
  • 1996

Truth and Illusion in Reasoning’, under submission

  • P. N. Johnson-Laird, Savary, Fabien
  • 1996

The Psychology of Proof: Deductive Reasoning in Human Thinking

  • Rips, J Lance
  • 1994

Everyday Reasoning and Logical Inference

  • Barwise, Jon
  • Behavioral and Brain Sciences
  • 1993

Can Valid Inferences Be Suppressed ?

  • J. RuthM.
  • 1991

Proof’, Minds and Machines

  • P. N. Johnson-Laird, Byrne, J RuthM.
  • 1991

Similar Papers

Loading similar papers…