| |
| | Logical Constructions (Stanford Encyclopedia of Philosophy) |
 | | With the numbers defined, for example, two as the class of all two membered sets, or pairs, the properties of numbers could be derived by logical means alone. |
 | | In any case, constructions do not appear as the referents of logically proper names, and so by that account are not part of the fundamental “furniture” of the world. |
 | | More generally, however, the use of set theoretic constructions became widespread among philosophers, and continues in the construction of set theoretic models, both in the sense of logic where they model formal theories, and as objects of interest in their own right. |
| plato.stanford.edu /entries/logical-construction (2366 words) |
|