Article contents
The consistency of Leśniewski's mereology relative to the real number system1
Published online by Cambridge University Press: 12 March 2014
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
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1968
Footnotes
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
- 6
- Cited by