Limits of Natural Logic
Lauri Karttunen · 2015
Natural Logic attempts to do formal reasoning in natural language in a proof-theoretic way making use of the syntactic structure and the semantic properties of lexical items and constructions. It goes beyond trying to establish who did what to whom to yield further inferences. Natural Logic contrasts with approaches that involve a translation from a natural into a formal language such as predicate calculus or a higher-order logic that is sometimes deemed a more appropriate basis for reasoning although difficult to implement efficiently. Both approaches have been used in current work on computational semantics.