Peirce, logic diagrams, and the elementary operations of reasoning

Thinking and Reasoning

Volumn 8, Issue 1, 2002, Pages 69-95

  Johnson Laird, P N ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3042662307     PISSN: 13546783     EISSN: 14640708     Source Type: Journal    
DOI: 10.1080/13546780143000099     Document Type: Article

References (52)

1. Andersen, M., 1996. “ Reasoning with diagram sequences ”. In Logic, language and computation. Vol. 1, Edited by: Seligman, J., and Westerstähl, D., 35–47. Stanford, CA: Center for the Study of Language and Information.
2. Barsalou, L. W., 1999. Perceptual symbol systems. Behavioral and Brain Sciences, 22: 577–660.
3. Barwise, J., 1993. Everyday reasoning and logical inference. Behavioral and Brain Sciences, 16: 337–338.
4. Barwise, J., and Etchemendy, J., Hyperproof: Logical reasoning with diagrams. AAAI Symposium on Reasoning with Diagrammatic Representations. Edited by: Narayanan, N. H., pp. 80–84. Stanford, CA: Stanford University.
5. Bauer, M. I., and Johnson-Laird, P. N., 1993. How diagrams can improve reasoning. Psychological Science, 4: 372–378.
6. Bochenski, I. M., 1961. A history of formal logic, Notre Dame: Notre Dame Press.
7. Boolos, G. S., and Jeffrey, R. C., 1989. Computability and logic, 3rd Edn., Cambridge: Cambridge University Press.
8. Braine, M. D. S., and O'Brien, D. P., eds. 1998. Mental logic, Mahwah, NJ: Lawrence Erlbaum Associates Inc.
9. Bucciarelli, M., and Johnson-Laird, P. N., 1999. Strategies in syllogistic reasoning. Cognitive Science, 23: 247–303.
10. Cheng, P. N., and Holyoak, K. J., 1985. Pragmatic reasoning schemas. Cognitive Psychology, 17: 391–416.
11. Clark, H. H., and Chase, W. G., 1972. On the process of comparing sentences against pictures. Cognitive Psychology, 3: 472–517.
12. Cook, S. A., The complexity of theorem proving procedures. Proceedings of the Third Annual Association of Computing Machinery Symposium on the Theory of Computing. pp. 151–158.
13. Evans, J. St. B. T., Newstead, S. E., and Byrne, R. M. J., 1993. Human reasoning: The psychology of deduction, Hove, UK: Lawrence Erlbaum Associates Ltd.
14. Gardner, M., 1982. Logic machines and diagrams, 2nd Edn., New York: McGraw-Hill.
15. Glasgow, J., Narayanan, N. H., and Chandrasekaran, B., 1995. Diagrammatic reasoning: Cognitive and computational perspectives, Cambridge, MA: MIT Press.
16. Hammer, E. M., 1995. Logic and visual information, Stanford, CA: Center for the Study of Language and Information.
17. Jeffrey, R., 1981. Formal logic: Its scope and limits, 2nd Edn, New York: McGraw-Hill.
18. Johnson-Laird, P. N., 1983. Mental models: Towards a cognitive science of language, inference and consciousness, Cambridge: Cambridge University Press. Cambridge, MA: Harvard University Press
19. Johnson-Laird, P. N., and Byrne, R. M. J., 1991. Deduction, Hove, UK: Lawrence Erlbaum Associates Ltd.
20. Kamp, H., 1981. “ A theory of truth and semantic representation ”. In Formal methods in the study of language, Edited by: Groenendijk, J. A. C., Janssen, T. M. V., and Stokhof, M. B J., 277–322. Amsterdam: Mathematical Centre Tracts.
21. Kamp, H., and Reyle, U., 1993. From discourse to logic: Introduction to model theoretic semantics of natural language, formal logic and discourse representation theory, Dordrecht: Kluwer Academic Publishers.
22. Kempe, A. B., 1886. Memoir on the theory of mathematical form. Philosophical Transactions of the Royal Society of London, 177: 1–70.
23. Keiner, K. L., 1991. Elements of logic, Lubbock, TX: Texas Tech Press.
24. Kneale, W., and Kneale, M., 1962. The development of logic, Oxford: Clarendon.
25. Kripke, S., 1963. Semantical considerations on modal logic. Acta Philosophica Fennica, 16: 83–94.
26. Larkin, J., and Simon, H., 1987. Why a diagram is (sometimes) worth 10,000 words. Cognitive Science, 4: 317–345.
27. Levesque, H. J., 1986. Making believers out of computers. Artificial Intelligence, 30: 81–108.
28. Lindsay, R. K., 1988. Images and inference. Cognition, 29: 229–250.
29. Markman, A. B., and Dietrich, E., 2000. Extending the classical view of representation. Trends in Cognitive Science, 4: 470–475.
30. Maxwell, J. C., 1910. “ Diagram ”. In Encyclopaedia Britannica, 11th Edn., Vol. D, 146–149. New York: The Encyclopaedia Britannica Company.
31. Newell, A., 1990. Unified theories of cognition, Cambridge, MA: Harvard University Press.
32. Oaksford, M., and Chater, N., 1994. A rational analysis of the selection task as optimal data selection. Psychological Review, 101: 608–631.
33. Oaksford, M., and Stenning, K., 1992. Reasoning with conditionals containing negated constituents. Journal of Experimental Psychology: Learning, Memory, and Cognition, 18: 835–854.
34. Partee, B. H., 1979. “ Semantics—mathematics or psychology? ”. In Semantics from different points of view, Edited by: Bäuerle, R., EgIi, R., and von Stechow, A., Berlin: Springer-Verlag.
35. Peirce, C. S., 1931–1958. Collected papers of Charles Sanders Peirce, Edited by: Hartshorne, C., Weiss, P., and Burks, A., Cambridge, MA: Harvard University Press. 8 Vols
36. Peirce, C. S., 1992. Reasoning and the logic of things: The Cambridge Conferences Lectures of 1898, Edited by: Keiner, K. L., Cambridge, MA: Harvard University Press.
37. Rips, L. J., 1994. The psychology of proof, Cambridge, MA: MIT Press.
38. Roberts, D. D., 1973. The existential graphs of Charles S. Peirce, The Hague, The Netherlands: Mouton.
39. Robinson, J. A., 1965. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, 12: 23–41.
40. Schaeken, W. S., Johnson-Laird, P. N., and d'Ydewalle, G., 1996. Mental models and temporal reasoning. Cognition, 60: 205–234.
41. Schroyens, W., Schaeken, W., and d'Ydewalle, G., 2001. The processing of negations in conditional reasoning: A meta-analytic case study in mental model and/or mental logic theory. Thinking and Reasoning, 7: 121–172.
42. Schwarte, S. H., and Fattaleh, D. L., 1972. Representation in deductive problem solving: The matrix. Journal of Experimental Psychology, 95: 343–348.
43. Sheffer, H. M., 1913. A set of five independent postulates for Boolean algebra, with application to logical constants. Transactions of the American Mathematical Society, 14: 481–488.
44. Shinn, S-J., 1994. Peirce and the logical status of diagrams. History and Philosophy of Logic, 15: 45–68.
45. Shinn, S-J., 1999. Reconstituting Beta graphs into an efficacious system. Journal of Logic, Language and Information, 8: 273–295.
46. Sowa, J. F., 1984. Conceptual structures: Information processing in mind and machine, Reading, MA: Addison-Wesley.
47. Sowa, J. F., 1997. “ Matching logical structure to linguistic structure ”. In Studies in the logic of Charles Sanders Peirce, Edited by: Houser, N., Roberts, D. D., and Evra, J. V., 418–444. Bloomington, IN: Indiana University Press.
48. Stenning, K., and Oberlander, J., 1995. A cognitive theory of graphical and linguistic reasoning: logic and implementation. Cognitive Science, 19: 97–140.
49. Styazhkin, N. I., 1969. History of mathematical logic from Leibniz to Peano, Cambridge, MA: MIT Press. Originally published in Russian in 1964
50. Wason, P. C., 1959. The processing of positive and negative information. Quarterly Journal of Experimental Psychology, 21: 92–107.
51. Wittgenstein, L., 1922. Tractatus Logico-Philosophicus, London: Routledge & Kegan Paul.
52. Wittgenstein, L., 1953. Philosophical investigations, Edited by: Anscombe, G. E. M., New York: Macmillan.