Czesław Lejewski

TL;DR: The problem of existence will interest the author only to the extent to which it enters the province of logical enquiry and he shall try to disentangle it a little by departing from the generally accepted interpretation of the quantifiers and by bringing in other concepts related to that of existence.

TL;DR: The Warsaw School of Logic as discussed by the authors was a study group which was dominated by philosophers rather than by mathematicians, and the two founders of the School had neither a science degree or a degree in mathematics.

TL;DR: The theory of descriptions occupies a very prominent place in Russell's system of logic and indeed in his system of philosophy as discussed by the authors, and it is not an exaggeration to say that the theory of description has become part and parcel of modern logic.

TL;DR: In this paper, the authors present a new proof of the consistency of the theory under consideration, which is based on an interpretation of the Ontology of the real numbers by R. E. Clay.

TL;DR: The ontological interpretation of Boolean Algebra demands that the variables, α\ b, *c, etc., should be regarded as nαminαl variables, i.e., as variables for which names, referential or non-referential, could be substituted.