Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
Hostname: page-component-5cf477f64f-fcbfl Total loading time: 0 Render date: 2025-04-05T16:59:56.366Z Has data issue: false hasContentIssue false

9 - Logical Approaches to Human Deductive Reasoning

Published online by Cambridge University Press:  05 June 2012

By
Lance J. Rips
Edited by
Jonathan E. Adler  and
Lance J. Rips
Lance J. Rips
Affiliation:
Northwestern University
Jonathan E. Adler
Affiliation:
Brooklyn College, City University of New York
Lance J. Rips
Affiliation:
Northwestern University, Illinois
Get access

Summary

The idea that formal logic bears a close relationship to human reasoning is extremely controversial within cognitive science. For example, Wason and Johnson-Laird (1972: 245) concluded their influential study of reasoning by stating that “only gradually did we realize first that there was no existing formal calculus which correctly modeled our subjects' inferences, and second that no purely formal system would succeed.” This kind of opposition is based on evidence that subjects' judgments about an argument sometimes depart from the answer that the experimenter derived by translating the argument into some system of logic and assessing its correctness within that system. The strength of this evidence, however, clearly depends on the system the investigator uses. If the investigator's conception is too narrow, what is classified as nonlogical behavior may turn out logical after all. To evaluate the evidence, we need some clear idea of what logic has to offer.

Most cognitive theories that contain a logic-like component (e.g., Braine 1978; Johnson-Laird 1975; Osherson 1974, 1975, 1976; Rips 1983) are based on the notion of proof, particularly the “natural deduction” proofs originally devised by Gentzen (1935/1969) and Jaskowski (1934). The basic notion is familiar to anyone who has taken a high school mathematics course: If you want to know whether a particular argument is deductively correct, you can find out by taking its premises as given and then trying to derive its conclusion by applying a specified set of rules.

Type
Chapter
Information
Reasoning
Studies of Human Inference and its Foundations
 , pp. 187 - 205
Publisher: Cambridge University Press
Print publication year: 2008

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Anderson, J. R. (1983). The architecture of cognition. Cambridge, MA: Harvard University Press.Google Scholar
Braine, M. D. S. (1978). On the relation between the natural logic of reasoning and standard logic. Psychological Review, 85, 1–21.Google Scholar
Braine, M. D. S., Reiser, B. J., Rumain, B. (1984). Some empirical justification for a theory of natural propositional reasoning. Psychology of Learning and Motivation, 18, 313–371. Orlando, FL: Academic Press.Google Scholar
Collins, A. M., and Loftus, E. F. (1975). A spreading activation theory of semantic precessing. Psychological Review, 13, 1–50.Google Scholar
Copi, I. M. (1954). Symbolic logic. New York: Macmillan.Google Scholar
Dowty, D. R. (1993). Categorial grammar, reasoning, and cognition. Paper presented at the 29th regional meeting of the Chicago Linguistics Society.Google Scholar
Fine, K. (1985a). Natural deduction and arbitrary objects. Journal of Philosophical Logic, 14, 57–107.CrossRefGoogle Scholar
Fine, K. (1985b). Reasoning with arbitrary objects. Oxford: Blackwells.Google Scholar
Gazdar, G. (1979). Pragmatics. New York: Academic Press.Google Scholar
Gentzen, G. (1969). Investigations into logical deduction. In Szabo, M. E. (ed.), The collected papers of Gerhard Gentzen. Amsterdam: North Holland. (Originally published 1935)Google Scholar
Gilhooly, K. J., Logie, R. H., Wetherick, N. E., and Wynn, V. (1993). Working memory and strategies in syllogistic reasoning task. Memory and Cognition, 21, 115–124.CrossRefGoogle Scholar
Grice, H. P. (1989). Studies in the way of words. Cambridge, MA: Harvard University Press.Google Scholar
Hitch, G. J., & Baddeley, A. D. (1976). Verbal reasoning and working memory. Quarterly Journal of Experimental Psychology, 28, 603–621.CrossRefGoogle Scholar
Jaskowski, S. (1934). On the rules of supposition in formal logic. Studia Logica, 1, 5–32.Google Scholar
Johnson-Laird, P. N. (1975). Models of deduction. In Falmagne, R. J. (ed.), Reasoning: Representation and process in children and adults. Hillsdale, NJ: Erlbaum.Google Scholar
Johnson-Laird, P. N. (1983). Mental models. Cambridge, MA: Harvard University Press.Google Scholar
Johnson-Laird, P. N., & Byrne, R. M. J. (1991). Deduction. Hillsdale, NJ: Erlbaum.Google Scholar
Johnson-Laird, P. N., Byrne, R. M. J., & Schaeken, W. (1992). Propositional reasoning by model. Psychological Review, 96, 658–673.Google Scholar
McCawley, J. D. (1981). Everything linguists have always wanted to know about logic but were ashamed to ask. Chicago: University of Chicago Press.Google Scholar
Newell, A., Shaw, J. C., & Simon, H. A. (1957). Empirical explorations with the Logic Theory Machine. In Proceedings of the Joint Computer Conference.Google Scholar
Osherson, D. N. (1974). Logical abilities in children, vol. 2. Hillsdale, NJ: Erlbaum.Google Scholar
Osherson, D. N. (1975). Logical abilities in children, vol. 3. Hillsdale, NJ: Erlbaum.Google Scholar
Osherson, D. N. (1976). Logical abilities in children, vol. 4. Hillsdale, NJ: Erlbaum.Google Scholar
Pelletier, F. J. (1977). Or. Theoretical linguistics, 4, 61–74.Google Scholar
Prawitz, D. (1965). Natural deduction: A proof-theoretical study. Stockholm: Almqvist and Wiksell.Google Scholar
Rips, L. J. (1983). Cognitive processes in propositional reasoning. Psychological Review, 90, 38–71.CrossRefGoogle Scholar
Rips, L. J. (1994). The psychology of proof: Deduction in human thinking. Cambridge, MA: MIT Press.Google Scholar
Rips, L. J. (1999). Human modes of quantificational reasoning. In Cooper, S. B. & Truss, J. K. (Eds.), Models and computability. Cambridge, England: Cambridge University Press.CrossRefGoogle Scholar
Rips, L. J. (2000). The cognitive nature of instantiation. Journal of Memory and Language, 43, 20–43.CrossRefGoogle Scholar
Rips, L. J., & Conrad, F. G. (1983). Individual differences in deduction. Cognition and Brain Theory, 6, 259–285.Google Scholar
Sperber, D., & Wilson, D. (1986). Relevance. Cambridge, MA: Harvard University Press.Google Scholar
Störring, G. (1908). Experimentelle Untersuchungen über einfache Schlussprozesse. Archiv für die Gesamte Psychologie, 11, 1–127.Google Scholar
Tarski, A. (1956). On the concept of truth in formalized languages. In Logic, semantics, metamathematics. Oxford: Oxford University Press. (Originally published 1936)Google Scholar
Thomason, R. H. (1970). Symbolic logic. New York: Macmillan.Google Scholar
Ungar, A. M. (1992). Normalization, cut-elimination, and the theory of proofs. Stanford, CA: CSLI.Google Scholar
Wason, P. C., & Johnson-Laird, P. N. (1972). The psychology of reasoning. Cambridge, MA: Harvard University Press.Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×