Formula-Layered Predicate Modal Logic
Author:
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [13]
  • |
  • Related [20]
  • | | |
  • Comments
    Abstract:

    As an introduction to the necessary modality □, the truth values of formulas of the predicate modal logic in a possible world may rely on its alternative worlds. So there is a problem of the transworld identity of individuals in the predicate modal logic. According to this problem, Lewis proposed the counterpart theory and used the counterpart relation to represent the transworld identity of individuals in the counterpart theory. When an object has more than one counterpart, the transworld identity cannot have a one-to-one correspondence with the counterpart relation. By limiting the scope of the universal quantifier ∀ in the predicate modal logic, this paper gives a formula- layered predicate modal logic, which is a sublogic of the predicate modal logic, and which language is the same as that of the predicate modal logic. But the definition of its formulas is decomposed into layers such that ∀ may occur in the scope of □, and □ cannot occur in the scope of ∀. Since any expression in the form of ∀xφ(x) is not a formula of this logic, the truth value of any formula which begins with a quantifier in a possible world w only relies on w, and this logic avoids the problem of the transworld identity of individuals. This paper gives the language, the syntax and the semantics of this logic, and proves that this logic is sound and complete.

    Reference
    [1] Fitting M, Mendelsohn R. First-Order Modal Logic. Dordrecht: Kluwer Academic Publishers, 1998.
    [2] Hughes GE, Cresswell MJ. A New Introduction to Modal Logic. Lodon, New York: Routledge, 1996.
    [3] Jiang F. Ontology-Based first-order modal logic [Ph.D. Thesis]. Beijing: Institute of Computing Technology, the Chinese Academy of Sciences, 2007 (in Chinese with English abstract).
    [4] Aloni M. Individual concepts in modal predicate logic. Journal of Philosophical Logic, 2005,34(1):1-64. [doi: 10.1007/s10992- 004-4065-8]
    [5] Catterson T. Hintikka on the problem with the problem of transworld identity. In: Symons J, Kolak D, eds. Proc. of the Quantifiers, Questions and Quantum Physics. Berlin, Heidelburg: Springer-Verlag, 2004. 33-47. [doi: 10.1007/978-1-4020-32110-0_2]
    [6] Kaplan D. Transworld heir lines. In: Loux MJ, ed. The Possible and the Actual. Ithaca: Cornell University Press, 1979. 88-109.
    [7] Kripke S. Naming and Necessity. Oxford: Basil Blackwell Publisher, 1980.
    [8] Plantinga A. Transworld identity or worldbound individuals? In: Munitz M, ed. Proc. of the Logic and Ontology. New York: New York University Press, 1973. 146-165.
    [9] Shen YM. Translations between logics: Basic definitions, classifications and logical properties [Ph.D. Thesis]. Beijing: Institute of Computing Technology, the Chinese Academy of Sciences, 2010 (in Chinese with English abstract).
    [10] Lewis D. Counterpart theory and quantified modal logic. Journal of Philosophy, 1968,65(5):113-126. [doi: 10.2307/2024555]
    [11] van Benthem J. Correspondence Theory. Gabbay D, Guenthner F. Handbook of Philosophical Logic. Dordrecht: Kluwer Academic Publishers, 2001. 325-408. [doi: 10.1007/978-94-017-0454-0_4]
    [12] Chang CC, Keisler HJ. Model Theory. 2nd ed., Amsterdam: North-Holland Publishing Company, 1977.
    [13] Hamilton AG. Logic for Mathematicians. Cambridge: Cambridge University Press, 1988.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

孙梅莹,邓少波,陈博,曹存根,眭跃飞.公式分层的谓词模态逻辑.软件学报,2014,25(5):1014-1024

Copy
Share
Article Metrics
  • Abstract:3339
  • PDF: 5207
  • HTML: 1359
  • Cited by: 0
History
  • Received:May 16,2013
  • Revised:September 02,2013
  • Online: May 04,2014
You are the first2033269Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063