The Non-Monotonic NonFregean Logic

被引:0
|
作者
Wojtowicz, Anna [1 ]
机构
[1] Uniwersytet Warszawski, Zaklad Log, Inst Filozofii, PL-00927 Warsaw, Poland
来源
FILOZOFIA NAUKI | 2011年 / 19卷 / 02期
关键词
nonFregean logic; theory of meaning; non-monotonic logic;
D O I
暂无
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
NonFregean logic is the classical logic enriched by identity connective. In one of possible interpretations of this calculus, the identity connective joins two sentences into a true sentence when these sentences have the same meaning. But when (if any) do simple sentences (i.e. sentences not containing logical constants) have the same meaning? In the paper the non-monotonic version of nonFregean logic is presented. The starting point of every reasoning in this logic is that all simple sentences have the same meaning. This assumption may be retracted in order to maintain consistency with a new piece of information.
引用
收藏
页码:105 / +
页数:12
相关论文
共 50 条
  • [1] A logic of non-monotonic interactions
    Boniolo, Giovanni
    D'Agostino, Marcello
    Piazza, Mario
    Pulcini, Gabriele
    JOURNAL OF APPLIED LOGIC, 2013, 11 (01) : 52 - 62
  • [2] NON-MONOTONIC LOGIC-I
    MCDERMOTT, D
    DOYLE, J
    ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 41 - 72
  • [3] SPECIAL ISSUE ON NON-MONOTONIC LOGIC - PREFACE
    BOBROW, DG
    ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 1 - 4
  • [4] Redundancy in logic III: Non-monotonic reasoning
    Liberatore, Paolo
    ARTIFICIAL INTELLIGENCE, 2008, 172 (11) : 1317 - 1359
  • [5] Non-monotonic Logic and the Compatibility of Science and Religion
    Marcin Trepczyński
    Logica Universalis, 2019, 13 : 457 - 466
  • [6] Prolegomena to logic programming for non-monotonic reasoning
    Dix, J
    Pereira, LM
    Przymusinski, T
    NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 1 - 36
  • [7] A Non-monotonic Logic for Specifying and Querying Preferences
    Boella, Guido
    van der Torre, Leendert
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1549 - 1550
  • [8] Executable temporal logic for non-monotonic reasoning
    Engelfriet, J
    Treur, J
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 615 - 625
  • [9] NoMoRe: Non-monotonic reasoning with logic programs
    Anger, C
    Konczak, K
    Linke, T
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 521 - 524
  • [10] Non-monotonic Logic and the Compatibility of Science and Religion
    Trepczynski, Marcin
    LOGICA UNIVERSALIS, 2019, 13 (04) : 457 - 466