Home > Search Results: keywords:"Naive set theory|Exclusive interpretation|Quantifier|Inconsistency|Vicious circle"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 1 records found  Search took 0.00 seconds. 
Naive set theory with exclusive interpretation of quantifiers
 Blahynka, Martin ; Punčochář, Vít (advisor) ; Stejskalová, Šárka (referee)
Naive set theory can be formalised in first-order logic as a theory with one axiom (of extensionality) and one axiom schema (of unrestricted comprehension). It is widely known that this theory is inconsistent. What is less known is that a mere reinterpretation of the quantifiers in the schema of unrestricted comprehension blocks all the well-known paradoxes of naive set theory. This is the case when the quantifiers are interpreted exclusively, which is an idea that originates in Wittgenstein's Tractatus in the context of elimination of identity from logic. In the context of set theory, the idea was first used by Jaakko Hintikka thirty five years later. This thesis introduces and investigates the possibility of using exclusive interpretation of quantifiers to avoid paradoxes of naive set theory. The main criterion of success is consistency of the resulting theory. The main result of this thesis is the proof that the set theories, which use the idea of exclusive interpretation and which Hintikka left as possibly consistent, are inconsistent. The inconsistency is discussed in the context of Russell's vicious circle principle, which is found to be inadequate.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English