CSLI Publications logo
new books
catalog
series
knuth books
contact
for authors
order
search
CSLI Publications
Facebook
 
Partiality, Truth and Persistence cover

Partiality, Truth and Persistence

Tore Langholm

In recent years, semantical partiality has emerged as an important concept in philosophical logic as well 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 the theory of partially defined models. Langholm compares in detail the various alternatives for extending the definition of truth or falsity that holds with classical, complete models to partial models. He also investigates the monotonicity of truth and other nonexpressible conditions. These discussions culminate with a combined Lindstrom and persistence characterization theorem.

Tore Langholm is a research fellow in mathematics at the University of Oslo.

Contents

  • Preface
  • Introduction
  • 1 Propositional Logic
    • 1.1 Basic Notions
    • 1.2 Compositionality
    • 1.3 Encoding in Classical Logic
    • 1.4 Extending the Language
    • 1.5 The “Cut-and-Glue” Theorem: Statement
    • 1.6 Alternative Truth Definitions
    • 1.7 Predicative and Saturated Sentences

  • 2 The Strong Kleene Truth Definition
    • 2.1 Basic Notions
    • 2.2 Interpolation
    • 2.3 Domain Persistence
    • 2.4 Compactness
    • 2.5 Semantical Equivalence for Structures
    • 2.6 The Skolem Property

  • 3 Alternative Truth Definitions
    • 3.1 The Generalized Strong Kleene Truth Definitions
    • 3.2 Syntactic Closures
    • 3.3 Neighborhood Assignments
    • 3.4 The Skolem Property
    • 3.5 Semantical Equivalence for Structure
    • 3.6 Predictive and Saturated Formulas

  • 4 Extending the Language
    • 4.1 Semantical Equivalence for L ∽
    • 4.2 Maximality of L ∽
    • 4.3 Relation of L to L ∽
    • 4.4 Maximality of L
    • 4.5 Truth Functional Extentions of L
    • 4.6 Other Extensions of L

  • Further Directions
  • References
  • Index of Symbols
  • General Index

1/1/1988

ISBN (Paperback): 9780937073346 (0937073342)
ISBN (Cloth): 9780937073353 (0937073350)
Subject: Philosophy; Formal Languages; Model Theory

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu