一个基本的系统对一致的Nelsonian逻辑的条件.
1Department of Philosophy I, Ruhr University Bochum, Universitätsstraße 150, Bochum, 44780 Germany.
概括
这项研究引入了一种新的条件逻辑,标记为PCL,基于对一致逻辑. PCL与直觉和模态逻辑系统有显著的联系,扩大了非经典逻辑的领域.
科学领域:
- 逻辑 逻辑 逻辑 逻辑
- 正式语义是正式的语义.
- 数学基础数学基础的基础
背景情况:
- 条件逻辑对于在不确定性和反事实下推理至关重要.
- 超一致的逻辑处理矛盾而不会导致碎性,为古典逻辑提供了替代方案.
- 现有的直觉和模式逻辑为非经典推理提供了框架.
研究的目的:
- 定义Kripke语义,用于从Nelson的强否定逻辑得出的条件逻辑.
- 为了公理化由这种克里普克语义产生的最小系统,命名为PCL.
- 探索和绘制PCL,直觉条件逻辑 (IC) 和特定的模态逻辑 (M) 之间的关系.
主要方法:
- 开发一个适合条件逻辑的Kripke语义,基于一个对一致的命题逻辑.
- 由定义的语义引发的最小条件逻辑系统 (PCL) 的公理化.
- 通过检查嵌入到相关的直觉和模态逻辑系统中,对PCL进行比较分析.
主要成果:
- 一种新的条件逻辑,PCL,被正式定义并被公理化.
- PCL与直觉条件逻辑 (IC) 和模态逻辑 (M) 有着强烈的联系.
- 该研究通过分析系统之间的逻辑嵌入来阐明这些联系.
结论:
- 定义的Kripke语义为对一致的条件逻辑PCL提供了健全和完整的基础.
- PCL充当了一座桥梁,连接了超一致的,直观的和模态的逻辑框架.
- 这项研究扩大了对非经典逻辑及其相互关系的理解.
更多相关视频
06:51The Modified Temptation Resistance Task: A Paradigm to Elicit Children's Strategic Lie-telling
Published on: April 6, 2018
8.4K
05:48The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients
Published on: June 12, 2020
5.7K
相关概念视频
Constraints and Statical Determinacy
576
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...
576
Deductive Reasoning
55.0K
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...
For example, a researcher can deduce specific predictions...
55.0K
Classification of Systems-I
169
Linearity is a system property characterized by a direct input-output relationship, combining homogeneity and additivity.
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
169
Criteria for Causality: Bradford Hill Criteria - II
202
The Bradford Hill criteria serve as guidelines for establishing causative links in epidemiological research. Beyond Strength, Consistency, Specificity, and Temporality, key criteria also include Biological Gradient, Plausibility, Coherence, Experiment, and Analogy. These principles assist scientists in assessing the likelihood of causation in complex biological contexts. Below is a summary of these concepts:
202
Criteria for Causality: Bradford Hill Criteria - I
204
The Bradford Hill criteria are a group of principles that provide a framework to determine a causal relationship between a specific factor and a disease. There are nine criteria that are pivotal in assessing causality in epidemiological studies. Here's a closer look at Strength, Consistency, Specificity, and Temporality criteria with definitions and examples:
204
Conditions of Equilibrium
664
Equilibrium refers to a state where a rigid body is not subjected to any translational or rotational motion. This state is achieved when the force and couple acting on a rigid body equal zero. When the system of external forces results in a net effect equivalent to zero, the rigid body is considered to be in equilibrium.
Internal forces are not considered for conditions of equilibrium because they occur in equal and opposite pairs within the body, effectively canceling each other. As a result,...
Internal forces are not considered for conditions of equilibrium because they occur in equal and opposite pairs within the body, effectively canceling each other. As a result,...
664
