Publisher: Cambridge University Press
E-ISSN: 1943-5886|15|2|131-134
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.15, Iss.2, 1950-06, pp. : 131-134
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
In a simple, applied functional calculus of first order (i.e., one admitting no functional variables but at least one functional constant), abstracts or schematic expressions may be introduced to play the role of variables over designatable sets or classes. The entities or quasi-entities designated or quasi-designated by such abstracts may be called, following Quine,
Related content
The ordered field of real numbers and logics with Malitz quantifiers
The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. :
The Journal of Symbolic Logic, Vol. 28, Iss. 1, 1963-03 ,pp. :
Criteria of constructibility for real numbers
The Journal of Symbolic Logic, Vol. 18, Iss. 1, 1953-03 ,pp. :