Book contents
- Frontmatter
- Contents
- Preface
- Part I Background
- Part II Implication relations
- Part III The logical operators
- Part IV The modal operators
- 25 Introduction
- 26 Modality
- 27 Modals: Existence and nonextensionality
- 28 Special modals
- 29 The possibility of necessity-style modals
- 30 Modals revisited I
- 31 Quantification and modality
- 32 Modals revisited II
- 33 Knowledge, truth, and modality
- 34 The comparative strength of modals
- 35 Kripke-style systematization of the modals without possible worlds
- 36 Model functions, accessibility relations, and theories
- 37 Migrant modals
- Appendix A An implication relation for the integers in the programming language BASIC
- Appendix B Symmetric sequents as products of implication relations and their duals
- Appendix C Component-style logical operators and relevance
- Notes
- Bibliography
- Index
36 - Model functions, accessibility relations, and theories
Published online by Cambridge University Press: 05 May 2010
- Frontmatter
- Contents
- Preface
- Part I Background
- Part II Implication relations
- Part III The logical operators
- Part IV The modal operators
- 25 Introduction
- 26 Modality
- 27 Modals: Existence and nonextensionality
- 28 Special modals
- 29 The possibility of necessity-style modals
- 30 Modals revisited I
- 31 Quantification and modality
- 32 Modals revisited II
- 33 Knowledge, truth, and modality
- 34 The comparative strength of modals
- 35 Kripke-style systematization of the modals without possible worlds
- 36 Model functions, accessibility relations, and theories
- 37 Migrant modals
- Appendix A An implication relation for the integers in the programming language BASIC
- Appendix B Symmetric sequents as products of implication relations and their duals
- Appendix C Component-style logical operators and relevance
- Notes
- Bibliography
- Index
Summary
Models for structures
Let I = 〈S, ⇒〉 be an implication structure. Let T be the set of all strongly closed subsets of S – that is, those subsets U of S for which whenever A1, …, An ⇒ B, and all the Ai's belong to U, then B belongs to U. In this section, when we speak of theories, it will be these strong theories that are intended. Let R be any binary relation on the set T of all theories of the structure I. Under these conditions we shall say that F = 〈T, R〉 is a frame for the implication structure I.
We now wish to introduce the notion of a model of (or for) the structure I. Essentially this is given by specifying a function f, the model function, that associates to each A in S a collection f(A) of theories of I, that is, some subset of T, and satisfies certain additional conditions.
We do not always have connectives available in an implication structure. Consequently, the usual way of providing conditions for a model are not generally available. The use of “∨,” for example, in indicating disjunction, was a convenience for indicating the elements in the structure that are assigned by the disjunction operator (if it assigns an element at all). Similar remarks hold for our use of the other connective signs. Thus, the usual method of exploiting the syntax to define the notion of a model by saying what the model assigns to “A ∨ B,” “A ⇒ B,” “A & B,” “¬A,” and so forth, is not available generally.
- Type
- Chapter
- Information
- A Structuralist Theory of Logic , pp. 360 - 367Publisher: Cambridge University PressPrint publication year: 1992