Abstract

In "Abstracts from Logical Form I/II," it was stated in the abstract that it remained necessary to put the pilot experiments into a "comprehensive theory." It is suggested here that the comprehensive theory is nothing other than classical logic modestly extended to include higher-order predicates, functions, and epistemic predicates, as well as a quantitative quantifier to deal with cases other than "all" (taken literally) or "some" in the sense of at least one. It is further suggested that up to a point the theory should generalize across languages, and that logical form is very powerful.