Applied Logic: How, What and Why: Logical Approaches to Natural Language
László Pólos, M. Masuch
Springer Science & Business Media, Mar 31, 1995 - Computers - 392 pages
A selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term `applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain.
The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation.
The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.
What people are saying - Write a review
We haven't found any reviews in the usual places.
A ModelBased Theory
VERBPHRASE ELLIPSIS IN DYNAMIC SEMANTICS
ARE TYPES NEEDED FOR NATURAL LANGUAGE?
IMPLICIT AND EXPLICIT DEFINABILITY IN MODAL AND TEMPORAL LOGICS
EVOLVING ALGEBRAS AND MATHEMATICAL MODELS OF LANGUAGE
INFORMATION STATES IN SITUATION THEORY
Other editions - View all
A-calculus algorithm allocation anaphoric applied argument arity assignment assume atomic automata Axiom Batman Batmobile Beth property Computer Science consider constraints construction context context-free context-free languages corresponding defined Definition denotes derivation described deterministic diagrams dynamic logic dynamic semantics event-type evolving algebras example expressions formal formula graphical ground instance infons input interpretation John Kamareddine Kamp labels lambda abstraction Lambek Calculus Lemma lexical linear linguistic logic finite automaton logic grammar loves Mary mathematical means modal logics natural language node non-terminal notion np-subscript objects operator paradox Parsons plug-trees possible pragmatic model predicate Predicate Logic premisses presupposition procedure programming pronoun proof proposition quantifiers reference relation represent representation restricted sentence situation theory situation-types state-type static substructural logics syntactic syntax target clause temporal logic Theorem tion transition rules tree TRUEa truth Turing Machine type free University update variable words