搜索结果: 1-3 共查到“科学技术哲学 set theory”相关记录3条 . 查询时间(0.062 秒)
Paraconsistent Quasi-Set Theory
paraconsistent logic quasi-set theory indistinguishable quanta quantum physics
font style='font-size:12px;'>
2016/5/30
Paraconsistent logics are logics that can be used to base inconsistent but non-trivial systems. In paraconsistent set theories, we can quan- tify over sets that in standard set theories (that are base...
Logical and Philosophical Remarks on Quasi-Set Theory
quasi-sets logic of quantum mechanics identity
font style='font-size:12px;'>
2008/4/22
Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theory. The analysis of t...
How Set Theory Impinges on Logic
Models set-theoretical universe infinite
font style='font-size:12px;'>
2008/4/14
Standard (classical) logic is not independent of set theory. Which formulas are valid in logic depends on which sets we assume to exist in our set-theoretical universe. Second-order logic is just set ...