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 条
  • [41] Rotation and Translational Motion prior to Self-Assembly: Dynamics of Ethanethiolate on Cu(111)
    Paterson, S.
    Allison, W.
    Hedgeland, H.
    Ellis, J.
    Jardine, A. P.
    PHYSICAL REVIEW LETTERS, 2011, 106 (25)
  • [42] Translational studies identify long-term impact of prior neonatal pain experience
    Walker, Suellen M.
    PAIN, 2017, 158 (04) : S29 - S42
  • [43] Choice of intraocular lens calculation formula for cataract patients with prior pars plana vitrectomy
    Zhang, Jiaqing
    Han, Xiaotong
    Chen, Xiaoyun
    Liu, Zhenzhen
    Zhang, Yu
    Qiu, Xiaozhang
    Tan, Xuhua
    Luo, Lixia
    Liu, Yizhi
    JOURNAL OF CATARACT AND REFRACTIVE SURGERY, 2023, 49 (09): : 956 - 963
  • [44] A Predictive Formula for Portal Venous Pressure Prior to Liver Resection Using Directly Measured Values
    Hidaka, Masaaki
    Eguchi, Susumu
    Hara, Takanobu
    Soyama, Akihiko
    Okada, Satomi
    Hamada, Takashi
    Ono, Shinichiro
    Adachi, Tomohiko
    Kanetaka, Kengo
    Takatsuki, Mitsuhisa
    JOURNAL OF INVESTIGATIVE SURGERY, 2020, 33 (02) : 118 - 122
  • [45] Is the Updated Schwartz Formula Appropriate for Assessing Renal Function Prior to Hematopoietic Stem Cell Transplantation?
    Qayed, Muna
    Thompson, Audra
    Applegate, Kristy
    Haight, Ann
    Rogatko, Andre
    Chiang, Kuang-Yueh
    Horan, John
    PEDIATRIC BLOOD & CANCER, 2010, 55 (01) : 199 - 201
  • [46] FORMULA OF THE ADJECTIVE-SUBSTANTIVE COMBINATION IN MIDDLE-HIGH GERMAN - STRUCTURE, STATISTICS, SEMANTICS - GERMAN - LUTZ,HD
    GOEBEL, U
    COMPUTERS AND THE HUMANITIES, 1978, 12 (04): : 371 - 372
  • [47] An Omega-K Algorithm for Translational Invariant Bistatic SAR Based on Generalized Loffeld's Bistatic Formula
    Wu, Junjie
    Li, Zhongyu
    Huang, Yulin
    Yang, Jianyu
    Liu, Qing Huo
    IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, 2014, 52 (10): : 6699 - 6714
  • [48] Time-translational symmetry in statistical dynamics dictates Einstein relation, Green-Kubo formula, and their generalizations
    Yang, Ying-Jen
    Qian, Hong
    PHYSICAL REVIEW E, 2023, 107 (02)
  • [49] THE UPDATED SCHWARTZ FORMULA AS A SCREENING TEST FOR ABNORMAL KIDNEY FUNCTION PRIOR TO HEMATOPOIETIC STEM CELL TRANSPLANTATION
    Qayed, M.
    Thompson, A.
    Applegate, K.
    Haight, A.
    Chiang, K. -Y.
    Horan, J.
    BIOLOGY OF BLOOD AND MARROW TRANSPLANTATION, 2010, 16 (02) : S261 - S261
  • [50] A Novel Highly Available Data Replication Strategy exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge
    Usman, Awais
    Schadek, Robert
    Theel, Oliver
    2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017), 2017, : 301 - 310
12345