Repository | Book | Chapter
(1984) Cognitive constraints on communication, Dordrecht, Springer.
Facilitating the precise interpretation of statements first made in natural language — this has been the role of mathematical notations like predicate calculus and lambda calculus. Their use has been for the clarification of argument. They were faulted for inadequate precision or the introduction of paradox, never for forcing too much precision. Formal languages are precise, but selective in what can be easily expressed. It has always been understood that quantifiers like ∀ and ∃ only modeled some aspects of a system of natural language quantifiers. However, they captured the most useful properties very neatly.
Publication details
DOI: 10.1007/978-94-010-9188-6_11
Full citation:
Martin, W. A. (1984)., A logical form based on the structural descriptions of events, in L. Vaina & J. Hintikka (eds.), Cognitive constraints on communication, Dordrecht, Springer, pp. 201-228.
This document is unfortunately not available for download at the moment.