Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Inductive Reasoning

Inductive Reasoning

Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...

Constraints and Statical Determinacy

Constraints and Statical Determinacy

In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...

Deductive Reasoning

Deductive Reasoning

Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...

Base Quantities and Derived Quantities

Base Quantities and Derived Quantities

In any system of units, the units for some physical quantities must be specified through a measurement process. These measurements are the base quantities of the system, and their units are the base units of the system. The algebraic combinations of the base values can then be used to express all other physical quantities. Each of these physical quantities is then referred to as a derived quantity, with each unit being referred to as a derived unit.
The International Organization for...

The Availability Heuristic

The Availability Heuristic

A heuristic is a general problem-solving framework (Tversky & Kahneman, 1974). You can think of these as mental shortcuts that are used to solve problems. Different types of heuristics are used in different types of situations, and the impulse to use a heuristic occurs when one of five conditions is met (Pratkanis, 1989):

Relating Angular And Linear Quantities - I

Relating Angular And Linear Quantities - I

If the rotational definitions are compared with the definitions of linear kinematic variables from motion along a straight line and motion in two and three dimensions, we can observe a mapping of the linear variables to the rotational ones.
When comparing the linear and rotational variables individually, the linear variable of position has physical units of meters, whereas the angular position variable has dimensionless units of radians, as it is the ratio of two lengths. The linear velocity...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same author

The role of goals, actions, and outcomes in the sense of agency.

Acta psychologica·2026

Same author

Naïve epistemics: A theory of rational and error-prone mental state reasoning.

Cognition·2026

Same author

Opportunities and risks of artificial intelligence in patient portal messaging in primary care.

NPJ digital medicine·2025

Same author

Mistakes in Thinking about Cognitive Science and How to Reduce Them.

eNeuro·2024

Same author

The latent scope bias: Robust and replicable.

Cognition·2024

Same author

Reasoning From Quantified Modal Premises.

Cognitive science·2024

Search research articles

Related Experiment Video

Updated: Apr 18, 2026

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language

Published on: October 13, 2018

Immediate inferences from quantified assertions.

Sangeet Khemlani¹, Max Lotstein, J Gregory Trafton

¹a Navy Center for Applied Research in Artificial Intelligence , Naval Research Laboratory , Washington , DC , USA.

Quarterly Journal of Experimental Psychology (2006)

|January 22, 2015

Summary

This summary is machine-generated.

This study introduces a mental model theory for immediate inferences from quantified statements. The theory predicts three difficulty levels for logical reasoning, validated across various inference types.

Keywords:

Logic Mental models Quantifiers Reasoning Syllogisms

More Related Videos

Quantifying Learning in Young Infants: Tracking Leg Actions During a Discovery-learning Task

Quantifying Learning in Young Infants: Tracking Leg Actions During a Discovery-learning Task

Published on: June 1, 2015

Characterization of the Sense of Agency over the Actions of Neural-machine Interface-operated Prostheses

Characterization of the Sense of Agency over the Actions of Neural-machine Interface-operated Prostheses

Published on: January 7, 2019

Related Experiment Videos

Last Updated: Apr 18, 2026

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language

Published on: October 13, 2018

Quantifying Learning in Young Infants: Tracking Leg Actions During a Discovery-learning Task

Quantifying Learning in Young Infants: Tracking Leg Actions During a Discovery-learning Task

Published on: June 1, 2015

Characterization of the Sense of Agency over the Actions of Neural-machine Interface-operated Prostheses

Characterization of the Sense of Agency over the Actions of Neural-machine Interface-operated Prostheses

Published on: January 7, 2019

Area of Science:

Cognitive Science
Psychology
Artificial Intelligence

Background:

Immediate inferences from quantified statements are fundamental to logical reasoning.
Existing theories may not fully capture the cognitive processes involved in deductive reasoning.

Purpose of the Study:

To propose and validate a new theory of immediate inferences based on mental models.
To explain varying levels of difficulty in logical reasoning tasks.
To implement the theory in a computational model (mReasoner).

Main Methods:

Development of a mental model theory for single-quantifier assertions.
Implementation of the theory in the mReasoner computer program.
Empirical validation through reanalysis of existing data and three new experiments involving necessary, modal, and unorthodox quantifiers, and consistency judgments.

Main Results:

The theory accurately predicts three distinct levels of inference difficulty.
These difficulty levels were empirically corroborated across different types of quantified inferences.
A stochastic system with three parameters quantitatively predicted accuracy differences within inference types.

Conclusions:

The mental model theory provides a robust framework for understanding immediate inferences from quantified statements.
The mReasoner program demonstrates the computational viability of the theory.
The findings offer insights into human deductive reasoning and potential AI applications.