01413nam a2200193Ia 4500003000500000005001700005008004100022020001800063040000900081041000800090050001600098100001700114245005500131250002400186260005600210300003800266520089900304650001601203968820250327172355.0200729s9999||||xx |||||||||||||| ||und||  a0-521-37610-6  cB000  aeng  aR P325bC36  aCann, Ronnie 0aFormal semantics :ban introduction /cRonnie Cann  a1a ;breimpresión  aEstados Unidos :bCambridge University Press,c1994  a344 p. :besquemas,c15 x 22.5 cm  aThis book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intensional logic. It covers all the major aspects, including set theory, propositional logic, type theory, lambda abstraction, traditional and generalised quantifiers, inference, tense and aspect, possible worlds semantics, and intensionality. Throughout the emphasis is on the use of logical tools for linguistic semantics, rather than on purely logical topics, and the introductory chapter situatesformal semantics within the general framework of linguistic semantics. It assumes some basic knowledge of linguistics but aims to be as non-technical as possible within a technical subject.  aSemántica