 |
|
|
Item Details
| Title:
|
PARTIALITY, TRUTH AND PERSISTENCE
|
| By: |
Tore Langholm |
| Format: |
Hardback |
| List price:
|
£40.00 |
| Our price: |
£36.00 |
| Discount: |
|
| You save:
|
£4.00 |
|
|
|
|
|
| ISBN 10: |
0937073350 |
| ISBN 13: |
9780937073353 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Pub. date: |
30 June, 1988 |
| Edition: |
74th |
| Series: |
Center for the Study of Language & Information - Lecture Notes 15 |
| Pages: |
163 |
| Description: |
We know what it means for a sentence to be true or false in a classical, complete model, but how do we extend this relation when partial models are introduced? This study in spatial model theory, the theory of partially defined models, answers this question. |
| Synopsis: |
In recent years, 'semantical partiality' has emerged as an important concept in philosophical logic as well as in the study of natural language semantics. Despite the many applications, however, a number of mathematically intriguing questions associated with this concept have received only very limited attention. Partiality, Truth, and Persistence is a study in spatial model theory, the theory of partially defined models. First, with the introduction of truth value gaps in semantics, there are many ways to generalize the classical truth definition for the sentences of a first order predicate language. We know what it means for a sentence to be true or false in a classical, complete model, but how do we extend this relation when partial models are introduced? Various alternatives exist, and a detailed comparison is carried out between them. Since these studies concern a full first order predicate language, many distinctions appear that do not arise in the case of pure propositional logic.A condition of monotonicity or 'persistence' of truth relative to partial models has a prominent position among conditions that are not expressible in the framework of standard, complete model theory. The final chapter investigates the relation between such conditions and expressibility properties in general. These discussions culminate with a combined Lindstrom and persistence characterization theorem. Tore Langholm is a research fellow in mathematics at the University of Oslo. He is a co-author of Situations, Language and Logic. |
| Publication: |
US |
| Imprint: |
Centre for the Study of Language & Information |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|