Hostname: page-component-848d4c4894-xm8r8 Total loading time: 0 Render date: 2024-07-07T16:00:38.183Z Has data issue: false hasContentIssue false

The consistency of Leśniewski's mereology relative to the real number system1

Published online by Cambridge University Press:  12 March 2014

Robert E. Clay*
Affiliation:
University of Notre Dame

Extract

It is known that Leśniewski constructed an interpretation of mereology in the real number system using binary expansions.2 Unfortunately, this construction is no longer extant. The following paper, except for a slight variation, is an attempt to reconstruct this interpretation.

Leśniewski probably considered sequences of 0's and I's (except for the sequence of all 0's) and defined a first sequence as an element of the second if every place in which the first has a I, so also does the second.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1968

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.)

Footnotes

1

This paper is part of a thesis written under the direction of Professor Boleslaw Sobociński and submitted to the graduate school of the University of Notre Dame in partial fulfillment of the requirements for the degree of Doctor of Philosophy with Mathematics as major subject in August, 1961.

References

[1]Clay, R. E., The relation of weakly discrete to set and equinumerosity in mereology, Notre Dame Journal of formal logic, vol. VI (1965), pp. 325340.Google Scholar
[2]Leśniewski, S., O podstawach matematyki (On the foundations of mathematics), Przegląd filozoficzny (Philosophical Review), vol. 30 (1927), pp. 164206; vol. 31 (1928), pp. 261–291; vol. 32 (1929), pp. 60–101; vol. 33 (1930), pp. 75–105; vol. 34 (1931), pp. 142–170.Google Scholar
[3]Sobociński, B., Studies in Lešniewsk's mereology.Yearbook for 1954–55 of Polish Society of Arts and Sciences Abroad, vol. V. London, 1955, pp. 3448.Google Scholar