Abstract
AbstractA new logic is presented without predicates—except equality. Yet its expressive power is the same as that of predicate logic, and relations can faithfully be represented in it. In this logic we also develop an alternative for set theory. There is a need for such a new approach, since we do not live in a world of sets and predicates, but rather in a world of things with relations between them.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference29 articles.
1. MODELING OCCURRENCES OF OBJECTS IN RELATIONS
2. Eine Axiomatisierung der Mengenlehre;von Neumann;Journal für die reine und angewandte Mathematik,1925
3. Russell’s Substitutional Theory
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献