J. PELC (ed.) Semiotics in Poland 1894-1969. Translation from the Polish by 0. Wojtasiewicz. Dordrecht, Boston and London; D. Reidel Publishing Company; Warsaw: PWN?Polish Scientific Publishers; 1981. xxvi + 504 pp. Df. 105/ $49.50.

The theory of descriptions occupies a very prominent place in Russell's system of logic and indeed in his system of philosophy. Since the publication of the now classical paper “On Denoting” in Mind for 1905 the theory had been incorporated into Principia Mathematica , the first volume of which appeared in 1910. In 1918 Russell discussed descriptions in his lectures on the Philosophy of Logical Atomism, which subsequently were published in The Monist for 1919. A very lucid exposition of the (...) main tenets of the doctrine is to be found in the Introduction to Mathematical Philosophy dating from the same year. Epistemological aspects of the theory of descriptions are examined in “Knowledge by Acquaintance and Knowledge by Description“, in the Proceedings of the Aristotelian Society for 1910–11, and also in Chapter V of The Problems of Philosophy, first published in 1912. (shrink)

The most difficult problem that Leniewski came across in constructing his system of the foundations of mathematics was the problem of defining definitions, as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is added to (...) the system as a new thesis. Now, some protothetical theses, and some ontological ones, included in the respective systems, happen to be definitions. In the present essay I employ Leniewski's method of terminological explanations for the purpose of formalizing ukasiewicz's system of implicational calculus of propositions, which system, without having recourse to quantification, I first extended some time ago into a functionally complete system. This I achieved by allowing for a rule of implicational definitions, which enabled me to define any propositionforming functor for any finite number of propositional arguments. (shrink)

An attempt is made in the present essay to accommodate various senses of the notion of existence and ofthat of non-existence within the framework of logic. With this aim in view a system of Lesniewski's Ontology, referred to as System S, is outlined. Equipped with appropriate definitions and illustrated with a selection of theses it offers a logical theory of existence and non-existence. The usefulness of the theory is then tested by interpreting in its terms some of the principal notions (...) and assertions of Meinong's ontology. A few brief comments on the notion of 'possible object' and on 'semantics' of fiction conclude the essay. (shrink)

An attempt is made in the present essay to accommodate various senses of the notion of existence and ofthat of non-existence within the framework of logic. With this aim in view a system of Lesniewski's Ontology, referred to as System S, is outlined. Equipped with appropriate definitions and illustrated with a selection of theses it offers a logical theory of existence and non-existence. The usefulness of the theory is then tested by interpreting in its terms some of the principal notions (...) and assertions of Meinong's ontology. A few brief comments on the notion of 'possible object' and on 'semantics' of fiction conclude the essay. (shrink)

According to the author, no body of theories deserves to be called philosophy unless some of these theories and problems fall within the province of metphysics. No problems deserves the name of metaphysics unless some of them add up to constitute ontology. The author presents the reistic version of the science of being as the union of Protothetic, Ontology, Mereology and Chronology. The next possible step in the construction of the reistic ontology will be Stereology (a kind of reistic geometry).

SummaryInterpreted distributively the sentence‘Indiana is a member of the class of American federal states’means the same as‘Indiana is an American federal state’. In accordance with the collective sense of class expressions the sentence can be understood as implying that Indiana is a part of the country whose capital city is Washington. Neither interpretation appears to accommodate all the intuitions connected with the informal notion of class. A closer accommodation can be achieved, it seems, if class expressions are interpreted as verb‐like (...) expressions of a certain kind available within the framework of Lesniewski's Ontology. (shrink)

An attempt is made in the present essay to accommodate various senses of the notion of existence and ofthat of non-existence within the framework of logic. With this aim in view a system of Lesniewski's Ontology, referred to as System S, is outlined. Equipped with appropriate definitions and illustrated with a selection of theses it offers a logical theory of existence and non-existence. The usefulness of the theory is then tested by interpreting in its terms some of the principal notions (...) and assertions of Meinong's ontology. A few brief comments on the notion of 'possible object' and on 'semantics' of fiction conclude the essay. (shrink)