Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-11-26T01:21:52.231Z Has data issue: false hasContentIssue false

On relations as coextensive with classes

Published online by Cambridge University Press:  12 March 2014

W. V. Quine*
Affiliation:
Harvard University

Extract

In a previous note I showed a new way to define the ordered pair. I made use of the notations ‘Nn’ (for class of natural numbers) and ‘Sv’ (for successor of v), remarking that they are readily defined without appeal to ordered pairs or relations. Adopting the auxiliary abbreviation:

I defined the ordered pair thus:

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1946

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1 On ordered pairs, this Journal, vol. 10 (1945), pp. 95-96.

2 I.e., the class of all ordered pairs belonging to x. It is expressed in Mathematical logic by applying a dot.