Map
Index
Random
Help
th

Quote: all uses of the variable 'x' can be transformed into qualification, classes, functions, or combinators; e.g., singular description

topics > all references > references p-r > QuoteRef: quinWV2_1947 , p. 104



Topic:
logic
Topic:
variable as reference to a value
Topic:
abstraction

Quotation Skeleton

Contexts of qualification, '(x)( … x … )' and '(.thereExists.x)( … x … )', do not exhaust the ways in which … of singular description 'the object x such that … ' and others. However, the quantificational use of … sort of use. Every statement containing a variable … quantificational use. [Can also use class abstraction, functional abstraction, or combinators in place of quantification]   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: logic (84 items)
Topic: variable as reference to a value (21 items)
Topic: abstraction (62 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.