Logical Derivability of the Concept of Meaning, Formulation I

Abstract

Expressions, words and symbols without reference to something else which could be called their meanings are semantically helpless. But not all expressions and words refer; some even come with ambiguities and equivocations like Golden Mountain, Chimera etc., however, any symbol which does not refer could not properly be called a symbol. So because every symbol necessarily refers to something definite, it is not the case that ambiguities and equivocations would sneak into symbolic expressions. Hence, logic becomes that science which prefers symbolic or artificial or formal language to natural language. Therefore, since meaning or semantics is a central focus of logic together with syntax, we attempted in this work to obtain a logical derivation of it in the symbolic language of logic devoid of the ambiguities and equivocations of natural