Logic, language, and meaning vol.2: Intensional logic and logical grammar [1 ed.] 0226280888

Table of contents :
Foreword
Preface
1 The Origins of Intensional Logic
1.1 Introduction
1.2 The Correspondence Theory of Meaning
1.3 Naturalism versus Conventionalism
1.4 Variants of the Correspondence Theory of Meaning
1.5 Logical Semantics as a Referential Theory of Meaning
1.6 Problems with the Referential Theory of Meaning
1.7 Frege's Theory of Meaning
1.8 Context Dependence
2 Intensional Propositional Logic
2.1 Introduction
2.2 Possible Worlds Semantics
2.3 Modal Propositional Logic
2.3.1 Historical Background
2.3.2 Syntax and Semantics
2.3.3 The Syntactic Approach to the Notion of Validity
2.3.4 Alethic and Epistemic Modalities
2.3.5 An Application
2.4 Propositional Tense Logic
2.4.1 Syntax and Semantics
2.4.2 Now: An Extension
2.4.3 Other Approaches
2.5 Tense and Modality Combined
3 Intensional Predicate Logic
3.1 Opaque Contexts: Modalities de Dicto and de Re
3.2 Proper Names and Definite Descriptions: Rigid Designation
3.3 The Semantics of Modal Predicate Logic
3.3.1 Formulas without Variables
3.3.2 Identity
3.3.3 Variables and Quantifiers
3.3.4 One Domain: The Existence Predicate
3.4. Other Kinds of Contexts
3.5 A Methodological Note
4 The Theory of Types and Categorial Grammar
4.1 Introduction
4.2 The Theory of Types
4.2.1 Type Distinctions in Natural Language
4.2.2 Syntax
4.2.3 Semantics
4.3 Categorial Grammar
4.3.1 Introduction
4.3.2 Characteristics of Categorial Grammar
4.3.3 The Descriptive Adequacy of Categorial Grammar
4.3.4 Categorial Grammar and the Theory of Types
4.4 λ-Abstraction.
4.4.1 The λ-Operator
4.4.2 λ-Conversion
4.4.3 The λ-Operator and Compositionality
5 The Intensional Theory of Types
5.1 Introduction
5.2 Intensional Constructions and Intensional Concepts
5.3 Syntax
5.4 Semantics
5.5 The Operators ∧ and v
5.6 λ-Conversion
5.7 Temporal Operators
5.8 Two-Sorted Type Theory
6 Montague Grammar
6.1 Introduction
6.1.1 Compositionality of Meaning and Syntax
6.1.2 Object Language and Metalanguage: Semantic Closure
6.1.3 Semantics and Truth Theory
6.2 The Organization of a Montague Grammar
6.3 A Montague Grammar for a Fragment of English
6.3.1 Categories and Basic Expressions
6.3.2 Terms, Intransitive Verbs, Sentences
6.3.3 The Organization of the Translation Process
6.3.4 The Translation of Terms
6.3.5 Transitive Verbs
6.3.6 The Function of Meaning Postulates
6.3.7 Meaning Postulates for the Fragment
6.3.8 Scope Ambiguities, de Re Readings, and Rules of Quantification
6.3.9 The Transitive Verb Be
6.3.10 Conjunction Rules, Disjunction Rules, and Negation Rules
6.4 Individual Concepts
6.4.1 Arguments for the Introduction of Individual Concepts
6.4.2 Consequences of the Introduction of Individual Concepts
6.4.3 Some Examples
6.4.4 Meaning Postulates
6.5 Compositionality, Logical Form, and Grammatical Form
6.6 Concluding Remarks
7 Recent Developments
7.1 Introduction
7.2 The Theory of Generalized Quantifiers
7.2.1 Principal Objectives
7.2.2 NPs as Generalized Quantifiers in Montague Grammar
7.2.3 Determiners: Two Perspectives
7.2.4 Some Fundamental Properties ofNPs and Quantifiers
7.2.5 Global Constraints
7.2.6 Logical Determiners
7.2.7 Further Developments
7.3 Flexible Categorial Grammar and Type Theory
7.3.1 Category Change
7.3.2 A Logical Point of View
7.3.3 Further Developments
7.4 Discourse Representation Theory
7.4.1 Introduction
7.4.2 Some Problems with Anaphoric Relations and Indefinite Terms
7.4.3 An Informal Introduction to DRT
7.4.4 Formal Definitions
7.4.5 DRT and Compositionality
7.4.6 Conclusion
Solutions to Selected Exercises
Bibliographical Notes
References
Index

Polecaj historie

Logic, Language, and Meaning: Introduction to Logic, Vol. 1 [1 ed.] 0226280845, 0226280853, 0226280861, 0226280888, 9780226280851

Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide

656 32 2MB Read more

Logic, Language and Meaning 3642142869, 9783642142864, 2132232342, 2842953053

The 2009 edition of the Amsterdam Colloquium was the 17th in a series which started in 1976. The Amsterdam Colloquia aim

727 67 7MB Read more

Language, Truth and Logic

If you can't prove something, it is literally senseless - so argues Ayer in this irreverent and electrifying book.

1,020 44 2MB Read more

Meaning without Analyticity: Essays on Logic, Language and Meaning 184718975X, 9781847189752

Meaning without Analyticity draws upon the author s essays and articles, over a period of 20 years, focused on language,

491 34 68MB Read more

Logic, Logic, and Logic 067453767X, 9780674537675

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, near

232 51 16MB Read more

Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings 3662628422, 9783662628423

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the referee

564 78 9MB Read more

The Language of Logic

821 139 18MB Read more

Meaning and Argument: An Introduction to Logic Through Language 9781118390191, 2012019765, 1118390199

Meaning and Argumentis a popular introduction to philosophy of logic and philosophy of language. Offers a distinctive p

1,303 195 2MB Read more

Theo-Logic: Theological Logical Theory: Truth of God (Theo-Logic, #2) [Hardcover ed.] 0898707196, 9780898707199

Theo-Logic is the third part of the great trilogy of the masterwork of theologian Hans Urs von Balthasar, following his

385 15 456KB Read more

Logic, language-games and information : Kantian themes in the philosophy of logic. 9780198243649, 0198243642

842 73 9MB Read more