Abstract
We conducted a computer-based psychological experiment in which a random mix of 40 tautologies and 40 non-tautologies were presented to the participants, who were asked to determine which ones of the formulas were tautologies. The participants were eight university students in computer science who had received tuition in propositional logic. The formulas appeared one by one, a time-limit of 45 s applied to each formula and no aids were allowed. For each formula we recorded the proportion of the participants who classified the formula correctly before timeout (accuracy) and the mean response time among those participants (latency). We propose a new proof formalism for modeling propositional reasoning with bounded cognitive resources. It models declarative memory, visual memory, working memory, and procedural memory according to the memory model of Atkinson and Shiffrin and reasoning processes according to the model of Newell and Simon. We also define two particular proof systems, T and NT, for showing propositional formulas to be tautologies and non-tautologies, respectively. The accuracy was found to be higher for non-tautologies than for tautologies (p < .0001). For tautologies the correlation between latency and minimum proof length in T was .89 and for non-tautologies the correlation between latency and minimum proof length in NT was .87.
Similar content being viewed by others
References
Adler J. E., Rips L. J. (2008) Reasoning: Studies of human inference and its foundations. Cambridge University Press, Cambridge
Anderson J., Lebiere C. (1998) The atomic components of thought. Lawrence Erlbaum, Mahwah NJ
Atkinson R. C., Shiffrin R. M. (1968) Human memory: A proposed system and its control processes. Academic Press, New York, pp 89–195
Baddeley A. (2007) Working memory, thought and action. Oxford University Press, Oxford
Braine M. D. S., O’Brien D. P. (1998) Mental logic. L. Erlbaum Associates, England
Braine, M. D. S., Reiser, B. J., & Rumain, B. (1998). Evidence for the theory: Predicting the difficulty of propositional logic inference problems. In Mental logic (pp. 91–144). England: L. Erlbaum Associates.
Buss, S. (eds) (1998) Handbook of proof theory. Elsevier, Amsterdam
Byrne R. M. J. (1989) Suppressing valid inferences with conditionals. Cognition 31: 61–83
Conway A. R. A., Kane M. J., Engle R. W. (2003) Working memory capacity and its relation to general intelligence. Trends in Cognitive Sciences 7(12): 547–552
Cowan, N. (2001). The magical number 4 in short-term memory: A reconsideration of mental storage capacity. Behavioral and Brain Sciences, 24(1), 87–114.
Fitch F. B. (1952) Symbolic logic: An introduction. Ronald Press, New York
Gentzen G. (1969) Investigations into logical deductions. In: Szabo M. E. (eds) The collected papers of Gerhard Gentzen. North-Holland Publishing Co, Amsterdam, pp 68–131
Geuvers H., Nederpelt R. (2004) Rewriting for fitch style natural deductions. In: Oostrom V. (eds) Rewriting techniques and applications, 15th international conference. Springer, New York
Guglielmi A. (2007) A system of interaction and structure. ACM Transactions on Computational Logic 8(1): 1–64
Hedqvist, D. (2007). Human reasoning in propositional logic. Master’s thesis, Chalmers University of Technology.
Holyoak, K. J. & Morrison, R. (Eds.). (2005). The Cambridge handbook of thinking and reasoning. Cambridge: Cambridge University Press.
Jaśkowski, S. (1934). On the rules of suppositions in formal logic. Studia Logica, 1, 5–32. Reprinted in S. McCall (Ed.), Polish logic 1920–1939 (pp. 232–258). Oxford: Clarendon Press.
Johnson-Laird P. N. (1983) Mental models. Harvard University Press, Cambridge
Johnson-Laird P. N. (2008) How we reason. Oxford University Press, Oxford
Johnson-Laird P. N. (2008) Mental models and deductive reasoning. In: Adler J. E., Rips L. J. (eds) Reasoning: Studies of human inference and its foundations. Cambridge University Press, Cambridge
Laird J., Newell A., Rosenbloom P. (1987) Soar: An architecture for general intelligence. Artificial Intelligence 33(3): 1–64
van Lambalgen M., Stenning K. (2008) Interpretation, representation and deductive reasoning. In: Adler J. E., Rips L. J. (eds) Reasoning: Studies of human inference and its foundations. Cambridge University Press, Cambridge
Lovett M. C., Anderson J. R. (2005) Thinking as a production system. In: Holyoak K. J., Morrison R. (eds) The Cambridge handbook of thinking and reasoning. Cambridge University Press, Cambridge
Luck S. J., Hollingworth A. (2008) Visual memory systems. In: Luck S. J., Hollingworth A. (eds) Visual memory. Oxford University Press, Oxford
Miller G. A. (1956) The magical number seven, plus or minus two: Some limits on our capacity for processing information. Psychological Review 63: 81–97
Negri S., von Plato J. (2001) Structural proof theory. Cambridge University Press, Cambridge
Newell, A., & Simon, H. A. (1956). The logic theory machine: A complex information processing system. IRE Transactions on Information Theory, IT-2(3), 61–79.
Newell A., Simon H. A. (1961) GPS, a program that simulates human thought. In: Billing H. (eds) Lernende automaten. R. Oldenbourg, München, pp 109–124
Newell A., Simon H. A. (1972) Human problem solving. Prentice-Hall, Englewood Cliffs, NJ
Newstead S. (1989) Interpretational errors in syllogistic reasoning. Journal of Memory and Language 28: 78–91
Newstead S. (1995) Gricean implicatures and syllogistic reasoning. Journal of Memory and Language 34: 644–664
Osherson D. N. (1976) Logical abilities in children (Vol. 1–4). Erlbaum, Hillsdale, NJ
Prawitz D. (1965) Natural deduction. A proof-theoretical study, Stockholm studies in philosophy (Vol. 3). Almqvist & Wiksell, Stockholm
Rips L. (1996) The psychology of proof. Bradford, Cambridge
Rips L. J. (2008) Logical approaches to human reasoning. In: Adler J. E., Rips L. J. (eds) Reasoning: Studies of human inference and its foundations. Cambridge University Press, Cambridge
Robinson A., Voronkov A. (2001) Handbook of automated reasoning. Elsevier Science, Amsterdam
Schütte K. (1960) Beweistheorie Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete (Vol. 103). Springer, New York
Sheeran M., Stålmarck G. (2000) A tutorial on Stålmarck’s proof procedure for propositional logic. Formal Methods in Systems Design 16(1): 23–58
Smith R. E., Passer M. W. (2008) Psychology: The science of mind and behavior. McGraw-Hill, New York
Smullyan, R. M. (1995). First-order logic (2nd corrected ed.). Dover Publications, New York. First published 1968 by Springer.
Strannegård C. (2006) A proof system for modeling reasoning processes in propositional logic. Bulletin of Symbolic Logic 12(5): 347
Strannegård, C. (2007). Proving first-order sentences with bounded cognitive resources. Philosophical communications, Web series, no. 39, Göteborg University.
Troelstra A. S., & van Dalen D. (1988). Constructivism in mathematics, vol 1. Studies in logic and the foundations of mathematics (Vol. 121). North Holland, Amsterdam.
Troelstra A. S., Schwichtenberg H. (1996) Basic proof theory. Cambridge University Press, Cambridge
Wason, P. C. (1966). Reasoning. In New horizons in psychology. Penguin.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Strannegård, C., Ulfsbäcker, S., Hedqvist, D. et al. Reasoning Processes in Propositional Logic. J of Log Lang and Inf 19, 283–314 (2010). https://doi.org/10.1007/s10849-009-9102-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-009-9102-0