| 
|
QuoteRef: quinWV2_1937
topics >
all references >
ThesaHelp:
references p-r
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. 80-94 with supplementary remarks 94-101
89 ;;Quote: principle of abstraction--given 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
ThesaHelp: references p-r (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)