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 条

[41] Predicate gates for spatial logic
Kouzaev, Guennadi A.
Kostadinov, Atanas N.
PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 151 - +
[42] Contexts in dynamic predicate logic
Visser A.
Journal of Logic, Language and Information, 1998, 7 (1) : 21 - 52
[43] Wittgensteinian Predicate Logic and Compositionality
Wehmeier, Kai F.
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2024, 65 (02) : 113 - 125
[44] Epsilon Substitution for Predicate Logic
Mints, Grigori
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (47): : 3 - 5
[45] Tractarian semantics for predicate logic
Miller, H
HISTORY AND PHILOSOPHY OF LOGIC, 1995, 16 (02) : 197 - 215
[46] PREDICATE LOGIC FOR SOFTWARE ENGINEERING
PARNAS, DL
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (09) : 856 - 862
[47] Logic Analysis of Natural Language Based on Predicate Linear Logic
Bilanova, Zuzana
Perhac, Jan
Chovancova, Eva
Chovanec, Martin
ACTA POLYTECHNICA HUNGARICA, 2020, 17 (06) : 239 - 252
[48] Three Types and Traditions of Logic: Syllogistic, Calculus and Predicate Logic
Kienzler, Wolfgang
PHILOSOPHY OF LOGIC AND MATHEMATICS, 2020, 27 : 133 - 152
[49] Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic
Fitts, Jesse
Beisecker, David
TEACHING PHILOSOPHY, 2019, 42 (01) : 41 - 56
[50] LIFE-WORLD CONSTITUTION OF PROPOSITIONAL LOGIC AND ELEMENTARY PREDICATE LOGIC
ELEY, L
PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1972, 32 (03) : 322 - 340

← 1 2 3 4 5 →