Synopses & Reviews
This book is a collection of papers offering a broad account of many interesting topics in the study of Logic, Language and Information. In particular, the collection addresses two important themes: how to handle quantification in natural language, and how to isolate genuine `logics of information'. After the editor's introduction, which presents an overview of the interdisciplinary field, the collection begins with a group of fairly philosophical papers which address current issues in formal semantics from a logical perspective. It then moves on to papers which straddle the border between formal semantics and logic, and finishes with purely logical papers focusing on some non-classical logics. This book will be of interest to those working in logic, philosophy, linguistics, computer science and artificial intelligence.
Table of Contents
Recent Issues in Logic, Language and Computation; S. Akama. 2.
Restricted Quantification; M.J. Cresswell. 3.
The Epsilon Calculus' Problematic; B.H. Slater. 4.
Definite Descriptions and Choice Functions; K. von Heusinger. 5.
Spatio-Temporal Structure in Text; N. Asher. 6.
DRT and Many-Valued Logics; Y. Nakayama. 7.
On Constructive Modality; S. Akama. 8.
Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics; H. Wansing. 9.
Quantification and Dependence Logics; L. Fariñas del Cerro, V. Lugardon. 10.
Relevant Conditionals, and Relevant Application Thereof; R. Sylvan.