Jove
Visualize
联系我们
JoVE
x logofacebook logolinkedin logoyoutube logo
关于 JoVE
概览领导团队博客JoVE 帮助中心
作者
出版流程编辑委员会范围与政策同行评审常见问题投稿
图书馆员
用户评价订阅访问资源图书馆顾问委员会常见问题
研究
JoVE JournalMethods CollectionsJoVE Encyclopedia of Experiments存档
教育
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab Manual教师资源中心教师网站
使用条款与条件
隐私政策
政策

相关概念视频

Deductive Reasoning01:16

Deductive Reasoning

55.4K
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...
55.4K
Theorems of Pappus and Guldinus: Problem Solving01:12

Theorems of Pappus and Guldinus: Problem Solving

758
Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a...
758
Constraints and Statical Determinacy01:26

Constraints and Statical Determinacy

627
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...
627
Decision Making: P-value Method01:09

Decision Making: P-value Method

5.5K
The process of hypothesis testing based on the P-value method includes calculating the P- value using the sample data and interpreting it.
First, a specific claim about the population parameter is proposed. The claim is based on the research question and is stated in a simple form. Further, an opposing statement to the claim  is also stated. These statements can act as null and alternative hypotheses:  a null hypothesis would be a neutral statement while the alternative hypothesis can...
5.5K
Testing a Claim about Population Proportion01:24

Testing a Claim about Population Proportion

3.3K
A complete procedure for testing a claim about a population proportion is provided here.
There are two methods of testing a claim about a population proportion: (1) Using the sample proportion from the data where a binomial distribution is approximated to the normal distribution and (2) Using the binomial probabilities calculated from the data.
The first method uses normal distribution as an approximation to the binomial distribution. The requirements are as follows: sample size is large...
3.3K
Inductive Reasoning00:59

Inductive Reasoning

60.6K
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...
60.6K

您也可能阅读

相关文章

通过共同作者、期刊和引用图与本文相关的文章。

排序
Same author

Inference and Imagination.

Topics in cognitive science·2026
Same author

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

eNeuro·2024
Same author

Introduction to Progress and Puzzles of Cognitive Science: Introduction to a Wiley Virtual Issue.

Cognitive science·2024
Same author

Iconicity bias and duration.

Journal of experimental psychology. Learning, memory, and cognition·2023
Same author

Temporal explanations.

Journal of experimental psychology. General·2023
Same author

Cognitive processes in imaginative moral shifts: How judgments of morally unacceptable actions change.

Memory & cognition·2022
Same journal

Chemotactic self-organization captures the dynamics of mammalian hair follicle patterning.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

Tomographic imaging of superconducting order using particle-hole interference.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

Inhibitory potential of autologous neutralizing antibodies sets quantitative limits on the rebound-competent HIV-1 reservoir.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

Inferring epidemiological parameters under an infectious phylogeography model with visitor dynamics.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

Analytical modeling for suction cup designs for skin-interfaced wearable devices.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

Improving cell-free metabolism through direct integration of artificial respiratory chains.

Proceedings of the National Academy of Sciences of the United States of America·2026
查看所有相关文章

相关实验视频

Updated: Jul 15, 2025

One Dimensional Turing-Like Handshake Test for Motor Intelligence
14:05

One Dimensional Turing-Like Handshake Test for Motor Intelligence

Published on: December 15, 2010

26.8K

人类验证:可与逻辑之外的真实值进行计算.

Philip N Johnson-Laird1,2, Ruth M J Byrne3, Sangeet S Khemlani4

  • 1Department of Psychology, Princeton University, Princeton, NJ 08544.

Proceedings of the National Academy of Sciences of the United States of America
|September 25, 2023
PubMed
概括
此摘要是机器生成的。

人类对断层陈述的验证是可计算的,但需要的不仅仅是简单的真/错逻辑. 研究结果表明,心理模型和反事实是理解验证过程的关键.

关键词:
可计算性的计算能力.相反的事实 (counterfactuals) 是指一个事实.逻辑 逻辑 逻辑 逻辑 逻辑心理模型 心理模型这是真实的,真实的,真实的.

更多相关视频

An Experimental Analysis of Children's Ability to Provide a False Report about a Crime
07:36

An Experimental Analysis of Children's Ability to Provide a False Report about a Crime

Published on: May 3, 2016

8.6K
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

10.1K

相关实验视频

Last Updated: Jul 15, 2025

One Dimensional Turing-Like Handshake Test for Motor Intelligence
14:05

One Dimensional Turing-Like Handshake Test for Motor Intelligence

Published on: December 15, 2010

26.8K
An Experimental Analysis of Children's Ability to Provide a False Report about a Crime
07:36

An Experimental Analysis of Children's Ability to Provide a False Report about a Crime

Published on: May 3, 2016

8.6K
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

10.1K

科学领域:

  • 认知科学 认知科学
  • 逻辑 逻辑 逻辑 逻辑
  • 计算理论 计算理论

背景情况:

  • 验证通常被视为一种计算,其中与现实相匹配的描述是真实的.
  • 关于人类验证是否可计算存在争议,戈德尔和罗斯反对这一点.
  • 心理模型理论提出可计算性,但发现标准真假逻辑不足.

研究的目的:

  • 调查分离断言的人类验证的可计算性.
  • 探索标准逻辑真实值是否足以进行人类验证.
  • 检查反事实在验证过程中的作用.

主要方法:

  • 进行了三项在线实验 (n=208),对参与者对断层陈述的验证 (例如",你到达了埃克塞特或珀斯").
  • 分析了观察和替代可能性的状态如何影响验证判断.
  • 实现了一个计算机程序来模拟断层并使用观察到的真实值来验证它们.

主要成果:

  • 验证取决于观察到的匹配以及其他潜在地点的状态.
  • 参与者利用细微的真实值超出了简单的真假,反映了可能性和不可能.
  • 当目的地已到达或无法到达时,观察到包含反事实的特定真实值.

结论:

  • 人类对断层断言的验证似乎是可计算的,利用超出标准二进制逻辑的真实值.
  • 纳入反事实推理的思维模型对于理解这些验证过程至关重要.
  • 对验证结果的认识的可计算性仍然是一个开放的研究问题.