Nonstandard theories of quantification and identity

Abstract

In this paper a number of nonstandard systems of predicate logic with or without identity, are translated with subsystems of applied standard system of predicate logic with identity. There are nonstandard theories of quantification which, following [16], are described as inclusive systems; their theorems are valid in all domains, including the empty domain. Theories of quantification which allow for the substitution of denotationless terms for free variables, are described, following [21], as systems of free logic; they are said to be free of the requirement that all singular terms must have denotations. Free logics and inclusive logics may each be of the other type. A nonstandard theory of identity, described, following [12] as a theory of nonreflexive identity, may be combined with a standard or with a nonstandard theory of quantification. Another kind of nonstandard system of predicate logic examined is a nonstandard version of a system of monadic predicate logic in which a distinction is made between sentence and predicate negation, and which is nonstandard in the sense that the laws relating sentence and predicate negation diverge from the standard ones. In the systems examined, this is combined with an inclusive quantification theory.