Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Deductive Reasoning01:16

Deductive Reasoning

71.7K
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...
71.7K
Inductive Reasoning00:59

Inductive Reasoning

69.4K
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...
69.4K
Reasoning01:30

Reasoning

506
Reasoning is the action of thinking about something in a logical, sensible way. It is integral to problem-solving, decision-making, and critical thinking. Reasoning can be inductive or deductive. Reasoning involves transforming information into conclusions, which is essential for problem-solving, decision-making, and critical thinking.
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
506
Mathematical Induction01:29

Mathematical Induction

392
Mathematical induction is a structured method of proof used to confirm the truth of statements involving natural numbers. Consider the sum of the first n natural numbers:This formula describes a pattern that appears to hold true as more terms are added. To verify that it is valid for all natural numbers, mathematical induction proceeds in two essential steps. The first is the base case, where the formula is tested for the initial value, typically n = 1. Substituting into both sides confirms the...
392
Reason and Intuition01:37

Reason and Intuition

7.7K
The human brain processes information for decision-making using one of two routes: an intuitive system and a rational system (Epstein, 1994; popularized by Kahneman, 2011 as System 1 and System 2, respectively). The intuitive system is quick, impulsive, and operates with minimal effort, relying on emotions or habits to provide cues for what to do next, while the rational system is logical, analytical, deliberate, and methodical. Research in neuropsychology suggests that the...
7.7K
Hindsight Biases01:12

Hindsight Biases

4.5K
Hindsight bias leads you to believe that the event you just experienced was predictable, even though it really wasn’t. In other words, you knew all along that things would turn out the way they did. Can you relate this to the phrase "Hindsight is 20/20" now? 
4.5K

You might also read

Related Articles

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

Sort by
Same author

The probabilities of unique events.

PloS one·2012
Same journal

Functional Neural Architecture of Working Memory in Musicians: An ALE Meta-Analysis and Review.

Wiley interdisciplinary reviews. Cognitive science·2026
Same journal

Collective Memory in Animals.

Wiley interdisciplinary reviews. Cognitive science·2026
Same journal

What Counts as an Environment in Memory Research? Conceptualizing Environment Across Memory Traditions.

Wiley interdisciplinary reviews. Cognitive science·2026
Same journal

Origins and Evolution of Imagination, From Australopithecus to Modern-Day Deep Learning.

Wiley interdisciplinary reviews. Cognitive science·2026
Same journal

Multilevel Perceptual-Motor Coupling: From Action Understanding to Execution.

Wiley interdisciplinary reviews. Cognitive science·2026
Same journal

Hope in Early Childhood: Novel Methodology for Measuring Hope in 5- and 6-Year-Olds.

Wiley interdisciplinary reviews. Cognitive science·2026
See all related articles

Related Experiment Video

Updated: Apr 5, 2026

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task
06:08

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on: July 22, 2025

1.1K

Deductive reasoning.

Phil Johnson-Laird1

  • 1Department of Psychology, University of Princeton, Princeton, NJ 08540, USA.

Wiley Interdisciplinary Reviews. Cognitive Science
|August 15, 2015
PubMed
Summary
This summary is machine-generated.

This article explores formal logic, computer-aided inference, and human reasoning processes. It examines how logicians, computer scientists, and psychologists approach deduction and logical validity.

More Related Videos

The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients
05:48

The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients

Published on: June 12, 2020

6.6K

Related Experiment Videos

Last Updated: Apr 5, 2026

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task
06:08

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on: July 22, 2025

1.1K
The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients
05:48

The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients

Published on: June 12, 2020

6.6K

Area of Science:

  • Formal logic and computational reasoning.
  • Cognitive psychology and human deduction.

Background:

  • Logicians develop formal rules for sentential calculus using negation, if, or, and, and connectives.
  • Computer scientists create programs to validate logical inferences across various domains.

Discussion:

  • The article bridges formal logic, computational methods, and cognitive science.
  • It highlights the interdisciplinary nature of studying reasoning.

Key Insights:

  • Understanding formal inference rules is crucial for computational and cognitive models.
  • Automated theorem proving and human deduction share underlying logical principles.

Outlook:

  • Future research may integrate formal systems with psychological models of human reasoning.
  • Advancements in artificial intelligence and cognitive science can benefit from this integrated approach.