Related Experiment Video

Updated: Jan 25, 2026

The Use of the Puzzle Box as a Means of Assessing the Efficacy of Environmental Enrichment
06:50

The Use of the Puzzle Box as a Means of Assessing the Efficacy of Environmental Enrichment

Published on: December 29, 2014

12.4K

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)

Christoph Benzmüller1,2

  • 1Freie Universität Berlin, Germany.

Data in Brief
|April 25, 2019
PubMed

Keywords:
Automated theorem provingHigher-order logicUniversal logical reasoning

More Related Videos

Meta-analysis of Voxel-Based Neuroimaging Studies using Seed-based d Mapping with Permutation of Subject Images SDM-PSI06:26

Meta-analysis of Voxel-Based Neuroimaging Studies using Seed-based d Mapping with Permutation of Subject Images SDM-PSI

Published on: November 27, 2019

77.4K
Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task06:08

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

Published on: July 22, 2025

931

Related Concept Videos

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...
7.4K
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,...
424
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 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...
65.2K
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...
65.9K
Directing Effect of Substituents: meta-Directing Groups01:09

Directing Effect of Substituents: meta-Directing Groups

Substituents on the benzene ring that direct an incoming electrophile to undergo substitution at the meta position are called meta directors. All meta directors either have a positive charge on the atom directly bonded to the ring or a partial positive charge. These groups function by withdrawing electrons from the ring through inductive and resonance effects. Consider the carbocation intermediates formed upon the addition of an electrophile on nitrobenzene at the...
5.9K
meta-Directing Deactivators: –NO2, –CN, –CHO, –⁠CO2R, –COR, –CO2H01:13

meta-Directing Deactivators: –NO2, –CN, –CHO, –⁠CO2R, –COR, –CO2H

All meta-directing substituents are deactivating groups. These substituents withdraw electrons from the aromatic ring, making the ring less reactive toward electrophilic substitution. For example, the nitration of nitrobenzene is 100,000 times slower than that of benzene because of the deactivating effect of the nitro group. The first step in an electrophilic aromatic substitution is the addition of an electrophile to form a resonance-stabilized carbocation. The energy diagrams for...
6.6K