ThesaHelp: references pr
Topic: abstraction
Topic: Liar's paradox and Russell's paradox
Group: data type
Topic: self reference
 
Reference
Quine, W.V.,
"New foundations for mathematical logic",
American Mathematical Monthly, February 1937.
Google
Other Reference
Quine, W.V., From A Logical Point of View, Cambridge:
Harvard University Press, 1980, 2nd edition, revised, p. 8094 with supplementary remarks 94101
Quotations
89 ;;Quote: principle of abstractiongiven any condition, there is a class of those members satisfying the condition
 89+;;Quote: abstraction leads to Russell's paradox, (.thereExists.x)((x.in.x).equiv. ~(x.in.x))
 89+;;Quote: Russell's theory of types avoids Russell's paradox by stratified formulas; e.g., .in. only occurs in contexts of the form n .in. n+1
 92 ;;Quote: avoid Russell's paradox by restricting abstraction to stratified conditions that do not reference the abstract class
 92+;;Quote: avoid Russell's paradox by separate rules for class existence and elementhood

Related Topics
ThesaHelp: references pr (245 items)
Topic: abstraction (62 items)
Topic: Liar's paradox and Russell's paradox (25 items)
Group: data type (34 topics, 723 quotes)
Topic: self reference (27 items)
