RULES FOR SUBATOMIC DERIVATION
RULES FOR SUBATOMIC DERIVATION
复制标题
亚原子推导规则
DOI：
10.1017/s175502031000033x
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Bartosz Więckowski
中科院分区：
文献类型：
--
作者：
Bartosz Więckowski
在证明论语义学中，一个原子句子的意义通常是由一个原子系统中的一组推导来确定的，这些推导将该句子作为结论（特别参见Prawitz，1971，1973）。本文批判性地讨论了这一标准的方法，并提出了一种替代帐户，在亚原子的介绍和消除规则的原子句子。一个简单的亚原子范式定理，通过它，原子句子的语义和组成它们的术语的解释得到了支持，而且表明，一阶逻辑的证明论分析也可以在原子水平下进行。
In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the atomic level.