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)

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)

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)

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)

As the author sees it, Tadeusz Kotarbiński's reism is an ontology with semantical ramifications. Contrary to Kazimierz Ajdukiewicz's view the reist is not commited to any particular categorially determined language; he has to use, and is at liberty to do so, the language of whoever happens to be his opponent always provide that it is a categorially determined language. Contrary to Ajdukiewicz's opinion, the positive ontological thesis of resim (i.e. the thesis that for all a and b, if a is (...) a b, then a is bulky and lasting) is not a tautology; it is a denial of the thesis held by unicategorial Platonism. Contrary to Ajdukiewicz's insistence, the negative ontological thesis of reism (i.e. the thesis that there are no properties, there are no relations, there are no events, etc.) consists of propositions which, in the light of multicategorial idealization of ordinary language, are meaningful and syntactically well constructed. They deny equally meaningful and syntactically well constructed assertions of multicategorial Platonism. (shrink)

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.

We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in ‘The World of Physics and the World of Sense’ (Lecture IV in Our Knowledge of the External World of 1914). Based on this theory, Russell sketched ways to construct instants as collections of events. This paper formalizes Russell's approach from 1914. We will also show that in such a reconstructed theory, we obtain all axioms of Russell's (...) second theory from 1936 and all axioms of Thomason's theory of events from 1989. Russell's work certainly influenced the works of Stanisław Leśniewski, his student Alfred Tarski, and Czesław Lejewski – prominent members of the Lvov-Warsaw School (LWS). We see our work in the tradition of the research of Leśniewski and Tarski. Building on the technical tools developed in this environment and in the spirit of the traditional research of the LWS, we engage here, in particular, with two classic works by Russell on fundamental ontology. (shrink)

Ocherk 1. Voprosy ontologii -- Ocherk 2. Voprosy ėtiki i ėstetiki -- Ocherk 3. Voprosy gnoseologii i aksiologii.

This paper deals with Popper's little-known work on deductive logic, published between 1947 and 1949. According to his theory of deductive inference, the meaning of logical signs is determined by certain rules derived from ?inferential definitions? of those signs. Although strong arguments have been presented against Popper's claims (e.g. by Curry, Kleene, Lejewski and McKinsey), his theory can be reconstructed when it is viewed primarily as an attempt to demarcate logical from non-logical constants rather than as a semantic foundation (...) for logic. A criterion of logicality is obtained which is based on conjunction, implication and universal quantification as fundamental logical operations. (shrink)