Structures for Semantics

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 too...

Full description

Bibliographic Details
Main Author: Landman, Fred
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 1991, 1991
Edition:1st ed. 1991
Series:Studies in Linguistics and Philosophy
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03048nmm a2200277 u 4500
001 EB000717697
003 EBX01000000000000000570779
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9789401132121 
100 1 |a Landman, Fred 
245 0 0 |a Structures for Semantics  |h Elektronische Ressource  |c by Fred Landman 
250 |a 1st ed. 1991 
260 |a Dordrecht  |b Springer Netherlands  |c 1991, 1991 
300 |a X, 371 p  |b online resource 
505 0 |a One: Logic and Set Theory -- 1.1. First Order Logic -- 1.2. Second Order Logic -- 1.3. First Order Theories -- 1.4. Zermelo-Fraenkel Set Theory -- 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 
653 |a Logic 
653 |a Semiotics 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Studies in Linguistics and Philosophy 
028 5 0 |a 10.1007/978-94-011-3212-1 
856 4 0 |u https://doi.org/10.1007/978-94-011-3212-1?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 401.4 
520 |a 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