Partiality, Truth and Persistence by Tore Langholm
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.-
Lecture Notes on Geriatric Medicine
-
Lecture Notes on Dermatology
-
Necessity or Contingency?: The Master Argument and its Philosophical Solutions
-
Selected Papers on Computer Science
-
Lecture Notes: Paediatrics
-
Selected Papers on Analysis of Algorithms
-
Literature and Cognition
-
Vicious Circles
-
Propositional Attitudes
-
Literate Programming
-
Feature Logics, Infinitary Descriptions, and Grammar
-
Computational Models of American Speech: Volume 32 (Center for the Study of Language and Information Publication Lecture Notes)
-
The Ontology of Language
-
Language and Learning for Robots
-
Beyond Grammar
-
An Essay on Facts
-
Attribute-Value Logic and the Theory of Grammar
-
Meaning, Creativity, and the Partial Inscrutability of the Human Mind: 79 (Center for the Study of Language and Information Publication Lecture Notes)
Professor Dr J.F.A.K. van Benthem has received the 1996 Spinoza Award, an annual award to honour outstanding scientific merit and to stimulate innovative future research.
from the jury report:
`Van Benthem has positioned logic as an interdisciplinary science par excellence ... It is through his work that logic has acquired a bridge-function between alpha and gamma sciences on the one side and beta sciences on the other ... Van Benthem is a stimulating and innovative researcher, which explains his great attraction to young researchers. Under his inspirational guidance 38 promovendi from the Netherlands and abroad have finished their theses. In view of Van Benthem's innovative powers and the high level of his research, a number of initiatives are to be expected from him that will further strengthen the Dutch position of logic, more especially so in connection with the formal study of natural language.'
from the jury report:
`Van Benthem has positioned logic as an interdisciplinary science par excellence ... It is through his work that logic has acquired a bridge-function between alpha and gamma sciences on the one side and beta sciences on the other ... Van Benthem is a stimulating and innovative researcher, which explains his great attraction to young researchers. Under his inspirational guidance 38 promovendi from the Netherlands and abroad have finished their theses. In view of Van Benthem's innovative powers and the high level of his research, a number of initiatives are to be expected from him that will further strengthen the Dutch position of logic, more especially so in connection with the formal study of natural language.'
| SKU | Unavailable |
| ISBN 13 | 9780937073346 |
| ISBN 10 | 0937073342 |
| Title | Partiality, Truth and Persistence |
| Author | Tore Langholm |
| Series | Lecture Notes Ser |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | The Center for the Study of Language and Information Publications |
| Year published | 1988-10-30 |
| Number of pages | 160 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |