一个严重无知的逻辑模型
S Bonzio1, V Fano2, P Graziani2
1Department of Mathematics and Computer Science, University of Cagliari, Cagliari, Italy.
概括
这项研究引入了一种新的模式逻辑来定义严重的无知,与传统的"缺乏知识"定义不同. 它基于对意义不熟悉的无知模式,提供了一个新的内容理论视角.
科学领域:
- 认识论逻辑 认识论逻辑
- 模式逻辑 模式逻辑
- 语言的哲学语言的哲学
背景情况:
- 传统的认识论逻辑将无知定义为仅仅缺乏知识.
- 这种定义努力捕捉出由于对命题意义不熟悉而产生的无知 (内容理论无知).
- 需要一个逻辑框架来适应这种对无知有细微差别的理解.
研究的目的:
- 引入和研究一种新的模态逻辑,用一个原始的无知运算符.
- 发展一个内容理论上的无知概念,称为"严重的无知".
- 提供一个正式的系统,包括语义,公理化,以及完整性和可决定性的证明.
主要方法:
- 基于微弱的克莱恩三值逻辑的模态逻辑的构建.
- 克里普克式语义的发展,其中无知被定义为一个公式,在可访问的世界里既不是真也不是假.
- 正式的公理化和完整性和可决定性的证明,用于反射的三值Kripke框架.
主要成果:
- 无知的新形式化,即"严重的无知",是建立的.
- 这种严重的无知是内容理论的,源于对意义的不熟悉,与传统的认识无知不同.
- 提出的逻辑是公理化的,其完整性和可决定性已被证明是相关的Kripke框架.
结论:
- 开发的模态逻辑成功地模拟了一个内容理论形式的无知.
- 这种方法从传统的认识论逻辑对无知的定义中提供了显著的偏离和进步.
- 逻辑为理解和分析各种情况下的严重无知提供了正式的框架.
相关概念视频
Propagation of Uncertainty from Systematic Error
559
The atomic mass of an element varies due to the relative ratio of its isotopes. A sample's relative proportion of oxygen isotopes influences its average atomic mass. For instance, if we were to measure the atomic mass of oxygen from a sample, the mass would be a weighted average of the isotopic masses of oxygen in that sample. Since a single sample is not likely to perfectly reflect the true atomic mass of oxygen for all the molecules of oxygen on Earth, the mass we obtain from this...
559
Parameters Affecting Nonlinear Elimination: Zero-Order Input, First-Order Absorption and Two-Compartment Model
97
Drugs administered through various routes can lead to nonlinear elimination, resulting in complex pharmacokinetic behaviors crucial to understanding efficacious drug dosing.
When a drug is administered through a constant intravenous infusion and eliminated via nonlinear pharmacokinetics, it follows zero-order input. For example, oral drugs undergo first-order absorption upon administration and are eliminated through nonlinear pharmacokinetics.
In the case of subcutaneously administered drugs,...
When a drug is administered through a constant intravenous infusion and eliminated via nonlinear pharmacokinetics, it follows zero-order input. For example, oral drugs undergo first-order absorption upon administration and are eliminated through nonlinear pharmacokinetics.
In the case of subcutaneously administered drugs,...
97
Propagation of Uncertainty from Random Error
738
An experiment often consists of more than a single step. In this case, measurements at each step give rise to uncertainty. Because the measurements occur in successive steps, the uncertainty in one step necessarily contributes to that in the subsequent step. As we perform statistical analysis on these types of experiments, we must learn to account for the propagation of uncertainty from one step to the next. The propagation of uncertainty depends on the type of arithmetic operation performed on...
738
Modeling and Similitude
295
Scaled modeling is a fundamental technique in engineering, enabling the study of large and complex systems by creating smaller, manageable replicas that recreate critical characteristics of the original. In hydrology and civil infrastructure, for example, scaled models of dams help analyze water flow, turbulence, and pressure. This method allows for accurate predictions of real-world behavior within a controlled environment, significantly reducing the cost and time involved in full-scale...
295
Causality in Epidemiology
500
Causality or causation is a fundamental concept in epidemiology, vital for understanding the relationships between various factors and health outcomes. Despite its importance, there's no single, universally accepted definition of causality within the discipline. Drawing from a systematic review, causality in epidemiology encompasses several definitions, including production, necessary and sufficient, sufficient-component, counterfactual, and probabilistic models. Each has its strengths and...
500
Mechanistic Models: Overview of Compartment Models
118
Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...
118


