A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

被引：0
|
作者：
M. McKeon
机构：
[1] Michigan State University,Department of Philosophy
来源：
Journal of Philosophical Logic | 2005年 / 34卷
关键词：
Modality Operator; Modal Logic; Logical Truth; Logical Possibility; True Sentence;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper responds to criticism of the Kripkean account of logical truth in first-order modal logic. The criticism, largely ignored in the literature, claims that when the box and diamond are interpreted as the logical modality operators, the Kripkean account is extensionally incorrect because it fails to reflect the fact that all sentences stating truths about what is logically possible are themselves logically necessary. I defend the Kripkean account by arguing that some true sentences about logical possibility are not logically necessary.
引用
收藏
页码：305 / 326
页数：21
相关论文
共 50 条
  • [1] A defense of the Kripkean account of logical truth in first-order modal logic
    McKeon, M
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2005, 34 (03) : 305 - 326
  • [2] Logical truth in modal logic + The Kripkean requirement
    McKeon, M
    [J]. PACIFIC PHILOSOPHICAL QUARTERLY, 1996, 77 (04): : 351 - 361
  • [3] On the substitutional characterization of first-order logical truth
    McKeon, M
    [J]. HISTORY AND PHILOSOPHY OF LOGIC, 2004, 25 (03) : 205 - 224
  • [4] First-order classical modal logic
    Arló-Costa H.
    Pacuit E.
    [J]. Studia Logica, 2006, 84 (2) : 171 - 210
  • [5] FIRST-ORDER DEFINABILITY IN MODAL LOGIC
    GOLDBLATT, RI
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (01) : 35 - 40
  • [6] Reasoning About Truth in First-Order Logic
    Strannegard, Claes
    Engstrom, Fredrik
    Nizamani, Abdul Rahim
    Rips, Lance
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2013, 22 (01) : 115 - 137
  • [7] Reasoning About Truth in First-Order Logic
    Claes Strannegård
    Fredrik Engström
    Abdul Rahim Nizamani
    Lance Rips
    [J]. Journal of Logic, Language and Information, 2013, 22 : 115 - 137
  • [8] A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC
    Meissner, Silke
    Otto, Martin
    [J]. REVIEW OF SYMBOLIC LOGIC, 2022, 15 (02): : 311 - 333
  • [9] Unification in first-order transitive modal logic
    Dzik, Wojciech
    Wojtylak, Piotr
    [J]. LOGIC JOURNAL OF THE IGPL, 2019, 27 (05) : 693 - 717
  • [10] On the Expressivity of First-Order Modal Logic with "Actually"
    Kocurek, Alexander W.
    [J]. LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 207 - 219
12345