Skip to main content

A Computational Logic Approach to the Belief Bias in Human Syllogistic Reasoning

Part of the Lecture Notes in Computer Science book series (LNAI,volume 10257)

Abstract

Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show that they had difficulties to reason with syllogistic statements that contradicted their own beliefs. We consider a syllogistic reasoning task carried out by Evans, Barston and Pollard, who investigated the belief-bias effect with respect to syllogisms. We propose a formalization of the belief-bias effect for human syllogistic reasoning under the Weak Completion Semantics, a logic programming approach that aims at adequately modeling human reasoning.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-57837-8_55
  • Chapter length: 17 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   89.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-57837-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   119.99
Price excludes VAT (USA)

Notes

  1. 1.

    This implies that all abnormalities about \( mil \) or \( mil^{\prime } \) are false with respect to \(o_4\).

  2. 2.

    This implies that all abnormalities about \( add \) or \( add^\prime \) are false with respect to \(o_4\).

References

  1. Adler, J., Rips, L.: Reasoning: Studies of Human Inference and Its Foundations. Cambridge University Press, Cambridge (2008)

    CrossRef  Google Scholar 

  2. Chapman, L.J., Chapman, J.P.: Atmosphere effect re-examined. J. Exp. Psychol. 58(3), 220–226 (1959)

    CrossRef  Google Scholar 

  3. Costa, A., Dietz, E.A., Hölldobler, S., Ragni, M.: A computational logic approach to human syllogistic reasoning (2017, submitted)

    Google Scholar 

  4. Dietz, E.A.: A computational logic approach to syllogisms in human reasoning. In: Furbach, U., Schon, C. (eds.) CEUR WS Proceedings on Bridging the Gap Between Human and Automated Reasoning, pp. 17–31 (2015)

    Google Scholar 

  5. Dietz, E.-A., Hölldobler, S.: A new computational logic approach to reason with conditionals. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 265–278. Springer, Cham (2015). doi:10.1007/978-3-319-23264-5_23

    CrossRef  Google Scholar 

  6. Dietz, E.A., Hölldobler, S., Höps, R.: A computational logic approach to human spatial reasoning. In: IEEE Symposium on Human-Like Intelligence (CIHLI) (2015)

    Google Scholar 

  7. Dietz, E.A., Hölldobler, S., Pereira, L.M.: On conditionals. In: Gottlob, G., Sutcliffe, G., Voronkov, A. (eds.) GCAI. Epic Series in Computing. EasyChair (2015)

    Google Scholar 

  8. Dietz, E.A., Hölldobler, S., Ragni, M.: A computational logic approach to the suppression task. In: Miyake, N., Peebles, D., Cooper, R.P. (eds.) Proceedings of 34th Conference of Cognitive Science Society, pp. 1500–1505. Cognitive Science Society (2012)

    Google Scholar 

  9. Dietz, E.A., Hölldobler, S., Ragni, M.: A computational logic approach to the abstract and the social case of the selection task. In: Proceedings of COMMONSENSE 2013 (2013)

    Google Scholar 

  10. Evans, J.S.: Bias in Human Reasoning - Causes and Consequences. Essays in Cognitive Psychology. Lawrence Erlbaum, Hove (1989)

    Google Scholar 

  11. Evans, J.S.: In two minds: dual-process accounts of reasoning. Trends Cogn. Sci. 7(10), 454–459 (2003)

    CrossRef  Google Scholar 

  12. Evans, J.: Thinking and believing. In: Mental Models in Reasoning (2000)

    Google Scholar 

  13. Evans, J., Handley, S., Harper, C.: Necessity, possibility and belief: a study of syllogistic reasoning. Q. J. Exp. Psychol. 54(3), 935–958 (2001)

    CrossRef  Google Scholar 

  14. Evans, J.: Biases in deductive reasoning. In: Pohl, R. (ed.) Cognitive Illusions: A Handbook on Fallacies and Biases in Thinking, Judgement and Memory. Psychology Press, New York (2012)

    Google Scholar 

  15. Evans, J., Barston, J.L., Pollard, P.: On the conflict between logic and belief in syllogistic reasoning. Memory Cogn. 11(3), 295–306 (1983)

    CrossRef  Google Scholar 

  16. Garnham, A., Oakhill, J.: Thinking and Reasoning. Wiley, Hoboken (1994)

    Google Scholar 

  17. Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics, vol. 3. Academic Press, New York (1975)

    Google Scholar 

  18. Hölldobler, S.: Logik und Logikprogrammierung 1: Grundlagen. Kolleg Synchron, Synchron (2009)

    MATH  Google Scholar 

  19. Hölldobler, S., Kencana Ramli, C.D.P.: Logic programs under three-valued Łukasiewicz semantics. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 464–478. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02846-5_37

    CrossRef  Google Scholar 

  20. Hölldobler, S., Kencana Ramli, C.D.P.: Logics and networks for human reasoning. In: Alippi, C., Polycarpou, M., Panayiotou, C., Ellinas, G. (eds.) ICANN 2009. LNCS, vol. 5769, pp. 85–94. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04277-5_9

    CrossRef  Google Scholar 

  21. Johnson-Laird, P.N.: Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness. Harvard University Press, Cambridge (1983)

    Google Scholar 

  22. Johnson-Laird, P.N., Byrne, R.M.: Deduction (1991)

    Google Scholar 

  23. Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Log. Comput. 2(6), 719–770 (1993)

    MathSciNet  CrossRef  MATH  Google Scholar 

  24. Khemlani, S., Johnson-Laird, P.N.: Theories of the syllogism: a meta-analysis. Psychol. Bull. 138, 427–457 (2012)

    CrossRef  Google Scholar 

  25. Lloyd, J.W.: Foundations of Logic Programming. Springer, New York (1984)

    CrossRef  MATH  Google Scholar 

  26. Łukasiewicz, J.: O logice trójwartościowej. In: Ruch Filozoficzny, vol. 5, pp. 169–171 (1920). English translation: On three-valued logic. In: Łukasiewicz, J., Borkowski, L. (eds.) Selected Works, pp. 87–88. North Holland, Amsterdam (1990)

    Google Scholar 

  27. Newstead, S., Handley, S., Buck, E.: Falsifying mental models: testing the predictions of theories of syllogistic reasoning. Memory Cogn. 27(2), 344–354 (1999)

    CrossRef  Google Scholar 

  28. Polk, T.A., Newell, A.: Deduction as verbal reasoning. Psychol. Rev. 102(3), 533–566 (1995)

    CrossRef  Google Scholar 

  29. Rips, L.J.: The Psychology of Proof: Deductive Reasoning in Human Thinking. MIT Press, Cambridge (1994)

    MATH  Google Scholar 

  30. Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. A Bradford Book. MIT Press, Cambridge (2008)

    Google Scholar 

  31. Wilkins, M.: The effect of changed material on the ability to do formal syllogistic reasoning. Arch. Psychol. 16(102), 1–83 (1928)

    Google Scholar 

  32. Woodworth, R.S., Sells, S.B.: An atmosphere effect in formal syllogistic reasoning. J. Exp. Psychol. 18(4), 451–60 (1935)

    CrossRef  Google Scholar 

Download references

Acknowledgements

Many thanks to Steffen Hölldobler and Luís Moniz Pereira for valuable feedback.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Emmanuelle-Anna Dietz .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Dietz, EA. (2017). A Computational Logic Approach to the Belief Bias in Human Syllogistic Reasoning. In: Brézillon, P., Turner, R., Penco, C. (eds) Modeling and Using Context. CONTEXT 2017. Lecture Notes in Computer Science(), vol 10257. Springer, Cham. https://doi.org/10.1007/978-3-319-57837-8_55

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-57837-8_55

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-57836-1

  • Online ISBN: 978-3-319-57837-8

  • eBook Packages: Computer ScienceComputer Science (R0)