The logic of instance ontology (Particularized Predicate Logic)

被引：0
|
作者：
Mertz, DW [1 ]
机构：
[1] Univ Missouri, St Louis, MO 63121 USA
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1999年 / 28卷 / 01期
关键词：
instance ontology; intensional logic; impredicative definitions; self-referential paradox; identity vs. indiscernibility; 'extended binding'; moderate realism;
D O I：
10.1023/A:1004313502342
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
引用
收藏
页码：81 / 111
页数：31
相关论文
共 50 条
  • [31] A Cube of Opposition for Predicate Logic
    Jørgen Fischer Nilsson
    Logica Universalis, 2020, 14 : 103 - 114
  • [32] Modified realizability and predicate logic
    V. E. Plisko
    Mathematical Notes, 1997, 61 : 212 - 220
  • [33] Coherence in linear predicate logic
    Dosen, Kosta
    Petric, Zoran
    ANNALS OF PURE AND APPLIED LOGIC, 2009, 158 (1-2) : 125 - 153
  • [34] A survey of predicate realizability logic
    Plisko, Valerii E.
    PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2011, 274 (01) : 204 - 230
  • [35] Concept graphs and predicate logic
    Dau, F
    CONCEPTUAL STRUCTURES: BROADENING THE BASE, PROCEEDINGS, 2001, 2120 : 72 - 86
  • [36] PREDICATE-FUNCTOR LOGIC
    QUINE, WV
    JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 382 - &
  • [37] Monodic epistemic predicate logic
    Sturm, H
    Wolter, F
    Zakharyaschev, M
    LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 329 - 344
  • [38] SUBJECT AND PREDICATE IN WESTERN LOGIC
    VANHEIJE.J
    PHILOSOPHY EAST & WEST, 1974, 24 (03): : 253 - 268
  • [39] An Algebraic Presentation of Predicate Logic
    Staton, Sam
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 401 - 417
  • [40] Modified realizability and predicate logic
    Plisko, VE
    MATHEMATICAL NOTES, 1997, 61 (1-2) : 212 - 220
12345