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

Reasoning01:30

Reasoning

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,...
Deductive Reasoning01:16

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 from inductive reasoning. It uses a general principle or law to predict specific results. From these general principles, a scientist can predict specific results that remain valid as long as the general principles are correct.For example, a researcher can make specific predictions from the hypothesis "butterflies are attracted...
Inductive Reasoning00:59

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...
Reason and Intuition01:37

Reason and Intuition

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 brain can only use...
Structuralism01:26

Structuralism

Structuralism, an early psychological theory developed by Wilhelm Wundt and his student Edward Bradford Titchener, sought to dissect the human mind into its most fundamental components. Wundt's groundbreaking work in his laboratory set the stage for Titchener to define structuralism's goal as cataloging the "atoms" of the mind—sensations, images, and feelings—akin to how chemists identify elements of matter.
Titchener's approach to structuralism was unique. He employed introspection, a method...
Phase I Reactions: Reductive Reactions01:27

Phase I Reactions: Reductive Reactions

Phase I biotransformation reductive reactions are chemical processes that modify drugs by introducing or revealing polar functional groups via reduction. Enzymes called reductases catalyze these reactions, playing a pivotal role in drug metabolism by transforming lipophilic drugs into more polar, water-soluble metabolites for easy excretion. An essential type of reductive reaction is the carbonyl group reduction, where aldehydes and ketones are reduced to alcohols. An example is the...

You might also read

Related Articles

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

Sort by
Same journal

A Formalisation of Aristotle's Assertoric Syllogistic in Isabelle/HOL.

Topoi : an international review of philosophy·2026
Same journal

Hinging Prejudices and Stereotypes in Mathematics.

Topoi : an international review of philosophy·2025
Same journal

Receptive Publics in Colonial Contexts: The Case of the Straits Philosophical Society.

Topoi : an international review of philosophy·2025
Same journal

Critical Contextual Empiricism for Busy People: Scientific Argumentation as Epistemic Exchange.

Topoi : an international review of philosophy·2025
Same journal

Capturing Argument in Agent-Based Models.

Topoi : an international review of philosophy·2025
Same journal

Narrative Deference.

Topoi : an international review of philosophy·2025
See all related articles

Related Experiment Video

Updated: Jun 9, 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

Semantic Foundations of Reductive Reasoning.

Alexander V Gheorghiu1,2, David J Pym1,3,4

  • 1Department of Computer Science, University College London, Gower Street, London, WC1E 6EA UK.

Topoi : an International Review of Philosophy
|June 8, 2026
PubMed
Summary
This summary is machine-generated.

This study introduces reductive logic, a new paradigm for reasoning where conclusions generate premises, unlike traditional deductive logic. It provides mathematical foundations for reduction operators, essential for understanding this backward inference process.

Keywords:
Logical systemsProof-searchProof-theoretic semanticsReductive logicTactical proofTacticsTheorem proving

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

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

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

Published on: October 13, 2018

Related Experiment Videos

Last Updated: Jun 9, 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

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

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

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

Published on: October 13, 2018

Area of Science:

  • Formal Logic
  • Artificial Intelligence
  • Cognitive Science

Background:

  • Traditional logic predominantly uses deductive reasoning (premises to conclusions).
  • Current human and machine reasoning often employs a reductive perspective (conclusions to premises).
  • This reductive approach, termed reductive logic, spans formal proofs to everyday planning.

Purpose of the Study:

  • To conduct a semantic analysis of reductive logic.
  • To establish mathematical foundations for representing and reasoning about reduction operators.
  • To define the validity of reduction operators within reductive reasoning.

Main Methods:

  • Formal semantic analysis of reductive logic.
  • Development of mathematical frameworks for reduction operators.
  • Investigation into the properties and validity conditions of reduction operators.

Main Results:

  • Mathematical foundations for reduction operators are provided.
  • Reduction operators are characterized as 'backward' inference rules.
  • Criteria for the validity of reduction operators in reductive reasoning are addressed.

Conclusions:

  • Reductive logic offers a formal framework for understanding goal-directed reasoning.
  • The mathematical representation of reduction operators is crucial for computational implementations.
  • Establishing operator validity ensures reliable reductive reasoning in diverse applications.