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 条
  • [21] LOGIC AND ONTOLOGY
    RUSSELL, B
    JOURNAL OF PHILOSOPHY, 1957, 54 (09): : 225 - 230
  • [22] The Cognitive Ontogenesis of Predicate Logic
    Seuren, Pieter A. M.
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2014, 55 (04) : 499 - 532
  • [23] Forcing in Łukasiewicz predicate logic
    Di Nola A.
    Georgescu G.
    Spada L.
    Studia Logica, 2008, 89 (1) : 111 - 145
  • [24] A Graph Calculus for Predicate Logic
    Veloso, Paulo A. S.
    Veloso, Sheila R. M.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (113): : 153 - 168
  • [25] REDUCTION THEOREM FOR PREDICATE LOGIC
    LOB, MH
    JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 352 - &
  • [26] Provability in predicate product logic
    Michael C. Laskowski
    Shirin Malekpour
    Archive for Mathematical Logic, 2007, 46 : 365 - 378
  • [27] Provability in predicate product logic
    Laskowski, Michael C.
    Malekpour, Shirin
    ARCHIVE FOR MATHEMATICAL LOGIC, 2007, 46 (5-6) : 365 - 378
  • [28] LOGIC AND ONTOLOGY, HEIDEGGER DESTRUCTION OF LOGIC
    DASTUR, F
    RESEARCH IN PHENOMENOLOGY, 1987, 17 : 55 - 74
  • [29] A Cube of Opposition for Predicate Logic
    Nilsson, Jorgen Fischer
    LOGICA UNIVERSALIS, 2020, 14 (01) : 103 - 114
  • [30] A survey of predicate realizability logic
    Valerii E. Plisko
    Proceedings of the Steklov Institute of Mathematics, 2011, 274 : 204 - 230
12345