van Benthem, Johan 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 Cited in 1 ReviewCited in 21 Documents MSC: 03B60 Other nonclassical logic 03B65 Logic of natural languages 03B70 Logic in computer science 68Q65 Abstract data types; algebraic specification Keywords:nonmonotonic logic; minimal models; philosophy of language; maxims; commonsense reasoning; circumscription; Lewis’s conditional logic; logic programming; abstract data types; Dynamics in the semantics of natural language; operational semantics; categorial grammar; propositional dynamic logic Citations:Zbl 0673.00006 PDFBibTeX XML