How to release Frege's system from Russell's antinomy

Details How to release Frege's system from Russell's antinomy How to release Frege's system from Russell's antinomy

2007-05-07

arxiv.org/abs/0705.0901v2

Mathematics

General Mathematics

11 pages, for more information see http://it.geocities.com/paola_cattabriga/

Scientific paper

The conditions for proper definitions in mathematics are given, in terms of the theory of definition, on the basis of the criterions of eliminability and non-creativity. As a definition, Russell's antinomy is a violation of the criterion of eliminability (Behmann, 1931; Bochvar, 1943). Following the path of the criterion of non-creativity, this paper develops a new analysis of Comprehension schema and, as a consequence, proof that Russell's antinomy argumentation, despite the words of Frege himself, does not hold in Grundgesetze der Arithmetik. According to Basic Law (III), the class of classes not belonging to themselves is a class defined by a function which can not take as argument its own course of value. In other words, the class of classes not belonging to themselves is a class whose classes are not identical to the class itself.

Affiliated with

Also associated with

No associations

Rating

How to release Frege's system from Russell's antinomy 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 How to release Frege's system from Russell's antinomy, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and How to release Frege's system from Russell's antinomy will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-598553