Modular Semantics for Theories: An Approach to Paraconsistent Reasoning
Modular Semantics for Theories: An Approach to Paraconsistent Reasoning
复制标题
理论模块化语义：一种次一致推理方法
DOI：
10.1007/s10992-017-9453-y
复制
发表时间：
2017
影响因子：
1.5
通讯作者：
Holger Andreas
中科院分区：
文献类型：
--
作者：
Holger Andreas
一些科学理论是不一致的，但不是微不足道的和有意义的。这怎么可能？本文的目的是表明，我们可以分析的推论使用这些理论的一致组成的普遍公理的应用。这种技术将表示为一个首选的模型语义，它允许我们有选择地接受普遍公理的实例。为了发展这样一种语义学，达科斯塔和弗伦奇的部分结构框架将被斯尼德形式主义的一些元素所扩展，斯尼德形式主义也被称为结构主义的科学方法。
Some scientific theories are inconsistent, yet non-trivial and meaningful. How is that possible? The present paper aims to show that we can analyse the inferential use of such theories in terms of consistent compositions of the applications of universal axioms. This technique will be represented by a preferred models semantics, which allows us to accept the instances of universal axioms selectively. For such a semantics to be developed, the framework of partial structures by da Costa and French will be extended by a few elements of the Sneed formalism, also known as the structuralist approach to science.
登录
查看更多内容
默认推理框架中的信念修正
DOI：
--
发表时间：
1989
期刊：
Logic of Theory Change
影响因子：
--
作者：
G. Brewka
通讯作者：
G. Brewka
将自适应逻辑的标准格式扩展到优先级情况
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Frederik Van De Putte;Christian Straßer
通讯作者：
Christian Straßer
科学发现中的自适应逻辑：克劳修斯的案例
DOI：
--
发表时间：
1993
期刊：
影响因子：
--
作者：
J. Meheus
通讯作者：
J. Meheus
通过翻译消除疑虑
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
M. Crabbé
通讯作者：
M. Crabbé
科学与部分真理
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
N. Costa;S. French
通讯作者：
S. French