Prior, translational semantics, and the Barcan formula

被引：1
|
作者：
Copeland, B. Jack [1 ,2 ]
机构：
[1] Univ Canterbury, Christchurch, New Zealand
[2] Univ Queensland, Brisbane, Qld, Australia
来源：
SYNTHESE | 2016年 / 193卷 / 11期
关键词：
Prior; Davidsonian semantics; Modal semantics; Tense logical semantics; Substitutional quantifiers; Barcan formula; POSSIBLE WORLDS SEMANTICS;
D O I：
10.1007/s11229-015-0955-2
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, 'translational' semantics. I revive and defend Prior's translational semantics for modals and tense-modals. I also show how to extend Prior's propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior's own counterexample to the Barcan Formula.
引用
收藏
页码：3507 / 3519
页数：13
相关论文
共 50 条
12345