Related Experiment Video
Updated: May 21, 2026
14:38
Creating Objects and Object Categories for Studying Perception and Perceptual Learning
Published on: November 2, 2012
Perceptual simulations can be as expressive as first-order logic
Hiroyuki Uchida1, Nicholas L Cassimatis, J R Scally
1Cognitive Science Department, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. uchidh@rpi.edu
Cognitive Processing
|June 5, 2012
Summary
Human reasoning may rely on perceptual simulations. This study demonstrates how these simulations can represent complex logical concepts like negation, conditionals, and quantification, challenging prior limitations.
Area of Science:
- Cognitive Science
- Philosophy of Mind
- Artificial Intelligence
Background:
- Current theories of human reasoning often link it to perceptual simulations of concrete objects and their relations.
- A gap exists in explaining how simulation-based theories represent abstract knowledge, including negative, conditional, and generalized statements.
Purpose of the Study:
- To investigate whether theories of perceptual simulation can adequately represent complex forms of human knowledge.
- To compare the expressive power of simulation-based theories with logical formalisms for knowledge representation.
Main Methods:
- The study proposes a framework for representing knowledge through assertions about mental simulations.
- It demonstrates how these assertions can directly map to logical concepts such as negation, conditionals, universal quantification, and existential quantification.
Main Results:
- Assertions about mental simulations can straightforwardly express all concepts within first-order logic.
- This approach provides a unified account for representing both concrete and abstract knowledge within a simulation-based framework.
Conclusions:
- Simulation theories are not inherently limited in expressive power and can account for complex logical knowledge.
- The proposed method offers a potential pathway to extend simulation-based reasoning to probabilistic and more expressive logics.
Related Concept Videos
01:12Modeling and Similitude
Scaled modeling is a fundamental technique in engineering, enabling the study of large and complex systems by creating smaller, manageable replicas that recreate critical characteristics of the original. In hydrology and civil infrastructure, for example, scaled models of dams help analyze water flow, turbulence, and pressure. This method allows for accurate predictions of real-world behavior within a controlled environment, significantly reducing the cost and time involved in full-scale...
01:21Gestalt Principles of Perception
Gestalt principles provide a framework for understanding how humans perceive objects as unified wholes within their context. These principles are essential in explaining the cognitive processes that make sense of complex visual stimuli by organizing them into coherent groups. One fundamental principle is proximity, which posits that objects located close to each other are perceived as a collective group. For instance, when dots are positioned near one another, the visual system interprets them...
01:28Perception
Perception is a fundamental psychological process that enables individuals to organize, interpret, and consciously experience sensory information. This process is crucial for understanding and interacting with the world around us. It includes both bottom-up and top-down processing, each playing a distinct role in how we perceive our environment.
Bottom-up processing begins at the sensory level, where receptors detect external environmental stimuli. These could include the tactile sensation of...
Bottom-up processing begins at the sensory level, where receptors detect external environmental stimuli. These could include the tactile sensation of...
01:12Perceptual Constancy
Perceptual constancy is the ability to recognize that objects remain consistent and unchanged even when their appearance varies due to changes in sensory input. There are four main types of perceptual constancy: size constancy, shape constancy, color constancy, and brightness constancy.
Size constancy is the recognition that an object remains the same size, even when its image on the retina changes. For instance, a bus is perceived to be large enough to carry people, even if it looks tiny from...
Size constancy is the recognition that an object remains the same size, even when its image on the retina changes. For instance, a bus is perceived to be large enough to carry people, even if it looks tiny from...
01:21First Order Systems
First-order systems, such as RC circuits, are foundational in understanding dynamic systems due to their straightforward input-output relationship. Analyzing their responses to different input functions under zero initial conditions reveals significant insights into system behavior.
When a first-order system is subjected to a unit-step input, its response is characterized by its transfer function. By applying the Laplace transform of the unit-step input to the transfer function, expanding the...
When a first-order system is subjected to a unit-step input, its response is characterized by its transfer function. By applying the Laplace transform of the unit-step input to the transfer function, expanding the...
01:15First-Order Circuits
First-order electrical circuits, which comprise resistors and a single energy storage element - either a capacitor or an inductor, are fundamental to many electronic systems. These circuits are governed by a first-order differential equation that describes the relationship between input and output signals.
One common example of a first-order circuit is the RC (resistor-capacitor) circuit. These circuits are used in relaxation oscillators such as neon lamp oscillator circuits. When voltage is...
One common example of a first-order circuit is the RC (resistor-capacitor) circuit. These circuits are used in relaxation oscillators such as neon lamp oscillator circuits. When voltage is...