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 条

[1] Prior, translational semantics, and the Barcan formula
B. Jack Copeland
Synthese, 2016, 193 : 3507 - 3519
[2] Prior, Berkeley, and the Barcan formula
James Levine
Synthese, 2016, 193 : 3551 - 3565
[3] Prior, Berkeley, and the Barcan formula
Levine, James
SYNTHESE, 2016, 193 (11) : 3551 - 3565
[4] ALGEBRAIC SEMANTICS OF SOME NORMAL QUANTIFIED MODAL SYSTEMS WITH THE BARCAN FORMULA
吕健安
高恒珊
Chinese Science Bulletin, 1989, (17) : 1409 - 1412
[5] ALGEBRAIC SEMANTICS OF SOME NORMAL QUANTIFIED MODAL SYSTEMS WITH THE BARCAN FORMULA
LU, JA
GAO, HS
CHINESE SCIENCE BULLETIN, 1989, 34 (17): : 1409 - 1412
[6] INCOMPLETENESS AND THE BARCAN FORMULA
CRESSWELL, MJ
JOURNAL OF PHILOSOPHICAL LOGIC, 1995, 24 (04) : 379 - 403
[7] The Barcan Formula in Metaphysics
Simchen, Ori
THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2013, 28 (03): : 375 - 392
[8] Truthmakers and the converse Barcan formula
Williamson, T
DIALECTICA, 1999, 53 (3-4) : 253 - 270
[9] Contingent objects and the Barcan formula
Hayaki R.
Erkenntnis, 2006, 64 (1) : 75 - 83
[10] Why Contingentist Actualists Should Endorse the Barcan Formula
Nicholas Rimell
Acta Analytica, 2023, 38 : 133 - 159

← 1 2 3 4 5 →