Boolean semantics for natural language

Edward L. Keenan and Leonard M. Faltz

[目次]

  • Boolean Semantics: An Overview.- 1. Sketch of the Semantics.- 1.1. Characterizing English Denotations and Entailments.- 1.2. Characterizing Possible Semantic Systems for Natural Language.- 2. On the Relation between English Form and Logical Form.- 3. An Ontological Innovation.- I: The Extensional Logic.- A. The Core Language, L.- 1. Syntax of the Core Language L.- Defining CAT.- Defining V and PEV.- Defining L.- Remarks on the Definitions.- 2. The Semantics for L.- Defining the Types for L.- The Type for P0 or Formulas.- The Types for N, $$\bar N$$, and $$\bar N$$prop.- Eliminating the Universe.- Characterizing TN.- Completeness of boolean algebras.- Atomicity of boolean algebras.- Defining TN Without a Universe.- Defining Proper Noun Denotations without U.- The Ontology and Some Basic Types for L: Summary.- Discussion.- Why should TN Be Complete and Atomic?.- Defining TDet.- Defining the Types for the Pn's.- Defining $${T_{{P_n}}}$$, all n.- Defining Types for Predicative Hierarchies in General.- Summary Definition of the Types.- Defining Interpretations for L.- Advantages of the Generalized Entailment Relation.- A Concluding Remark on Comparative Ontologies.- Proofs of the Theorems.- Notes.- I: The Extensional Logic.- B. Extending the Core Language.- 1. Modifiers.- Adjective Phrases.- Comparative Adjectives.- Predicate Adjectives.- Proofs of Theorems from This Section.- 2. Predicate Modifiers.- Proofs of Theorems from This Section.- 3. Predicatives.- Preliminary Remarks on Case Marking.- Transitive Common Noun Phrases.- Modifiers of n-place Common Nouns.- Some Relations Between Nominals and Predicates.- Subcategories of Nn.- Transitive Adjective Phrases.- Ditransitive Verb Phrases (P3s).- Prepositions and Predicate Modifier Hierarchies.- Prepositions as Formers of Predicate Modifiers.- Prepositions as Verbal Extensors.- 4. Valency Affecting Operations.- Passives.- A Generalized Passive Operator.- Sentence level views.- Predicate level views.- Generalizing Passive.- Agent Phrases.- Extending Passive to Nominals and Other Predicative Hierarchies.- Nominals.- Passive Adjectives?.- Passive Prepositions??.- 5. Extending and Subcategorizing the Class of Determiners.- Numerical Determiners.- Non-Logical Determiners.- Characterizing 'Logical' Determiners.- Vague Determiners.- Determiners Compared to Other Categories.- Generalizing Determiners.- Extending Possessive Determiners.- 6. Variables and Variable Binding Operators.- The Lambda Operator.- The Reflexive Operator.- The Relative Clause Operator.- 7. Non-homomorphic Predicates?.- Numerical Predicates.- Collective Predicates.- Reciprocal Predicates.- Intensional Predicates.- II: The Intensional Logic.- 1. Introduction to the Intensional System.- Proofs of the Theorems.- 2. The Intensional System for the Core Language.- Proofs of the Theorems.- Notes for II.2.- 3. The Intensional Logic for APs.- Proofs of the Theorems.- 4. Predicate Modifiers and Prepositions in the Intensional System.- 5. Variables and Variable Binding Operators in the Intensional System.- 6. Sentential Predicates in the Intensional System.- Syntax of Sentence Taking Predicates.- A Semantics for $$\bar S$$ and $$\bar S$$-Taking Predicates.- Formal Definitions of the New Types.- Lexical Constraints on the Interpreting Function m.- Subcategories of $$\bar S$$-Taking Predicates.- Argument Categories in Addition to $$\bar N$$ and $$\bar S$$.- Extraposition.

「Nielsen BookData」より

[目次]

  • Boolean Semantics: An Overview.- 1. Sketch of the Semantics.- 1.1. Characterizing English Denotations and Entailments.- 1.2. Characterizing Possible Semantic Systems for Natural Language.- 2. On the Relation between English Form and Logical Form.- 3. An Ontological Innovation.- I: The Extensional Logic.- A. The Core Language, L.- 1. Syntax of the Core Language L.- Defining CAT.- Defining V and PEV.- Defining L.- Remarks on the Definitions.- 2. The Semantics for L.- Defining the Types for L.- The Type for P0 or Formulas.- The Types for N, $$\bar N$$, and $$\bar N$$prop.- Eliminating the Universe.- Characterizing TN.- Completeness of boolean algebras.- Atomicity of boolean algebras.- Defining TN Without a Universe.- Defining Proper Noun Denotations without U.- The Ontology and Some Basic Types for L: Summary.- Discussion.- Why should TN Be Complete and Atomic?.- Defining TDet.- Defining the Types for the Pn's.- Defining $${T_{{P_n}}}$$, all n.- Defining Types for Predicative Hierarchies in General.- Summary Definition of the Types.- Defining Interpretations for L.- Advantages of the Generalized Entailment Relation.- A Concluding Remark on Comparative Ontologies.- Proofs of the Theorems.- Notes.- I: The Extensional Logic.- B. Extending the Core Language.- 1. Modifiers.- Adjective Phrases.- Comparative Adjectives.- Predicate Adjectives.- Proofs of Theorems from This Section.- 2. Predicate Modifiers.- Proofs of Theorems from This Section.- 3. Predicatives.- Preliminary Remarks on Case Marking.- Transitive Common Noun Phrases.- Modifiers of n-place Common Nouns.- Some Relations Between Nominals and Predicates.- Subcategories of Nn.- Transitive Adjective Phrases.- Ditransitive Verb Phrases (P3s).- Prepositions and Predicate Modifier Hierarchies.- Prepositions as Formers of Predicate Modifiers.- Prepositions as Verbal Extensors.- 4. Valency Affecting Operations.- Passives.- A Generalized Passive Operator.- Sentence level views.- Predicate level views.- Generalizing Passive.- Agent Phrases.- Extending Passive to Nominals and Other Predicative Hierarchies.- Nominals.- Passive Adjectives?.- Passive Prepositions??.- 5. Extending and Subcategorizing the Class of Determiners.- Numerical Determiners.- Non-Logical Determiners.- Characterizing 'Logical' Determiners.- Vague Determiners.- Determiners Compared to Other Categories.- Generalizing Determiners.- Extending Possessive Determiners.- 6. Variables and Variable Binding Operators.- The Lambda Operator.- The Reflexive Operator.- The Relative Clause Operator.- 7. Non-homomorphic Predicates?.- Numerical Predicates.- Collective Predicates.- Reciprocal Predicates.- Intensional Predicates.- II: The Intensional Logic.- 1. Introduction to the Intensional System.- Proofs of the Theorems.- 2. The Intensional System for the Core Language.- Proofs of the Theorems.- Notes for II.2.- 3. The Intensional Logic for APs.- Proofs of the Theorems.- 4. Predicate Modifiers and Prepositions in the Intensional System.- 5. Variables and Variable Binding Operators in the Intensional System.- 6. Sentential Predicates in the Intensional System.- Syntax of Sentence Taking Predicates.- A Semantics for $$\bar S$$ and $$\bar S$$-Taking Predicates.- Formal Definitions of the New Types.- Lexical Constraints on the Interpreting Function m.- Subcategories of $$\bar S$$-Taking Predicates.- Argument Categories in Addition to $$\bar N$$ and $$\bar S$$.- Extraposition.

「Nielsen BookData」より

この本の情報

書名 Boolean semantics for natural language
著作者等 Faltz, Leonard M.
Keenan, Edward L.
Faltz L. M.
Keenan Edward L.
シリーズ名 Synthese language library
出版元 D. Reidel Pub. Co.
Sold and Kluwer Academic
刊行年月 c1985
ページ数 xii, 387 p.
大きさ 23 cm
ISBN 9027718423
9027717680
NCID BA00010824
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想