This is a collection of papers resulting from an international symposium on pragmatics of natural languages held in Jerusalem, June, 1970. The topic is one of intense, and renewed interest today. The eleven papers include a five page brief for the "New Rhetoric"; a piece on "universal semantics" which "establishes" that intuitionists cannot talk to anyone and presents "an unambiguous instance where we may, by mathematical logic deduce a falsehood from a truth"; an attempt at partial formalization of the subdivisions (...) that Morris and Carnap made under the heading semiotic; three papers that consist of inconclusive and disjointed, though interesting, notes and putative formalizations concerning linguistic competence, linguistic performance, and language-learning and communication with children; a formalized message theory which may lead somewhere; and papers by Leo Apostel, Robert Martin, and L. Jonathan Cohen. (shrink)

This paper pursues the suggestion of St. Anselm that action expressions can be parsed by saying that the agent makes a certain proposition true. Using the model syntax of Pörn and the relatedness logic of Epstein, it is shown how St. Anselm's approach can reveal the logical form of some common action locutions.