Structures for Semantics
36%
off

Structures for Semantics

4 (1 rating by Goodreads)
By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 4 business days
When will my order arrive?

Description

Formalization plays an important role in semantics. Doing semantics and following the literature requires considerable technical sophistica- tion and acquaintance with quite advanced mathematical techniques and structures. But semantics isn't mathematics. These techniques and structures are tools that help us build semantic theories. Our real aim is to understand semantic phenomena and we need the technique to make our understanding of these phenomena precise. The problems in semantics are most often too hard and slippery, to completely trust our informal understanding of them. This should not be taken as an attack on informal reasoning in semantics. On the contrary, in my view, very often the essential insight in a diagnosis of what is going on in a certain semantic phenomenon takes place at the informal level. It is very easy, however, to be misled into thinking that a certain informal insight provides a satisfying analysis of a certain problem; it will often turn out that there is a fundamental unclarity about what the informal insight actually is. Formalization helps to sharpen those insights and put them to the test.
show more

Product details

  • Paperback | 371 pages
  • 154.9 x 228.6 x 22.9mm | 521.64g
  • Dordrecht, Netherlands
  • English
  • Softcover reprint of the original 1st ed. 1991
  • X, 371 p.
  • 0792312406
  • 9780792312406
  • 1,452,776

Table of contents

One: Logic and Set Theory.- 1.1. First Order Logic.- 1.1.1. Basic Concepts.- 1.1.2. Metalogic.- 1.2. Second Order Logic.- 1.2.1. Basic Concepts.- 1.2.2. The Expressive Power of Second Order Logic.- 1.3. First Order Theories.- 1.3.1. Some Examples of First Order Theories.- 1.3.2. Peano Arithmetics (PA).- 1.4. Zermelo-Fraenkel Set Theory.- 1.4.1. Basic Set Theory.- 1.4.2. The Set Theoretic Universe.- Two: Partial Orders.- 2.1. Universal Algebra.- 2.2. Partial Orders and Equivalence Relations.- 2.3. Chains and Linear Orders.- Three: Semantics with Partial Orders.- 3.1. Instant Tense Logic.- 3.2. Algebraic Semantics, Functional Completeness and Expressibility.- 3.3. Some Linguistic Considerations Concerning Instants.- 3.4. Information Structures.- 3.5. Partial Information and Vagueness.- Four: Constructions with Partial Orders.- 4.1. Period Structures.- 4.2. Event Structures.- Five: Intervals, Events and Change.- 5.1. Interval Semantics.- 5.2. The Logic of Change in Interval Semantics.- 5.3. The Moment of Change.- 5.4. Supervaluations.- 5.5. Kamp's Logic of Change.- Six: Lattices.- 6.1. Basic Concepts.- 6.2. Universal Algebra.- 6.3. Filters and Ideals.- Seven: Semantics with Lattices.- 7.1. Boolean Types.- 7.2. Plurals.- 7.3. Mass Nouns.- Answers To Exercises.- References.
show more

Rating details

1 ratings
4 out of 5 stars
5 0% (0)
4 100% (1)
3 0% (0)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X