Semantics for the Logic of Essence

被引：0
|
作者：
Kit Fine
机构：
[1] Princeton University,Department of Philosophy
来源：
Journal of Philosophical Logic | 2000年 / 29卷
关键词：
essence; modality; possible worlds; semantics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper provides a possible worlds semantics for the system of the author's previous paper ‘The Logic of Essence’. The basic idea behind the semantics is that a statement should be taken to be true in virtue of the nature of certain objects just in case it is true in any possible world compatible with the nature of those objects. It is shown that a slight variant of the original system is sound and complete under the proposed semantics.
引用
收藏
页码：543 / 584
页数：41
相关论文
共 50 条
  • [31] Disjunctive logic and semantics of disjunctive logic programs
    Yidong Shen
    Science in China Series E: Technological Sciences, 1997, 40 : 44 - 53
  • [32] Disjunctive logic and semantics of disjunctive logic programs
    Shen, YD
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (01): : 44 - 53
  • [33] Disjunctive logic and semantics of disjunctive logic programs
    沈一栋
    Science in China(Series E:Technological Sciences), 1997, (01) : 44 - 53
  • [34] A LOGIC FOR WEAK ESSENCE AND STRONG ACCIDENT
    Pan, Tianqun
    Yang, Chungui
    LOGIQUE ET ANALYSE, 2017, (238) : 179 - 190
  • [35] Logic as the Question Concerning the Essence of Language
    Ben-Dor, Oren
    INTERNATIONAL JOURNAL FOR THE SEMIOTICS OF LAW-REVUE INTERNATIONALE DE SEMIOTIQUE JURIDIQUE, 2011, 24 (03): : 369 - 381
  • [36] Founded Semantics and Constraint Semantics of Logic Rules: An Overview
    Liu, Yanhong A.
    Stoller, Scott D.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 3 - 3
  • [37] On the equivalence between logic programming semantics and argumentation semantics
    Caminada, Martin
    Sa, Samy
    Alcantara, Joao
    Dvorak, Wolfgang
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2015, 58 : 87 - 111
  • [38] Two problems for Zylstra's truthmaker semantics for essence
    Vogt, Lisa
    INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2024, 67 (01): : 289 - 301
  • [39] The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
    Chen Q.
    Zhang N.
    Wang J.
    Tan T.
    Xu C.
    Ma X.
    Li Y.
    Proceedings of the ACM on Programming Languages, 2023, 7 (OOPSLA2)
  • [40] SEMANTICS FOR MINIMAL LOGIC AND APPLICATIONS
    GABBAY, D
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 321 - &
12345