Sets as singularities in the intensional universe

✍ Scribed by Keith Daynes

• Publisher: Springer Netherlands
• Year: 1989
• Tongue: English
• Weight: 754 KB
• Volume: 48
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf00370637

✦ Synopsis

This paper is motivated by the search for a natural and deductively powerful extension of classical set theory. A theory of properties U is developed, based on a system of relevant logic related to RQ. In U the set {a, b, c,...} is identified with the property Ix: x = a v x = b v x = c ...]. The universe o]" all sets V, is identified with the property of being a hereditary set. The main result is that relevant implication --* collapses to material implication for sentences with quantifiers restricted to V. This demonstrates the naturalness of the system. However, an aparent lack of deductive power leads to the conclusion that the best extension of classical set theory is to be found in intensional theories with the unrestricted comprehension schema based on weak relevant logics. The author has obtained similar collapses of ~ to = for these systems.