×

Semantic parallels in natural language and computation. (English) Zbl 0694.03022

Logic colloq. ’87, Proc. Colloq., Granada/Spain 1987, Stud. Logic Found. Math. 129, 331-375 (1989).
[For the entire collection see Zbl 0673.00006.]
The paper stresses the importance of nonmonotonic logical systems. Two themes are being concentrated on:
1. Using minimal models in the philosophy of language (P. Grice’s maxims), formalizing commonsense reasoning (J. McCarthy’s circumscription), Lewis’s conditional logic, logic programming and abstract data types. Analogies between circumscription and conditional logic are examined in detail.
2. Dynamics in the semantics of natural language (H. Kamp, I. Heim), operational semantics (for programs and for assertions), categorial grammar and propositional dynamic logic.
Reviewer: T.Tammet

MSC:

03B60 Other nonclassical logic
03B65 Logic of natural languages
03B70 Logic in computer science
68Q65 Abstract data types; algebraic specification

Citations:

Zbl 0673.00006