On the Syntax of Logic and Set Theory

Details On the Syntax of Logic and Set Theory On the Syntax of Logic and Set Theory

2010-03-22

arxiv.org/abs/1003.4102v1

Mathematics

Logic

34 pages, accepted, to appear in the Review of Symbolic Logic

Scientific paper

We introduce an extension of the propositional calculus to include abstracts of predicates and quantifiers, employing a single rule along with a novel comprehension schema and a principle of extensionality, which are substituted for the Bernays postulates for quantifiers and the comprehension schemata of ZF and other set theories. We prove that it is consistent in any finite Boolean subset lattice. We investigate the antinomies of Russell, Cantor, Burali-Forti, and others, and discuss the relationship of the system to other set theoretic systems ZF, NBG, and NF. We discuss two methods of axiomatizing higher order quantification and abstraction, and then very briefly discuss the application of one of these methods to areas of mathematics outside of logic.

Affiliated with

Also associated with

No associations

Rating

On the Syntax of Logic and Set Theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the Syntax of Logic and Set Theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Syntax of Logic and Set Theory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-206210