Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Logical Properties of Natural Language: Eliminating the Universe by Edward L. Keenan (2016, Hardcover)
Awesomebooksusa (438988)
98% positive feedback
Price:
US $20.32
ApproximatelyRM 86.22
+ $6.99 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherWorld Industries Scientific Publishing Co Pte LTD
ISBN-109814719838
ISBN-139789814719834
eBay Product ID (ePID)219151276
Product Key Features
Number of Pages250 Pages
LanguageEnglish
Publication NameLogical Properties of Natural Language: Eliminating the Universe
Publication Year2016
SubjectIntelligence (Ai) & Semantics, Natural Language Processing, Logic
TypeTextbook
AuthorEdward L. Keenan
Subject AreaMathematics, Philosophy, Computers
FormatHardcover
Additional Product Features
Intended AudienceTrade
LCCN2018-011146
SynopsisThis book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools and concepts of model theory as used in (higher order) predicate logic to the study of natural language semantics. It focuses on boolean structure, generalized quantification (separated from variable binding), covering some cases of anaphora. Different categories -- predicates, adjective, quantifiers -- are modeled by non-isomorphic boolean lattices.Of empirical linguistic interest is the expressibility of many natural classes of quantifiers defined in terms of their logical (automorphism invariant) properties. Some of these correlate with classes used syntactically in generative grammar. In other cases we find general (possibly universal) constraints on possible quantifier denotations in natural language.Also of novel logical interest are entailment paradigms that depend on relations between pairs or triples of generalized quantifier denoting expressions, ones that are in some cases inherently vague. In addition we note novel binary quantifiers that lie beyond the 'Frege boundary' in that they are provably not identical to any iterated application of unary quantifiers.Of philosophical interest is the existence of models which make the same sentences true as standard models but which lack a universe and hence, seemingly, a notion of 'reference'. Moreover, these models generalize to ones in which we can represent (some) intensional expressions without the use of novel ontological objects, such as 'possible worlds' or 'propositions'., This book synthesizes the author's work (1980s2015) on the logical expressive power of natural language. It extends the tools and concepts of model theory as used in (higher order) predicate logic to the study of natural language semantics. It focuses on boolean structure, generalized quantification (separated from variable binding), covering some cases of anaphora. Different categories - predicates, adjective, quantifiers - are modeled by non-isomorphic boolean lattices.Of empirical linguistic interest is the expressibility of many natural classes of quantifiers defined in terms of their logical (automorphism invariant) properties. Some of these correlate with classes used syntactically in generative grammar. In other cases we find general (possibly universal) constraints on possible quantifier denotations in natural language.Also of novel logical interest are entailment paradigms that depend on relations between pairs or triples of generalized quantifier denoting expressions, ones that are in some cases inherently vague. In addition we note novel binary quantifiers that lie beyond the "Frege boundary" in that they are provably not identical to any iterated application of unary quantifiers.Of philosophical interest is the existence of models which make the same sentences true as standard models but which lack a universe and hence, seemingly, a notion of "reference." Moreover, these models generalize to ones in which we can represent (some) intensional expressions without the use of novel ontological objects, such as "possible worlds" or "propositions.", This book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools and concepts of model theory as used in (higher order) predicate logic to the study of natural language semantics. It focuses on boolean structure, generalized quantification (separated from variable binding), covering some cases of anaphora. Different categories -- predicates, adjective, quantifiers -- are modeled by non-isomorphic boolean lattices. Of empirical linguistic interest is the expressibility of many natural classes of quantifiers defined in terms of their logical (automorphism invariant) properties. Some of these correlate with classes used syntactically in generative grammar. In other cases we find general (possibly universal) constraints on possible quantifier denotations in natural language. Also of novel logical interest are entailment paradigms that depend on relations between pairs or triples of generalized quantifier denoting expressions, ones that are in some cases inherently vague. In addition we note novel binary quantifiers that lie beyond the "Frege boundary" in that they are provably not identical to any iterated application of unary quantifiers. Of philosophical interest is the existence of models which make the same sentences true as standard models but which lack a universe and hence, seemingly, a notion of "reference". Moreover, these models generalize to ones in which we can represent (some) intensional expressions without the use of novel ontological objects, such as "possible worlds" or "propositions".
LC Classification NumberP138.K435 2018
Be the first to write a review
