Hostname: page-component-76fb5796d-9pm4c Total loading time: 0 Render date: 2024-04-25T13:06:22.566Z Has data issue: false hasContentIssue false
  • English
  • Français

On relations as coextensive with classes

Published online by Cambridge University Press:  12 March 2014

W. V. Quine
W. V. Quine*
Affiliation:
Harvard University
Get access Rights & Permissions [Opens in a new window]

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
Information
The Journal of Symbolic Logic , Volume 11 , Issue 3 , September 1946 , pp. 71 - 72
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.