Publisher: Cambridge University Press
E-ISSN: 1943-5886|56|1|150-175
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.56, Iss.1, 1991-03, pp. : 150-175
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Many philosophers take set-theoretic discourse to be about objects of a special sort, namely sets; correlatively, they regard truth in such discourse as quite like truth in discourse about nonmathematical objects. There is a thin “disquotational” way of construing this construal; but that may candy-coat a philosophically substantive semantic theory: the Mathematical-Object theory of the basis for the distribution of truth and falsehood to sentences containing set-theoretic expressions. This theory asserts that truth and falsity for sentences containing set-theoretic expressions are grounded in semantic facts (about the relation between language and the world) of the sort modelled by the usual model-theoretic semantics for an uninterpreted formal first-order language. For example, it would maintain that ‘{ } ∈ {{ }}” is true in virtue of the set-theoretic fact that the empty set is a member of its singleton, and the semantic facts that ‘{ }’ designates the empty set,‘{{ }}’ designates its singleton, and ‘∈’ applies to an ordered pair of objects iff that pair's first component is a member of its second component.
Related content
Corrections to
The Journal of Symbolic Logic, Vol. 56, Iss. 4, 1991-12 ,pp. :
On sets ∀-definable from Pfaffian functions
The Journal of Symbolic Logic, Vol. 57, Iss. 2, 1992-06 ,pp. :
Sets constructible from sequences of ultrafilters
The Journal of Symbolic Logic, Vol. 39, Iss. 1, 1974-03 ,pp. :
Sets which do not have subsets of every higher degree
The Journal of Symbolic Logic, Vol. 43, Iss. 1, 1978-03 ,pp. :
Properties of Codes from Difference Sets in 2-Groups
Designs, Codes and Cryptography, Vol. 16, Iss. 3, 1999-05 ,pp. :