Abstract

Fregean logic has difficulty with certain arguments in which there is cross-reference between premises and conclusion. In this paper I describe a method of handling arguments of the troublesome kind: It involves replacing standard quantifiers with explicit existential statements, and turns standard logic into a free one. A validation procedure is provided for the logic