The ontological argument generalized Bull Ç Frege semantics

Abstract

On the basis of the joint examination of semantics of logic Boole and Frege and their subsequent agreement to construct a semantic theory which is named Boole Ç Frege semantics. The ontological argument, the underlying semantics and Boole Ç Frege essentially distinguishes it from other semantics is as follows denotation truth is only used denotation in this semantics.