Israel, D. J. On Formal versus Commonsense Semanticsin Theoretical Issues in Natural Language Processing, Lawrence Erlbaum Associates, 1990.
There is semantics and, on the other hand, there is semantics. And then there is the theory of meaning or content. I shall speak of pure mathematical semantics and real semantics.
I have very little idea what formal means in formal semantics –unless it simply means semantics done rigorously and systematically. I have even less idea what is meant by commonsense semantics. I shall not speak much of the theory of meaning. The distinction between these two modes of semantics, the mathematical and the real, is not meant to be a hard and fast distinction–nor, most assuredly, is it intended to be rigorous or systematic. As I see it, the distinction has primarily to do with purposes or goals, derivatively, with constraints on the tools or conceptual resources considered available to realize those goals. In particular, real semantics is simply pure mathematical semantics with certain goals in mind and thus operating under certain additional constraints. Another way to put the point: some work in pure mathematical semantics is in fact a contribution to real semantics; however, it does not have to be such to make a genuine contribution to pure mathematical semantics. Hence, since real semantics can be executed with the same degree of rigor and systematicity as must all of pure mathematical semantics, it should be.
Have I made myself clear? Not entirely, perhaps. Let’s try a more systematic approach. Pure mathematical semantics is either a part of or an application of mathematical logic. Real semantics, even though an application of mathematical logic, is a part of the theory of meaning or content. Contributions to real semantics had better cast some light on naturally occurring phenomena within the purview of a theory of meaning–on such properties and relations as truth analyticity, necessity, implication .
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC