Indenumerability and substitutional quantification.
نویسندگان
چکیده
منابع مشابه
Timothy Mccarthy Substitutional Quantification and Set Theory
Our concern in this paper is to defend the use of substitutional quantifi-. cation in set theory as a way of avoiding ontological commitment to sets. Specifically, two objections to this procedure are addressed. (1) Charles Parsons claims that substitutional quantification (at least in set theory) is not ontologically neutral, but rather expresses a bona fide sense of existence-l We argue that ...
متن کاملEllipsis and Quantification: A Substitutional Approach
The paper describes a substitutional approach to ellipsis resolution giving comparable results to (Dalrymple et al., 1991), but without the need for order-sensitive interleaving of quantifier scoping and ellipsis resolution. It is argued that the orderindependence results from viewing semantic interpretation as building a description of a semantic composition, instead of the more common view of...
متن کاملSubstitution Puzzles and Substitutional Semantics
Substitution failure is usually said to occur when a change from one co-referential name to another affects the truth value of the sentence. Taking the idea seriously that non-referring names like ‘Superman’ and ‘Clark Kent’ are indeed names and that they do not refer (to anything whatsoever), it is argued that the usual characterization does not only give rise to theories which inflate ontolog...
متن کاملSubstitutional alloy of Ce and Al.
The formation of substitutional alloys has been restricted to elements with similar atomic radii and electronegativity. Using high-pressure at 298 K, we synthesized a face-centered cubic disordered alloy of highly dissimilar elements (large Ce and small Al atoms) by compressing the Ce(3)Al intermetallic compound >15 GPa or the Ce(3)Al metallic glass >25 GPa. Synchrotron X-ray diffraction, Ce L(...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1982
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870148