17 Representing Natural Language Information in Predicate Calculus E. Sandewall

The distinction between analytic and empirical statements obviously has some potential philosophical overtones. We hope to avoid most of them by formulating the distinction in terms of an assumption on the verbs believe, know, and so on, rather than in terms of philosophical considerations. The predicate'Holds' The connectedness' of our set of functions and relations requires that there should be some unary relation'Holds' such that Holds(m