Abstract
Theories asserting that human reasoning is based on perceptual simulations often suppose these simulations are of concrete individual objects and the specific relations that hold among them. However, much human knowledge involves assertions about which relations do not hold, generalities over large numbers of objects and conditional facts. Can simulation theories explain how the mind represents these forms of knowledge, or are they inferior in their expressive power to knowledge representation schemes based on logical formalisms designed specifically to deal with negative, conditional and quantificational knowledge? In this paper, we show how assertions about mental simulations can in fact straightforwardly express all the concepts that comprise first-order logic, including negation, conditionals and both universal and existential quantification. We also speculate on how to extend this approach to deal with probabilistic and more expressive logics.
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Notes
As in a similar attempt (e.g., Barsalou 1999) to show the theoretical usefulness of a perceptual symbolic mechanism, it is important to be reasonably complete in our data coverage.
The implementation of logical inferences, such as the ones using Modus Ponens or its equivalent, by way of simulations is left for another paper.
Inclusion of abstract notions such as "mammal" may seem to compromise the tight correspondence between reasoning by simulation and perceptual mechanisms. However, the mammal property can be instantiated by way of a set of perceivable properties, such as the property of the female milk-feeding puppies.
Spivey (2007) simulates human mind in a more continuous manner, which may seem at odds with some of our observations here, such as the individuation of objects in simulations. However, Spivey’s continuous mechanisms also approximate the individuation of objects and the attribution of relations and predicates to those objects. Since we are not arguing that these simulation mechanisms are enabled by way of discrete logical inferences, Sipvey’s analysis is at least compatible with our observations about mental simulations.
As a support for this, see Garbarini and Adenzato (2004), which assumes that the object representation possible is a mechanism of "as-if" neural simulation. See also Hesslow (2002) for some neurological evidence that humans can simulate perceptual experiences in their mind, in a hypothetical setting that may involve assumptions. The latter work provides further physiological evidence that humans can simulate perception by activating the sensory areas of the brain so as to mimic the activity normally initiated by the sense organs.
We provide a more precise formulation of the assumption and result of simulations as well as what is true in reality in “The correspondence between mental simulations and first-order logic” section.
It is beyond the scope of this paper to study exactly how this sort of embedding of simulations is related to perceptual mechanisms, although we believe that some perceptual illusions involve an analogous chain of simulations.
The explanation of "negation" along these lines is similar to Barsalou (1999) explanation of falsity as the "failing to map the simulation into the situation."
As an intuitive example that motivates a mental simulation without an assumption introducing a new object in the conclusion, consider a simulation that a person might mentally run after hearing a gunshot. The gunshot is already heard and thus does not count as an assumption, and by way of elaboration, the person may mentally envisage an image of a (new) bullet flying in the air. Again, there is some neurological evidence (Hesslow 2002) that imagining perceiving something by way of perceptual simulations is essentially the same as actually perceiving it. As we explained earlier with regard to the perceptual attribution of properties and relations, once the formal expressive power of simulations allows us to introduce a new object without assumptions, motivated partly by an intuitive example as above, we do not need an intuitive justification as above each time our analysis posits an "empty-assumption" simulation introducing a new object.
References
Arces C, Blackburn P, Marx M (2001) Hybrid logic: characterization, interpolation and complexity. J Symb Log 66(3):977–1010
Barsalou LW (1999) Perceptual symbol systems. Behav Brain Sci 22:577–609
Barsalou LW (2003) Situated simulation in the human conceptual system. Lang Cogn Process 18:513–562
Barsalou LW (2009) Simulation, situated conceptualization, and prediction. Philos Trans R Soc Lond Biol Sci 364:1281–1289
Barsalou LW, Wiemer-Hastings K (2005) Situating abstract concepts. In: Pecher D, Zwaan R (eds) Grounding cognition: the role of perception and action in memory, language and thought. Cambridge University Press, New York, pp 129–163
Barsalou LW, Pecher D, Zeelenberg R, Simmons WK, Hamann SB (2005) Multi-modal simulation in conceptual processing. In: Goldstone W, Love B, Markman A, Wolff P (eds) Categorization inside and outside the lab: essays in honor of Douglas L. Medin. American Psychological Association, Washington, pp 249–270
Blackburn P, de Rijke M, Venema Y (2002) Modal logic. Cambridge University Press, Cambridge
Cassimatis NL (2006) Cognitive substrate for human-level intelligence. AI Mag 27(2):45–56
Cassimatis NL, Murugesan A, Bignoli PG (2009) Reasoning as simulation. Cogn Process 10(4):343–353
Clark A (2002) Is seeing all it seems? Action, reason and the grand illusion. J Conscious Stud 9(5/6):181–202
Clark A (2012) Perceiving as predicting. In: Biggs S, Matthen M, Stokes D (eds) Perception and its modalities. Oxford University Press, Oxford (to appear)
Dagum P, Chavez RM (1993) Approximating probabilistic inference in Bayesian belief networks. IEEE Trans Pattern Anal Mach Intell 15(3):246–255
Dale R, Duran ND (2011) The cognitive dynamics of negated sentence verification. Cogn Sci. doi:10.1111/j.1551-6709.2010.01164.x
Gamut LTF (1991) Logic, language, and meaning, vol 1–2. The University of Chicago Press, Chicago
Garbarini F, Adenzato M (2004) At the root of embodied cognition: cognitive science meets neurophysiology. Brain Cogn 56:100–106
Goldman A (1995) In defense of the simulation theory. In: Davis M, Stone T (eds) Folk psychology. Blackwell, Oxford, pp 191–206
Goldman A (2002) Simulation theory and mental concepts. In: Dokic J, Proust J (eds) Simulation and knowledge of action. Blackwell, Oxford, pp 1–20
Gordon RM (1995a) Folk psychology as simulation. In: Davis M, Stone T (eds) Folk psychology. Blackwell, Oxford, pp 60–73
Gordon RM (1995b) The simulation theory: objections and misconceptions. In: Davis M, Stone T (eds) Folk psychology. Blackwell, Oxford, pp 100–122
Gordon RM, Cruz J (2002) Simulation theory. In: Nadel L (ed) Encyclopedia of cognitive science. Macmillan, New York
Hesslow G (2002) Conscious thought as simulation of behavior and perception. Trends Cogn Sci 6(6):242–247
Johnson-Laird PN (1983) Mental models. Harvard University Press, Cambridge
Johnson-Laird PN (2006) How we reason. Oxford University Press, Oxford
Lakoff G (1987) Women, fire, and dangerous things: what categories reveal about the mind. The University of Chicago Press, Chicago
Lakoff G, Johnson M (1980) Metaphors we live by. The University of Chicago Press, Chicago
Lakoff G, Núñez R (2001) Where mathematics comes from: how the embodied mind brings mathematics into being. Basic Books, New York
May R (1985) Logical form. MIT Press, Cambridge
Spivey M (2007) The continuity of mind. Oxford University Press, New York
Wilcox T (1999) Object individuation: infants’ use of shape, size, pattern, and color. Cognition 72:125–166
Zakharyaschev M, Segerberg K, Rijke MD, Wansing H (2001) The origins of modern modal logic. In: Zakharyaschev M, Segerberg K, Rijke MD, Wansing H (eds) Advances in modal logic, vol 2. CSLI Publications, Stanford
Acknowledgments
The authors would like to thank Paul Bello, Selmer Bringsjord, Robyn Carston, Andy Clark, Catherine Wearing and the members of the Human-Level Intelligence Laboratory at RPI for discussions on this work and for comments on earlier drafts of this paper. The authors are also grateful to the editor and the anonymous reviewers whose comments on the earlier draft have helped improve the content and the presentation of the paper. This work was supported in part by grants from the Office of Naval Research (N000140910094), the Air Force Office of Scientific Research (FA9550-10-1-0389) and MURI award (N000140911029).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Uchida, H., Cassimatis, N.L. & Scally, J.R. Perceptual simulations can be as expressive as first-order logic. Cogn Process 13, 361–369 (2012). https://doi.org/10.1007/s10339-012-0444-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10339-012-0444-1