J. Lambert

The expression ‘free logic,’ coined by the author in 1960, is an abbreviation for ‘logic free of existence assumptions with respect to its terms, singular and general, but whose quantifiers are treated exactly as in standard quantifier logic.’ In more traditional language, such logics do not presume that either singular or general terms — the two distinct categories of terms emphasized in modern logical grammar — have existential import. A singular term ‘t’ has existential import just in case t exists (or, equivalently, there exists an object the same as t) and a general term (or predicate) ‘G’ has existential import just in case G exist (or, equivalently, there exists an object that is G).1 Examples from colloquial English customarily taken to be singular terms are expressions such as ‘Socrates’, ‘the planet causing perturbations in the orbit of Mercury’, ‘5’, ‘5/0’, ‘the square of 3’ and ‘having a heart’. Some of these do not have existential import — in particular, ‘5/0’ and ‘the planet causing perturbations in the orbit of Mercury’. Examples from colloquial English customarily taken to be general terms are expressions such as ‘is a philosopher’, ‘is a planet causing perturbations in the orbit of Mercury’, ‘number’, ‘is divisible by 0’, and ‘has a heart’. Some of these general terms do not have existential import — in particular, ‘is a planet causing perturbations in the orbit of Mercury’ and ‘is divisible by 0’. To say that the quantifers are treated exactly as in standard quantifier logic is to say, roughly, that the operator symbol ‘∃’ (the existential quantifier) reads: ‘There exists an object’, and the operator symbol ‘∀’ (the universal quantifier) reads: ‘Every existent object’.

The major goal of this paper is to argue that a well known argument to overturn the principle that coextensive predicates substitute in any statement without alteration of truth value can be avoided - even in the simplest of languages. Apparently this can be done nonartificially only by expanding the universe with nonexisting objects. It is not proved that the principle of substitution salva veritate holds in Meinongian model structures, but in fact it does - as any completeness proof of free logics based on inner domain-outer domain semantics will show. I f - as some have suggested - Meinong's views are compatible with the attitudes of a complete extensionalist, and he subscribed to the outlined modern theory of predication, there is no escape from Außersein. That may seem terribly obvious, but in the light of the development of free logics, more than mere conviction is needed. This dogmatic intuition is supplanted with some strong inclining reasons.

In Russia a monotheism - Orthodox Christianity - and atheism in its Marxist version have succeeded each other as state systems of rites and representations. Rather than contrasting one with the other, term with term, this paper proposes to bring in a third term: the local religious systems of Russia’s animist minorities. We examine how Christianity and atheism tried one after the other to get established there and also consider the reactions they encountered. The analysis as planned is undertaken on two levels: on an overall level we look at the strategies and aims of the state and its representatives, and on the local level - illustrated by the particular example of the Nenets - concrete and always specific mechanisms are presented, which application of general policy has implemented on the ground